W „ Poradzie dla początkującego studenta ” Manuela Bluma : LEONID LEVIN wierzy, jak to robię, niezależnie od odpowiedzi na P = NP? problem, to nie będzie tak, jak myślisz, że powinno być. Podał też wspaniałe przykłady. Po pierwsze, podał FACTORING ALGORITHM, który jest optymalnie optymalny, aż...
Powszechnie wiadomo, że złożoność odróżnianie się stronniczy monetę z jednego sprawiedliwego jest θ ( ε - 2 ) . Czy istnieją wyniki dla odróżnienia monety p od monety p + ϵ ? Widzę, że dla specjalnego przypadku p = 0 złożoność będzie wynosić ϵ - 1 . Mam przeczucie, że złożoność będzie zależeć od...
Szukam implementacji algorytmu do obliczania szerokości ścieżki wykresu. Dobrze wiadomo, że obliczenie szerokości ścieżki jest równoważne z obliczeniem numeru wyszukiwania węzła, numeru separacji wierzchołków lub grubości przedziału wykresu. Algorytm nie musi być bardzo szybki; Chcę uruchomić go na...
Szukam odwołania (a nie dowodu, że mogę to zrobić) do następującego rozszerzenia Chernoff. Niech bądź logiczne zmienne losowe, niekoniecznie niezależne . Zamiast tego jest zagwarantowane, że P r ( X i = 1 | C ) < p dla każdego i i każdego zdarzenia C, które zależy tylko od { X j | j ≠ i }...
Tło: Złożoność drzewa decyzyjnego lub złożoność zapytań to prosty model obliczeń zdefiniowany w następujący sposób. Niech będzie funkcją logiczną. Deterministyczna złożoność zapytania f , oznaczona jako D ( f ) , jest minimalną liczbą bitów wejścia x ∈ { 0 , 1 } n, które należy odczytać (w...
Rozgałęzienie i powiązanie to skuteczna heurystyka dla problemów wyszukiwania, a Wikipedia wymienia wiele trudnych problemów, w których zastosowano rozgałęzienie i powiązanie. Jednak nie udało mi się znaleźć referencji sugerujących, że jest to więcej niż „jedna metoda” rozwiązania tych...
Czy są jakieś problemy, które są NP-całkowite przy stosowaniu geometrii euklidesowej, ale są dobrze zdefiniowane i możliwe do rozwiązania w czasie wielomianowym dla niektórych geometrii
Szukam: Michael O. Rabin, „Stopień trudności obliczenia funkcji i częściowe uporządkowanie zbiorów rekurencyjnych”, Uniwersytet Hebrajski, Jerozolima, 1960 Streszczenie: „Próbujemy zmierzyć ilość pracy związanej z obliczeniem danej funkcji obliczeniowej (rekurencyjnej). Wprowadzono i zbadano...
Łatwo zauważyć, że jeśli to istnieją całkowite N P problemy wyszukiwania, których nie można rozwiązać w czasie wielomianowym (stwórz całkowity problem wyszukiwania, mając zarówno świadków członkostwa, jak i świadków braku członkostwa).N P ∩ c o N P ≠ PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq...
W definicji (silnej) ciągliwości parametrów stałych ustalony czas jest wyrażeniem postaci gdzie instancja wejściowa to ( x , k ) z parametrem k , p jest wielomianem, a f jest funkcją obliczalną .f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkpppfff Możliwe jest zastąpienie wymogu...
Mam pytanie dotyczące redukowalności SERF impagliazzo, Paturi i Zane'a oraz algorytmów podwykładniczych. Definicja SERF-redukowalności daje następujące: Jeśli jest redukowalne przez SERF do P 2 i istnieje algorytm O ( 2 ε n ) dla P 2 dla każdego ε > 0 , wówczas istnieje algorytm O ( 2 ε n )...
Interesuje mnie modelowanie obiektów, od programowania obiektowego, w teorii typów zależnych. Jako możliwą aplikację chciałbym mieć model, w którym mogę opisać różne cechy imperatywnych języków programowania. Znalazłem tylko jeden artykuł na temat modelowania obiektów w teorii typów zależnych, a...
Definicja liczb Ramseya jest następująca: Niech jest dodatnią liczbą taką, że każdy wykres zamówienia na przynajmniej R ( , b ) obejmuje albo klika w ciągu wierzchołków lub zestaw się na stałym b wierzchołków.R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb Pracuję nad jakimś rozszerzeniem Ramsey...
Interesuje mnie złożoność problemu dominującego zestawu (DSP) w niektórych określonych klasach grafów, które są podklasami grafów akordowych . Wykres jest nieukierowanym wykresem ścieżki, jeśli jest to wykres przecięcia wierzchołków rodziny ścieżek w jakimś niekierowanym drzewie. Niech UP będzie...
Biorąc pod uwagę wykres płaski, można go osadzić w liniowym czasie przechodzącym swobodnie w siatkę . Interesuje mnie, czy znane są efektywne algorytmy linii prostej osadzającej płaski wykres przecinający się swobodnie w siatce n c × n c , dla jakiegoś małego c , tak, że minimalny kąt między dwiema...
Czy wiadomo, czy problem z ustawieniem wierzchołka sprzężenia zwrotnego na niekierowanych grafach płaskich o ograniczonym stopniu jest
Ponieważ interesuję się parserami (głównie gramatykami wyrażeń parsera), zastanawiam się, czy jest jakaś praca, która daje kategoryczne traktowanie parsowania. Wszelkie odniesienia do zastosowania teorii kategorii do analizy składniowej są bardzo mile
Motywacja: Współautor redaguje manuskrypt i chciałbym zobaczyć jasne podsumowanie edycji. Wszystkie narzędzia podobne do „diff” są zwykle bezużyteczne, jeśli zarówno przenosisz tekst (np. Reorganizując strukturę), jak i edytujesz lokalnie. Czy to naprawdę takie trudne? Definicje: Chciałbym...
Najmniejsza znana formuła dla wyznacznika ma rozmiar zgodnie z folklorem (lub Ran Raz w swoim artykule Wieloliniowe formuły na stałe i determinant mają rozmiar wielobiegowy ).nO (logn )nO(logn)n^{\mathcal O(\log n)} Czy masz na to jakieś odniesienia? W szczególności, czym jest ta...
Wydaje mi się, że eksperci od uczenia maszynowego / eksploracji danych znają P i NP, ale rzadko mówią o niektórych bardziej subtelnych klasach złożoności (np. NC, BPP lub IP) i ich implikacjach dla skutecznego analizowania danych. Czy jest jakaś ankieta na temat tej