Teoretyczne informatyka

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

2
Rozdzielanie list słów
Istnieje problem otwarty w językach formalnych znany jako problem oddzielający; co jest krótko określone jako dane dwa odrębne ciągi o długości , jak duży jest DFA, aby je „rozdzielić”, co oznacza przyjęcie jednego ciągu, ale odrzucenie drugiego.nnn Oto kilka odpowiednich dokumentów 1 , 2 . (Mam jeszcze kilka, ale nie …
0
Prosta ścieżka na sztyfcie z tylnymi krawędziami
Jaka jest złożoność następującego problemu ( P? NP-trudny?):∈∈\in Dane wejściowe: ukierunkowany wykres acykliczny , zestaw tylnych krawędzi E ′ ⊂ V × V i dwa odrębne węzły sD=(V,E)D=(V,E)D=(V,E)E′⊂V×VE′⊂V×VE'\subset V\times Vsss i .ttt Pytanie: Niech oznacza wykres utworzony przez dodanie do D krawędzi od E ′ . Czy istnieje prosta ścieżka …
1
Największa komórka w układzie
P . Jaka jest złożoność znalezienia największej komórki ograniczonej objętością w układzie hiperpłaszczyzn w wymiarze d ?nnnrered Wydaje mi się, że powinienem to wiedzieć ... Ale nie znajduję ostatecznego odniesienia. Czy to ? Co powiesz na specjalizację d = 2 : Największy obszar ograniczony komórką w układzie linii?Ω ( nre)Ω(nre)\Omega(n^d)re= …
1
Odniesienie do faktu, że (0 = 1) oznacza fałsz, wymaga wszechświata w MLTT
Jest to dość dobrze znany fakt, że wywodzenie sprzeczności z nierówności (na przykład ) w teorii typu Martina-Loefa wymaga wszechświata.(0=1)→⊥(0=1)→⊥(0=1) \to \bot Dowód jest również dość prosty - w przypadku braku wszechświatów możemy usunąć zależności od dowolnego typu zależnego, aby uzyskać prosty typ jako jego kształt, a więc udowodnienie, że …
2
Które problemy z grafem są trudne dla na wykresach skierowanych (/ ważonych), ale FPT na wykresach niekierowanych (/ nieważonych)?
Po równoważnych pytaniach dotyczących kompletności NP (patrz pytanie wagi i pytanie kierowane ) zastanawiałem się, w jaki sposób atrybuty te wpływają na sparametryzowane problemy. Które problemy z twardym grafem są trudne dla na grafach ukierunkowanych, ale stały parametr można traktować na grafach bezkierunkowych?NPNPNPW[1]W[1]W[1] Które problemy z twardym grafem są trudne …
1
Wpisz systemy zapobiegające wyciekom pamięci związanym z lenistwem?
Być może głównym źródłem problemów z wydajnością w Haskell jest przypadek, gdy program nieumyślnie tworzy masę nieograniczonej głębokości - powoduje to wyciek pamięci i potencjalne przepełnienie stosu podczas oceny. Klasycznym przykładem jest definiowanie sum = foldr (+) 0w Haskell. Czy są jakieś systemy typów, które statycznie wymuszają brak takich udarów …
1
Czy równania różniczkowe można zaklasyfikować do własnych klas złożoności?
Problemy zostały sklasyfikowane jako całość dzięki złożoności obliczeniowej. Ale czy w równaniach różniczkowych można klasyfikować równania różniczkowe w zależności od ich struktury obliczeniowej? Na przykład, jeśli równanie niejednorodne pierwszego rzędu jest stosunkowo trudne do rozwiązania niż, powiedzmy, równanie jednorodne 100 rzędu, czy można je zaklasyfikować jako osobne klasy wypukłości, biorąc …
3
Wykres teoretyczne ograniczenie do dowodów w teorii złożoności dowodu
Złożoność dowodu jest najbardziej podstawowym obszarem teorii złożoności obliczeniowej. Ostatecznym celem tego obszaru jest udowodnienie , co oznacza, że ​​żaden z proverów nie może dać dowodu na niezadowolenie danej formuły wejściowej. N.P.≠ c o NP.N.P.≠dooN.P.NP\neq coNP Wykres jest jednym z formalnych modeli dowodów. Moje pytanie dotyczy dalszego ograniczenia tego modelu. …
1
Hipoteza Hartmanisa-Stearnsa i obliczalne liczby transcendentalne
W artykule z 1965 r. „ O złożoności algorytmów ” autorstwa Hartmanisa i Stearnsa autorzy przypuszczają, że jeśli maszyna Turinga w czasie rzeczywistym oblicza liczbę rzeczywistą na przykład w podstawie 10, to r jest albo liczbą wymierną, albo liczbą liczba transcendentalna.rrrrrr Czy istnieje obliczalna liczba transcendentalna, która nie jest obliczalna …
3
Czy jakieś znane CCC są zamknięte w ramach probabilistycznej operacji powerdomain?
Odpowiednio, czy istnieje znana semantyka denotacyjna dla probabilistycznych funkcjonalnych języków programowania wyższego rzędu? Konkretnie, czy istnieje model domenowy czystego nietypowego -kalkultu rozszerzony o symetryczną operację losowego wyboru binarnego.λλ\lambda Motywacja Kartezjańskie zamknięte kategorie zapewniają semantykę wyższego rzędu -calculi. Probabilistyczne powerdomains zapewniają semantykę programom stochastycznym. CCC zamknięty w ramach probabilistycznej operacji powerdomain …
1
Jakie są główne problemy badawcze w transakcjach rozproszonych?
Tło: Przetwarzanie transakcji jest tradycyjnym tematem badań w teorii baz danych. Obecnie transakcje rozproszone są popularyzowane przez wielkoskalowe rozproszone systemy pamięci masowej, które zazwyczaj obejmują partycjonowanie danych (zwane także shardingiem) i replikację danych . Jakie są główne problemy badawcze w transakcjach rozproszonych? Czy istnieją dobrze znane teorie i rozwiązania, które …
1
Algorytmy kwantowe do obliczeń QED związane ze stałymi drobnych struktur
Moje pytanie dotyczy algorytmów kwantowych do obliczeń QED (elektrodynamiki kwantowej) związanych ze stałymi drobnych struktur. Takie obliczenia (jak mi wyjaśniono) sprowadzają się do obliczenia szeregu podobnego do Taylora gdzie α jest stałą drobnej struktury (około 1/137), a c k jest wkładem diagramów Feynmana z k- pętlami. ∑ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk To pytanie …
1
Średnica wykresów Cayleya dla podgrup
Babai i Seress okazało się , że ze względu podgrupa i agregatem S z G , każdy permutacyjny G może być zapisana jako produkt generatorów i ich odwrotności długości e ( 1 + O ( 1 ) ) √G≤SnG≤SnG \leq S_nSSSGGGGGG . Ta granica jest optymalna, ponieważSnma element rzędue(1+o(1)) √e(1+o(1))nlogn√e(1+o(1))nlog⁡ne^{(1+o(1))\sqrt{n\log …
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.