Zastanawiam się konkretnie, czy istnieje interesujący warunek dotyczący odsetka zadań spełniających formułę 3SAT, aby zagwarantować, że takie problemy są możliwe do rozwiązania. Załóżmy na przykład, że klasa problemów 3SAT z 2 n możliwych przypisań spełnia wzór logiczny; czy możemy skutecznie...
Grupa Clifford operatorów kwantowej są generowane przez operacje kwantowej: Controlled-Z , Hadamard i Faza ( ).=|0⟩⟨0|+i|1⟩⟨1|=|0⟩⟨0|+i|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| Obwód złożony tylko z tych bram może być skutecznie symulowany na klasycznym komputerze. Jednak, jeśli dobrze...
Ostatnio uczyłem się o interaktywnych dowodach i zastanawiałem się, czy cała ta sprawa była jedynie ciekawostką teoretyczną, czy też miała jakieś praktyczne zastosowania. Myślałem, że zacznę od przykładu, który przyszedł mi do głowy pod prysznicem: Ostatnio ogłaszano, że „liczba Boga” = 20....
Pracując nad nieco niezwiązanym projektem dla Suresh, ostatnio natknąłem się na pracę wykonaną przez Page i Opper na temat systemów tworzonych przez użytkowników, a część ich pracy krótko omówiła problemy, których nie można zweryfikować w czasie wielomianowym. Nie udało mi się znaleźć wielu...
Zliczając argumenty, można pokazać, że istnieją wielomiany stopnia n w 1 zmiennej (tj. Coś w postaci które mają złożoność obwodu n. Można również pokazać, że wielomian taki jak wymaga co najmniej mnożenia (potrzebujesz tego tylko, aby uzyskać wystarczająco wysoki stopień). Czy są jakieś wyraźne...
Biorąc pod uwagę termin t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))z teorii typów Martina-Lofa, jaka jest wartość w(t(0)), gdzie wjest operator wydobywający świadka terminu typu
Niech G będzie połączonym wykresem. Jaka jest złożoność zliczania wszystkich połączonych podgrafów, jeśli G jest następujących typów? G jest ogólny. G jest planarne. G jest dwustronny. Nie dbam o żadne struktury lub ..., po prostu muszę policzyć wszystkie połączone podgrupy!...
Jakie są problemy z najlepiej znanym współczynnikiem aproksymacji osiągniętym przez algorytm zwracający jednolicie losowe rozwiązanie? Znam jeden taki przykład problemu : w artykule „ Tight Bounds for Permutation Flow Shop Scheduling ” Viswanath Nagarajan i Maxim Sviridenko udowodnili, że...
Rozkład drzew jest trudny w najgorszym przypadku, ale chciwa metoda wydaje się być prawie optymalna w małych rzeczywistych sieciach. Czy coś wiadomo o twardości rozkładu drzewa „typowego” wystąpienia jakiejś klasy grafów? Czy istnieje przykład rodziny grafów, w której chciwe metody rozkładu drzew...
Szukam nazwy lub jakichkolwiek odniesień do tego problemu. Biorąc pod uwagę wykres ważony G=(V,E,w)G=(V,E,w)G = (V, E, w) znajdź podział wierzchołków na n=|V|n=|V|n = |V|ustawia S1,…,SnS1,…,SnS_1,\ldots,S_n tak, aby zmaksymalizować wartość przyciętych krawędzi:
Niedawno przypomniano mi o problemie vs. jak wyjaśnił Stephen A. Cook z Clay Mathematics Institute.N PP.P.\mathsf{P}N P.N.P.\mathsf{NP} To wzbudziło moje zainteresowanie i chciałbym dowiedzieć się więcej na ten temat. Pierwszym krokiem byłoby lepsze zrozumienie problemu i ogólne zrozumienie tego...
Czytałem w SP Jordan D. Gosset "PJ Love -Complete problemów stoquastic Hamiltonians i macierzy MarkowaQ MZAQMAQMA ", że jest mało prawdopodobne, że .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Byłem zaskoczony tym stwierdzeniem. Więc co jest właściwe relacje między i A M ?Q
Niech i przez zestaw wszystkich wykresów, które mogą być osadzone na powierzchni rodzaju tak, aby wszystkie wierzchołki znajdowały się na zewnętrznej powierzchni . Na przykład jest zbiorem zewnętrznych wykresów płaskich. Czy szerokość wykresów w być ograniczona przez jakąś funkcję ?G k k G 0 G k...
Jakie są najważniejsze prace badawcze na temat podstaw generycznych w C # i
Programowanie liniowe jest oczywiście obecnie bardzo dobrze rozumiane. Mamy dużo pracy, która charakteryzuje strukturę wykonalnych rozwiązań i strukturę rozwiązań optymalnych. Mamy silną dualność, algorytmy wielogodzinne itp. Ale co wiadomo na temat minimalnych maksymalnych rozwiązań LP? Lub...
Zadałem to pytanie kilka tygodni temu w Mathoverflow , ale nie otrzymałem odpowiedzi. Tutaj przez siatkę 3D długości bocznej rozumiem wykres G = ( V , E ) z V = { 1 , … , k } 3 i E = { ( ( a , b , c ) , ( x , y , z ) ) ∣ | a - x | + | b - y | + | dokkkG=(V,E)G=(V,E)G=(V,E)V={1,…,k}3V={1,…,k}3V=...
Razborov udowodnił, że każdy obwód monotoniczny, który oblicza idealną funkcję dopasowania dla grafów dwustronnych, musi mieć co najmniej bramek (nazwał to „logicznym stałym”). Czy od tego czasu udowodniono lepszą dolną granicę dla tego samego problemu? (powiedzmy 2 n ϵ ?) O ile pamiętam ten...
Jest to prawdopodobnie dość proste, ale weź pod uwagę standardowy problem z korespondencją: Biorąc pod uwagę, i β 1 , ... , β N , znaleźć sekwencję indeksów i 1 , ... , i K tak, że a i 1 ⋯ α i K = β i 1 ⋯ β i K . Jest to oczywiście nierozstrzygalne.α1, … , ΑN.α1,…,αN\alpha_1, \ldots, \alpha_Nβ1, …...
To pytanie jest inspirowane istniejącym pytaniem, czy stos można symulować przy użyciu dwóch kolejek w zamortyzowanym czasie na operację stosu. Odpowiedź wydaje się nieznana. Oto bardziej szczegółowe pytanie, odpowiadające specjalnemu przypadkowi, w którym najpierw wykonywane są wszystkie operacje...
\newcommand{\symp}{\Bumpeq} Relacja koherencji ≎X≎X\symp_X na zbiorze XXX jest relacją zwrotną i symetryczną. Przestrzeń koherencji to para (X,≎X)(X,≎X)(X, \symp_X) , a morfizm f:X→Yf:X→Yf : X \to Y między przestrzeniami koherencji jest relacją f⊆X×Yf⊆X×Yf \subseteq X \times Y taką, że dla...