Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Was bedeutet sublinearer Raum für Turingmaschinen?
Es hat sich gezeigt, dass das Problem der Entscheidung, ob eine Eingabe ein Palindrom ist oder nicht, Speicherplatz auf einer Turing-Maschine erfordert . Selbst das Speichern der Eingabe benötigt jedoch Speicherplatz Bedeutet dies nicht, dass alle Turing-Maschinen Speicherplatz benötigen ?Ω(logn)Ω(log⁡n)\Omega(\log n)nnnΩ(n)Ω(n)\Omega(n) Natürlich gibt es hier keinen Widerspruch, da jede Funktion, …
4
Gleiche Stöcke aus verschiedenen Stöcken schneiden
Sie haben Sticks beliebiger Länge, die nicht unbedingt ganzzahlig sind.nnn Wenn Sie einige Sticks schneiden (ein Schnitt schneidet einen Stick, aber wir können so oft schneiden, wie wir möchten), möchten Sie Sticks erhalten, so dass:k&lt;nk&lt;nk<n Alle diese Stöcke haben die gleiche Länge;kkk Alle Sticks sind mindestens so lang wie alle …
1
Alle kontextfreien Sprachen aus einer Reihe von Basissprachen und Schließungseigenschaften erstellen?
Eine Möglichkeit, reguläre Ausdrücke zu betrachten, ist ein konstruktiver Beweis für die folgende Tatsache: Es ist möglich, reguläre Sprachen zu konstruieren, indem mit einer kleinen Menge von Sprachen begonnen und diese über eine kleine, feste Menge von Schließungseigenschaften kombiniert werden. Wenn wir mit der leeren Sprache, der Sprache, die die …
2
Methode zur Messung der Ähnlichkeit zwischen FSA-Grammatiken?
Ich arbeite mit einem Pattern-Matching-Algorithmus, der einen azyklischen Finite-State-Automaten generiert, der eine bestimmte Textzeichenfolge und alle ihre Teilzeichenfolgen akzeptiert. Der FSA-Algorithmus wird auf einer symbolischen Darstellung eines Musikstroms (z. B. MIDI-Daten) ausgeführt. Der Musikstrom wurde vorverarbeitet, um jedes Lied in unbeschriftete "Segmente" zu unterteilen. Für jedes Segment in jedem Song …
1
Warum die Verwendung von Hyper-Threading zu Leistungseinbußen führen kann
Ich habe an verschiedenen Stellen wie dieser gelesen , dass Hyper-Threading zu Leistungseinbußen führt. Ich kann nicht verstehen, warum oder wie Hyper-Threading zu einer Verschlechterung führt. Warum es so ist, dass selbst wenn das Betriebssystem durch Hyper-Threading freie Ressourcen nutzen kann, die Verschlechterung auftritt. Obwohl Benchmarks Hyper-Threading als Schuldigen anzeigen, …
2
Problem ohne Selbstreferenz stoppen
In dem Halteproblem sind wir interessiert, ob es eine Turingmaschine , die erkennen kann, ob eine gegebene Turingmaschine M an einem gegebenen Eingang i anhält oder nicht . Normalerweise beginnt der Beweis mit der Annahme, dass ein solches T existiert. Dann betrachten wir einen Fall, in dem wir i auf …
2
Ist dieses klassische Puzzle-Buch-Spiel NP-komplett?
Es gibt ein klassisches Puzzlespiel, das einem Kreuzworträtsel sehr ähnlich ist, außer dass eine Liste von Wörtern angegeben wird und dann eine quadratische Tafel aus Einheitsquadraten gegeben wird, wobei einige Quadrate wie ein Kreuzwortwort verdunkelt sind. und auf einigen Quadraten ist bereits ein Brief vorgeschrieben. Das Ziel ist es, jedes …
2
Kombinatorische Interpretation des Lambda-Kalküls
Laut Peter Selinger ist der Lambda-Kalkül algebraisch (PDF). Zu Beginn dieses Artikels sagt er: Die kombinatorische Interpretation des Lambda-Kalküls ist bekanntermaßen unvollkommen, da sie die Regel nicht erfüllt : Nach der Interpretation impliziert M = N nicht \ lambda xM = \ lambda xN (Barendregt, 1984).ξξξM=NM=NM = Nλx.M=λx.Nλx.M=λx.N\lambda x.M = …
4
Wiederherstellen einer Punkteinbettung aus einem Diagramm mit Kanten, die nach Punktabstand gewichtet sind
Angenommen, ich gebe Ihnen ein ungerichtetes Diagramm mit gewichteten Kanten und sage Ihnen, dass jeder Knoten einem Punkt im 3D-Raum entspricht. Immer wenn sich zwischen zwei Knoten eine Kante befindet, ist das Gewicht der Kante der Abstand zwischen den Punkten. Ihr Ziel ist es, die relativen Positionen der Punkte unter …
2
Würde
Wenn ist, kollabiert die Hierarchie auf ihre zweite Ebene (nach dem Karp-Lipton-Theorem). Aber was ist mit und ?N P c o N P.R P = N P.RP=NP\sf RP = NPN P.NP\sf NPc o N P.coNP\sf coNP Ich habe versucht zu beweisen, dass in (die andere Richtung ist trivial, wenn ), …
2
Die Äquivalenzbeziehungen decken das Problem ab (in der Graphentheorie)
Eine Äquivalenzbeziehung auf einer endlichen Scheitelpunktmenge kann durch einen ungerichteten Graphen dargestellt werden, der eine disjunkte Vereinigung von Cliquen darstellt. Die Scheitelpunktmenge repräsentiert die Elemente und eine Kante repräsentiert, dass zwei Elemente äquivalent sind. Wenn ich einen Graphen und Graphen , sagen wir, dass durch abgedeckt ist wenn die Menge …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.