Bei gegebener Folge ist eine Palindromabdeckung eine Folge p 1 p 2 ≤ p m von Wörtern p i, so dass p 1 p 2 ≤ p m = w ist und dass jedes p i ein Palindrom ist .w = σ1σ2… Σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯ pmp1p2⋯pmp_1p_2\cdots p_mpichpichp_ip1p2⋯ pm= wp1p2⋯pm=wp_1p_2\cdots p_m =...
Ich bin ein Mathematik-Hauptfach, das sich für TCS interessiert. Ich möchte die Algorithmen und deren Komplexität zum Lösen der gruppentheoretischen Probleme wie Reihenfolge der Elemente finden, Aufzählung der Nebenmengen, Generator finden und testen, ob eine gegebene Teilmenge die Gruppe erzeugt....
Wie kann ich die folgende Wiederholungsbeziehung lösen? f(n)=f(n−1)+f(n−logn)f(n)=f(n−1)+f(n−logn) f(n) = f(n-1) + f(n - \log
CCC ist ein achsparalleles Rechteck. C1, … , CnC1,…,CnC_1,\dots,C_n sind achsparallele Rechtecke die paarweise im Inneren getrennt sind, so dass wie :C1∪ ⋯ ∪ Cn⊊ CC1∪⋯∪Cn⊊CC_1\cup\dots\cup C_n \subsetneq C Eine rechteckerhaltende Partition von CCC ist eine Partition C= E1∪ ⋯ ∪ ENC=E1∪⋯∪ENC =...
Bekanntermaßen definierte Greibach eine Sprache , die sogenannte nichtdeterministische Version von D 2 , so dass jede CFL ein inverses morphes Bild von H istHHHD2D2D_2HHH . Gibt es eine ähnliche Aussage zu DCFL, möglicherweise mit einer gewissen Einschränkung der zulässigen Morphismen? (Siehe z. B....
Let bezeichnen die Mindestgröße eines (nicht-monotone) arithmetic ( + , x , - ) Schaltung Berechnen eines gegebenen multi Polynom f ( x 1 , ... , x n ) = Σ e ∈ E c e n Π i = 1 x e i iA(f)A(f)A(f)(+,×,−)(+,×,−)(+,\times,-) und B ( f ) bezeichnen die minimale Größe einer (nicht monotonen) booleschen...
Ich suche ein Übersichtsblatt zu den wichtigen Konzepten im Bereich der Quantenautomaten. Ich habe Quantum Automata Theory - A Review von Hirvensalo gefunden, aber es klingt zu prägnant, um das Thema zu erfassen. Gibt es eine recht umfassende Umfrage zum Thema Quantum Automata? Können Sie mich auch...
Jetzt können wir sehen, dass Church mit dem einfach getippten Lambda-Kalkül in Verbindung gebracht wurde . Tatsächlich scheint er den einfach getippten Lambda-Kalkül erklärt zu haben, um Missverständnisse über den Lambda-Kalkül zu vermeiden. Jetzt, als John McCarthy Lisp kreierte, basierte er es...
Nehmen wir an , dass ein Graph die Eigenschaft hat , M , wenn seine Ecken bestellt werden können v 1 , v 2 , ... v n in einer solchen Weise , dass der Graph H i durch den Scheitel induziert { v 1 , ... , v i } hat d i s t H i ( v j , v k ) = d i s t G ( v j , vGGGMMMv1,v2,…vnv1,v2,…vnv_1, v_2,...
Angenommen, wir wollen n×nn×nn \times n Matrizen multiplizieren . Der langsame Matrixmultiplikationsalgorithmus läuft in der Zeit O(n3)O(n3)O(n^3) und verwendet den O(n2)O(n2)O(n^2) -Speicher. Die schnellste Matrixmultiplikation läuft in der Zeit nω+o(1)nω+o(1)n^{\omega + o(1)} , wobei ωω\omega die...
In diesem Skript von Ola Svensson: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf heißt es, dass wir nicht wissen, ob der euklidische TSP im NP ist: Der Grund dafür ist, dass wir nicht wissen, wie man Quadratwurzeln effizient berechnet. Auf der anderen Seite gibt es dieses Papier...
Ich bin die Sprache aller erfüllbar Propositionslogik Formeln unter Berücksichtigung, SAT (um sicherzustellen , dass dies eine endliche Alphabet hat, würden wir propositionaler Buchstaben in geeigneter Weise kodieren [edit: die Antworten darauf hingewiesen , dass die Antwort auf die Frage nicht...
Eine einfache Beobachtung ist, dass, wenn ein Problem durch ein nichtdeterministisches Polynomzeitprogramm unter Verwendung von O ( log n ) nichtdeterministischen Bits (dh alle Zeugen sind logarithmisch lang) entscheidbar ist, A ∈ P ist .EINAAO ( logn )O(logn)O(\log n)A∈PA∈PA \in \mathsf{P} Wenn...
Die Dichte einer Sprache ist eine Funktion d X : N → N, definiert als d X ( n ) = | { x ∈ X ∣ | x | ≤ n } | . Angenommen , A und B sind Sprachen über ein endliches Alphabet, A many-one logspace reduziert sich auf B und B nicht in L = DSPACE ( log n )XXXdX:N→NdX:N→Nd_X \colon \mathbb{N} \to...
Der Zeithierarchiesatz besagt, dass Turingmaschinen mehr Probleme lösen können, wenn sie (genug) mehr Zeit haben. Gilt es in irgendeiner Weise, wenn der Raum asymptotisch begrenzt ist? Wie verhält sich DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) zu
Das Stopp-Problem ist bekanntermaßen nicht berechenbar. Es ist jedoch möglich, Informationen über das Problem des Anhaltens exponentiell zu "komprimieren", so dass das Dekomprimieren berechenbar ist. Genauer gesagt ist es möglich, aus einer Beschreibung von Turing-Maschinen und einem Bit-Hinweis...
Klop, van Oostrom und de Vrijer haben eine Arbeit über den Lambda-Kalkül mit Mustern. http://www.sciencedirect.com/science/article/pii/S0304397508000571 In gewissem Sinne ist ein Muster ein Baum von Variablen - obwohl ich es nur als verschachteltes Tupel von Variablen betrachte, zum Beispiel ((x,...
In Anhang B von Boosting and Differential Privacy von Dwork et al. Geben die Autoren das folgende Ergebnis ohne Beweis an und bezeichnen es als Azumas Ungleichung: Lassen werden reellwertigen Zufallsvariablen , so dass für jedes , i ∈ [ k ]C1,…,CkC1,…,CkC_1, \dots, C_ki∈[k]i∈[k]i \in [k]...
Wer hat als erster gezeigt, dass eine Sprache in NP ist, wenn ein Zertifikat für die Sprache in polynomialer Zeit verifiziert werden kann? Haben wir ein Papier, das dies formal beweist? Wann begann die TCS-Community, Nichtdeterminismus zugunsten der Überprüfbarkeit zu de-betonen? Über Texte wie...
Ich möchte sehr spezifisch sein. Kennt jemand einen Disproof oder einen Beweis für den folgenden Satz: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in...