Teoretyczne informatyka

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

2
Ograniczenie pytań progowych do pytań skończoności
Zwykle łatwiej jest uzasadnić rachunek różniczkowy, w którym ograniczeniem jest skończoność obliczeń, a nie próg taki jak „obliczalny w wielomianowym czasie”. Na przykład w teorii języków formalnych, zamiast używać aby scharakteryzować aperiodic monoïd, łatwiej jest używać profinite wyrazów, aby .x ω + 1 = x ω∃ n . xn + …
6
Funkcje, które wpisały rachunek lambda, nie mogą być obliczane
Chciałbym tylko poznać kilka przykładów funkcji, które można obliczyć za pomocą niepisanego rachunku lambda, ale nie za pomocą wpisanego rachunku lambda. Jako że jestem początkującym, doceniłbym powtórzenie podstawowych informacji. Dzięki. Edycja: za pomocą kalkulatora lambda, miałem zamiar wiedzieć o systemie F i rachunku lambda po prostu. Przez funkcję rozumiem dowolną …
5
Czy istnieją rozstrzygalne problemy, dla których w przypadku braku algorytmu nie możemy ustalić granic czasowych?
Czy istnieją rozstrzygalne problemy, takie że dla żadnego algorytmu, który nie rozwiązałby problemu, możemy wyznaczyć limit czasowy jako funkcję długości n instancji wejściowej? Doszedłem do tego pytania, ponieważ myślałem o następujących kwestiach: Załóżmy, że mamy rekurencyjnie wymienny, ale nierozstrzygalny problem. Załóżmy dalej, że jestem przyczyną problemu „tak”. Następnie, dla żadnego …
6
Obliczanie przybliżonej populacji filtra Blooma
Biorąc pod uwagę filtr Blooma o rozmiarze N-bitów i funkcjach skrótu K, w których ustawionych jest M-bitów (gdzie M <= N) filtra. Czy jest możliwe przybliżenie liczby elementów wstawionych do filtra Bloom? Prosty przykład Zastanawiam się nad poniższym przykładem, zakładając BF 100 bitów i 5 funkcji skrótu, w których ustawiono …
4
Przyrostowy maksymalny przepływ na wykresach dynamicznych
Szukam szybkiego algorytmu do obliczenia maksymalnego przepływu na wykresach dynamicznych. tzn. biorąc pod uwagę wykres i , mamy maksymalny przepływ w od do . Następnie nowy / stary węzeł dodane / usunięty z jego odpowiednich krawędziach, tworząc krzywą . Jaki jest maksymalny przepływ na nowo utworzonym wykresie? Czy istnieje sposób, …
1
Złożoność obwodu monotonicznego funkcji obliczeniowych na rzadkich wejściach
Wagaciągu binarnego to liczba jedynek w ciągu. Co się stanie, jeśli będziemy zainteresowani obliczeniem funkcji monotonicznej na wejściach z kilkoma?x ∈ { 0 , 1 } n| x ||x||x|x ∈ { 0 , 1 }nx∈{0,1}nx\in\{0,1\}^n Wiemy, że podjęcie decyzji, czy wykres ma klasę jest trudne dla obwodów monotonicznych (patrz między …
3
„Prosty” język poza
Szukam języka L o następujących właściwościach: L nie powinien być pozbawiony kontekstu. Uzupełnienie L nie powinno być pozbawione kontekstu. (Wszystko, co widzisz w podręcznikach jako główny przykład języków bezkontekstowych, wydaje się nie spełniać tego drugiego wymogu). L nie powinien być zbyt trudny. Na przykład wiem, że nierozstrzygalne języki spełniają dwa …
1
Wyrocznia, względem której
Zoologia złożoności autorstwa Grega Kuperberga stwierdza, że ​​istnieje język XXX taki, że BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - innymi słowy, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - ale nie podaje odniesienia do tego wyniku. Dlaczego tak się dzieje? Lub gdzie można znaleźć dowód? To pytanie jest częściowo uzasadnione moją odpowiedzią na pytanie „Co wiadomo …
1
Dowód Barendregta na redukcję podmiotu dla
Znalazłem problem w dowodzie Barendregta na redukcję podmiotu (Thm 4.2.5 rachunku Lambda z typami ). Ostatni krok dowodu (strona 60) mówi: „a zatem przez Lemma 4.1.19 (1), Γ,x:ρ⊢P:σ′Γ,x:ρ⊢P:σ′\quad\Gamma,x:\rho\vdash P:\sigma' . ” Jednak zgodnie z Lemmą 4.1.19 (1) powinno to być Γ[α⃗ :=τ⃗ ],x:ρ⊢P:σ′Γ[α→:=τ→],x:ρ⊢P:σ′\Gamma[\vec{\alpha}:=\vec{\tau}],x:\rho\vdash P:\sigma' , ponieważ podstawienie następuje w całym …
2
Przybliżone zabarwienie wykresu z obiecaną górną granicą na maksymalnym niezależnym zestawie
W mojej pracy powstaje następujący problem: Czy istnieje znany algorytm, który aproksymuje liczbę chromatyczną wykresu bez niezależnego zestawu rzędów 65? (Więc alfa (G) <= 64 jest znane, a | V | / 64 jest trywialną dolną, | V | trywialną górną granicą. Ale czy istnieją lepiej udowodnione przybliżenia w tych …
3
Jakie są najnowsze postępy w relacyjnych bazach danych?
Zastanawiam się, jakie są najnowsze postępy w teorii relacyjnych baz danych i powiązanych domenach? Interesują mnie nowe podejścia, języki zapytań (alternatywy dla SQL i / lub rozszerzenia do niego), produkty (zastrzeżone i open source, chociaż znacznie bardziej interesuję się open source) oraz projekty badawcze opracowane w ostatnich latach.
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.