Dzisiaj podczas lunchu poruszyłem ten problem z kolegami i ku mojemu zdziwieniu argument Jeffa E., że problem jest rozstrzygalny, nie przekonał ich ( oto ściśle powiązany post na temat przepływu matematyki). Stwierdzenie problemu, które jest łatwiejsze do wyjaśnienia („czy P = NP?”) Jest również...
To pytanie przyszło mi do głowy z powodu problemu z zatrzymaniem i nie mogłem znaleźć dobrej odpowiedzi online, zastanawiając się, czy ktoś może pomóc. Czy jest możliwe, że problem zatrzymania jest rozstrzygalny dla dowolnej TM na dowolnym wejściu, o ile wejście nie jest samą TM?...
W połowie kadencji istniała odmiana następującego pytania: Dla rozstrzygalnego zdefiniuj Pokaż, że niekoniecznie jest rozstrzygalny.LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in L\}Pref(L)Pref(L)\text{Pref}(L) Ale jeśli wybiorę...
Próbuję wymyślić dowód na następujące kwestie: Dla każdego języka AAA istnieje język BBB , tak że A≤TBA≤TBA \le_{\mathrm{T}} B a B ≰TA≰TA\nleq_{\mathrm{T}} A . Myślałem o pozwoleniu BBB być ATMATMA_{\mathrm{TM}} , ale zdaję sobie sprawę, że nie wszystkie języki Turing można zredukować do...
Jedno stwierdzenie twierdzenia Rice'a znajduje się na stronie 35 „Złożoności obliczeniowej: nowoczesne podejście” (Arora-Barak): Funkcja częściowa od do to funkcja, która niekoniecznie jest zdefiniowana na wszystkich jej wejściach. Mówimy, że TM oblicza funkcję cząstkową jeżeli dla każdego na...