Computerwissenschaften

1

Wird ein Stapelüberlauf von Hardware oder Software erkannt?

Ist es die Aufgabe der Software (des Betriebssystems), Stapelüberläufe zu erkennen, oder wird ein Stapelüberlauf in der Hardware festgestellt, der eine Ausnahme in der CPU verursacht?

26 computer-architecture stacks

1

Ist Regex Golf NP-Complete?

Wie in diesem aktuellen XKCD-Strip und diesem aktuellen Blog-Post zu sehenVon Peter Norvig (und einer Slashdot-Geschichte mit letzterem) ist "Regex Golf" (das besser als das Problem der Trennung regulärer Ausdrücke bezeichnet werden könnte) das Rätsel, den kürzestmöglichen regulären Ausdruck zu definieren, der jedes Wort in Satz A und kein Wort …

26 complexity-theory np-complete regular-expressions

2

Faustregel, um zu wissen, ob ein Problem NP-vollständig sein könnte

Diese Frage wurde durch einen Kommentar zu StackOverflow inspiriert . Abgesehen von der Kenntnis der NP-vollständigen Probleme des Buches von Garey Johnson und vieler anderer; Gibt es eine Faustregel, um zu wissen, ob ein Problem wie ein NP-vollständiges Problem aussieht? Ich suche nicht etwas Strenges, sondern etwas, das in den …

26 complexity-theory np-complete intuition

1

Gibt es eine typisierte SKI-Rechnung?

Die meisten von uns kennen die Entsprechung zwischen kombinatorischer Logik und Lambda-Rechnung . Aber ich habe noch nie das Äquivalent von "typisierten Kombinatoren" gesehen (vielleicht habe ich nicht tief genug geschaut), das dem einfach typisierten Lambda-Kalkül entspricht. Gibt es so etwas? Wo kann man sich darüber informieren?

26 reference-request logic lambda-calculus type-theory combinatory-logic

2

Wie kann man beweisen, dass eine Sprache kontextfrei ist?

Es gibt viele Techniken , um zu beweisen , dass eine Sprache ist nicht kontextfrei, aber wie ich beweisen , dass eine Sprache ist kontextfrei? Welche Techniken gibt es, um dies zu beweisen? Offensichtlich besteht eine Möglichkeit darin, eine kontextfreie Grammatik für die Sprache zu präsentieren. Gibt es systematische Techniken, …

26 formal-languages context-free formal-grammars proof-techniques reference-question

4

Was ist der Unterschied zwischen einem Typ und einer Art?

Ich lerne die Programmiersprache Haskell und versuche, mich mit dem Unterschied zwischen a typeund a auseinanderzusetzen kind. Wie ich es verstehe, a kind is a type of type. Zum Beispiel a ford is a type of carund a car is a kind of vehicle. Ist dies eine gute Möglichkeit, darüber …

26 type-theory

3

Ist die Sprache von Wortpaaren gleicher Länge, deren Hamming-Abstand 2 oder mehr beträgt, kontextfrei?

Ist der folgende Sprachkontext frei? L = { u x v y∣ u , v , x , y∈ { 0 , 1 }+, | u | = | v | , u ≠ v , | x | = | y| ,x≠y}L={uxvy∣u,v,x,y∈{0,1}+,|u|=|v|,u≠v,|x|=|y|,x≠y}L = \{ uxvy \mid u,v,x,y \in \{ …

26 formal-languages context-free pushdown-automata pumping-lemma open-problem

10

„Bei kleinen Werten von n kann O (n) so behandelt werden, als wäre es O (1)“

Ich habe mehrmals gehört, dass für ausreichend kleine Werte von n O (n) so betrachtet / behandelt werden kann, als wäre es O (1). Beispiel : Die Motivation dafür basiert auf der falschen Vorstellung, dass O (1) immer besser ist als O (lg n), immer besser als O (n). Die …

26 asymptotics

5

Wann ist die Rekursion anzuwenden?

Wann gibt es einige (relativ) grundlegende Fälle (denken Sie an CS-Studenten im ersten Studienjahr), in denen man anstelle einer Schleife eine Rekursion verwenden würde?

26 algorithms recursion

6

Was ist für GCD am effizientesten?

Ich weiß, dass der Algorithmus von Euclid der beste Algorithmus ist, um den GCD (Great Common Divisor) einer Liste positiver Ganzzahlen zu erhalten. In der Praxis können Sie diesen Algorithmus jedoch auf verschiedene Arten codieren. (In meinem Fall habe ich mich für Java entschieden, aber C / C ++ könnte …

26 algorithms recursion arithmetic

2

Optimierungsversion von Entscheidungsproblemen

Es ist bekannt, dass jedes Optimierungs- / Suchproblem ein äquivalentes Entscheidungsproblem hat. Zum Beispiel das Problem mit dem kürzesten Weg Optimierungs- / Suchversion: Finden Sie bei einem ungerichteten ungewichteten Graphen G = ( V , E )G=(V,E)G = (V, E) und zwei Eckpunkten v , u ∈ Vv,u∈Vv,u\in V einen …

26 complexity-theory optimization search-problem decision-problem

2

Ist Dominosa NP-Hard?

Dominosa ist ein relativ neues Puzzlespiel. Es wird auf einem Raster gespielt. Bevor das Spiel beginnt, werden die Dominoknochen auf dem Raster platziert (was eine perfekte Kachelung darstellt) ). Im nächsten Schritt werden die Dominoknochen ausgeblendet, sodass nur die Zahlen angezeigt werden. Ziel des Spiels ist es, die ursprüngliche Anordnung …

26 complexity-theory np-hard board-games tiling

6

Kann die Eingabe in eine Turingmaschine unendlich lang sein?

Berücksichtigt man nur das Alphabet , stammen die Zeichenfolgen, die als Eingabe für die Turing-Maschinen verwendet werden können, aus der Menge . Aber macht es Sinn, dass die Eingabe eine unendliche Binärzeichenfolge ist? Wenn beispielsweise eine Turing-Maschine alle Zeichenfolgen akzeptiert, die mit einer 0 beginnen, gehört eine binäre Zeichenfolge mit …

26 turing-machines

3

Was macht der Prozessor, während er auf einen Hauptspeicherabruf wartet?

Unter der Annahme, dass die Cache-Anforderungen l1 und l2 zu einem Fehler führen, bleibt der Prozessor stehen, bis auf den Hauptspeicher zugegriffen wurde? Ich habe von der Idee gehört, zu einem anderen Thread zu wechseln. Wenn ja, womit wird der blockierte Thread aufgeweckt?

26 computer-architecture cpu-cache cpu-pipelines

1

Zwei Definitionen von ausgeglichenen binären Bäumen

Ich habe zwei Definitionen von ausgeglichenen binären Bäumen gesehen, die für mich unterschiedlich aussehen. Ein Binärbaum ist ausgeglichen, wenn für jeden Knoten gilt, dass sich die Anzahl der inneren Knoten im linken Teilbaum und die Anzahl der inneren Knoten im rechten Teilbaum um höchstens 1 unterscheiden. Ein binärer Baum wird …

26 data-structures binary-trees