W obecnej formie to pytanie nie pasuje do naszego formatu pytań i odpowiedzi. Oczekujemy, że odpowiedzi poparte będą faktami, referencjami lub wiedzą fachową, ale to pytanie prawdopodobnie będzie wymagało debaty, argumentów, ankiet lub rozszerzonej dyskusji. Jeśli uważasz, że to...
Zainspirowany tym pytaniem , jakie są główne problemy i istniejące rozwiązania, które wymagają ulepszenia w (teoretycznej) dziedzinie systemów rozproszonych. Coś jak protokoły członkostwa, spójność
Gdzie mogę znaleźć wykresy dotyczące rzeczywistych problemów? Dwa znane mi repozytoria: Kolekcja rzadkich matryc University of Florida Bodlaender's
Jest to zgodne z „ Algorytmami z książki ”. Chociaż redukcje są również algorytmami, pomyślałem, że wątpliwe jest, aby pomyśleć o redukcji w odpowiedzi na pytanie o algorytmy z książki. Stąd osobne zapytanie! Wszelkie redukcje są mile widziane. Zacznę od bardzo prostej redukcji od osłony...
Istnieje wiele miejsc, w których pojawiają się liczby i . Ciekawi mnie algorytmy, których czas działania zawiera złoty współczynnik lub w
Szukam języków, które „prawdopodobnie nie są wolne od kontekstu”, ale nie jesteśmy w stanie (nie) udowodnić tego przy użyciu znanych standardowych technik. Czy jest ostatnia ankieta na ten temat lub otwarta sekcja problemowa z ostatniej konferencji? Prawdopodobnie nie ma wielu języków, o...
Używałem Junga ( http://jung.sourceforge.net/ ) do wizualizacji rangi strony i stwierdziłem, że jest trochę powolna i trudna do skalowania poza 100 węzłów. Zastanawiałem się, jakich innych narzędzi używają ludzie do analizy i wizualizacji sieci / sieci
W tym pytaniu wydaje się, że zidentyfikowaliśmy naturalny problem, który jest zupełny NP przy redukcjach losowych, ale być może nie przy redukcjach deterministycznych (chociaż zależy to od tego, które niesprawdzone założenia teorii liczb są prawdziwe). Czy znane są inne problemy? Czy istnieją...
Zablokowana . To pytanie i odpowiedzi są zablokowane, ponieważ pytanie jest nie na temat, ale ma znaczenie historyczne. Obecnie nie akceptuje nowych odpowiedzi ani interakcji. Które algorytmy są najczęściej używane? Napisz jeden algorytm na odpowiedź, staraj się, aby...
Które uniwersytety mają silny program obliczeń kwantowych i oferują pewien rodzaj obliczeń kwantowych / kursów informacyjnych / badań? Ma to na celu zebranie przydatnej listy dla osób rozważających studia podyplomowe w tych dziedzinach, a nie dyskutowanie o tym, co jest „najlepsze”. Aby ta lista...
Chciałbym wiedzieć, czy w TCS istniały przypuszczenia, które od dawna nie zostały udowodnione, a które później udowodniono na podstawie innego twierdzenia, które mogłyby być łatwiejsze do udowodnienia.
Myślę, że dobrym pomysłem byłoby sporządzenie listy twierdzeń stwierdzających, że P nie jest równe NP wtedy i tylko wtedy, gdy takie i takie wyjścia, pewna klasa złożoności jest zawarta w innej klasie złożoności i tak dalej.
Nigdy wcześniej nie widziałem algorytmu z logiem w mianowniku i zastanawiam się, czy w tym formularzu są jakieś przydatne algorytmy? Rozumiem wiele rzeczy, które mogą powodować mnożenie współczynnika logu w czasie wykonywania, np. Algorytmy sortowania lub oparte na drzewach, ale co może powodować...
Jakie są niektóre główne, otwarte problemy ze złożonością obliczeniową, które wynikają z języków programowania, zwłaszcza z analizy i kompilacji programów? Szukam problemów na linii „złożoności czasowej wnioskowania typu Hindleya-Milnera” lub „złożoności czasowej 0CFA” (chociaż obie są rozwiązanymi...
Czy są jakieś przypuszczenia w informatyce teoretycznej, które dotyczą jakiegoś parametru n i zostały udowodnione dla małych wartości n AND dla liczb pierwszych, ale później okazały się fałszywe? W teorii liczb takie problemy istnieją, np. jak wskazuje Aaron Meyerowitz na temat współczynników...
Jestem studentem matematyki z solidnym doświadczeniem w logice. Wziąłem roczny kurs magisterski z logiki wraz z kursami absolwentów teorii modeli skończonych, a także teorii wymuszania i teorii mnożenia. Większość tekstów CS wydaje się przyjmować jedynie bardzo skromne tło logiki, które w...
Istnieje wiele algorytmów i struktur danych, które wykorzystują ideę, że otrzymuje minimalną wartość przy k = \ sqrt n . Typowe przykłady to k = √max{k,n/k}max{k,n/k}\max \left\{k, n/k\right\}k=n−−√k=nk=\sqrt n algorytm gigantycznego kroku dziecka do obliczania logarytmu dyskretnego w...
Larry Wasserman ma niedawny post, w którym mówi o „policji p-value”. Robi interesujący punkt (wszystkie moje podkreślenia) (przesłankę kursywą, którą dodałem, a jego odpowiedź poniżej): Najczęstszą skargą jest to, że fizycy i dziennikarze nieprawidłowo wyjaśniają znaczenie wartości p. Na...
Jakie są główne przykłady udanej derandomizacji lub przynajmniej postępów w wykazywaniu konkretnych dowodów w kierunku celu (a nie związku losowości z twardością)?P=BPPP=BPPP=BPP Jedyny przykład, jaki przychodzi mi na myśl, to deterministyczne badanie pierwotności wielomianów czasowych AKS (nawet...
Dwa dokumenty, które chciałbym załączyć to: D. Kozen, „Indeksowanie klas subrekursywnych” , STOC, 1978. R. Ladner, „O strukturze wielomianowej redukcji czasu” , JACM,