Interesuje mnie naturalne uogólnienie słynnej 15-puzzli , w których musisz przesuwać bloki, dopóki nie posortujesz wszystkich podanych liczb (zwykle jest przerwa 1 blok). Teraz uogólnieniem byłoby zwiększenie rozmiaru układanki z 15 do , gdzie jedno pole jest wolne. Stworzyłem małą ilustrację...
Zoo złożoności wskazuje we wpisie na EXP, że jeśli L = P, to PSPACE = EXP. Ponieważ NPSPACE = PSPACE autorstwa Savitcha, o ile mogę powiedzieć, podstawowy argument dopełniania rozszerza się, aby pokazać, że Wiemy również, że L NL NC \ subseteq P poprzez zmienną hierarchię ograniczoną zasobami...
To naiwne pytanie z mojej wiedzy; z góry przeprasza. Hipoteza Goldbacha i wiele innych nierozwiązanych pytań w matematyce można zapisać jako krótkie formuły w rachunku predykatów. Na przykład artykuł Cooka „Czy komputery mogą rutynowo odkrywać dowody matematyczne?” formułuje tę hipotezę jako ∀ n...
Złożoność obliczeniowa obejmuje badanie złożoności problemów obliczeniowych w czasie lub przestrzeni. Z punktu widzenia przetwarzania mobilnego energia jest bardzo cennym zasobem obliczeniowym. Czy istnieje dobrze zbadana adaptacja maszyn Turinga, które odpowiadają za energię zużywaną podczas...
W swojej książce „Computational Complexity” Papadimitriou pisze: RP jest w pewnym sensie nową i niezwykłą klasą złożoności. Żadna żadna wieloznacznie niedeterministyczna maszyna Turinga nie może być podstawą do zdefiniowania języka w RP. Aby maszyna N mogła zdefiniować język w RP , musi mieć...
Niech AAA będzie stałą dodatnią liczbą całkowitą o rozmiarze nnn bitów. Można odpowiednio wstępnie przetworzyć tę liczbę całkowitą. Biorąc pod uwagę kolejną dodatnią liczbę całkowitą BBB o rozmiarze mmm bitów, jaka jest złożoność mnożenia ABABAB ? ϵ =...
Ostatnio Gil Kalai i Dick Lipton napisali fajny artykuł na temat ciekawej hipotezy zaproponowanej przez Petera Sarnaka, eksperta w dziedzinie teorii liczb i hipotezy Riemanna. Przypuszczenie. Niech będzie funkcją Möbiusa . Załóżmy, że f : N → { - 1 , 1 } jest funkcją A C 0 z wejściem k w postaci...
Jakie były najbardziej zaskakujące wyniki w złożoności? Myślę, że przydałaby się lista niespodziewanych / zaskakujących wyników. Obejmuje to zarówno zaskakujące wyniki, które pojawiły się znikąd, jak i wyniki, które okazały się inne niż oczekiwano. Edycja : biorąc pod uwagę listę Gasarcha, Lewisa...
Problem z minimalną przepustowością polega na znalezieniu kolejności węzłów wykresu na linii całkowitej, która minimalizuje największą odległość między dowolnymi dwoma sąsiadującymi węzłami. -caterpillar jest drzewem, utworzony z głównego toru hodując ścieżki krawędziach rozłączny o długości co...
Wielu wierzy, że . Jednak wiemy tylko, że B P P znajduje się na drugim poziomie hierarchii wielomianowej, tj. B P P ⊆ Σ P 2 ∩ Π P 2 . Etap kierunku pokazano B P P = P jest najpierw doprowadzić go do pierwszego poziomu hierarchii, to znaczy wielomian B P P ⊆ N P .BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} =...
Faktoring nie jest znany jako NP-zupełny. To pytanie dotyczyło konsekwencji faktoringu jako NP-zupełnego. Co ciekawe, nikt nie pytał o konsekwencje faktoringu w P (być może dlatego, że takie pytanie jest banalne). Więc moje pytania to: Jakie byłyby teoretyczne konsekwencje faktoringu w P? Jak...
Często słyszymy o klasycznych badaniach i publikacjach z zakresu złożoności obliczeniowej (Turing, Cook, Karp, Hartmanis, Razborov itp.). Zastanawiałem się, czy są ostatnio opublikowane artykuły uważane za przełomowe i konieczne do przeczytania. Mam na myśli ostatnie 5/10...
Kilka lat temu była praca Joela Friedmana związana z dolnymi granicami obwodu z kohomologią Grothendiecka (patrz dokumenty: http://arxiv.org/abs/cs/0512008 , http://arxiv.org/abs/cs/0604024 ). Czy ten sposób myślenia przyniósł jakieś nowe spojrzenie na złożoność logiczną, czy pozostaje raczej...
Centralnym problemem teorii złożoności jest zapewne vs .P.PPN.P.NPNP Ponieważ natura jest kwantowa, bardziej naturalne wydaje się rozważenie klas (tj. Problemów decyzyjnych rozwiązanych przez komputer kwantowy w czasie wielomianowym, z prawdopodobieństwem błędu co najwyżej 1/3 dla wszystkich...
Z punktu widzenia zdrowego rozsądku łatwo jest uwierzyć, że dodanie niedeterminizmu do znacznie rozszerza jego moc, tj. jest znacznie większy niż . W końcu niedeterminizm umożliwia wykładniczy paralelizm, który niewątpliwie wydaje się bardzo silny. PP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} Z drugiej...
Wiemy, że jeśli masz maszynę PSPACE, jest ona wystarczająco mocna, aby dać interaktywny dowód dowolnego poziomu hierarchii wielomianowej. (I jeśli dobrze pamiętam, wszystko czego potrzebujesz to #P.) Ale załóżmy, że chcesz dać interaktywny dowód członkostwa w języku . Czy wystarczy rozwiązać...
W 1995 r. Russell Impagliazzo zaproponował pięć światów złożoności: 1- Algorytmika: ze wszystkimi niesamowitymi konsekwencjami.P.= NP.P.=N.P.P=NP 2- Heuristica: problemy kompletne są trudne w najgorszym przypadku ( ), ale można je skutecznie rozwiązać w przeciętnym przypadku.N.P.N.P.NPP.≠...
Jako amator TCS czytam popularny materiał wprowadzający na temat komputerów kwantowych. Oto kilka podstawowych elementów informacji, których nauczyłem się do tej pory: Komputery kwantowe nie są znane z rozwiązywania problemów NP-zupełnych w czasie wielomianowym. „Magia kwantowa nie wystarczy”...
Raz wziąłem klasę na temat obliczalności i logiki. Materiał zawiera korelację między klasami złożoności / obliczalności (R, RE, co-RE, P, NP, Logspace, ...) i Logiką (rachunek predykatów, logika pierwszego rzędu, ...). Korelacja obejmowała kilka wyników w jednym polu, które zostały uzyskane przy...
Rozważ następujący problem zliczania (lub związany z tym problem decyzyjny): Biorąc pod uwagę dwie dodatnie liczby całkowite zakodowane w systemie binarnym, oblicz ich największy wspólny dzielnik (gcd). Jaka jest najmniejsza klasa złożoności, w której występuje ten problem? Czy możesz podać...