Pytania otagowane jako reference-request

Prośba o referencję jest wykorzystywana, gdy autor musi wiedzieć o pracy związanej z pytaniem.

1
Literatura na temat analizy aliasów
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ę odpowiedniego. Przeżyłem wiele podręczników na temat kompilatorów i …
1
Bilansowanie formuł boolowskich w
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 myśli dowód prostsze niż ten wspominam poniżej, w szczególności …
2
Zasoby wprowadzające dotyczące obliczeniowej teorii uczenia się
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 wprowadzania CoLT na poziomie absolwenta? Mam podstawową wiedzę z teorii …
1
Algorytmy na wykresach reprezentowane za pomocą BDD
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), Papadimitriou i Yannakakis ( Nota o zwięzłych reprezentacjach grafów , 1986) badali kwestię wykresów, …
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 …
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 …
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 …
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 …
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 . …
3
Zasób / książka najnowszych osiągnięć w statystycznej teorii uczenia się
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 pakowania, Skład Rademacher i ewentualnie inne wyniki / narzędzia, których nie jestem świadomy. Czy …
3
Wnioskowanie typu dla instrukcji rozkazujących innych niż przypisanie
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 można wdrożyć imperatywny język z częściowym wnioskiem o typie, taki …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.