Zastanawiałem się, czy istnieje jakakolwiek dolna granica (pod względem złożoności próby) znana z następującego problemu: Biorąc pod uwagę przykładowy dostęp do wyroczni do dwóch nieznanych dystrybucji , D_2 w \ {1, \ dots, n \} , test (whp) czyD1D1D_1D2D2D_2{1,…,n}{1,…,n}\{1,\dots,n\} D1=D2D1=D2D_1=D_2 lub d2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} \geq \epsilon Batu i in. …
Czy istnieje o następujących właściwościach:L ∈ N PL∈NPL\in {\bf NP} Wiadomo, że oznacza P = N P .L ∈ PL∈PL\in {\bf P}P = N PP=NP{\bf P}={\bf NP} Nie (znany) wielomian czas redukcji Turinga z (lub inne N P -Complete problemu) do l .S.A T.SATSATN P.NP{\bf NP}L.LL Innymi słowy, jeśli wielomianem …
Niektóre tło: Chciałbym znaleźć „mniej znane” dolne granice (lub wyniki twardości) dla problemu Uczenie się z błędami (LWE) i ich uogólnienia, takie jak Uczenie się z błędami przez pierścienie. W celu uzyskania szczegółowych definicji itp. Oto miła ankieta przeprowadzona przez Regev: http://www.cims.nyu.edu/~regev/papers/lwesurvey.pdf Standardowym rodzajem założenia w stylu (R) LWE jest …
Interesuje mnie pytanie, czy NP jest równy coNP, czy nie. Byłbym wdzięczny za porady dotyczące dobrych publikacji do przeczytania na ten temat. Dla przypomnienia, wiem, że to pytanie jest ściśle związane z pytaniem, czy P jest równe NP, czy nie (takie, że jeśli NP! = CoNP, to P! = NP). …
Interesuje mnie system słonecznika i jego zastosowania w informatyce. Biorąc pod uwagę Wszechświat i zbiór k zbiorów A i nazywa się układem k-słonecznika, jeśli A i ∩ A j = Y dla wszystkich i ≠ j . A Y nazywa się rdzeniem, a A i - Y nazywa się płatkami. …
Co obecnie wiadomo na temat zbliżenia problemu rodzaju? Wstępne wyszukiwanie mówi mi, że stałe przybliżenie współczynnika jest trywialne dla wystarczająco gęstych wykresów, a algorytm aproksymacji został wykluczony. Czy te informacje są aktualne, czy są znane lepsze granice?nϵnϵn^\epsilon
Rozluźnijmy trochę kolorystykę, tzn. Pozwalamy niewielkiej liczbie sąsiadujących wierzchołków na przypisanie tego samego koloru. Składnik monochromatyczny jest zdefiniowany jako składnik połączony w podsgrafie wywołany przez zestaw wierzchołków, które otrzymują ten sam kolor, a pytanie polega na zapytaniu o minimalną liczbę kolorów potrzebną do pokolorowania wykresu, tak aby największy składnik monochromatyczny …
To może być naiwne pytanie, ale proszę bardzo. (Edycja - nie ma głosów pozytywnych, ale nikt też nie odpowiedział; być może pytanie jest trudniejsze, niejasne lub niejasne, niż myślałem?) Pierwsze twierdzenie Gödela o niekompletności można udowodnić jako następstwo nierozstrzygalności problemu zatrzymania (np. Sipser Ch. 6; post na blogu Scotta Aaronsona …
Jakie są twierdzenia dotyczące hierarchii głębokości obwodu? Oświadczenia takie jak jeśli i f ( n ) ∈ n O ( 1 ), to S i z e D e p t h ( n O ( 1 ) , g ( n ) ) ⊊ S i z e D …
Twierdzenie Courcelle'a stwierdza, że każdą właściwość grafu definiowaną w monadycznej logice drugiego rzędu można rozstrzygać w czasie liniowym na wykresach ograniczonej szerokości . Jest to jedno z najbardziej znanych algorytmicznych meta-twierdzeń. Zmotywowany twierdzeniem Courcelle, wysunąłem następujące przypuszczenie: Przypuszczenie : Niech będzie dowolną właściwością definiowaną przez MSO. Jeśli ψ można rozwiązać …
Wiem, jak niektóre negatywne zdarzenia mogą być zdecydowanie złe: data False data Bad a = C (Bad a -> a) selfApp :: Bad a -> a selfApp (x@(C x')) = x' x yc :: (a -> a) -> a yc f = selfApp $ C (\x -> f (selfApp x)) …
Powszechnie uważa się, że niektóre problemy obliczeniowe, takie jak izomorfizm grafów, nie mogą być NP-kompletne, ponieważ nie mają wystarczającej struktury lub redundancji, aby były trudne obliczeniowo (NP-twarde). Interesują mnie różne pojęcia formalne dotyczące struktury problemów obliczeniowych i miar redundancji. Jakie są główne znane wyniki takich formalnych pojęć dotyczących problemów obliczeniowych? …
Czy są jakieś zastosowania Algebry Abstrakcyjnej w teorii języków programowania? Czy jest coś, co byłoby przydatne w projektowaniu języka i implementacji kompilatora?
-coloring o siatka jest funkcją . Uszkodzony prostokąt w jest krotką spełniającą - to znaczy dokładnie trzy rogi prostokąta są tego samego koloru.m × nkkkm × nm×nm \times ndo: [ m ] × [ n ] → [ k ]C:[m]×[n]→[k]C:[m] \times [n] \to [k]( i , i ′ , j …
Szukam sposobu generowania wykresów, aby znana była optymalna osłona wierzchołków. Nie ma ograniczeń co do liczby węzłów lub krawędzi, tylko to, że wykres jest całkowicie połączony. chodzi o wygenerowanie wykresu, który nie jest łatwy do znalezienia optymalnej osłony wierzchołków, aby móc przetestować na niej różne heurystyki Znalazłem artykuł Arthur, J. …
Używamy plików cookie i innych technologii śledzenia w celu poprawy komfortu przeglądania naszej witryny, aby wyświetlać spersonalizowane treści i ukierunkowane reklamy, analizować ruch w naszej witrynie, i zrozumieć, skąd pochodzą nasi goście.
Kontynuując, wyrażasz zgodę na korzystanie z plików cookie i innych technologii śledzenia oraz potwierdzasz, że masz co najmniej 16 lat lub zgodę rodzica lub opiekuna.