Najlepsza bieżąca dolna granica dla SAT?

22

Kontynuując poprzednie pytanie ,

jakie są najlepsze obecne dolne granice przestrzeni dla SAT?

Przez spację dolną rozumiem tutaj liczbę komórek taśmy roboczej używanych przez maszynę Turinga, która używa binarnego alfabetu taśmy roboczej. Stały składnik addytywny jest nieunikniony, ponieważ TM może wykorzystywać stany wewnętrzne do symulacji dowolnej stałej liczby komórek taśmy roboczej. Interesuje mnie jednak kontrolowanie stałej multiplikatywnej, która często pozostaje niejawna: zwykła konfiguracja umożliwia dowolną stałą kompresję za pomocą większych alfabetów, więc stała multiplikatywna nie jest tam istotna, ale przy ustalonym alfabecie powinno być możliwe wzięcie tego pod uwagę.

Na przykład SAT wymaga więcej niż miejsca; jeśli nie, wówczas ta górna granica przestrzeni prowadziłaby do symulacji w górnej granicy czasu , a zatem połączona dolna granica czasoprzestrzeni dla SAT zostać naruszone (patrz powiązane pytanie). Wydaje się również, że można ulepszyć ten argument, aby argumentować, że SAT wymaga co najmniej miejsca dla jakiegoś małego dodatniego , czyli około , gdzie jest stałym wykładnikiem w symulacji ograniczonej przestrzenią TM przez ograniczoną czasowo TM.n 1 + o ( 1 ) n 1,801 + o ( 1 ) δ log n + c δ 0,801 / C Cloglogn+cn1+o(1)n1.801+o(1)δlogn+cδ0.801/CC

Niestety jest zwykle dość duży (a na pewno co najmniej 2 w zwykłej symulacji, gdzie taśmy TM są najpierw kodowane na pojedynczej taśmie za pomocą większego alfabetu). Takie granice z są raczej słabe i szczególnie interesowałbym się dolną granicą . Bezwarunkowa dolna granica kroków , dla niektórych wystarczająco dużych stałych , oznaczałaby taką dolną granicę poprzez symulację. Jednak dolne granice czasu dla nie są obecnie znane, nie mówiąc już o dużych .Cδ1logn+cΩ(nd)d>1Ω(nd)d>1d

Innymi słowy, szukam czegoś, co byłoby konsekwencją dolnych granic czasu superlinearnego dla SAT, ale które można byłoby uzyskać bardziej bezpośrednio.

András Salamon
źródło
jak w tej innej odpowiedzi (np. RW), osobne skupienie się na dolnych granicach czasu lub przestrzeni wydaje się być poza zasięgiem i ma tylko słabe / ogólne znane granice, a wiodące badania w tym obszarze wydają się prowadzić do stosunkowo nowej koncepcji połączonej złożoności czasoprzestrzennej.
vzn

Odpowiedzi:

3

Wygląda na to, że najlepiej znana granica (w przypadku maszyn Turinga z wieloma taśmami) jest logarytmiczna.

Załóżmy, że kawałków binarnej taśmy roboczej wystarczy, aby zdecydować, czy jakakolwiek bitowa formuła CNF jest zadowalająca, dla wszystkich wystarczająco dużych . Dzięki standardowej symulacji TM ze stanami , która wykorzystuje co najwyżej bitów przestrzeni, może być symulowana przez TM, która ma co najwyżej różne konfiguracje . Za każdym razem, gdy maszyna akceptuje, następuje sekwencja (niedeterministycznych) ruchów, które osiągają stan akceptacji, który jest co najwyżej tak długi, jak ta liczba konfiguracji. Gdy , to najwyżej (zwróć uwagę, że pozostaje takie samo dla wszystkich długości wejściowychn n q s q n s 2 s = 2 s + log n + log s + log q s = Ω ( log n ) 2 s ( 2 + o ( 1 ) ) q n M o ( 1 ) 2 s ( 2 + o ( 1 ) )δlognnnqsqns2s=2s+logn+logs+logqs=Ω(logn)2s(2+o(1))qn). Na osobnej taśmie licznikowej może najpierw zapisać tę liczbę pojedynczo, a następnie na każdym etapie symulacji usunąć jeden z symboli licznika i zakończyć obliczenia, jeśli kiedykolwiek zabraknie symboli licznika. Stwarza to stały współczynnik narzutu (coś w rodzaju 3), który jest absorbowany przez wykładnik . Stąd kroki są wystarczające.Mo(1)2s(2+o(1))

Z założenia , więc iloczyn czasoprzestrzenny to co najwyżej .δ log n 2 δ log n ( 2 + o ( 1 ) ) = n δ ( 2 + o ( 1 ) )sδlognδlogn2δlogn(2+o(1))=nδ(2+o(1))

Rahul Santhanam wykazał w 2001 r. (Patrz doi: 10.1016 / S0020-0190 (00) 00227-1 ), że produktem czasoprzestrzennym dla maszyny Turinga decydującej o SAT musi być co najmniej ; jego argument dotyczy także niedeterministycznych maszyn. Stąd i przynajmniej bitów binarnej taśmy roboczej są potrzebne.δ 1 log nΩ(n2o(1))δ1logn

Mówiąc bardziej ogólnie, dodatkowe taśmy robocze i większy alfabet taśmy roboczej zmieniają wykładnik o stały współczynnik. To ostatecznie zmniejsza współczynnik , ale dolna granica przestrzeni to wciąż .Ω ( log n )δΩ(logn)

András Salamon
źródło
2

Być może możemy w ten sposób udowodnić spację dolną granicę dla SAT (ale nie jestem przekonany do analizy limitu / analizy asymptotycznej, więc moja odpowiedź może być całkowicie błędna).logn

W modelu maszyny Turinga z jedną taśmą wejściową tylko do odczytu i jedną taśmą roboczą, obie na binarnym alfabecie , dla każdego decydującego ze stanami na wejściu o rozmiarze mamy to:c nΣ={0,1}cn

T(n)c2S(n)nS(n)(1)

w przeciwnym razie maszyna Turinga zapętli się na zawsze ( komponent reprezentuje wszystkie możliwe konfiguracje taśmy, komponent reprezentuje wejściowe pozycje głowicy taśmy, podczas gdy komponent reprezentuje pozycje głowicy taśmy roboczej). Na jednej taśmie pojedyncza głowica TM na binarnym alfabecie (1) staje się . n S ( n ) T ( n ) c 2 S ( n ) S ( n )2S(n)nS(n)T(n)c2S(n)S(n)

Mnożąc oba warunki przez i stosując ogólny kompromis czasoprzestrzenny dla SAT, otrzymujemy:S(n)

n1.801+o(1)S(n)T(n)cS(n)22S(n)n

Zatem wybranie spacji górnej granicy, takiej jak dla SAT, doprowadziłoby do sprzeczności, w rzeczy samejS(n)(logn)1ϵ

limnn1.801c((logn)1ϵ)22(logn)1ϵn=

limn(0.801lognlogc2(1ϵ)log(logn)(logn)1ϵ)=
Marzio De Biasi
źródło
Wydaje się, że istnieją co najmniej dwa ogólne sposoby wykazania, że górna granica prowadzi do sprzeczności. Przede wszystkim, że chodziło używając (zasadniczo identyczne, lecz nieco łatwiejsze w użyciu) nierówności dla pewnej stałej . Ostatni etap podania może być także silniejszy jako przeciwieństwo następuje nawet o . , T ( n ) 2 log n + C . S ( n ) C S ( n ) δ log n δ < 0,801 / Co(logn)T(n)2logn+C.S(n)CS(n)δlognδ<0.801/C
András Salamon,
@ AndrásSalamon: po stronie nie można oczekiwać łatwych ulepszeń: od S. Bussa i R. Williamsa. Ograniczenia w dowodach wymiany alternatywnej dla dolnych granic czasoprzestrzeni, 2012: „Pokazujemy, że nowe techniki są możliwe do udowodnienia, aby udowodnić lepsze dolne granice czasoprzestrzeni dla problemu satysfakcji. To znaczy metoda„ wymiany alternatywnej proofs ”użyte do ustalenia, że ​​SAT nie może być rozwiązany w czasie i spacja nie może udowodnić time dolna granica, dla każdego ". Masz jakiś pomysł :-)? n 2 cos ( π / 7 ) n o ( 1 ) n 2 cos ( π / 7 ) + ϵ ϵ > 0STn2cos(π/7)no(1)n2cos(π/7)+ϵϵ>0
Marzio De Biasi
Myślę, że jest to tak daleko, jak to możliwe, używając granic czasoprzestrzennych, właśnie dlatego, że podejście Ryana jest tak daleko, jak to możliwe.
András Salamon
Aby nawet zapisać instancję SAT potrzebujesz i przeczytaj ją . Czy to nie dowodzi, że ST dolna granica? Ω ( n ) Ω ( n 2 )Ω(n)Ω(n)Ω(n2)
T ....
@Turbo, nie jest jasne, czy każdy algorytm decydujący o SAT musi przechowywać instancję: udowodnienie, że dolna granica przestrzeni deterministycznej bitowej pokaże . LN PΩ(n)LNP
András Salamon