Jaki jest najszybszy znany algorytm izomorfizmu grafów
Jest to rozszerzenie klasycznego problemu sekretarza . W grze o zatrudnianie masz zestaw kandydatów i porządek na temat umiejętności każdego pracownika.C={c1,…,cN}C={c1,…,cN}\mathcal C=\{c_1,\ldots,c_N\} Wlog, zakładamy, że jest najbardziej wykwalifikowany, a następnie...
Studiuję Unique Games Conjecture i słynną redukcję do Max-Cut Khota i in. Ze swojej pracy i innych stron internetowych większość autorów używa (jak dla mnie) niejawnej równoważności między redukcją MAX-CUT a budowaniem konkretnych testów dla długich kodów. Z powodu mojego braku jasności co do tej...
Kolorowy wykres można opisać jako krotkę (G,c)(G,c)(G,c)gdzie jest wykresem, a jest kolorem. Mówi się, że dwa kolorowe wykresy i są izomorficzne, jeśli istnieje izomorfizm prawy tak, że przestrzegane jest zabarwienie, tj. dla wszystkich .GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow...
Rozważ dowolną bezkontekstową gramatykę nad alfabetem . Do produkcji tej gramatyki dodaj dwie stałe produkcje bezkontekstowe : i \ overline {1} 1 \ rightarrow \ epsilon . Nazwij wynikową gramatykę G ^ P oznaczającą „ G uzupełniony o produkcje P ”.solGG{ 0 , 1 ,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace...
Wiemy z twierdzenia Kościoła, że określenie satysfakcji pierwszego rzędu jest ogólnie nierozstrzygalne, ale istnieje kilka technik, które można zastosować do ustalenia satysfakcji pierwszego rzędu. Najbardziej oczywiste jest poszukiwanie modelu skończonego. Istnieje jednak szereg instrukcji w...
Niech będzie wielomianem zmiennym podanym jako obwód arytmetyczny o rozmiarze poli i niech będzie liczbą pierwszą.faffnnn(n)(n)(n)p=2)Ω(n)p=2Ω(n)p = 2^{\Omega(n)} Czy możesz sprawdzić, czy jest identycznie zerowe w stosunku do , z czasem i prawdopodobieństwem błędu , nawet jeśli stopień nie jest a...
Reynolds pierwotnie zaproponował semantykę relacyjną dla polimorficznego rachunku lambda drugiego rzędu [1]. Później jednak wykazał [2], że to podejście było niespójne z klasyczną teorią zbiorów. Pitts opisał ramy modeli hiperdoktryn i modeli topos [3], które są spójne z logiką...
Losowe lasy mają wśród praktyków reputację jednych z najbardziej skutecznych technik klasyfikacji. Jednak nie spotykamy ich zbyt wiele w literaturze teoretycznej, z której, jak sądzę, brak głębokich wyników teoretycznych. Gdyby ktoś chciał zagłębić się w tę teorię, od czego by to się...
Większość obecnych metod kryptograficznych zależy od trudności faktorowania liczb, które są iloczynem dwóch dużych liczb pierwszych. Jak rozumiem, jest to trudne tylko tak długo, jak długo metoda zastosowana do wygenerowania dużych liczb pierwszych nie może być użyta jako skrót do faktoryzacji...
Naprawmy kodowanie maszyn Turinga i uniwersalnej maszyny Turinga U, która na wejściu (T, x) wypisuje dowolne T na wejściu x (być może oba działają wiecznie). Zdefiniuj złożoność Kołmogorowa dla x, K (x), jako długość najkrótszego programu, p, tak aby U (p) = x. Czy istnieje takie N, że dla...
Szukam odniesień do następującego problemu: biorąc pod uwagę liczby całkowite i , wyliczyć wszystkie nieizomorficzne wykresy płaskie na wierzchołkach i szerokości linii . Interesują mnie zarówno wyniki teoretyczne, jak i praktyczne, ale przede wszystkim praktyczne algorytmy, które można kodować i...
To pytanie jest dwojakie i dotyczy głównie odniesienia: Czy jest gdzieś, gdzie podane są główne intuicje dowodzenia niewielkiego twierdzenia o grafie, bez zbytniego zagłębiania się w szczegóły? Wiem, że dowód jest długi i trudny, ale z pewnością muszą istnieć kluczowe pomysły, które można...
Jeden z moich projektów Java jest rozwidleniem parboiled i, w przeciwieństwie do powiedzmy Antlr lub JavaCC, parsery są generowane w czasie wykonywania. Generowane gramatyki to gramatyka wyrażeń parsujących lub PEG (słyszę, że innym terminem jest „packrat”). Podczas gdy generowanie środowiska...
Chcę wiedzieć, czy rozstrzygalność o równości dwóch rozstrzygalnych dowodów tej samej twierdzenia można udowodnić bez żadnych dodatkowych aksjomatów w rachunku konstrukcji indukcyjnych. W szczególności chcę wiedzieć, czy to prawda bez żadnych dodatkowych aksjomatów w Coq. ∀ P.: Prop , P∨ ¬ P⇒ (...
Interesuje mnie wariant maksymalnego dopasowania wagi na wykresie, który nazywam „maksymalnym uczciwym dopasowaniem”. Załóżmy, że wykres jest pełny (tj E=V×VE=V×VE=V\times V) Ma liczbę nawet wierzchołków, a masa jest podawana przez funkcję zysk . Biorąc pod uwagę pasujące , oznacz przez zysk...
Interesują mnie wydajne algorytmy przecięcia DFA w szczególnych przypadkach. Mianowicie, gdy DFA przecinają się, zachowują określoną strukturę i / lub działają na ograniczonym alfabecie. Czy jest jakieś źródło, w którym mogę znaleźć algorytmy takich przypadków? Aby pytanie nie było zbyt szerokie,...
Instancja: Niekierowany wykresGGGz dwoma wyróżnionymi wierzchołkami i liczbą całkowitą .s≠ts≠ts\neq tk≥0k≥0k\geq 0 Pytanie: Czy istnieje ścieżka w , taka, że przecina ona co najwyżej trójkątów? (W przypadku tego problemu mówi się, że ścieżka przecina trójkąt, jeśli ścieżka zawiera co najmniej...
Niech będzie wykresem. Zestaw wierzchołek nazywa krytyczna jeśli i nie wierzchołek w przylega dokładnie jeden wierzchołek w . Problemem jest znalezienie zbiór wierzchołków z co najmniej taką wielkość, że każdego niezbędny zestaw .G = ( V, E)G=(V,E)G=(V,E)X⊆ V.X⊆VX\subseteq VX≠ ∅X≠∅X\neq\emptysetV.∖...
Szukam dowodu, że złożoności Kołmogorowa nie da się obliczyć, stosując redukcję z innego problemu nieobliczalnego. Powszechnym dowodem jest formalizacja paradoksu Berry'ego, a nie redukcja, ale powinien istnieć dowód poprzez redukcję z czegoś takiego jak problem zatrzymania lub problem...