Teoretyczne informatyka

Pytania i odpowiedzi dotyczące teoretycznych informatyków i badaczy w pokrewnych dziedzinach

17
Twardość przeskakuje w złożoności obliczeniowej?
Problem z minimalną przepustowością polega na znalezieniu kolejności węzłów wykresu na linii całkowitej, która minimalizuje największą odległość między dowolnymi dwoma sąsiadującymi węzłami. -caterpillar jest drzewem, utworzony z głównego toru hodując ścieżki krawędziach rozłączny o długości co najwyżej z węzłami ( nazywa długości włosów). Problem minimalnej przepustowości występuje w dla 2-gąsiennic, …
1
Przykłady zabawek dla solverów Plotkin-Shmoys-Tardos i Arora-Kale
Chciałbym zrozumieć, w jaki sposób solver Arora-Kale SDP aproksymuje relaksację Goemansa-Williamsona w prawie liniowym czasie, jak solver Plotkin-Shmoys-Tardos aproksymuje ułamkowe problemy „upakowania” i „pokrycia” w prawie liniowym czasie oraz jak algorytmy są instancjami abstrakcyjnych ram „uczenia się od ekspertów”. Teza Kale'a ma doskonałą prezentację, ale bardzo trudno mi przejść bezpośrednio …
3
Ograniczenia maszyny Turinga, które sprawiają, że zatrzymanie jest rozstrzygalne
Jeśli ograniczy się maszyny Turinga do skończonej taśmy (tj. Do zastosowania ograniczonej przestrzeni ), wówczas problem zatrzymania jest rozstrzygalny, zasadniczo dlatego, że po kilku etapach (które można obliczyć na podstawie liczby stanów i oraz rozmiar alfabetu), konfigurację należy powtórzyć.SSSQQQSSS Czy istnieją inne naturalne ograniczenia dotyczące maszyny Turinga, które sprawiają, że …
3
Najtrudniejszy znany problem naturalny w P?
Zastanawiam się, jaka jest (obecnie) największa liczba , tak że znany jest naturalny problem z następującymi właściwościami:kkk algorytm został już, że do tego problemu.O(nk)O(nk)O(n^k) Dla każdego ustalonego algorytmu no znany jest ten sam problem. (Zauważ, że istnieć szybszy algorytm , tylko nie jest jeszcze znany, więc nie szukam sprawdzonej dolnej …
2
Odniesienie do twardości NP 3-zabarwienia?
Mam pytanie historyczne. Próbuję ustalić odniesienie dla faktu, że 3-kolorowalność grafów (alternatywnie, kolorowalność dla danego k ≥ 3 ) jest NP-trudna.kkkk ≥ 3k≥3k\geq 3 Kuszącą odpowiedzią jest „oryginał Karpa”, ale to nieprawda. Oto skan: Reducibility Among Combinatorial Problems, Karp (1972) . Dowodzi to, że liczba chromatyczna (Wejście: wykres. Wyjście: ) …
2
„Klasa Steve'a”: pochodzenie SC
„Wiemy”, że nazwano na cześć Steve'a Cooka, a nazywa się Nick Pippenger. Jeśli się nie mylę, Steve Cook nazwał NC na cześć Nicka Pippengera i powiedziano mi, że jest też odwrotnie. Nie znalazłem jednak żadnego dowodu na ten ostatni fakt ani w pracy Steve'a Cooka na temat DCFL, ani w …
3
Klasy typów a interfejsy obiektowe
Nie sądzę, że rozumiem klasy typów. Czytałem gdzieś, że myślenie o klasach typów jako „interfejsach” (od OO), które implementuje typ, jest błędne i wprowadza w błąd. Problem polega na tym, że mam problem z postrzeganiem ich jako czegoś innego i jak to jest złe. Na przykład, jeśli mam klasę typu …
5
Nieuzasadniona moc niejednolitości
Z punktu widzenia zdrowego rozsądku łatwo jest uwierzyć, że dodanie niedeterminizmu do znacznie rozszerza jego moc, tj. jest znacznie większy niż . W końcu niedeterminizm umożliwia wykładniczy paralelizm, który niewątpliwie wydaje się bardzo silny. PP\mathsf{P}NPNP\mathsf{NP}PP\mathsf{P} Z drugiej strony, jeśli po prostu dodamy niejednolitość do , uzyskując , wówczas intuicja jest …
3
Jaka jest objętość informacji?
To pytanie zostało zadane Jeannette Wing po prezentacji PCAST na temat informatyki. „Czy z punktu widzenia fizyki istnieje maksymalna ilość informacji, którą możemy mieć?” (Fajne wyzwanie dla teoretycznej społeczności informatycznej, ponieważ myślę, że rodzi to pytanie „Czym jest informacja?”) Poza „Czym jest informacja?” należy również dowiedzieć się, co oznacza „objętość” …
12
Algebra zorientowana na informatykę teoretyczną
Mam bardzo silną bazę w algebrze, a mianowicie algebra przemienna, algebra homologiczna, teoria pola, teoria kategorii, i obecnie uczę się geometrii algebraicznej. Jestem matematyką z tendencją do przejścia na informatykę teoretyczną. Mając na uwadze powyższe pola, które pole byłoby najbardziej odpowiednie w informatyce teoretycznej, na które należy się przełączyć? To …
4
Zgodność między klasami złożoności a logiką
Raz wziąłem klasę na temat obliczalności i logiki. Materiał zawiera korelację między klasami złożoności / obliczalności (R, RE, co-RE, P, NP, Logspace, ...) i Logiką (rachunek predykatów, logika pierwszego rzędu, ...). Korelacja obejmowała kilka wyników w jednym polu, które zostały uzyskane przy użyciu technik z drugiego pola. Przypuszczano, że P! …
3
złożoność największego wspólnego dzielnika (gcd)
Rozważ następujący problem zliczania (lub związany z tym problem decyzyjny): Biorąc pod uwagę dwie dodatnie liczby całkowite zakodowane w systemie binarnym, oblicz ich największy wspólny dzielnik (gcd). Jaka jest najmniejsza klasa złożoności, w której występuje ten problem? Czy możesz podać referencje? W tym pytaniu nie interesują mnie przede wszystkim asymptotyczne …
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.