Jest tylko bardzo mało informacji na temat kompletnego NP rozwiązania problemu liniowego równania diofantyny w liczbach całkowitych nieujemnych. To znaczy, czy jest to rozwiązanie w nieujemne x1,x2,...,xnx1,x2,...,xnx_1,x_2, ... , x_n do równania , gdzie wszystkie stałe są dodatnie? Jedyną godną...
Osłona krawędzi jest podzbiorem krawędzi wykresu, tak że każdy wierzchołek wykresu sąsiaduje z co najmniej jedną krawędzią okładki. Poniższe dwa artykuły mówią, że liczenie krawędzi jest zakończone #P : Prosty FPTAS do zliczania krawędzi i generowania krawędzi krawędzi wykresów ścieżek . Jednakże,...
Niech solsolG będzie cyfrą (niekoniecznie DAG) i niech . Co jest złożoność zliczania liczby prostych ścieżek . s , t ∈ V.( G )s,t∈V.(sol)s,t \in V(G) s - ts-ts-tsolsolG Spodziewałbym się, że problemem będzie # -kompletny, ale nie udało mi się znaleźć dokładnego odwołania. P.P.{\mathsf P} Zauważ...
∑x∏i j ∈ Efa( xja, xjot)∑x∏jajot∈mifa(xja,xjot)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏i j ∈ Efa( xja, xjot)maxx∏jajot∈mifa(xja,xjot)\max_x \prod_{ij \in E} f(x_i,x_j) Gdzie Max lub suma przejmuje wszystkie labelings z , produkt wprowadza się na wszystkie krawędzie dla grafu G = \ {V, E \} i f jest...
Mam politotop P.PP zdefiniowany przez { x : A x ≤ b , x ≥ 0 }{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pytanie: Z uwagi wierzchołek vvv z P.PP , czy istnieje algorytm wielomianowy czas równomiernie próbki od sąsiadów vvv na wykresie P.PP ? (Wielomian w wymiarze, liczba równań i reprezentacja bbb...
Jest -hard znaleźć czynnik stały przybliżenie najdłuższego cyklu sześciennych Hamiltona wykresach. Sześcienne wykresy hamiltonowskie mają co najmniej dwa cykle hamiltonowskie.NPNPNP Jakie są najbardziej znane wartości górnej i dolnej granicy liczby cykli hamiltonowskich na sześciennych grafach...
Czytałem artykuł na Wikipedii o problemie ośmiu królowych. Stwierdzono, że nie ma znanego wzoru na dokładną liczbę rozwiązań. Po kilku poszukiwaniach znalazłem artykuł o twardości liczenia problemów z kompletnymi mapowaniami. W tym artykule jest problem, który okazuje się co najwyżej tak trudny jak...
Istnieje wiele problemów w kombinatorycznej teorii reprezentacji i geometrii algebraicznej, dla których nie jest znana formuła dodatnia. Myślę o kilku przykładach, ale pozwólcie, że obliczę współczynniki Kroneckera jako mój przykład. Zwykle pojęcie „formuły dodatniej” nie jest precyzyjnie...
Pytanie. W swoim artykule Ulepszona symulacja obwodów stabilizatora , Aaronson i Gottesman twierdzą, że symulacja obwodu CNOT jest zakończona w ⊕L (przy zmniejszeniu przestrzeni logarytmicznej). Oczywiste jest, że jest on zawarty w ⊕L ; jak zachowuje się wynik twardości? Równoważnie: czy...
W pracy Ben-Dor / Halevi [1] podano kolejny dowód na to, że stały jest -kompletny. W dalszej części artykułu pokazano łańcuch redukcji IntPerm ∝ NoNegPerm ∝ 2PowersPerm ∝ 0/1-Perm, podczas gdy wartość stała jest zachowana wzdłuż łańcucha. Ponieważ liczba satysfakcjonujących przypisań wzoru 3SAT...
1) Czy możliwe jest oszczędne zmniejszenie z problemu # P-zupełnego #A do problemu zliczania #B, gdy (wersja decyzyjna) A jest NP-kompletna, a B jest w P? Na przykład, czy może wystąpić oszczędne obniżenie z #SAT do #B, gdy B jest w P? 2) Jeśli B jest w P, jakie są różne możliwości złożoności...
Problem: Biorąc pod uwagę reprezentowane przez obwód logiczny, wygeneruj równomiernie losowy x ∈ { 0 , 1 } n taki, że ϕ ( x ) = 1 (lub wyjście ⊥, jeśli nie ma takiego x istnieje). ϕ : { 0 , 1 }n→ { 0 , 1 }ϕ:{0,1}n→{0,1}\phi : \{0,1\}^n \to \{0,1\}x ∈ { 0 , 1 }nx∈{0,1}nx \in \{0,1\}^nϕ ( x ) =...
Biorąc pod uwagę dwa CNF, jeśli mają taką samą liczbę zadań, aby były prawdziwe, odpowiedz „Tak”, w przeciwnym razie odpowiedz „Nie”. Łatwo zauważyć, że jest to w , ponieważ jeśli znamy dokładną liczbę rozwiązań dla tych dwóch CNF, po prostu je kampanujemy i odpowiadamy „Tak” lub...
Rozważmy problem # P-zupełny liczenia liczby osłon wierzchołków danego wykresu G=(V,E)G=(V,E)G = (V, E) . Chciałbym wiedzieć, czy jest jakikolwiek wynik pokazujący, jak twardość takiego problemu zmienia się w zależności od parametru (na przykład ).GGGd=|E||V|d=|E||V|d = \frac{|E|}{|V|} Mam...
Problem #SAT jest kanonicznym problemem # P-zupełnym. Jest to raczej problem funkcji niż problem decyzyjny. Pyta, biorąc pod uwagę wartość logiczną formuła w rachunku zdań, ilu spełniających zadania F ma. Jakie są najlepsze dolne granice na
Lemat: Zakładając, że równoważność eta istnieje (\x -> ⊥) = ⊥ :: A -> B. Dowód: ⊥ = (\x -> ⊥ x)przez eta-równoważność i (\x -> ⊥ x) = (\x -> ⊥)redukcję pod lambda. Raport Haskell 2010, rozdział 6.2 określa seqfunkcję na podstawie dwóch równań: seq :: a -> b -> b seq ⊥ b =...
Niech będzie formułą CNF z n zmiennymi i klauzulami m . Niech t ∈ { 0 , 1 } n reprezentuje przypisanie zmiennej, a f φ ( t ) ∈ { 0 , … , m } zliczają liczbę klauzul spełnionych przez przypisanie zmiennej do φ . Następnie zdefiniuj Median-SAT jako problem obliczania mediany wartości f φ ( t ) dla...
Parzystość-L, znana również jako , jest zestawem języków rozpoznawanych przez niedeterministyczną maszynę Turinga, która może rozróżniać tylko liczbę parzystą lub nieparzystą liczby ścieżek „akceptacji”. Ostatnie powiązane pytanie zadał Niel de Beaudrap.⊕⊕\oplus Moje pytanie jest następujące:...
To pytanie jest motywowane pytaniem MathOverflow Peng Zhanga . Valiant wykazał, że zliczanie maksymalnych klików na wykresie ogólnym jest zakończone metodą # P, ale co jeśli ograniczymy się do wykresów nieporównywalności (tzn. Chcemy policzyć maksymalne antichains w skończonym zestawie)? To pytanie...
Formuła Monotone-2CNF to formuła CNF, w której każda klauzula składa się z dokładnie 2 literałów dodatnich. Teraz mam wzór Monotone-2CNF . Niech S będzie zbiorem satysfakcjonujących zadań F. Mam również wyrocznię O, która może podać następujące informacje:FFFSSSFFFOOO Kardynalność zbioru (tj....