Niech będzie klasą problemów decyzyjnych mających ograniczony algorytm losowego błędu dwustronnego działający w czasie O ( f ( n ) ) .BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Czy znamy żadnego problemu takie, że P ∈ B P T I M E ( n k ) , ale Q ∉ D T I M E ( n k ) ? Czy...
Teoria kategorii i algebra abstrakcyjna zajmują się sposobem łączenia funkcji z innymi funkcjami. Teoria złożoności dotyczy tego, jak trudna jest funkcja do obliczenia. Dziwne jest dla mnie to, że nie widziałem, aby ktoś łączył te kierunki studiów, ponieważ wydają się one takimi naturalnymi parami....
Czy wszystkie funkcje, których waga Fouriera jest skoncentrowana na małych zestawach (lub terminach o niskim stopniu), są obliczane przez obwody
Reguła rama , jak ten podany poniżej, oddaje ideę, że, biorąc pod uwagę program cz warunkiem p, że posiada zanim skończy i postcondition qktóra posiada potem jakiś warunek rozłączne rpowinny utrzymać zarówno przed jak i po cserii. ( *Łącznik wymaga, aby jego argumenty były rozłączne.) Często...
Wiem, że nie można zdecydować równoważności dla niepoprawnego rachunku lambda. Cytując Barendregt, HP Rachunek lambda: jego składnia i semantyka. Północna Holandia, Amsterdam (1984). :ββ\beta Jeśli A i B są rozłączne, niepuste zbiory terminów lambda, które są zamknięte na zasadzie równości, to A...
Pojęcie wielomianowych redukcji czasu (redukcje Cooka) jest abstrakcją bardzo intuicyjnej koncepcji: skutecznego rozwiązywania problemu za pomocą algorytmu dla innego problemu. Jednakże, w teorii -completeness pojęcie -hardness jest rejestrowany za pomocą redukcji odwzorowania (redukcje Karp). Ta...
Nigdy wcześniej nie widziałem algorytmu z logiem w mianowniku i zastanawiam się, czy w tym formularzu są jakieś przydatne algorytmy? Rozumiem wiele rzeczy, które mogą powodować mnożenie współczynnika logu w czasie wykonywania, np. Algorytmy sortowania lub oparte na drzewach, ale co może powodować...
Czy możliwe jest algorytmiczne testowanie, czy liczba obliczalna jest liczbą wymierną czy całkowitą? Innymi słowy, możliwe byłoby dla biblioteki, który implementuje numery obliczalne, aby zapewnić funkcje isIntegerlub isRational? Zgaduję, że nie jest to możliwe i że jest to w jakiś sposób związane...
W ostatnim wątku na liście mailingowej Agdy pojawiło się pytanie o prawa ηη\eta , w których Peter Hancock wypowiedział się prowokująco . Rozumiem, że prawa ηη\eta mają typy negatywne, tj. łączniki, których zasady wprowadzania są odwracalne. Aby wyłączyć ηη\eta dla funkcji, Hank sugeruje użycie...
Czy istnieje sekwencja niekierowanych grafów , gdzie każdy ma dokładnie wierzchołków i problem C n n{ Cn}n ∈ N{Cn}n∈N\{C_n\}_{n\in \mathbb N}donCnC_nnnn Biorąc pod uwagę i wykres , jest indukowanym ?G C n GnnnsolGGdonCnC_nsolGG wiadomo, że jest w klasie ? (Na przykład, gdy , jest to problem...
Chciałbym dowiedzieć się o złożoności parametryzowanej (zarówno po stronie algorytmicznej, jak i po stronie twardości). Jakie książki / notatki z wykładów mogę przeczytać na ten
Chciałbym obliczyć szerokość wykresu. Istnieją naprawdę dobre heurystyki dla innych problemów związanych z grafem NP-twardym, takich jak VF2 dla izomorfizmu podgraficznego , z kodem dostępnym na przykład w igraph . Wypróbowałem je na moich wykresach i okazało się, że działają bardzo szybko dla...
W jaki sposób mogę ustalić liczbę unikalnych prostych ścieżek na niekierowanym wykresie? Albo dla określonej długości, albo w zakresie dopuszczalnych długości. Przypomnij sobie, że prosta ścieżka to ścieżka bez cykli, więc mówię o policzeniu liczby ścieżek bez...
Obecnie prowadzę przegląd literatury dotyczący problemu izomorfizmu grafowego (GI). Chciałbym poznać kilka otwartych pytań związanych z następującymi zagadnieniami Jakie są parametry wykresu, dla których ustalona zdolność pomiarowa GI jest otwartym problemem. Jakie są parametry wykresu, przez...
Rozważmy język składający się ze wszystkich ciągów -lettera nad tak aby żadne dwie litery nie były równe:L k - d i s t i n c tLk−distinctL_{k-distinct} k kkΣΣ\Sigma L k - d i s t i n c t : = { w = σ 1 σ 2 . . . σ k ∣ ∀ i ∈ [ k ] : σ i ∈ Σ and ∀ j ≠ i : σ j ≠ σ i...
Ten problem pojawił się w moim niedawnym poście na blogu , przypuśćmy, że masz wycieczkę po TSP, czy jest to zgodne z NP-kompletnym, aby ustalić, czy jest to minimalne? Dokładniej jest następujący problem NP-zupełny: Instancja: Biorąc pod uwagę pełny wykres G z krawędziami ważonymi dodatnimi...
Problem Max-Sat prosi o znalezienie przypisania formuły CNF, która spełnia jak najwięcej klauzul. Dla prostszego problemu SAT istnieje wiele znanych specjalnych przypadków, które można rozwiązać w czasie wielomianowym, np. Możemy rozwiązać 2-SAT w czasie wielomianowym. W przypadku Max-Sat...
Chciałbym wiedzieć, czy są jakieś bezpłatne biblioteki wykresów do testowania, czy na danym wykresie istnieje określony zestaw
Słynny Izomorfizm Conjecture od Bermana i Hartmanis mówi, że wszystkie językach -Complete są wielomian czas izomorficzne (p-izomorficzny) do siebie. Kluczem znaczenie przypuszczeniem jest, że implikuje P ≠ N P . Została opublikowana w 1977 roku, a kawałek dowody potwierdzające, że wszystkie N P...
Problemem zatrzymania maszyn Turinga jest być może kanoniczny nierozstrzygalny zestaw. Niemniej jednak dowodzimy, że istnieje algorytm decydujący o prawie wszystkich jego wystąpieniach. Problem zatrzymania należy zatem do rosnącej liczby osób wykazujących zjawisko teorii złożoności „czarnej...