Computerwissenschaften

4

NFA mit exponentieller Anzahl von Zuständen bei Deteminisierung

Wie kann ich ein Beispiel für einen DFA mit Zuständen erstellen , wobei der äquivalente NFA Zustände hatNatürlich sollte der Statussatz des EDA alle Teilmengen des Statussatzes des NFA enthalten, aber ich weiß nicht, wie ich anfangen soll. Irgendwelche Vorschläge, um mich auf den richtigen Weg zu bringen? n2n2n2^nnnn

10 automata finite-automata

2

Wie komplex ist die Berechnung des Rangkorrelationskoeffizienten nach Spearman?

Ich habe den Rangkorrelationskoeffizienten des Spearman untersucht ρ = ∑ich( xich- x¯) ( yich- y¯)∑ich( xich- x¯)2∑ich( yich- y¯)2- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -- -√ρ=∑i(xi−x¯)(yi−y¯)∑i(xi−x¯)2∑i(yi−y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} . für zwei Listen und . …

10 complexity-theory time-complexity space-complexity

2

Ist

Ist mit Orakelzugang zu N P größer als nur N P ? Soweit ich weiß, ist N P N P nur eine Turingmaschine, die Abfragen an eine andere N P- Maschine stellen kann, wenn dies der Fall ist, als N P N P N P simulieren kann . Stimmt etwas …

10 complexity-theory

1

Wie erstelle ich eine doppelt verbundene Kantenliste bei einer Reihe von Liniensegmenten?

Für einen gegebenen planaren Graphen in die Ebene eingebettet ist, definiert durch eine Menge von Liniensegmenten E = { e 1 , . . . , e m } wird jedes Segment e i durch seine Endpunkte { L i , R i } dargestellt . Erstellen Sie eine DCEL-Datenstruktur …

10 algorithms data-structures computational-geometry doubly-connected-edge-list

1

Wie hoch ist die Wachstumsrate des World Wide Web?

Gibt es eine Möglichkeit zu schätzen, wie viele Daten pro Sekunde dem World Wide Web hinzugefügt werden? Gibt es Studien dazu?

10 computer-networks

1

Alternativen zur Defunktionalisierung

Die Defunktionalisierung ist eine Transformation, die erstmals 1972 von John C. Reynolds beschrieben wurde, um Funktionen höherer Ordnung zu eliminieren. Gibt es alternative Transformationen (effizienter?), Um Funktionen höherer Ordnung zu eliminieren?

10 programming-languages functional-programming

1

Was sind die Anwendungen von Rosenbäumen?

Ich habe kürzlich etwas über die Datenstruktur des Rosenbaums dataerfahren , aber wenn ich nur von einer Haskell- Definition und der winzigen Wikipedia-Beschreibung abkomme, habe ich einige Probleme zu verstehen, welche Anwendungen ein Rosenbaum haben könnte. Als Referenz die Haskell- dataDefinition: data RoseTree a = RoseTree a [RoseTree a] Für …

10 trees

1

Was ist der Unterschied zwischen RAM und TM?

Bei der Algorithmusanalyse nehmen wir eine generische Random Access Machine (RAM) mit einem Prozessor an. Soweit ich weiß, ist die RAM-Maschine nicht effizienter als die Turing-Maschine. Alle Algorithmen können in der Turingmaschine implementiert werden. Meine Fragen sind also: Wenn die Turing-Maschine genauso effizient ist wie die RAM-Maschine, warum nehmen wir …

10 turing-machines computation-models

1

Ableiten der Sobel-Gleichungen aus Ableitungen

Viele Sites geben die Sobel-Operatoren als Faltungsmaske zum Glätten eines Bildes an. Ich habe jedoch keine einzige Site gefunden, die beschreibt, wie Sie die Operatoren aus partiellen ersten Ableitungen ableiten können. Wenn jemand die Ableitung erklären kann, würde ich es sehr schätzen.

10 image-processing computer-vision

3

Finden einer Quelle eines gerichteten azyklischen Graphen in linearer Zeit

Bei einem gerichteten azyklischen Graphen ist ein Scheitelpunkt eine Quelle, wenn sein Grad Null ist, was bedeutet, dass er nur ausgehende Bögen hat.v ∈ V.D = ( V., A )D=(V,A)D = (V,A)v ∈ V.v∈Vv \in V Gibt es einen linearen Zeitalgorithmus, um eine Quelle in einem bestimmten gerichteten azyklischen Graphen …

10 algorithms graph-theory

4

Kann eine Turing-Maschine (TM) entscheiden, ob das Stoppproblem für alle TMs gilt?

Auf dieser Site gibt es viele Varianten der Frage, ob TMs das Stoppproblem entscheiden können, ob für alle anderen TMs oder bestimmte Teilmengen. Diese Frage ist etwas anders. Es wird gefragt, ob die Tatsache, dass das Stoppproblem für alle TMs gilt, von einem TM entschieden werden kann. Ich glaube, die …

9 computability turing-machines undecidability halting-problem

1

Warum enthält Coq Let-Ausdrücke in seiner Kernsprache?

Coq enthält Let-Ausdrücke in seiner Kernsprache. Wir können let-Ausdrücke in Anwendungen wie diese übersetzen: let x : t = v in b ~> (\(x:t). b) v Ich verstehe, dass dies nicht immer funktioniert, da der Wert vbeim Typchecking nicht verfügbar wäre b. Dies kann jedoch leicht durch ein spezielles Gehäuse …

9 type-theory dependent-types type-checking coq

1

Warum sollte die Breitensuche in der Zeit

Es wird oft gesagt (zB in Wikipedia ) , dass die Laufzeit der Breitensuche (BFS) auf einem Graph G = ( V., E.)G=(V,E)G=(V,E) ist O ( | V.| + | E.| )O(|V|+|E|)O(|V|+|E|) . Jeder verbundene Graph hat jedoch | V.| ≤ | E.| +1|V|≤|E|+1|V|\leq |E|+1 und selbst in einem nicht …

9 algorithm-analysis search-algorithms

1

Nicht deterministische endliche Automaten Sipser Beispiel 1.16

Ich arbeite mich durch das Sipser-Buch (2. Auflage) und bin auf dieses Beispiel gestoßen, das ich nicht verstehe. In dem Buch heißt es, dass diese NFA die leere Zeichenfolge ϵϵ\epsilon akzeptiert . Könnte mich jemand durchgehen lassen, warum dies der Fall ist? Mein Verständnis ist, dass ϵϵ\epsilon zu übergeht,q3q3q_3 was …

9 regular-languages finite-automata nondeterminism

2

Existiert ein Binärcode mit Länge 6, Größe 32 und Abstand 2?

Das Problem besteht darin, die Existenz von , st, zu beweisen oder zu widerlegen ; ; . ( steht für Hamming Distance)CCC|c|=6,∀c∈C|c|=6,∀c∈C|c| = 6,\forall c\in C|C|=32|C|=32|C| = 32d(ci,cj)≥2,1≤i<j≤32d(ci,cj)≥2,1≤i<j≤32d(c_i,c_j)\geq2,1\leq i<j\leq32ddd Ich habe versucht, einen zufriedenstellenden Code zu erstellen. Das Beste, was ich bekommen kann, ist, , eine Verkettung von , die …

9 information-theory coding-theory encoding-scheme