Teoretyczne informatyka

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

1
Złożoność obliczania średniej odległości wykresu
Niech d ( G ) jest średnią odległość podłączonego wykresie G .ad(G)ad(G)\rm{ad}(G)G.G.G. Jeden sposób obliczenia jest przez sumowanie elementów D ( G ) , macierz na odległość G i skalowanie sumę odpowiednio.ad(G)ad(G)\rm{ad}(G)D(G),D(G),D(G),GGG Jeśli grafem wyjściowym jest drzewo, to wiadomo, że średnią odległość można obliczyć w czasie liniowym (patrz B.Mohar, T.Pisanski …
1
Relatywizowany świat, w którym
Chciałabym wiedzieć, czy istnieje zrelatywizowane świat, w którym . Jestem również zainteresowany, aby wiedzieć, czy istnieje zrelatywizowane świat, w którym P B ≠ N P B = P P B .P.ZA= N P.ZA≠ P PZAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}P.b≠ N P.b= P PbPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = …
1
Sztywność matrycy i zastosowania matryc o niskiej sztywności
Około jedna matryca stopnia jest uważane za sztywne, jeśli się do jego pozycję do , trzeba zmiany co najmniej n ^ {1 + \ epsilon} jego pozycji, dla niektórych \ epsilon > 0 .nnnn n1+ϵϵ>0n2n2\frac{n}{2}n1+ϵn1+ϵn^{1+\epsilon}ϵ>0ϵ>0\epsilon > 0 Jeśli n×nn×nn \times n macierzy AAA jest sztywny, to najmniejszy program linii prostej …
1
Świadkowie oprogramowania matematycznego
Podobnie jak wiele osób, jestem zapalonym użytkownikiem oprogramowania matematycznego, takiego jak Mathematica i Maple. Jednak coraz bardziej frustruje mnie wiele przypadków, w których takie oprogramowanie po prostu daje złą odpowiedź bez ostrzeżenia. Może się to zdarzyć podczas wykonywania wszelkiego rodzaju operacji, od prostych sum do optymalizacji wśród wielu innych przykładów. …
2
Oszukiwanie
Mam kilka pytań dotyczących oszukiwania obwodów o stałej głębokości. Wiadomo, że -wise niezależności konieczne oszukać A C 0 obwody głębokości D , gdzie n jest wielkości wejściowych. Jak można to udowodnić?logO ( d)( n )logO(d)⁡(n)\log^{O(d)}(n)A C.0AC0AC^0reddnnn Ponieważ powyższe jest prawdziwe, każdy generator pseudolosowy, który głupcy C 0 obwody głębokości D …
2
Problem egzaminatora (jednolite generowanie instancji / odpowiedzi decyzji SAT)
Asystentowi kursu udało się napisać program, który (deterministycznie) generuje trudne pytania egzaminacyjne. Teraz chciałaby napisać program, który generuje odpowiednie odpowiedzi. Problem egzaminatora pyta, czy jest to zawsze możliwe; przez egzaminatora Hipoteza stwierdza, że zakładając, P ≠ N PP.≠N.P.\mathsf{P} \neq \mathsf{NP} , to nie : wymyślanie problemów jest łatwiejsze niż wymyślanie …
1
Czy bitcoin jest kryptograficznie bezpieczny
Próbuję zrozumieć protokół bitcoin w kontekście obliczeniowych zabezpieczeń kryptograficznych. Pytanie dotyczy prośby o odniesienie do podstaw artykułów z kryptografii na bitcoinach. Moje pierwsze pytanie brzmi: jaki bitcoin abstrakcyjnego protokołu kryptograficznego próbuje wdrożyć? Czy mamy definicję pieniądza elektronicznego / waluty cyfrowej w kryptografii, która przechwytuje bitcoiny? Jakie są wymagania bezpieczeństwa dotyczące …
1
Jak agregacje bazy danych tworzą monoid?
Na cs.stackexchange zapytałem o bibliotekę algebird scala na githubie, spekulując, dlaczego mogą potrzebować abstrakcyjnego pakietu algebry. Strona github zawiera kilka wskazówek: Implementacje Monoidów dla interesujących algorytmów aproksymacyjnych, takich jak filtr Bloom, HyperLogLog i CountMinSketch. Pozwalają ci myśleć o tych wyrafinowanych operacjach, takich jak liczby, i dodawać je w hadoopie lub …
4
Lista problemów silnie NP-trudnych z danymi liczbowymi
Szukam silnie trudnych NP problemów dla redukcji. Do tej pory znalazłem następujące problemy: Problem z 3 partycjami problem z pakowaniem pojemników Trójwymiarowe dopasowanie numeryczne TSP Każdy problem NP-zupełny bez danych liczbowych, np. SATYSFIABILNOŚĆ, CYKL HAMILTONII, 3-KOLOURABILNOŚĆ. Czy ktoś zna listę problemów o wysokim stopniu NP? Jeśli nie, zbudujmy tutaj. Czy …
3
Dowody znalezione przez komputer
W 1996 r. Długotrwały otwarty problem został rozwiązany przez komputer; mianowicie, że algebra Robbinsa i algebra Boole'a są takie same. Dowód został znaleziony przez automatyczną powiedzonkę twierdzeń. Ponadto znany dowód twierdzenia o czterech kolorach zawiera generowane komputerowo komponenty. Celem tego pytania jest wykazanie dowodów, które zostały (całkowicie lub częściowo) znalezione …
1
Zwycięska strategia gry polegającej na usuwaniu „krawędzi lub izolowanego wierzchołka”
Czy ta doskonała gra informacyjna rozgrywana na wykresach jest znana / studiowana? Biorąc pod uwagę wykres G=(V,E)G=(V,E)G= (V,E) , dwóch graczy na przemian wybiera krawędź lub izolowany węzeł. Jeśli gracz wybierze krawędź e=(u,v)e=(u,v)e = (u,v) dwa węzły uuu i vvv zostaną usunięte wraz ze swoimi krawędziami padania. Jeśli gracz wybierze …
1
Górna granica stopnia funkcji boolowskiej pod względem jej czułości
Bardzo interesującym otwartym problemem w badaniu miar złożoności funkcji boolowskiej jest tak zwana hipoteza wrażliwości vs. blokowa. Informacje na temat wrażliwości kontra czułości bloków można znaleźć na następującym blogu S. Aaronsona na stronie http://www.scottaaronson.com/blog/?p=453 . Według mojej najlepszej wiedzy, najlepszą górną granicą znaną na w kategoriach s ( f ) …
1
Jakie algorytmy istnieją do budowy DFA, który rozpoznaje język opisany przez dane wyrażenie regularne?
Wszystkie moje podręczniki używają tego samego algorytmu do tworzenia DFA, biorąc pod uwagę regex: Najpierw utwórz NFA, który rozpoznaje język regex, a następnie, używając konstrukcji podzbioru (aka „powerset”), przekonwertuj NFA na równoważny DFA ( opcjonalnie minimalizując DFA). Kiedyś słyszałem też, jak profesor wspomina o istnieniu innych algorytmów. Czy ktoś o …
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.