Teoretyczne informatyka

1

Unikalny SAT jest dobrze znanym problemem: biorąc pod uwagę wzór CNF , czy to prawda, że F ma dokładnie jeden model?FFFFFF Interesuje mnie problem «Dokładnie SAT»: biorąc pod uwagę wzór F CNF i liczbę całkowitą m > 1 , czy to prawda, że F ma dokładnie m modeli?mmmFFFm>1m>1m>1FFFmmm Oba problemy …

12 cc.complexity-theory reference-request np-hardness sat reductions

2

Złożoność testowania członkostwa dla skończonych grup abelowych

Rozważ następujący problem testowania członkostwa w podgrupie abelian . Wejścia: Skończona grupa abelowa G=Zd1×Zd1…×ZdmG=Zd1×Zd1…×ZdmG=\mathbb{Z}_{d_1}\times\mathbb{Z}_{d_1}\ldots\times\mathbb{Z}_{d_m} o dowolnie dużych didid_i . Wytwarzające osadzone {h1,…,hn}{h1,…,hn}\lbrace h_1,\ldots,h_n\rbrace podgrupy H⊂GH⊂GH\subset G . Element b∈Gb∈Gb\in G . Wyjście: „tak”, jeżeli b∈Hb∈Hb\in H i „nie” w innym miejscu. Pytanie: Czy ten problem można skutecznie rozwiązać na klasycznym …

12 ds.algorithms time-complexity matrices nt.number-theory gr.group-theory

1

Przejście z kwantowych na klasyczne losowe spacery po linii

Szybka wersja Czy istnieją modele dekoherencji na spacer kwantowej na linii takie, że możemy dostroić dojść do rozprzestrzeniania się jako za każdy 1 / 2 ≤ k ≤ 1 ?Θ ( tk)Θ(tk)\Theta(t^k)1 / 2 ≤ k ≤ 11/2≤k≤11/2 \leq k \leq 1 Motywacja Klasyczne losowe spacery są przydatne w projektowaniu …

12 quantum-computing random-walks quantum-walk

1

Dlaczego Feige-Fiat-Shamir nie jest zerową wiedzą bez znaków?

W rozdziale 10 HAC (10.4.2) widzimy dobrze znany protokół identyfikacyjny Feige-Fiat-Shamir oparty na dowodzie zerowej wiedzy przy użyciu (przypuszczalnej) trudności w wyodrębnieniu modulo pierwiastków kwadratowych z kompozytu, który jest trudny do uwzględnienia. Podam schemat własnymi słowami (i mam nadzieję, że dobrze to zrobię). Zacznijmy od prostszego schematu: niech nnn będzie …

12 cr.crypto-security proofs zero-knowledge

2

Wyniki kodowania kanałów przy użyciu złożoności Kołmogorowa

Zwykle do udowodnienia wyników kodowania kanału używana jest entropia Shannona. Nawet w przypadku wyników separacji kanałów źródłowych stosowana jest entropia shannon. Biorąc pod uwagę równoważność między Shannonem (globalnym) a Kołmogorowskim (lokalnym) pojęciem informacji, czy przeprowadzono badania nad wykorzystaniem złożoności Kołmogorowa do tych wyników (lub przynajmniej w celu zastąpienia części kodującej …

12 it.information-theory kolmogorov-complexity shannon-entropy

1

Jakieś wyniki na binarnym CSP typu boolean wykraczają poza ustalalność parametrów prawie problemu 2SAT?

Niech będzie formułą 2CNF, a k nieujemną liczbą całkowitą. Jest udowodnione w tym artykule , że problem z podjęciem decyzji, czy można usunąć co najwyżej k klauzul aby φ satisfable określony jest parametr tractable, gdzie k jest parametrem. Moje pytanie brzmi: czy są jakieś prace, które uogólniają ten wynik na …

12 parameterized-complexity csp fixed-parameter-tractable

1

Algorytm optymalnego sortowania w liczbie zamian

Biorąc pod uwagę ciąg liczb, czy można go sortować za pomocą porównań O ( n ln n ) i O ( n ) zamian / ruchów? Każdy wskaźnik do publikacji na ten temat lub kontrargumentów pokazujących dolną granicę Ω ( n ln n ) byłby pomocny.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n \ln n)

12 cc.complexity-theory ds.algorithms

1

Cytowanie pokazujące osoby niepełnoletnie są nieletnimi topologicznymi dla wykresów podrzędnych

Jeśli jest wykresem w stopniu maksymalnie 3 i jest minor H , a G jest topologiczna minor H .solGGH.HHsolGGH.HH Wikipedia cytuje ten wynik z „Teorii grafów” Diestela. Jest wymieniony jako Prop 1.7.4 w najnowszej wersji książki. W książce brakuje dowodu lub cytowania. Czy miejsce pobytu znane jest z (oryginalnego) dowodu …

12 reference-request graph-theory co.combinatorics graph-minor

4

Równania wzorcowe i formularz sumy operatora

Jestem bardziej facetem od optyki kwantowej niż facetem od informacji kwantowych i zajmuję się głównie równaniami mistrzowskimi. Interesuje mnie forma sumy operatora i chciałbym wyprowadzić błędy w tej formie dla małego układu kwantowego, który symuluję. Haczyk: układ kwantowy jest napędzany przez zewnętrzne (klasyczne) pole modelowane funkcją sinusoidalną, a współczynniki tłumienia …

12 quantum-information

2

PARITY

jest klasa układów wielomian wielkości stałej głębokości z nie bram i bezgranicznej fan-in i i lub bram, gdzie wejścia i bramy mają również nieograniczony Fanout.AC0AC0AC^0 Rozważmy teraz nową klasę, nazwijmy ją która jest jak A C 0, ale dla której wejścia i bramki mają co najwyżej O ( 1 ) …

12 cc.complexity-theory circuit-complexity

2

Złożoność Kołmogorowa ze słabymi językami opisu

Możemy myśleć o złożoności łańcucha Kołmogorowa jako długości najkrótszego programu P i wprowadzić y tak, że x = P ( y ) . Zazwyczaj programy te są pobierane z jakiegoś kompletnego zestawu Turinga (np. P może być opisem maszyny Turinga lub może to być program w LISP lub C). Nawet …

12 reference-request computability kolmogorov-complexity

2

Logika modalna aksjatyzowana z taką głębokością zagnieżdżenia, która raczej nie znajdzie się w PSPACE?

Szukam logiki modalnej, która jest aksjatyzowana przez skończony zestaw aksjomatów modalnej głębokości zagnieżdżenia, i których problem z zadowalalnością / pochodnością jest mało prawdopodobny w PSPACE. Bez ograniczenia modalnej głębokości zagnieżdżania nie stanowi to problemu, patrz na przykład PDL. Wydaje się jednak, że dowodząc na przykład twardości WYJĄTKOWEJ poprzez redukcję do …

12 cc.complexity-theory lo.logic modal-logic

1

Twardość NP specjalnego przypadku podziału na liczby

Rozważ następujący problem, Biorąc pod uwagę zestaw dodatnimi liczbami { 1 , ... , n } , w którym K ≥ 3 jest stała, chcemy podzielić wkomponowany m podzbiorów wielkości K , przy czym produkt z sumy każdego podzbioru jest zmaksymalizowane.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}k≥3k≥3k \ge 3mmmkkk …

12 cc.complexity-theory np-hardness application-of-theory polynomial-time

2

Czy istnieje przegląd semantyki różnych funkcji języka programowania?

Czy istnieje ankieta (z artykułu, rozdziału książki, samouczka, linków, ...) semantyki różnych funkcji języka programowania? Początkowo byłem przytłoczony funkcjami D tutaj http://www.digitalmars.com/d/2.0/comparison.html Chciałbym zobaczyć, co mógłbym stąd uzyskać, chociaż zadałem podobne pytanie na temat przepełnienia stosu i rozumiem, że te dwie witryny mają różne perspektywy. Naprawdę doceniam twoją odpowiedź! Dzięki …

12 reference-request pl.programming-languages survey

2

Maksymalne cięcie w kształcie euklidesa w małych wymiarach

x1,…,xnx1,…,xnx_1, \ldots, x_nR2R2\mathbb{R}^2∥xi−xj∥2‖xi−xj‖2\|x_i - x_j\|^22323\frac 2 32323\frac 2 3 Najgorszy przykład, jaki mogę znaleźć, to 3 punkty na równobocznym trójkącie, który osiąga . Zauważ, że losowy podział dałby , ale intuicyjnie wydaje się intuicyjnie, że w niskich wymiarach można skupić się lepiej niż losowo.2323\frac 2 31212\frac 1 2 Co się …

12 ds.algorithms graph-algorithms application-of-theory max-cut clustering