Załóżmy, że jest językiem boolowskim o skończonych łańcuchach ponad . Niech będzie liczbą łańcuchów w o długości . Dla funkcji od dodatnich liczb całkowitych do dodatnich liczb rzeczywistych, ma górną gęstość jeśli dla wszystkich wystarczająco dużych .L.L.LL n L n d ( n ) L d ( n ) L n ≤ 2 n d ( n...
Szukam pełnego tekstu wyniku kliknięcia Księżyca i Mosera z 1965 r. O klikach na wykresach (istnieją wykresy z liczbą maksymalnych wykładniczych klik w ). Zapora mojego uniwersytetu nie ma dostępu do konkretnego czasopisma. (W rzeczywistości podgląd zawiera kilka pierwszych zdań dowodu, ale potem...
Szukam dostępnych w Internecie notatek z wykładów lub innych zasobów, które stanowią dobre wprowadzenie do programowania równoległego, podobnie jak równoległy analog podstawowych zajęć z informatyki. Skupiam się na następujących zagadnieniach: chociaż jestem w stanie mówić o dzieleniu i...
Czy istnieje algorytm wielomianowy do znalezienia - jeśli taki istnieje - pająka rozpinającego danego wykresu ? Pająk to drzewo z co najmniej jednym węzłem o stopniu większym niż 2: Wiem, że różne warunki stopnia na (zasadniczo wystarczająco duże stopnie węzła) gwarantują istnienie pająka...
Algorytm Deutscha jest dobrze znanym obliczeniem kwantowym z tylko jedną oceną . Jeśli zastąpimy z problem wydaje się być inna. Moje pytanie brzmi: czy istnieje algorytm kwantowy obliczający wartość (lub AND, jeśli wolisz) przy użyciu tylko jednej oceny . W przeciwnym razie: czy wiadomo, że taki...
W poszukiwaniu artykułów naukowych na temat systemów typów dla języków imperatywnych znajduję rozwiązania tylko dla języka ze zmiennymi odnośnikami, ale bez prawdziwych struktur kontroli imperatywnej, takich jak operatory złożone, pętle lub warunki warunkowe. Nie jest więc jasne, w jaki sposób...
Znam dobrze teorię VC-Dimension, ale teraz patrzę na ostatnie (ostatnie 10 lat) postępy w statystycznej teorii uczenia się: (lokalne) średnie Rademachera, Lemma klasy skończonej Massarta, Liczby obejmujące, Łańcuchy, Łańcuch Dudleya Twierdzenie, Pseudodimension, Fat Shattering Dimension, Numery...
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...
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...
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...
Kilka lat temu natknąłem się na następującą lewą zasadę równości w rachunku różniczkowym: s ≐ t ⇝ θθ ( Γ ) ⊢ θ ( C)Γ , s ≐ t ⊢ C.s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Tutaj, Oblicza najogólniejszym...
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...
Najprostsze reprezentacje wykresów wykorzystują macierze / listy przyległości, co oznacza, że każdy węzeł i krawędź są wyraźnie reprezentowane. Znaczenie ukrytych reprezentacji dla wykresów wykazujących silne prawidłowości od dawna zostało uznane. Na przykład Galperin i Wigderson (1983),...
Niech . Muszę wygenerować proste wykresy obwodu tak aby zestaw wszystkich motocykli tworzy podwójną osłonę (to znaczy, każda krawędź jest dzielona przez dokładnie dwa motocykle) i takie, że przecięcie dowolnych dwóch motocykle to albo wierzchołek, krawędź, albo pusty. Wygenerowane wykresy powinny...
Ostatnio czytałem sporo artykułów CoLT. Chociaż nie walczę z poszczególnymi artykułami (przynajmniej nie bardziej niż zwykle walczę z innymi artykułami teoretycznymi), nie czuję, że dobrze rozumiem tę dziedzinę jako całość. Czy istnieje standardowy tekst, ankiety lub notatki z wykładów dotyczące...
Szukam referencji na temat złożoności problemu równoważenia formuł logicznych . W szczególności, Czy było wiadomo, że formuły logiczne można wyważyć w AC0AC0\mathsf{AC^0} ? Czy istnieje prosty dowód na to, że równoważenie boolowskiej formuły jest w AC0AC0\mathsf{AC^0} ? Przez „proste” mam na...
Piszę pracę magisterską w CS i pracuję nad analizą aliasów. To, co mnie interesuje, to intraproceduralne, wrażliwe na przepływ analizy must-may-may-alias dla języków podobnych do Java. Poszukuję tekstów, które szczegółowo opisują podstawy tego tematu, ale nie udało mi się znaleźć niczego naprawdę...
Słyszałem o przybliżonym zabarwieniu wykresu, ale nie mogę znaleźć źródła. Wynik to: Dla każdego stałego istnieje wystarczająco duża taki sposób, że barwienia -colorable wykres z kolorów NP-trudne.hhhkkkkkkh khkhk Czy ktoś mógłby mi wskazać odpowiedni