Computerwissenschaften

4

Gibt es echte Lexer, die NFAs direkt verwenden, anstatt sie zuerst in DFAs umzuwandeln?

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 gibt. Wenn ich das richtig verstehe, besteht der Kompromiss darin, dass …

7 finite-automata compilers efficiency nondeterminism lexical-analysis

1

Wie finde ich ein lokales Minimum eines vollständigen Binärbaums?

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 ist ein lokales Minimum, wenn …

7 terminology graphs binary-trees

2

Schwache und starke Vollständigkeit

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 Polynom?

7 algorithms complexity-theory np-complete pseudo-polynomial

1

Tut

Es ist bekannt, dass für f(n)≥lognf(n)≥log⁡nf(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 f(n)<lognf(n)<log⁡nf(n)<\log n? Sind sie auch gleich?

7 complexity-theory space-complexity

2

Ist NAE-HORN-SAT in P oder NP-hart?

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. Lassen Sie mich das Problem formal definieren: Gegeben: Eine Boolesche Formel ϕϕ\phiwird uns …

7 complexity-theory np-complete satisfiability

2

Algorithmus zum Erstellen eines Suffix-Arrays in der Zeit

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 weggelassen werden. Es gibt ein Beispiel …

7 algorithms data-structures strings

3

Was ist der Unterschied zwischen einem TM, der eine Sprache akzeptiert und entscheidet?

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, …

7 terminology turing-machines

3

Ist die Auflösung vollständig oder nur die Widerlegung vollständig?

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. Beispielsweise kann die Auflösung nicht …

7 logic first-order-logic

3

Regulärer Ausdruck für kontextfreie Grammatik

Weiß jemand, ob es einen Algorithmus zum direkten Schreiben der kontextfreien Grammatik gibt, die einen bestimmten regulären Ausdruck erzeugt?

7 formal-grammars regular-expressions context-free

2

Schneller wachsende beschäftigte Biberfunktion

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 Funktion wäreΣ ( n )Σ(n)\Sigma(n)und die Obergrenze …

7 computability turing-machines

3

Gibt es ein einfaches Beispiel für Mengen wie aber nicht ?

Ich frage mich , ob es ein einfaches Beispiel von Sätzen ist und , so dass ist Turing-reductible zu , aber nicht viele-zu-eins reductible zu .AAABBBAAABBBBBB

7 turing-machines reductions

1

Gibt es einen Non-Brute-Force-Algorithmus für die Eulerisierung von Graphen?

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 geben) muss der Graph "Eulerisiert" werden, wobei die ungeraden Scheitelpunkte bei Bedarf …

7 graph-theory

1

Ändert das Erzwingen, dass TMs alle von ihnen gelesenen Symbole ändern, ihre Leistung?

Wenn wir eine Turingmaschine so einschränken, dass sie das gelesene Symbol nicht schreiben darf, würde dies ihre Leistung verringern? Zum Beispiel: (State,A,State,Z,DIRECTION)(State,A,State,Z,DIRECTION)( State, A, State, Z, DIRECTION) AAA kann nicht dasselbe Symbol sein wie ZZZ.

7 computability turing-machines machine-models

4

Fragen zur amortisierten Analyse

Als Vorbereitung einer Prüfung über Algorithmen und Komplexität löse ich derzeit alte Übungen. Ein Konzept, mit dem ich bereits zu kämpfen hatte, als ich es zum ersten Mal sah, ist das Konzept der amortisierten Analyse. Was ist eine amortisierte Analyse und wie geht das? In unseren Vorlesungsunterlagen heißt es, dass …

7 algorithm-analysis proof-techniques amortized-analysis

2

Zwei Funktionen , so dass aber

Der Titel der Frage drückt aus, wonach ich suche - dies soll mir helfen, die Voraussetzungen für den Satz der nichtdeterministischen Zeithierarchie besser zu verstehen Zum Beispiel erklärt das Arora-Barak-Buch den Satz mit und - aber ich kann das auch sehen! Ich versuche also besser zu verstehen, welche "zusätzliche" Zeit …

7 complexity-theory time-complexity asymptotics landau-notation