Interesuje mnie muzyka komputerowa, w której istnieją podejścia do traktowania utworów muzycznych jako zdań w gramatyce generatywnej lub systemach L. Zamiast komponować, można określić gramatykę i pozwolić komputerowi na generowanie muzyki. Np. Grupa Yale wokół zmarłego Paula Hudaka jest w tym...
Pozwolić solsolG być wykresem będącym rozłącznym związkiem kliki i niezależnym zbiorem, tj. G =K.n1+K.n2)¯¯¯¯¯¯¯¯=K.n1+jan2).sol=K.n1+K.n2)¯=K.n1+jan2).G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Klasa grafów wszystkich takich wykresów charakteryzuje się zabronionym indukowanym zestawem...
Rozważ następujący problem: Dane wejściowe: prosty (niekierowany) wykres G = ( V, E)sol=(V.,mi)G=(V,E). Pytanie: Czy istnieje orientacja spełniająca właściwość, że dla każdego istnieje co najwyżej jeden (skierowany) - spacer?solsolGs , t ∈ V.s,t∈V.s,t \in Vsssttt Może to być równoważnie...
Jeśli weźmiemy pod uwagę tylko problemy w P, czy są jakieś duże luki między najszybszym znanym algorytmem RAM-słowo i najszybszym znanym algorytmem maszyny Turinga dla określonych problemów? Jestem szczególnie zainteresowany, jeśli istnieją duże luki w naturalnych problemach leżących w interesie...
Zastanawiam się, czy następujący problem jest trudny NP. Wprowadź: prosty wykres i kolorowanie krawędzi ( nie weryfikuje żadnej konkretnej właściwości).G = ( V, E)G=(V,E)G = (V,E)fa: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to \{1,2,3\}faff Pytanie: czy można podzielić na trójkąty , tak aby każdy...
Jeśli dobrze rozumiem, aby udowodnić, że problem jest trudny NP, musisz wybrać wszystkie możliwe problemy które są w NP, a następnie udowodnić, że redukują się do za pomocą funkcji obliczania czasu wielomianowego, która odwzorowuje wystąpienia każdego z nich do przypadków...
Standardowy problem 1-w-3 SAT (lub XSAT lub X3SAT) to: Instancja : formuła CNF z każdą klauzulą zawierającą dokładnie 3 literały Pytanie : czy istnieje zadowalające ustawienie przypisania dokładnie 1 literał na klauzulę prawda? Problem jest NP-zupełny i pozostaje trudny, nawet jeśli żadna...
Niech i będą dwoma połączonymi wykresami regularnymi o rozmiarze . Niech być zbiorem permutacji tak, że . Jeśli następnie jest zestaw automorfizmy o .GGGHHHrrrnnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG Jaka jest najbardziej znana górna granica rozmiaru ? Czy są jakieś wyniki dla...
W klasycznym dokumencie PLDI'98 autorstwa Neculi „Projekt i implementacja kompilatora certyfikującego” weryfikator wysokiego poziomu wykorzystuje: VCGen generuje warunki weryfikacji (prognozy bezpieczeństwa) Dowódca logiki twierdzenia pierwszego rzędu, aby udowodnić warunki Kontroler sprawdzania...
Wierzę, że odpowiedzi na to pytanie dają takie klasy, że dla wszystkich wielomianówppp, w klasie występuje problem, który nie ma obwodów wielkościp ( n )p(n)p(n). Pytam jednak o rozmiar obwoduω( n )ω(n)\omega \hspace{.02 in}(n). (⟨00,11,2)2),3)1,44,51,66,71,88,91, . ....
Biorąc pod uwagę zwykły język L.LL na alfabecie ZAAA, jego minimalny deterministyczny automat może być postrzegany jako ukierunkowana połączona multigraf ze stałym stopniem | A ||A||A|i zaznaczony stan początkowy (poprzez zapomnienie etykiet przejść, stanów końcowych). Zachowujemy stan początkowy,...
Algorytm Brzozowskiego do przekształcania DFA w równoważny DFA stanu minimalnego jest niezwykle prosty: jeśli oznacza NFA utworzony przez odwrócenie wszystkich krawędzi w DFA , czyniąc stary stan początkowy stanem akceptującym i czyniąc starym akceptowaniem stwierdza początek stanów i jeżeli...
Czy niedeterministyczne liniowe automaty z ograniczoną liczbą odwiedzin rozpoznają tylko zwykłe języki? Przez niedeterministyczny automat związany liniowo (nLBA) mam na myśli niedeterministyczną maszynę Turinga z pojedynczą taśmą, w której dane wejściowe są „wyściełane” znakami końcowymi na obu...
Biorąc pod uwagę stałą skierowane wykres (digrafu) The -COLORING problem decyzyjny pyta czy digrafu wejście ma homomorfizm do . (Homomorfizmem od do jest odwzorowaniem od do , która chroni łuki, to znaczy, gdy jest łukiem , a jest łukiem
Wikipedia [1] stwierdza, że najlepiej znana dolna granica dla wielkości dowodów Frege jest kwadratowa i że nie ma znanych dolnych granic superliniowych dla liczby linii dowodów Frege. Pytania: 1) Jaka jest najbardziej znana dolna granica dla liczby linii rozszerzonych proofów Frege? 2) Jaka...
Jest to kontynuacja niedeterministycznego przyspieszenia obliczeń deterministycznych . Czy jest prawdopodobne, że niedeterminizm (lub bardziej ogólnie przemienność) pozwoliłby na ogólne kwadratowe przyspieszenie obliczeń deterministycznych? Czy są jakieś znane nieprawdopodobne konsekwencje...
Zastanawiałem się nad następującym pytaniem w różnych momentach, odkąd widziałem to pytanie w kryptografii . Pytanie Pozwolić RRRbyć relacją TFNP . Czy losowa wyrocznia może pomóc P / poli w przełamaniu z nieistotnym prawdopodobieństwem? Bardziej
Nie wiadomo, czy NEXP jest zawarty w P / poli. Rzeczywiście udowodnienie, że NEXP nie jest w P / poli, miałoby pewne zastosowania w derandomizacji. Jaka jest najmniejsza jednolita klasa C, dla której można udowodnić, że C nie jest zawarte w P / poli? Czy wykazanie, że ko-NEXP nie jest zawarty w P...
Jest ładny papier z 1991 roku, który zawiera trzy diagramy dotyczące różnych rodzin klas grafów, pokazujące, co wiadomo na temat twardości wyznaczania dla nich indeksu chromatycznego. Czy są odtąd jakieś wiadomości na ten temat? Najbardziej interesuje mnie to, co wiadomo na temat wykresów z...
Jestem teoretykiem homotopii, interesuje się informatyką. Chciałbym zapytać, jakie są interesujące zastosowania algebry homotopicznej (kategorie modelowe, kategorie nieskończoności, kategorie uproszczone itp.) W informatyce