Pierwotne funkcje rekurencyjne są zdefiniowane ponad liczbami naturalnymi. Wydaje się jednak, że koncepcja powinna uogólnić na inne typy danych, pozwalając mówić o prymitywnych funkcjach rekurencyjnych, które mapują listy na przykład na drzewa binarne. Przez analogię częściowe funkcje rekurencyjne...
Pozwolić UUU być równomiernym rozkładem nnn bitów i pozwól DDD być dystrybucją nnn bity, w których bity są niezależne, a każdy bit jest 111 z prawdopodobieństwem 1/2−ϵ1/2−ϵ1/2-\epsilon. Czy to prawda, że statystyczna odległość międzyDDD i UUU jest Ω(ϵn−−√)Ω(ϵn)\Omega(\epsilon \sqrt{n}), kiedy...
Elementary Affine Logic to system typów, który przechwytuje klasę terminów λ, które można zredukować w czasie elementarnym. Ponadto terminy typowe dla EAL można zredukować za pomocą abstrakcyjnego fragmentu algorytmu Lampinga, co jest dla mnie szczególnie interesujące, ponieważ badam odpowiednie...
2-stronicowy papier SODA Kalai zapewnia prosty i skuteczny algorytm dopasowywania wzorców bez obojętności (symbole wieloznaczne pasujące do jednej postaci). Zasadniczo jest to tak łatwe jak splot. Ale co się stanie, jeśli szukamy wielu wzorów z „nie obchodzi”? Czy nadal możemy jakoś rozwiązać to...
Pozwolić L⊆A∗L⊆A∗L \subseteq A^* być językiem i zdefiniować fL:A∗×A∗→{0,1}fL:A∗×A∗→{0,1}f_L\colon A^* \times A^* \to \{0, 1\} przez fL(x,y)=1fL(x,y)=1f_L(x, y) = 1 iff x⋅y∈Lx⋅y∈Lx\cdot y \in L. Szukam referencji dla: Propozycja. LLL jest regularna w deterministycznej złożoności komunikacji fLfLf_L...
Mamy problem i znaleźliśmy algorytm, który wydaje się być 2-sekundowy. Chciałbym znaleźć znane problemy z niepełnym czasem 2, aby znaleźć dolną granicę. W literaturze znalazłem głównie dwa takie problemy: czy PCP jako rozwiązanie o rozmiarze mniejszym niż 2)2)n2)2)n2^{2^n} i problem uprawy roli...
Zetknąłem się z artykułem opublikowanym w Science „Memcomputing NP-zupełne problemy w czasie wielomianowym z wykorzystaniem zasobów wielomianowych i stanów zbiorowych” , co czyni niektóre dość zaskakujące twierdzenia. Memcomputing to nowy nieturingowy paradygmat obliczeń, który wykorzystuje...
Niech będzie alfabetem wielkości i rozważmy minimalne DFA, których rozmiar jest ograniczony co najwyżej . Niech oznacza liczbę różnych takich minimalnych DFA.ΣΣ\Sigma222mmmf(m)f(m)f(m) Czy możemy znaleźć formułę zamkniętą dla ?f(m)f(m)f(m) Biorąc pod uwagę, że dla funkcją przejścia DFA o...
Moje pytanie dotyczy twierdzeń 4.1 i 4.2 w „Teorii złożoności geometrycznej V” . Pierwsze twierdzenie mówi, że istnieje algorytm EXPSPACE do konstruowania hsop dlaΔ [ det , m ]Δ[det,m]\Delta[\text{det},m] (patrz definicje w artykule) na doC\mathbb{C} (w rzeczywistości na dowolnym algebraicznie...
Biorąc pod uwagę silne generatory dla grupy działającej na ciągach bitów o długości i elemencie , jak trudno jest obliczyć leksykograficznie minimalny element , orbity w ?( G ≤S.n, ∗ )(sol≤S.n,∗)(G \leq S_n, *)nnns ∈ { 0 , 1}ns∈{0,1}ns \in \{0, 1\}^nG .
Pozwolić CC\mathcal{C} być klasą złożoności i BP-CBP-C\textrm{BP-}\mathcal{C} być randomizowanym odpowiednikiem CC\mathcal{C} zdefiniowane w taki sam sposób jak BPPBPP\textrm{BPP} jest zdefiniowany w odniesieniu do PP\textrm{P}. Bardziej formalnie zapewniamy wielomianowo wiele losowych bitów i...
Dla ustalonego języka L.LL na jakiś alfabet ZAAA, rozważmy następujący problem, który nazywam L.LL-WŁOKA WEWNĘTRZNA : Wejście: dwa słowa u , v ∈ZA∗u,v∈A∗u, v \in A^* Wyjście: czy istnieje takie przeplatanie oduuu i vvv która jest w L.LL. Tutaj przeplatają się dwa słowauuu i vvv to słowo www...
Pozwolić ΣΣ\Sigmabyć skończonym alfabetem. kod XXX nad ΣΣ\Sigma jest podzbiorem Σ∗Σ∗\Sigma^* tak, że każde słowo w X∗X∗X^* może być jednoznacznie przedstawiony jako połączenie słów w XXX. KodXXXjest skończony, jeśli| X||X||X|jest skończony. Co wiadomo na temat (minimalnego) rozpoznawania...
Biorąc pod uwagę pełne DFA A=(Q,Γ,δ,F)A=(Q,Γ,δ,F)A=(Q, \Gamma, \delta, F), możemy zdefiniować zbiór funkcji fafaf_a dla każdego a∈Γa∈Γa\in \Gammai z fa:Q→Qfa:Q→Qf_a:Q\rightarrow Q, fa(q)=δ(q,a)fa(q)=δ(q,a)f_a(q)=\delta(q, a). Możemy uogólnić to pojęcie na słowow=a1,⋯,amw=a1,⋯,amw=a_1, \cdots, a_m i...
Czas quasi-wielomianowy, w skrócie QP, jest klasą złożoności na deterministycznej maszynie Turinga. Oto dokładna definicja: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Podczas gdy βP jest klasą złożoności o ograniczonym niedeterminizmie. Oto dokładna definicja:...
Czy istnieje jakaś znana obliczalna liczba transcendentalna taka, że jej ta cyfra jest obliczalna w czasie wielomianowym, ale nie w
Czy istnieje ramy / formalizm, który definiuje modele obliczeniowe oparte na białkach innych niż model DNA Adlemana lub ta praca Cherry i Qian
Przez pewien czas byłem ciekawy maszyn Turinga z dokładnie jedną taśmą i dokładnie 3 stanami (mianowicie stanem początkowym q0q0q_0, stan akceptacji i stan odrzucenia ). Zauważ, że zezwalam na dowolne (skończone) alfabety taśmowe (tzn. Alfabet na taśmie nie jest ograniczony do równego alfabetowi...
Jaka jest metoda przybliżenia Razborowa? Czy ktoś może dać ogólny przegląd i
Szukam listy problemów związanych z optymalizacją trudnych NP, gdzie są aktywne badania w praktycznej heurystyce w celu ich rozwiązania i istnieją wspólne testy porównawcze, które ludzie próbują pokonać. Przykłady obejmują: rekonstrukcja drzewa filogenetycznego (heurystyczny na przykład tutaj )...