Teoretyczne informatyka

1

Niech będzie wykresem niekierowanym. Rozkładem V na podzbiory rozłączne V i nazywa się Hamilton rozkładu z G jeśli subgraph wywołanych przez każdy zestaw V i jest albo wykres Hamiltona lub składa się z jednej krawędzi z | V i | = 2 .G = ( V, E)sol=(V.,mi)G=(V,E)V.V.VV.jaV.jaV_isolsolGV.jaV.jaV_i| V.ja| =2|V.ja|=2)|V_i|=2 Przykład …

10 cc.complexity-theory ds.algorithms graph-theory np-hardness hamiltonian-paths

1

Jaki jest dowód na to, że komputery kwantowe mogą skutecznie symulować dowolne układy mechaniki kwantowej?

JBV zasugerował, że zamienię kilka komentarzy w pytanie, więc proszę bardzo. Kolejne pytanie [1] dotyczy aplikacji obliczeniowych QM. Jedną z odpowiedzi [2] była „efektywna symulacja mechaniki kwantowej”. Najwyraźniej ten pomysł sięga wczesnych tekstów Feynmana na ten temat; chociaż nie mam referencji. Więc: Pytanie. Jaki jest dowód na to, że komputer …

10 reference-request quantum-computing application-of-theory

1

Określ minimalną liczbę ważeń monet

W artykule Na temat dwóch problemów teorii informacji Erdõs i Rényi wyznaczają dolne granice minimalnej liczby ważeń, które należy zrobić, aby określić liczbę fałszywych monet w zestawie monet.nnn Bardziej formalnie: Fałszywe monety mają mniejszą wagę niż właściwe monety; znane są wagi i zarówno prawych, jak i fałszywych monet. Podana jest …

10 ds.algorithms reference-request co.combinatorics it.information-theory randomized-algorithms

4

Czy drzewa sufiksów mogą być użyte do znalezienia wszystkich popularnych podciągów?

Próbuję użyć drzewa sufiksów do porównania sekwencji ciągów. Znalazłem implementacje / teorię najdłuższego wspólnego problemu podciągów przy użyciu drzewek sufiksów. Jednak to, czego szukam, to omówienie powiązanego problemu - „wszystkich typowych podciągów”. W szczególności mam problem, w którym muszę najpierw znaleźć najdłuższy wspólny podciąg, a następnie znaleźć następny najdłuższy wspólny …

10 ds.algorithms string-matching

1

Optymalny pomiar MUB-ów

Niech będą zbiorem wzajemnie bezstronnych baz (MUB) w , tzn. Każdy jest podstawą ortonormalną, a dla mamy . Interesuje nas rozróżnianie dowolnych wektorów z . Czy optymalny (najgorszy przypadek lub średnia z jednolitym wcześniejszym) pomiar POVM jest wyraźnie określony gdziekolwiek w literaturze (np. Przy użyciu kryterium Holevo), przynajmniej dla niektórych …

10 reference-request quantum-information

1

Najszybszy znany algorytm znajdowania prostych ścieżek przez dany zestaw wierzchołków

Dla nieukierunkowane wykres i dany zbiór S wierzchołków, co jest znane asymptotycznie najszybciej Algorytm znalezienia prostą drogę, zawierający wszystkie elementy S . Co jeśli wymagamy, aby ścieżka była jak najkrótsza?GGGSSSSSS

10 ds.algorithms graph-algorithms time-complexity

2

Granice kompromisowe dla liczenia zakresu półprzestrzeni

Jaki jest obecnie najlepszy sposób wykonywania zapytań zliczających zakres półprzestrzeni na zbiorze punktów wymiarowych, wyrażony w formie kompromisu czas / przestrzeń. Zgodnie z przełomowym referatem Matouseka z 1993 r. (Twierdzenie 6.2, Wyszukiwanie zasięgu za pomocą wydajnych wycinków hierarchicznych), możemy wykonać zliczanie zasięgu dla zapytań, które są przecięciem półprzestrzeni , dla …

10 reference-request ds.data-structures cg.comp-geom

2

Czy obwody quasi-wielomianowe dla 3-SAT są banalne?

Załóżmy, że rozważamy 3-SAT ze zmiennymi i klauzulami c . Badam metodę, która wydaje się zajmować czas / przestrzeń O ( v 2 + log c ) w celu rozwiązania dowolnego problemu SAT pasującego do tego opisu, z błędem, który można dostosować do dowolnej kwoty. Jest jednak pewien haczyk.vvvdoccO ( …

10 ds.algorithms sat upper-bounds

6

Usuwanie rekurencji - spojrzenie na teorię za kulisami

Jestem nowy na tej stronie i to pytanie z pewnością nie jest na poziomie badawczym - ale no cóż. Mam małe doświadczenie w inżynierii oprogramowania i prawie żadnych w CSTheory, ale uważam to za atrakcyjne. Krótko mówiąc, chciałbym uzyskać bardziej szczegółową odpowiedź na poniższe pytania, jeśli to pytanie jest dopuszczalne …

10 pl.programming-languages recursion recursive

2

Funkcje jednokierunkowe a doskonale wiążące zobowiązania

Jeśli istnieją OWF, możliwe jest statystycznie wiążące zobowiązanie do bitu. [1] Czy wiadomo, że jeśli istnieją OWF, możliwe jest doskonale wiążące zaangażowanie bitów? Jeśli nie, to czy istnieje między nimi znana czarna skrzynka? [1] http://en.wikipedia.org/wiki/Pseudorandom_generator_theorem i http://en.wikipedia.org/wiki/Commitment_scheme#Bit-commitment_from_a_pseudo-random_generator

10 cr.crypto-security one-way-function

2

Amplituda losowych wykresów sześciennych

Rozważ dołączony losowy wykres sześcienny G=(V,E)G=(V,E)G=(V,E) z n=|V|n=|V|n =|V|wierzchołki narysowane z G(n,3G(n,3G(n, 3 reg ))) (jak tu zdefiniowano , tzn. 3n3n3n jest parzyste, a dowolne dwa wykresy mają takie samo prawdopodobieństwo). Oczywiście istnieje nnn możliwe Szerokość najpierw szuka, po jednej dla każdego węzła wyjściowych s∈Vs∈Vs \in V . Przeszukiwanie wszerz …

10 graph-theory co.combinatorics

2

Ustaw problem optymalizacji - czy jest np. Kompletny?

Ustawiono . Dla każdego elementu mamy wagę i kosztujemy . Celem jest znalezienie podzbioru o rozmiarze który maksymalizuje następującą funkcję celu: .e i w i > 0 c i > 0 M k ∑ e i ∈ M w i + ∑ e i ∉ M w i c iS.= …

10 np-hardness optimization

2

Determinant uogólnionej macierzy Vandermonde'a

Macierz Moore'a jest podobna do macierzy Vandermonde, ale ma nieco zmodyfikowaną definicję. http://en.wikipedia.org/wiki/Moore_matrix Jaka jest złożoność obliczenia wyznacznika danego pełnego rzędu macierzy Moore'a modulo jakiejś liczby całkowitej?n × nn×nn \times n Czy wyznacznik Moore'a można zredukować z przy użyciu technik FFT do dla niektórych ?O ( n log a n …

10 cc.complexity-theory algebraic-complexity

1

Dolne granice dla obwodów kwantowych z wykorzystaniem szkieletu geodezyjnego

Niektórzy z nas czytają artykuł Michaela Nielsena o geometrycznym podejściu do stosowania dolnych granic kwantowych (w skrócie, konstrukcja metryki Finslera na tak że odległość geodezyjna od I do elementu U jest dolną granicą na liczbę bramek w obwodzie kwantowym, który oblicza U ).S.U( 2n)S.U(2)n)SU(2^n)jajaIUUUUUU Zastanawiałem się, czy istnieją konkretne przykłady …

10 quantum-computing

1

Schemat Voronoi na wykresie

Niech będzie wykresem z (dodatnio) ważonymi krawędziami. I chcemy określić schemat Voronoi dla zestawu węzłów / miejsca , do wiązania się z węzła subgraph w indukowanej przez wszystkie węzły ściśle bliżej niż jakiegokolwiek innego węzła , pomiar długości ścieżki za pomocą sumy wag na łukach. jest „s Woronoja obszar . …

10 reference-request graph-theory cg.comp-geom