Wszystkie znane mi solwery #SAT, np. RelSat, C2D, zwracają tylko liczbę zadowalających wystąpień. Ale chcę poznać każdy z tych przypadków? Czy istnieje taki solver #SAT lub jak powinienem zmodyfikować dostępny solver #SAT, aby to zrobić? Dziękuję
To może być bardzo proste pytanie. Ale jaka jest różnica między rodzajami i rodzajami? Moje obecne rozumienie jest takie, że masz teorię typów z regułami typów, które dają pojęcie dobrze napisanego wyrażenia, ale rodzaje są bardziej podstawowe, różnicując symbole na różne rodzaje symboli i...
Mam kilka milionów wartości 32-bitowych. Dla każdej wartości chcę znaleźć wszystkie inne wartości w odległości Hamminga wynoszącej 5. W podejściu naiwnym wymaga to porównań O(N2)O(N2)O(N^2) , których chcę uniknąć. Uświadomiłem sobie, że jeśli potraktowałem te 32-bitowe wartości jako liczby...
Do tej pory istnieje mnóstwo wyników dotyczących separatorów na wykresach, od płaskiego separatora, separatora drzew, ograniczonych wykresów szerokości drzewa, ograniczonych wykresów rodzajów itp. Itp. Czy jest jakaś dobra zaktualizowana ankieta na ten temat i ich
Czy ten problem był już badany? Biorąc pod uwagę metryczny niekierowany wykres G (długości krawędzi spełniają nierówność trójkąta), znajdź zestaw S wierzchołków, tak że MST (G [S]) jest zmaksymalizowany, gdzie MST (G [S]) jest minimalnym drzewem rozpinającym podgrafu wywołanym przez S. Czy ten...
Ten ostatni artykuł z FOCS2013, Strong Backdoors to Bounded Treewidth SAT autorstwa Gaspersa i Szeidera mówi o związku między szerokością wykresu klauzuli SAT a twardością instancji. W przypadku losowych instancji 3-SAT, tj. Instancji losowo wybranych 3-SAT, jaka jest korelacja między...
Szukam małego języka, który pomoże „przekonać” studentów, że maszyny Turinga są wystarczająco ogólnym modelem obliczeniowym. To znaczy język, który wygląda jak języki, do których są przyzwyczajeni, ale można go również łatwo symulować na maszynie Turinga. Papadimitriou używa do tego zadania maszyn...
Po pierwsze, moje rozumienie twierdzenia o niekompletności Gödla (i logiki formalnej w ogóle) jest bardzo naiwne, podobnie jak moja wiedza z zakresu teoretycznej informatyki (co oznacza, że tylko jeden kurs magisterski odbył się, gdy jestem jeszcze studentem), więc pytanie może być bardzo...
Szukam wydajnego algorytmu dla problemu: Wejście : dodatnia liczba całkowita 3)n3n3^n (zapisana w bitach) dla jakiejś liczby całkowitej n ≥ 0n≥0n \geq 0 . Wyjście : liczba nnn . Pytanie : Czy możemy obliczyć nnn na podstawie bitów 3)n3)n3^n w czasie O ( n )O(n)O(n) ? To jest teoretyczne...
Jednokierunkowe naprzemienne automaty wypychające (1APDA) mogą rozpoznać dowolny język w (Alternacja autorstwa Chandra, Kozen i Stockmeyer, 1981) . Zastępując przechowywanie w dół 1APDA przez licznik, możemy uzyskać jednokierunkowy automat na przemian z jednym licznikiem (1ACA). Moje pytanie...
Rozumiem następujące twierdzenia, które są prawdziwe: Dwie różne pochodne łańcucha w danym CFG mogą czasem przypisywać to samo drzewo parsowania łańcuchowi. Kiedy w danym CFG występują pochodne jakiegoś łańcucha, które przypisują różne drzewa parsowania, CFG jest niejednoznaczny. Niektóre języki...
Mam trudności ze zrozumieniem ostatnich kroków algorytmu AHSP. Niech GGG była grupą abelowa i fff jest funkcją, która ukrywa podgrupy HHH . Niech G∗G∗G^* reprezentują podwójną grupę GGG . Oto kroki algorytmu Najpierw przygotuj państwo, I=1|G|∑g∈G|g⟩|0⟩I=1|G|∑g∈G|g⟩|0⟩\qquad \displaystyle...
Jestem zainteresowany badaniem kompletnych problemów z Graph Isomorphism (GI). W artykule „Problemy wielomianowo równoważne z izomorfizmem grafowym” Kellogga S. Bootha (1979) udowodnili, że wiele podstawowych problemów jest uzupełnionych GI przy użyciu technik zastępowania krawędzi, technik...
W przypadku wielomianowego problemu wyszukiwania lokalnego wiemy, że musi istnieć co najmniej jedno rozwiązanie (lokalne optimum). Jednak może istnieć wiele innych rozwiązań, jak trudno jest policzyć liczbę rozwiązań problemu z kompletnym PLS? Jestem szczególnie zainteresowany w problemu...
Niech będzie wektorem zmiennych boolowskich. Niech C , D będą dwoma obwodami logicznymi na x . Powiedz, że C jest podobny do D, jeśli:x = ( x1, … , Xn)x=(x1,…,xn)x=(x_1,\dots,x_n)do, DC,DC,DxxxdoCCreDD jest wykładniczo mały, gdy x jest losowo narysowany równomiernie z { 0 , 1 } n (innymi słowy,...
Czytam słynny artykuł Impagliazzo i Wigdersona w 1997 roku. Ponieważ jestem nowy w tej dziedzinie, a artykuł jest zwięzłą wersją konferencji, mam trudności z podążeniem za nimi. W szczególności niektórym z ich nowych twierdzeń brakuje dowodów. Według mojej najlepszej wiedzy nie opublikowano wersji...
Załóżmy, że otrzymujemy tablicę A[1..n]A[1..n]A[1..n] zawierającą nieujemne liczby całkowite (niekoniecznie różne). BBBAAAm=maxi∈[n]B[i]+i.m=maxi∈[n]B[i]+i.m = \max_{i\in [n]} B[i]+i. Oczywistym rozwiązaniem jest sortowanie a następnie obliczanie . Daje to algorytm działający w czasie w...
Sean Anderson opublikował nieco hacków zawierających algorytm Erica Cole'a, aby znaleźć liczby całkowitej bit w operacjach z mnożeniem i wyszukiwaniem.N v O ( lg ( N ) )⌈ log2)v ⌉⌈log2)v⌉\lceil\log_2 v \rceilN.N.NvvvO ( lg( N) )O(lg(N.))O(\lg(N)) Algorytm opiera się na „magicznej” liczbie z...
Szukam zasobów (najlepiej podręcznika) na zaawansowane tematy w algorytmach (tematy wykraczające poza to, co są omówione w podręcznikach algorytmów, takich jak CLRS i DPV). Rodzaj materiału, który można wykorzystać do nauczania tematów w kursie algorytmów, takich jak Erik Demaine i kurs Davida...
Jedyną znaną mi definicją „rachunku różniczkowego” jest badanie granic, pochodnych, całek itp. W analizie. W jakim sensie rachunek lambda (lub rzeczy takie jak rachunek mu) jest „rachunkiem”? Jak to się ma do rachunku różniczkowego w