Prognozowanie rynku akcji jest trudne! Czy TCS może uczynić ten sentyment bardziej formalnym? Ostatnio zacząłem trochę myśleć o finansach i zastanawiałem się, w jaki sposób wiedza TCS może pomóc. Fundusze hedgingowe i firmy inwestycyjne wydają się cały czas korzystać z handlu algorytmicznego,...
Obecnie obliczanie liczb rzeczywistych w najpopularniejszych językach jest nadal wykonywane za pomocą operacji zmiennoprzecinkowych. Z drugiej strony, teorie takie jak efektywność typu drugiego (TTE) i teoria domen od dawna obiecują dokładne obliczenie rzeczywistych liczb. Najwyraźniej problem...
EDYCJA na 2011/02/08: Po znalezieniu i przeczytaniu niektórych odniesień postanowiłem rozdzielić oryginalne pytanie na dwa osobne. Oto część dotycząca UP vs NP, w części dotyczącej klas syntaktycznych i semantycznych zobacz Korzyści dla klas syntaktycznych i semantycznych . UPUP\mathsf{UP}...
Interesuje mnie złożoność rozwiązywania równań liniowych modulo k , dla dowolnego k (i ze szczególnym zainteresowaniem mocami pierwotnymi), w szczególności: Problem. Czy dla danego układu równań liniowych w nieznanych modulo istnieją jakieś rozwiązania?n kmmmnnnkkk W streszczeniu swojego...
Moim ulubionym twierdzeniem w teorii złożoności jest twierdzenie o hierarchii czasu. Dokonano tego jednak w 1965 r. Chciałem wtedy wiedzieć, czy jest coś podobnego do obliczeń kwantowych. Jeśli nie, to jakie osoby / grupy pracują w tym
Niech będzie liczbą całkowitą o wartości funkcja taka, że 2 F jest # P . Czy wynika z tego, że F jest w # P ? Czy istnieją powody, by sądzić, że nie zawsze tak będzie? Jakieś referencje, o których powinienem wiedzieć?faFF2 F.2F2F# P#P\#PfaFF# P#P\#P Nieoczekiwanie sytuacja ta pojawiła się (ze...
Niech będzie najgorszym czasem działania problemu na wejściu wielkości . Uczyńmy ten problem nieco dziwnym, ustalając dla ale dla .f(n)f(n)f(n)nnnf(n)=n2f(n)=n2f(n) = n^2n=2kn=2kn=2kf(n)=nf(n)=nf(n) = nn=2k+1n=2k+1n=2k+1 Więc jaka jest dolna granica problemu? Zrozumiałem, że to tylko dolna...
Czy istnieją odniesienia, które zawierają szczegółowe informacje na temat dolnych granic obwodu dla konkretnych trudnych problemów pojawiających się w kryptografii, takich jak faktoring liczb całkowitych, problem logarytmu dyskretnego z liczbami pierwszymi / złożonymi i jego wariant nad grupą...
Wydaje się znane, że aby znaleźć odpowiedź na zapytanie w relacyjnej bazie danych , potrzebny jest czas i nie można pozbyć się wykładnika.D | D | | Q | | Q |QQQrereD| D || Q ||re||Q||D|^{|Q|}| Q ||Q||Q| Ponieważ może być bardzo duży, zastanawiamy się, dlaczego bazy danych w ogóle działają w...
Parzystość-P jest zbiorem języków rozpoznawanych przez niedeterministyczną maszynę Turinga, która może rozróżniać tylko parzystą liczbę lub nieparzystą liczbę ścieżek „akceptacji” (zamiast zerowej lub niezerowej liczby ścieżek akceptacji). Zatem Parity-P jest w zasadzie PP „s karłowate młodsze...
Czy wszystkie funkcje, których waga Fouriera jest skoncentrowana na małych zestawach (lub terminach o niskim stopniu), są obliczane przez obwody
Problemem zatrzymania maszyn Turinga jest być może kanoniczny nierozstrzygalny zestaw. Niemniej jednak dowodzimy, że istnieje algorytm decydujący o prawie wszystkich jego wystąpieniach. Problem zatrzymania należy zatem do rosnącej liczby osób wykazujących zjawisko teorii złożoności „czarnej...
Słynny Izomorfizm Conjecture od Bermana i Hartmanis mówi, że wszystkie językach -Complete są wielomian czas izomorficzne (p-izomorficzny) do siebie. Kluczem znaczenie przypuszczeniem jest, że implikuje P ≠ N P . Została opublikowana w 1977 roku, a kawałek dowody potwierdzające, że wszystkie N P...
Interesuje mnie wyraźna funkcja boolowska fa:0 , 1n→0 , 1fa:0,1n→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}z następującą właściwością: jeśli jest stałe w jakiejś podprzestrzeni afinicznejfafaf , wówczas wymiar tej podprzestrzeni wynosi o ( n ) .0 , 1n0,1n\\{0,1\\}^no ( n )o(n)o(n) Nie jest...
Mafia to popularna gra fabularna na imprezach, szczegółowy opis jest dostępny na stronie wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Zasadniczo działa w następujący sposób: Na początku każdemu z graczy potajemnie przypisywana jest rola, dostosowana do mafii lub miasta. Każda rola...
Co wiadomo o dokładnej złożoności najkrótszego problemu superstrun? Czy można to rozwiązać szybciej niż O∗(2n)O∗(2n)O^*(2^n) ? Czy znane są algorytmy, które rozwiązują najkrótszy superstrun bez redukcji do TSP? UPD: O∗(⋅)O∗(⋅)O^*(\cdot) tłumi czynniki wielomianowe. Najkrótszy problem superstrun...
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.
Interesuje mnie następujący problem: Biorąc pod uwagę macierz , czy istnieje niekierowany wykres na n wierzchołkach, których macierz przylegania do kwadratu jest tą macierzą?n × nn×nn\times nnnn Czy znana jest złożoność obliczeniowa tego problemu? Uwagi: Oczywiście może być również sformułowany...
Niech będzie zadowalającą formułą CNF z zmiennymi i klauzulami . Niech będzie przestrzenią rozwiązań .F1F1F_1m S F 1 F 1nnnmmmSF1SF1S_{F_1}F1F1F_1 Rozważ problem z określeniem, biorąc pod uwagę , innej formuły CNF z tym samym zestawem zmiennych co , z (ta sama przestrzeń rozwiązania co ), ale z...
Czy mam rację rozumiejąc, że udowodnienie, że problem NP jest kompletny, to sukces badawczy? Jeśli tak to