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...
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,...
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...
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 ( wer2 +...
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
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.= { e1, ⋯ , en}S={e1,⋯,en}S=\{e_1,\cdots,e_n\}mijaeie_iwja>...
Jaki jest najnowszy wynik w zakresie złożoności zapytań dotyczących prawidłowych formuł uczenia się PAC 2-DNF z przykładowymi zapytaniami i w jednolitym rozkładzie ? A może jakieś nietrywialne ograniczenia? Ponieważ w ogóle nie znam teorii uczenia się, a to pytanie jest motywowane inną dziedziną,...
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...
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...
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...
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...
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|...
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...
Czy oznacza ?E = N EE X P = N E X PmiXP.=N.miXP.\mathsf{EXP}=\mathsf{NEXP}E = N
Wiem, że dla nieważonego grafu dwustronnego mogę znaleźć minimalną osłonę wierzchołków, najpierw znajdując maksymalne dopasowanie i przekształcając ją w osłonę wierzchołków za pomocą Twierdzenia Königa. Czy istnieje modyfikacja, której można by użyć, gdyby węzły były...
Obliczenia niedeterministycznej maszyny Turinga (NTM) są dobrze znane jako drzewa konfiguracji, zakorzenione w konfiguracji początkowej. Każde przejście w programie jest reprezentowane przez łącze ojciec-dziecko w tym drzewie. Podobne drzewa można również skonstruować do wizualizacji obliczeń...
Powszechnie wiadomo, że maszyna analityczna Charlesa Babbage'a miała architekturę silnie przypominającą nowoczesną architekturę von Neumanna. Warto również zauważyć, że tabele reprezentujące program maszyny analitycznej Babbage'a ( http://www.fourmilab.ch/babbage/figures/menat3.png ) oraz prace...
Wikipedia pisze: FPT zawiera ustalone, możliwe do rozwiązania problemy, które można rozwiązać w czasie dla niektórych funkcji obliczalnych f . Zwykle funkcja ta jest traktowana jako pojedynczy wykładniczy, taki jak 2 O ( k ), ale definicja dopuszcza funkcje, które rosną jeszcze szybciej. Jest to...
Graf decydujący Homomorfizm jest ogólnie NP-Complete. Czy istnieją wyniki, które badają ten problem, gdy leżące u podstaw wykresy mają strukturę algebraiczną (takie jak decydowanie o homomorfizmach z wykresów Coseleya lub Cayleya do innych wykresów o określonej strukturze również)? Oprócz wyników...
Rozważając interakcje w sieci, zwykle bardzo trudno jest analitycznie obliczyć dynamikę i stosuje się przybliżenia. Przybliżenia pola średniego zwykle całkowicie ignorują strukturę sieci, a zatem rzadko są dobrym przybliżeniem. Popularnym aproksymacją jest aproksymacja pary, która uwzględnia...