Jestem absolwentem matematyki, a informatyka teoretyczna to dziedzina, w której nigdy nie rozumiałam, o co chodzi, ponieważ nie mogłam znaleźć dobrej lektury na ten temat. Chcę wiedzieć, o co tak naprawdę chodzi w tej domenie, jakie tematy ona dotyczy, jakie warunki są potrzebne, aby się w nią...
W 2012 roku Lipton napisał wpis na blogu o nowym algorytmie rozwiązywania systemów liniowych na skończonych polach autorstwa Prasad Raghavendra. Link do projektu papieru Raghavendra na ten temat już nie żyje , a ja nie mogę znaleźć nic na ten temat na stronie internetowej Raghavendra...
Z czysto abstrakcyjnego punktu widzenia rozumowania matematycznego / obliczeniowego (jak) można nawet odkryć lub wyjaśnić problemy takie jak 3-SAT, suma częściowa, podróżny sprzedawca itp.,? Czy bylibyśmy w stanie w jakikolwiek sensowny sposób uzasadnić je tylko z funkcjonalnego punktu widzenia?...
Zadałem to pytanie 10 dni temu na cs.stackexchange tutaj, ale nie miałem żadnej odpowiedzi. W bardzo słynnego papieru (w środowisku sieciowym), Wang i Crowcroft przedstawić kilka -completeness wyniki obliczeń ścieżki pod kilkoma dodatkami / multyplikatywnych ograniczeń. Pierwszy problem jest...
Czy innymi słowy, czy mamy to dla każdego języka i B , A ≤ p B lub B ≤ p A ?ZAZAAbbBA ≤pbZA≤pbA \leq_p BB ≤pZAb≤pZAB \leq_p
Badam problem, który jest trudny dla klasy skwantyfikowanych formuł boolowskich z logarytmiczną liczbą zmian kwantyfikatorów. Problem w tej klasie wyglądałby następująco: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F\forall (x_1, x_2, \ldots...
Znajduję książki o komputerach, ale wszystkie dotyczą technologii. Chcę czegoś bardziej związanego z
W moim wstępie do kursu programowania dowiadujemy się o metodzie inicjalizacji, konserwacji i terminacji, aby udowodnić, że algorytm działa zgodnie z oczekiwaniami. Musieliśmy jednak tylko udowodnić, że algorytm, o którym wiadomo, że jest poprawny, jest poprawny. Nigdy nie byliśmy proszeni o...
Wszyscy wiemy, że pokazanie ma bariery. Wszyscy badaliśmy te bariery, ponieważ uważamy, że P ≠ N P.P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP . Załóżmy jednak, że i są mądrzy ludzie, którzy wierzą, że taka możliwość istnieje . Jeśli tak rzeczywiście jest, to sam fakt, że nie widzieliśmy żadnych dobrych...
Mam politotop P.PP zdefiniowany przez { x : A x ≤ b , x ≥ 0 }{x:Ax≤b,x≥0}\{ x : Ax \leq b, x \geq 0\} . Pytanie: Z uwagi wierzchołek vvv z P.PP , czy istnieje algorytm wielomianowy czas równomiernie próbki od sąsiadów vvv na wykresie P.PP ? (Wielomian w wymiarze, liczba równań i reprezentacja bbb...
Niech G będzie drzewem na 2n wierzchołkach. Szerokość grzbietu G, tw (G) = 1. Załóżmy teraz, że dodajemy n krawędzi do G, aby uzyskać wykres H. Łatwa górna granica na tw (H) wynosi n + 1. Czy jest to w zasadzie najlepszy możliwy? Wydaje się, że tw (H) powinno być O (sqrt (n)), ale jest to tylko...
Robin Milner zdefiniował bigraphy jako rodzaj struktury graficznej o strukturze podobnej do wykresu, ale w której węzły można zagnieżdżać. Uogólniają kalkulatory procesowe, takie jak CCS i calculus, ale wydaje się, że Milner zamierzał je stosować znacznie bardziej ogólnie: notatki z seminarium na...
Rozważ , gdzie lambda_i> 0 i Y_i są rozłożone jako normalna norma. Jakie granice koncentracji można udowodnić na X, jako funkcję (stałych) współczynników lambda_i?X=∑iλiY2iX=∑iλiYi2X = \sum_i \lambda_i Y_i^2 Jeśli wszystkie lambda_i są równe, oznacza to ograniczenie Chernoffa. Jedyny inny...
Jeśli jesteś zaznajomiony z weryfikacją programu, prawdopodobnie wolisz przeczytać pytanie przed tłem . Jeśli nie jesteś zaznajomiony z weryfikacją programu, być może nadal będziesz w stanie odpowiedzieć na to pytanie, ale prawdopodobnie wolisz najpierw przeczytać tło . tło Często mówi się, że...
Kto wprowadził pomysł rekurencji ? Czy ktoś może wyjaśnić, skąd się wziął i jak wpłynął na
W odpowiedzi na inne pytanie, Rozszerzenia beta teorii rachunku lambda , Evgenij podał odpowiedź: beta + reguła {s = t | s i t są zamkniętymi nierozwiązywalnymi warunkami} gdzie termin M jest rozwiązywalne, czy możemy znaleźć sekwencję kategoriach takich, że M aplikacja „s do nich jest równa I ....
Twierdzenie Rice'a stwierdza, że każda nietrywialna właściwość zbioru rozpoznawana przez niektóre maszyny Turinga jest nierozstrzygalna. Szukam teoretycznego złożoności twierdzenia typu Rice, które mówią nam, które nietrywialne właściwości zbiorów NP są trudne do...
Dwa dokumenty, które chciałbym załączyć to: D. Kozen, „Indeksowanie klas subrekursywnych” , STOC, 1978. R. Ladner, „O strukturze wielomianowej redukcji czasu” , JACM,
Próbując naprawić błąd w bibliotece, bezskutecznie szukałem artykułów na temat znajdowania podzakresów na czerwonych i czarnych drzewach. Zastanawiam się nad rozwiązaniem wykorzystującym zamki błyskawiczne i czymś podobnym do zwykłej operacji dołączania stosowanej w algorytmach usuwania...
Problem #SAT jest kanonicznym problemem # P-zupełnym. Jest to raczej problem funkcji niż problem decyzyjny. Pyta, biorąc pod uwagę wartość logiczną formuła w rachunku zdań, ilu spełniających zadania F ma. Jakie są najlepsze dolne granice na