Podjęto próby zaatakowania problemu izomorfizmu grafów za pomocą kwantowego losowego chodzenia twardych rdzeni (symetryczne, ale bez podwójnego zajęcia). Symetryczna moc matrycy przylegania, która wydawała się obiecująca, wykazano jako niekompletne ogólnych wykresów na tym papierze Amir Rahnamai...
Jest sformułowany przez rozszerzenie wykresów progowych . Biorąc pod uwagę wykres progowy gdzie jest kliką, a jest niezależnym zbiorem, moje rozszerzenie jest następujące: Każdy wierzchołek można zastąpić nową kliką tak, że wierzchołki mają to samo sąsiedzi .( C, Ja)(do,ja)(C,I)dodoCjajaIv ∈...
ETH stwierdza, że SAT nie może być rozwiązany w najgorszym przypadku w czasie podwykonawczym. Co z przeciętną sprawą? Czy istnieją naturalne problemy związane z NP, które są przypuszczalnie trudne w przeciętnym przypadku? Średni przypadek oznacza średni czas pracy z równomiernym rozkładem na...
W słynnym kontrprzykładzie dla izomorfizmu grafów metodą Weisfeiler-Lehman (WL) następujący gadżet został skonstruowany w tym artykule przez Cai, Furer i Immerman. Konstruują wykres podany przezXk= ( Vk, Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) V.k= Ak∪ B.k∪ M.k gdzie ZAk= { aja∣ 1 ≤ i ≤ k } ,bk= { bja∣ 1 ≤...
Napraw problem wyszukiwania NP-complete, np. Formularz wyszukiwania SAT. Wyszukiwanie Levin zapewnia algorytm do rozwiązywania który jest w pewnym sensie optymalny. Konkretnie, algorytm jest „Wykonanie wszystkich możliwych programów w zazębianie na wejściowego , gdy niektórzy powraca odpowiedzieć...
Rozważ monotoniczny predykat PPP nad zestawem mocy 2|n|2|n|2^{|n|}(uporządkowane przez włączenie). Przez „monotoniczny” rozumiem: ∀x,y∈2|n|∀x,y∈2|n|\forall x, y \in 2^{|n|}tak, że x ⊂ yx⊂yx \subset y , jeśli P.( x )P(x)P(x) to P.( y)P(y)P(y) . Szukam algorytmu, aby znaleźć wszystkie minimalne...
Zainspirowany tym pytaniem ciekawi mnie: Jaka jest najgorsza złożoność sprawdzania, czy dany DFA akceptuje ten sam język jako dane wyrażenie regularne? Czy to jest znane? Można mieć nadzieję, że ten problem występuje w P - że algorytm ma wielomian wielkości
jest powszechnie przypuszczane, że jest fałszywe.R P= NP.RP.=N.P.RP = NP Ale wyobraź sobie przez chwilę, że to prawda. W takim przypadku, jakie jest prawdopodobieństwo, że ?P.= NP.P.=N.P.P = NP Innymi słowy: w świecie, w którym , co może być nadal postrzegane jako przeszkoda dla nas, aby wierzyć...
Algorytm simpleksowy jest często traktowany albo w ramach rzeczywistej arytmetyki, albo w świecie dyskretnym z dokładnymi obliczeniami. Wydaje się jednak, że jest najczęściej wdrażany za pomocą arytmetyki zmiennoprzecinkowej. Prowadzi to do pytania, czy algorytm simpleks należy traktować jako...
Twierdzenie dychotomii Schaefera pokazuje, że każdy problem CSP powyżej można rozwiązać w czasie wielomianowym lub jest on NP-kompletny. Dotyczy to tylko problemów CSP o ograniczonej szerokości, z wyłączeniem na przykład SAT i Horn-SAT. Ogólne problemy CSP o nieograniczonej szerokości mogą być...
Rozważ obwód, który przyjmuje jako liczby wejściowe w [ 0 , 1 ][0,1][0,1] i ma bramki, które składają się z funkcji max ( x , y)max(x,y)\max(x, y) , min ( x , y)min(x,y)\min(x, y) , 1 - x1−x1 - x i x + y2)x+y2\frac{x+y}{2} . Wyjście obwodu jest wówczas również liczbą w [ 0 , 1 ][0,1][0,1] . Czy...
Słynny artykuł H. Lenstry Integer Programowanie z ustaloną liczbą zmiennych z 1983 r. Stwierdza, że programy liczb całkowitych o ustalonej liczbie zmiennych można rozwiązać wielomianem czasowym długości danych. Interpretuję to w następujący sposób. Programowanie liczb całkowitych ogólnie jest...
b a b azaaabbbzaaabbbzaaabbbO ( m logm loglogm )O(mlogmloglogm)O(m\log m\log\log m)mmmΩ ( m log m log log m )max { a , b }max{a,b}\max\{a,b\}Ω ( m logm loglogm )Ω(mlogmloglogm)\Omega(m\log m\log\log m) dolna granica tego problemu? Dziękuję i pozdrawiam, i przepraszam, jeśli to takie naiwne...
Szukam wyników twardości na kolorowanie wierzchołków wykresów z ograniczonym stopniem. Biorąc pod uwagę wykres , wiemy, że dla dowolnego ϵ > 0 trudno jest oszacować χ ( G ) przy współczynniku | V | 1 - ϵ, chyba że NP = ZPP [ 1 ]. Ale co, jeśli maksymalny stopień G jest ograniczony przez d ?...
Sudoku jest dobrze znaną łamigłówką, która jest kompletna NP. Sudoku Binarne to wariant, który dopuszcza tylko cyfry i 1 . Zasady są następujące.000111 Każdy wiersz i każda kolumna musi zawierać równą liczbę zer i jedynek. Każdy wiersz i każda kolumna jest unikalny. Żaden wiersz ani kolumna nie...
Zdefiniuj jako klasę języków, które mogą być akceptowane przez (wielopasmową) maszynę Turinga w czasie f ( n ) + 1 . („ + 1 ” ma jedynie na celu uproszczenie notacji i uniknięcie pomyłek.) Zauważ, że nie ma O ( ⋅ ) wokół f ( n ) + 1 .D T I M E (f( n ) )DTIME(f(n))\mathsf{DTIME}(f(n))fa( n ) +...
Szukam małego wykresu GGG którego wektorowa liczba chromatyczna jest mniejsza niż liczba chromatyczna,
Wygładzona analiza była stosowana wiele razy, aby zrozumieć czas działania dokładnych algorytmów dla wielu problemów, takich jak programowanie liniowe i k-średnich. Istnieją dość ogólne wyniki w tej dziedzinie, na przykład Heiko Röglin i Berthold Vöcking, Analiza wygładzania programowania liczb...
Jaki jest związek między i ? Innymi słowy, czy problemy, które dopuszczają wyszukiwanie lokalne w czasie wielomianowym, są przybliżone? Czy problemy z optymalizacją w przybliżeniu sugerują ogólnie lokalny algorytm wyszukiwania?P L SPLS\mathsf{PLS}A P
Obecnie prowadzę badania nad językiem formalnym, które obejmują klasy języków powyżej zwykłego, ale poniżej kontekstowego. Patrzę na takie rzeczy, jak maszyny zliczające z odwróceniem, maszyny liczące na jednym stosie, deterministyczne CFL itp. Zastanawiam się, czy ktokolwiek wie o dobrej książce...