Die Standardfunktion für beschäftigte Biber macht auf die endgültige Anzahl von Symbolen ungleich Null auf dem Band aufmerksam. Wir könnten stattdessen die größte Anzahl von Symbolen ungleich Null betrachten, die zu jedem Zeitpunkt der Berechnung auf dem Band erscheinen . Die Untergrenze dieser...
Weiß jemand, ob es einen Algorithmus zum direkten Schreiben der kontextfreien Grammatik gibt, die einen bestimmten regulären Ausdruck
Wenn man durch einige Wissensrepräsentation Tutorials auf Auflösung im Moment, und ich kam in Dia 05.KR, no77 . Dort wird erwähnt, dass "das Verfahren auch abgeschlossen ist". Ich denke, diese Vollständigkeit kann nicht bedeuten, dass ein Satz, der von KB stammt, durch Auflösung abgeleitet wird....
Bei einem ungerichteten, ungewichteten, verbundenen und möglicherweise parallelen Graphen kann eine Euler-Schaltung konstruiert werden, wenn jeder Scheitelpunkt in einen geraden Grad hat.GGGGGG In Graphen mit zwei oder mehr Scheitelpunkten ungeraden Grades (es kann nur ein Vielfaches von zwei...
Ehrlich gesagt fühle ich mich gerade sehr unwohl mit dem Material. Es gibt einige Dinge, die ich verstehen kann, aber viele, die ich immer noch nicht verstehe. Meine erste Aufgabe besteht darin, mich in einer Frage (die ich zu tun weiß) zu bitten, eine vollständige Beschreibung eines TM zu geben,...
Ich habe in letzter Zeit mit Suffix-Arrays gearbeitet und kann keinen effizienten Algorithmus zum Erstellen eines Suffix-Arrays finden, der leicht zu verstehen ist. Ich habe an vielen Stellen gesehen, dass es einen -Algorithmus gibt, aber ich kann ihn nicht verstehen, da viele wichtige Details...
Ich bin daran interessiert, die Komplexität des NAE-HORN-SAT-Problems zu kennen (nicht alle gleich). Wir wissen, dass HORNSAT istP.P\mathsf{P}-vollständig, aber auf der anderen Seite ist NAE-SAT N P.NP\mathsf{NP}-Komplett. Ich möchte wissen, was wir über das NAE-HORN-SAT-Problem sagen können....
Es ist bekannt, dass für f(n)≥lognf(n)≥lognf(n) \geq \log n, NSPACE(f(n))=coNSPACE(f(n))NSPACE(f(n))=coNSPACE(f(n))\mathsf{NSPACE}(f(n)) = \mathsf{coNSPACE}(f(n)). Was, wenn
Was sagt uns ein Pseudo-Polynom-Algorithmus über das Problem, das er löst? Ich sehe nicht, wie sich die Laufzeit verbessert, wenn der Algorithmus in der Eingabelänge exponentiell und im Eingabewert polynomisch ist. Wie erklären wir diese Verschiebung vom Exponential zum
Das Halteproblem ist definiert als: HTM={⟨M,w⟩∣M halts on input w}HTM={⟨M,w⟩∣M halts on input w}H_{TM} = \{ \langle M, w \rangle \mid \text{\(M\) halts on input \(w\)}\} Ich bin mir nicht sicher, was es bedeutet. Ist eine Sammlung von Turingmaschinen, so dass alle das Wort akzeptieren / ablehnen ?...
Ich schaue mir hier mein Lehrbuch von Michael Sipser an und er sagt, dass eine nicht deterministische Turing-Maschine ein Entscheider ist, wenn alle ihre Berechnungszweige bei allen Eingaben anhalten. Ich denke, ich erinnere mich, dass ich irgendwo etwas gesehen habe, was man als nicht...
Ich nehme an der Coursera-Klasse für Compiler teil und in der Lektion über Lexer wird angedeutet, dass es einen Zeit-Raum-Kompromiss zwischen der Verwendung eines nicht deterministischen endlichen Automaten (NFA) und eines deterministischen endlichen Automaten (DFA) zum Parsen regulärer Ausdrücke...
Wie finde ich ein lokales Minimum eines vollständigen Binärbaums? Betrachten Sie einen vollständigen Binärbaum Knoten , wobei für einige . Jeder Knoten ist mit einer reellen Zahl . Sie können davon ausgehen, dass die reellen Zahlen, die die Knoten kennzeichnen, alle unterschiedlich sind. Ein Knoten...
Von http://rjlipton.wordpress.com/2009/05/27/arithmetic-hierarchy-and-pnp/ , Definieren, M.[ x , c ]M[x,c]M_{[x,c]} als deterministische Turingmaschine, die an einer Eingabe wie folgt arbeitet yyy. Die Maschine behandelt als deterministisches Programm und simuliert bei Eingabe von . Gleichzeitig...
Hier ist etwas aus Slonnegers "Syntax und Semantik von Programmiersprachen": Eine Variable kann sowohl gebunden als auch frei im selben Lambda-Ausdruck vorkommen: Beispielsweise ist in λx.yλy.yx das erste Auftreten von y frei und die anderen beiden sind gebunden. Ich gehe davon aus, dass die freie...
Ich versuche dieses Problem zu lösen . Problem : Gegebennnn Bei positiven ganzen Zahlen müssen Sie eine maximale Anzahl von ganzen Zahlen auswählen, damit keine zwei Zahlen vorhanden sind a , bein,ba, b in welchem eineina ist teilbar durch bbb. Ich muss den maximalen unabhängigen Satz und die Größe...
Ich denke, der halbe Kampf bei der Beantwortung dieser Frage liegt darin, sie genau zu formulieren! Eine Suchmaschine taucht nicht viel auf, deshalb habe ich mich gefragt, ob dies eine bekannte oder gut untersuchte Frage ist. Meine Gedanken: Ich denke, der einfachste Weg, diese Frage zu...
Ich weiß nicht viel über Yacc, Bison, Flex oder Lex und bitte korrigiere mich, wenn ich falsch liege, aber eine Programmiersprache ist auch eine Turing-Maschine und eine Turing-Maschine ist als Tupel definiert (Q,Γ,b,Σ,δ,q0,F)(Q,Γ,b,Σ,δ,q0,F)(Q, \Gamma, b, \Sigma, \delta, q_0, F) wo QQQ, ΓΓ\Gamma,...
Angenommen, ist eine Einwegfunktion. Was ist mit , wobei und ?f(x)f(x)f(x)h(x)=f(x1)⊕f(x2)h(x)=f(x1)⊕f(x2)h(x)=f(x_1) \, \oplus \,f(x_2)x=x1||x2x=x1||x2x=x_1 || x_2|x1|=|x2||x1|=|x2|\lvert x_1 \rvert = \lvert x_2\rvert ⊕⊕\oplus ist eine exklusive Disjunktion (xor) ||||||ist Verkettung |u||u||u|ist...
Ich arbeite an einem Typsystem und stoße auf ein Problem, das dem niedrigsten gemeinsamen Vorfahren ähnlich zu sein scheint. Bei zwei Typen muss ich die kleinste Folge von Konvertierungen finden, die zum gleichen Zieltyp führt. Wenn ich einen einfachen Typbaum hätte, weiß ich, wie ich das Ergebnis...