Czy następujący problem decyzyjny NP-zupełny: Niech będzie nieukierowanym wykresem i dwiema liczbami całkowitymi. Czy można wybrać dla każdego wierzchołka dokładnie różnych sąsiadów, tak że żaden węzeł nie zostanie wybrany więcej niż razy.GGGb≤cb≤cb \le cGGGbbbccc Przypadek można rozwiązać...
Jak zmusić drużynę do uczciwości (przestrzegać zasad protokołu)? Widziałem pewne mechanizmy, takie jak zobowiązania, dowody itp., Ale wydaje się, że nie rozwiązują one całego problemu. Wydaje mi się, że struktura projektu protokołu i takie mechanizmy muszą działać. Czy ktoś ma dobrą...
zastanawiam się, czy są jakieś podejścia do formułowania problemu trasy pojazdu z systemem Windows-Time ( VRPTW ) (jako problemem decyzyjnym) jako instancji SAT / SMT? (alternatywnie: TSP) Na przykład: „Czy istnieje prawidłowe rozwiązanie odwiedzające wszystkich klientów w ich ramach czasowych...
Kiedy przejrzałem „ Dynamiczne podejście programistyczne do problemów z sekwencjonowaniem ” autorstwa Michaela Helda i Richarda M. Karpa, wpadłem na następujące pytanie: dlaczego złożoność ich algorytmu dla TSP jest (s. 199), mam na myśli skąd biorą współczynnik ? Jeśli dobrze zrozumiałem, k-1...
W skrócie: Zakładając, że istnieją kombinacje jednokierunkowe , czy możemy zbudować taką, która nie ma zapadni? Więcej informacji: Permutacja jednokierunkowa to permutacja którą łatwo obliczyć, ale trudno ją odwrócić ( więcej informacji na temat formalnej definicji znajduje się w wiki tagu...
Jako kontynuacja mojego poprzedniego pytania , które rozwiązał Hsien-Chih Chang, oto kolejna próba znalezienia odpowiedniego uogólnienia twierdzenia Ramseya. (Nie musisz czytać poprzedniego pytania; ten post jest samodzielny.) Parametry: podane są liczby całkowite , a następnie jest wybierane...
Pozwolić VVV być zestawem DDD-wymiarowe kształty prostokątne. Dlad∈{1,...,D}d∈{1,...,D}d \in \{1,...,D\} i v∈Vv∈Vv \in V, wd(v)∈Q+wd(v)∈Q+w_d(v) \in \mathbb{Q}^{+} opisuje długość vvv w wymiarze ddd. Ta sama notacja jest używana dla konteneraCCC. TheDDD-wymiarowy problem pakowania ortogonalnego...
W przypadku projektu, nad którym pracuję, powinienem wygenerować losowo rozciągające się drzewa o ograniczonej wysokości. Zasadniczo wykonuję następujące czynności: 1) Wygeneruj drzewo opinające 2) Sprawdź wykonalność, jeśli to możliwe, zachowaj ją. 1) Zaczynając od minimalnego drzewa...
Miałem trudności ze znalezieniem algorytmu lub opublikowaniem artykułów na temat triangulacji samoblokującego się wielokąta (również wielokąta o strukturze dziury). Czy ktoś może poprowadzić mnie do znalezienia opublikowanej pracy / algorytmu, proszę? PS: proszę odpowiednio oznaczyć to pytanie,...
Chciałbym wiedzieć, gdzie mogę się zwrócić o dobre, delikatne wprowadzenie do k-SAT (może to być dla matematyków, którzy nie mają dobrego przygotowania informatycznego). Chciałbym również znać artykuły, które mogą przeglądać lub wyjaśniać obecne metody rozwiązywania k-SAT. Wreszcie interesują mnie...
Odnoszę się tutaj do pytania: potężne algorytmy zbyt złożone, aby je zaimplementować . Jeśli algorytm jest potężny, ale zbyt skomplikowany, aby go wdrożyć, skąd możesz mieć pewność, że algorytm jest poprawny? Bez implementacji nie będzie można przetestować algorytmu w scenariuszu ze świata...
Z mojego doświadczenia wynika, że języki kontekstowe i automaty z ograniczeniami liniowymi są często pomijane lub przewijane na kursach teorii obliczeń, a nawet są pomijane w niektórych znaczących podręcznikach, chociaż automaty skończone i zmniejszające są bardzo popularne. Z pewnością musi...
To jest post oddzielony od Konsekwencji UP równa się NP , a także pytanie uzupełniające do klas złożoności semantycznej vs. składniowej . W powyższym poście dowiedzieliśmy się o klasach semantycznych i syntaktycznych . Krótko mówiąc, kiedy klasę można scharakteryzować jako klasę języka liścia ,...
ostatnio Craig Gentry opublikował pierwszy schemat szyfrowania klucza publicznego (na przestrzeni tekstu jawnego {0,1}), który jest w pełni homomorficzny, co oznacza, że można skutecznie i kompaktowo oceniać AND i XOR na zaszyfrowanych tekstach jawnych bez znajomości tajnego klucza...
Dobrze znanymi przykładami obliczeń inspirowanymi zjawiskiem naturalnym są komputery kwantowe i komputery DNA. Co wiadomo o potencjale i / lub ograniczeniach obliczeń z prawami lub grawitacją Maxwella? Czyli poprzez włączenie „szybkich” rozwiązań natury do równań Maxwella lub problemu n-ciała...
Jak wszyscy wiecie, kryzys finansowy z 2008 r. Ciągle wypada. Zastanawiałem się, jak teoria złożoności pasuje do tego wszystkiego, kiedy zdałem sobie sprawę, że nie znam podstawowych klas złożoności związanych z ekonomią finansową. Więc moje pytanie brzmi: jaka jest klasyfikacja złożoności (jeśli...
Czy istnieją permutacje i wielkość wielomianowa (w ) gramatyka bezkontekstowa opisująca język skończony zamiast alfabetu ?π1,π2π1,π2\pi_1,\pi_2|w|=n|w|=n|w|=n{wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\}{0,1}{0,1}\{0,1\} AKTUALIZACJA: Dla jednej permutacji jest to możliwe. jest odwróceniem lub...
Twierdzenie Fáry'ego mówi, że prosty wykres płaski można narysować bez przecięć, tak że każda krawędź jest odcinkiem linii prostej. Moje pytanie brzmi, czy istnieje analogiczne twierdzenie dla grafów ograniczonej liczby skrzyżowań . W szczególności, czy możemy powiedzieć, że można narysować prosty...
W złożoności drzewa decyzyjnego funkcji boolowskiej bardzo dobrze znaną metodą dolnej granicy jest znalezienie (przybliżonego) wielomianu reprezentującego funkcję. Paturi podał charakterystykę symetrycznych funkcji boolowskich (częściowych i całkowitych) pod względem oznaczonej ilościΓΓ\Gamma:...
To pytanie powstało w kontekście kryptografii, ale poniżej przedstawię je w kategoriach teorii złożoności, ponieważ ludzie tutaj są bardziej zaznajomieni z tym ostatnim. To pytanie dotyczy problemów w NP, ale nie w średniej P / poli i pokonania premii przez Oracle Access . Nieformalne...