Problemy z kolorowaniem wykresów są już wystarczająco trudne dla większości ludzi . Mimo to będę musiał być trudny i zapytać o barwienie metodą hypergraph. Pytanie. Jakie są skuteczne algorytmy do znalezienia w przybliżeniu optymalnego zabarwienia krawędzi dla hipergraphów jednolitych k? Detale...
Jakie istnieją przydatne algorytmy, które działają na ogromnych strumieniach danych, a także ich wyniki są dość małe i można obliczyć wynik dla mieszanki dwóch strumieni, łącząc w jakiś sposób ich wyniki? Mogę wymienić kilka: Oczywiste rzeczy, takie jak suma, min, maksimum, liczba, najwyższe K...
Jest to kontynuacja ostatniego pytania Davida Eppsteina i jest motywowana tymi samymi problemami. Załóżmy, że mam wierzchołek z ciężarami na liczbach rzeczywistych na jego wierzchołkach. Początkowo wszystkie wierzchołki są nieoznaczone. Mogę zmienić zestaw zaznaczonych wierzchołków, albo (1)...
Niech { 0 , . . . , N - 1 }, a ∘ : S x S → S . Chcę obliczyć złożoność komunikacji przy podejmowaniu decyzji, czy ∘ jest skojarzone.S=S=S=0,...,n−10,...,n−10,...,n-1∘:S×S→S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ Model jest następujący. podano jako matrycy M . Alice (lub. Bob) otrzymuje...
Papier Lauri Hella i José María Turull-Torres, Obliczanie zapytań z logiką wyższego rzędu , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 proponuje logikę VO, logikę zmiennego rzędu. Umożliwia to kwantyfikację zamówień ponad zmiennymi. VO jest dość potężny i może wyrażać niektóre...
Szerokość drzewa mierzy, jak blisko wykresu znajduje się drzewo. Kilka problemów trudnych dla NP można rozwiązać na wykresach z ograniczoną szerokością drzewa. Jeśli na drzewach nadal występuje trudny NP, szerokość drzewa nie może nas uratować. Taka była motywacja jednego z moich wcześniejszych...
Jakie są najbardziej efektywne algorytmy mnożenia dwóch bardzo rzadkich macierzy boolowskich (powiedzmy, N = 200, a jest tylko około 100-200 niezerowych elementów)? W rzeczywistości mam tę zaletę, że kiedy mnożę A przez B, B są predefiniowane i mogę na nich dowolnie skomplikowane przetwarzanie...
Geometria obliczeniowa jest obszarem, który wydaje mi się bardzo interesujący i chciałbym poświęcić około miesiąca lub dwóch na projekt, który zapozna mnie z tym i pomoże mi nauczyć się kluczowych pojęć. Jaki jest dobry sposób podejścia do tego i jakie są kluczowe koncepcje, których powinienem się...
Równoważna kompozycja PCF twierdzenie jest: max dla 3-SAT jest -hard odróżnić spe wzorów i wzorach w których co najwyżej r -fraction z klauzul spe (jakiegoś R < 1 ).N.P.NPNPrrrr < 1r<1r\lt 1 Czy istnieje znane twierdzenie o dychotomii, które klasyfikuje wszystkie Max CSP na podstawie...
Podczas testowania bezpieczeństwa systemu lub modelu wielokrotnie pojawiło się następujące pytanie . Motywacja: Wady bezpieczeństwa oprogramowania często nie wynikają z błędów spowodowanych prawidłowymi danymi wejściowymi, ale z błędów wynikających z nieprawidłowych danych wejściowych, które są...
Jestem na drugim roku studiów magisterskich, które nie odnoszą się zbytnio do TCS, choć tego chciałbym. Chodzi przede wszystkim o teorię sterowania, sygnały i systemy, a ja wziąłem zajęcia z zaawansowanych systemów (solidne, nieliniowe, optymalne, stochastyczne), zaawansowanego przetwarzania...
W poniższym pytaniu wykorzystano pomysły z kryptografii zastosowane w teorii złożoności. To powiedziawszy, jest to pytanie teoretycznie złożone, i aby odpowiedzieć na to pytanie, nie jest wymagana żadna wiedza kryptograficzna. Celowo piszę to pytanie bardzo nieformalnie. Brakuje szczegółów,...
Mam zestaw danych zawierający tysiące punktów i sposób pomiaru odległości między dowolnymi dwoma punktami, ale punkty danych nie mają wymiarów. Chcę algorytmu, aby znaleźć centra klastrów w tym zestawie danych. Wyobrażam sobie, że ponieważ dane nie mają wymiarów, centrum klastrów może składać się z...
Czy dane nie zostaną utracone podczas mapowania wartości 6-bitowych na wartości 4-bitowe w S-Boxach DES? Jeśli tak, to w jaki sposób możemy to odwrócić, aby pojawił się prawidłowy
Problem Mam nieukierunkowany wykres (z wieloma krawędziami), który z czasem się zmieni, węzły i krawędzie można wstawiać i usuwać. Przy każdej modyfikacji wykresu muszę aktualizować połączone elementy tego wykresu. Nieruchomości Dodatkowe właściwości polegają na tym, że żadne dwa składniki nigdy...
Przez http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Jeśli jest językiem PSPACE uzupełniania, P = N P A .AAAPA=NPAPA=NPAP^{A}=NP^{A} Jeśli jest deterministyczną wyrocznią wielomianową, P B ≠ N P B (przy założeniu P ≠ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP to klasa...
Znów problem podziału krawędzi, którego złożoność jestem ciekawy, motywowany moim poprzednim pytaniem . Dane wejściowe: wykres sześciennyG=(V,E)G=(V,E)G=(V,E) Pytanie: czy istnieje podział na , taki że podgrupa indukowana przez każdy jest albo pazurem (tj. , często nazywanym gwiazdą), albo...
Biorąc pod uwagę X1,…,XkX1,…,XkX_1,\ldots,X_k (iid gaussians ze średnią 000 i wariancją 111 ), czy możliwe jest (jak?) Próbkowanie (dla m=k2m=k2m=k^2 ) Y1,…,YmY1,…,YmY_1, \ldots, Y_m takie, że YiYiY_i są parami niezależni gaussowie ze średnią 000 i wariancją 111...
Wynik Baker-Gill-Solovay wykazał, że pytanie P = NP nie relatywizuje, w tym sensie, że żaden dowód relatywizacyjny (niewrażliwy na obecność wyroczni) nie może rozstrzygnąć pytania P = NP. Moje pytanie brzmi: czy istnieje podobny wynik pytania: „Czy istnieje problem z pełnym PH?” Odpowiedź...
Czy można wykazać, że zdanie musi być formalnie niezależne w oparciu o fakt, że nie jest relatywistyczne? Innymi słowy, czy istnieją przykłady zdań w teorii obliczalności / złożoności, w których można wykazać zarówno: a) że wszystkie dowody, które rozwiązują pytanie, czy dwie klasy są równe, muszą...