W SODA 1995 Jeff Erickson wykazały niższe granice liniowego spełnialności (sprawdzenie, czy niektóre -subset z n liczb rzeczywistych spełnia równanie liniowe o r zmiennych). Metoda dowodowa wykorzystuje nieskończenie małe i zasadę transferu Tarskiego .rrrnnnrrr Czy ktoś mógłby wyjaśnić intuicję,...
Deterministyczne języki bezkontekstowe (DCFL) i języki z widocznym przesunięciem w dół (VPL) są zestawami języków formalnych między językami bezkontekstowymi (CFL) i zwykłymi (REG). Czy istnieje czytelny zapis, który można wyrazić zwykłym ASCII, takim jak Backus-Naur-Form dla CFL i wyrażenia...
Łatwo zauważyć, że dla dowolnego istnieje odwzorowanie 1-1 z {0,1} na {0,1} takie, że dla dowolnego wektor jest „zbalansowany”, tzn. ma równą liczbę 1 i 0. Czy jest możliwe zdefiniowanie takiego , aby przy danym można było skutecznie obliczyć ?F n n + O ( log n ) x F ( x ) F x F ( x...
Cześć wszystkim, obecnie staram się znaleźć solidny temat pracy magisterskiej dotyczący jakiejś gałęzi teorii automatów lub związany z językami formalnymi. Próbuję wygenerować kilka dobrych pomysłów na temat akceptowalnego tematu, czegoś ambitnego, ale jednocześnie wykonalnego. Wszelkie sugestie...
Pokaż funkcję którą można konstruować w przestrzeni, ale nie można jej konstruować w czasie.f(n)fa(n)f(n) Czy ten problem jest związany z możliwym rozdzieleniem klas złożoności DTIME (f (n)) i SPACJA (f
Układ gwiazda rodziny n podzbiorów n-elementów przedstawionych . System położony jest graficznym, jeżeli jest jakiś wykres tak, że jest rodzina sąsiedztwie wierzchołków w . To jest kompletne, aby zdecydować, czy dany układ gwiezdny jest graficzny.S G ( V , E ) F G N
Przykłady ograniczone -Complete wariantów nierozstrzygalnych zestawach:N.P.NPNP Ograniczony problem zatrzymania = { | Maszyna NTM M zatrzymuje się i przyjmuje x w ciągu t kroków}( M, x , 1t)(M,x,1t)(M, x, 1^t)M.MMxxxttt Ograniczone płytki = { | jest płytki kwadratu o powierzchni t 2 za pomocą...
Wielu tutaj prawdopodobnie zdaje sobie sprawę z ostatnich superliniowych dolnych granic Alon dla -net w naturalnych ustawieniach geometrycznych [PDF] . Chciałbym wiedzieć, co, jeśli w ogóle, taka dolna granica implikuje przybliżenie powiązanych problemów z zestawem Cover / Hitting Set....
Stratego to język transformacji programowej / Przepisywanie DSL. Anthony Sloane wykonał trochę pracy przy implementacji działającej na Scali . Jakie są teoretyczne granice Stratego jako języka funkcjonalnego? (niezależnie od wdrożenia). Czy można napisać w Stratego aplikacyjny ekombinator...
Interesują mnie „twarde” pojedyncze przypadki problemów z NP. Ryan Williams omówił problem SAT0 na blogu Richarda Liptona . SAT0 pyta, czy instancja SAT ma konkretne rozwiązanie składające się ze wszystkich zer. To skłoniło mnie do myślenia o konstruowaniu instancji SAT, które prawdopodobnie będą...
Czy mamy klasy złożoności w odniesieniu do, powiedzmy, złożoności średnich przypadków? Na przykład, czy istnieje (nazwana) klasa złożoności dla problemów, których podjęcie wymaga wielomianu? Kolejne pytanie dotyczy złożoności najlepszych przypadków , których przykłady przedstawiono poniżej: Czy...
Załóżmy, żeP.≠ N.P.P≠NPP \neq NP Do tetracji użyj następującego zapisu (tj. ).jazaia{}^iajaa = aza⋅⋅⋅zaja razyia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | jest wielkością instancji x. Niech L będzie językiem,L |fa( i ) ≤ | x | < g( i...
Niewrażliwe generatory są zdefiniowane następująco: Niech będzie relacją NP, a M będzie maszyną, która akceptuje L ( R ) . Nieformalnie program jest niewrażliwym generatorem, jeśli na wejściu 1 n wytwarza pary instancji-świadka ( x , w ) ∈ R , z | x | = n , zgodnie z rozkładem, zgodnie z którym...
Czy znana jest jakaś klasa złożoności zawierająca internetowe odpowiedniki problemów związanych z optymalizacją? Jeśli nie, to jak można zdefiniować taką klasę? Wiemy, że wiele problemów ma swoją wersję online: np. Wersja online problemu pakowania bin. Problemy online są trudniejsze, ponieważ...
Zastanawiam wiedzieć pogoda jest rzadki język (nawet skonstruowany przez opóźnionego diagolanization) w NPI przy założeniu, że .P.≠ N.P.P≠NPP \neq
Szukam funkcji skrótu nad zestawami H (.) I relacją R (.,.) Tak, że jeśli A jest zawarte w B, to R (H (A), H (B)). Oczywiście R (.,.) Musi być łatwe do zweryfikowania (czas stały), a H (A) należy obliczyć w czasie liniowym. Jednym z przykładów H i R
Chciałbym poznać aktualny stan przejścia fazowego dla losowego k-sat, biorąc pod uwagę n zmiennych i klauzul m, co jest najlepiej znanym c = m / n dla górnych i dolnych
Jakie dokumenty dotyczące obsługi błędów w systemach rozproszonych
Przeszukałem forum, aby sprawdzić, czy zostało to już zadane, i chociaż omawiamy teorię gier algorytmicznych, nie mogłem znaleźć rozwiązania tego konkretnego problemu. Próbuję dowiedzieć się, jaki jest najbardziej znany algorytm obliczania przybliżonej (mieszanej strategii) równowagi Nasha w...
za´za´\acute{\rm a}H ∈ P T I M EH.H.HH.H.H∈ P.T.jaM.mi∈P.T.jaM.mi\in PTIME Definicje itp. Świetny przegląd standardowych rozkładów drzew i ich szerokości znajduje się tutaj (Dziękujemy z góry, JeffE!). Niech H.H.H będzie hipergrafatem. Następnie dla hipergraph H.H.H i mapowania γ: E( H) → [ 0 ,...