Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Ein Verfahren zur topologischen Sortierung, ein Beweis für seine Richtigkeit
Definition: Eine erhaltene Invariante einer Zustandsmaschine ist ein Prädikat für Zustände, so dass wann immerPPPP.(q)P(q)P(q) ist wahr für einen Staat, qqq, und q→rq→rq \rightarrow r für einen Staat, rrr, dann P.(r)P(r)P(r) hält. Definition: Ein Liniendiagramm ist ein Diagramm, dessen Kanten sich alle auf einem Pfad befinden. Definition: Formal ist eine …
2
Sind Funktionen in O (n), die noch in o (n) sind, alle in Θ (n)?
Eine meiner Vorlesungen macht folgende Aussage: (f(n)=O(n)∧f(n)≠o(n))⟹f(n)=Θ(n)(f(n)=O(n)∧f(n)≠o(n))⟹f(n)=Θ(n)( f(n)=O(n) \land f(n)\neq o(n) )\implies f(n)=\Theta(n) Vielleicht fehlt mir etwas in den Definitionen, aber zum Beispiel ist die Blasensortierung und nicht aber es ist auch nicht \ theta (n ^ 2), da es die beste Laufzeit ist \ Omega ( n) .O(n2)O(n2)O(n^2)o(n2)o(n2)o(n^2)θ(n2)θ(n2)\theta(n^2)Ω(n)Ω(n)\Omega(n) Was …
3
Welche Beziehung besteht zwischen P vs. NP und der Fähigkeit der Natur, NP-Probleme effizient zu lösen?
Ich habe darüber nachgedacht, wie die Natur lächerliche (dh NP) Probleme mit Leichtigkeit effizient berechnen kann. Zum Beispiel benötigt ein Quantensystem einen Elementvektor, um den Zustand darzustellen, wobei nur die Anzahl der Teilchen ist. Die Natur braucht keine zusätzliche Zeit, obwohl dieses Teilchen-System exponentiell "gelöst" wird.2n2n2^nnnnnnn Dies mag keine völlig …
1
Längenerhaltende Einwegfunktionen
Leider ist mein Hintergrund in Bezug auf die Komplexität der Berechnungen immer noch schwach, aber ich arbeite daran. Soweit ich weiß, ist die Frage der Existenz von Einwegfunktionen auf diesem Gebiet sehr wichtig. Angenommen, es gibt Einwegfunktionen. Wie kann gezeigt werden, dass es Einwegfunktionen gibt, die die Länge erhalten?
5
Teambildung in dreiteiliger Grafik
Die Regierung will ein Team mit einem Alchemisten , einem Baumeister und einem Informatiker bilden . Für eine gute Zusammenarbeit ist es wichtig, dass sich die 3 Teammitglieder mögen. Deshalb versammelt sich die Regierung kkkKandidaten für jeden Beruf und erstellt ihre "Gefällt mir" -Diagramme. Dies ist ein dreiteiliger Graph, zwischen …
5
Welche genaue Beziehung besteht zwischen Programmiersprachen und Turing-Maschinen?
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, b∈Γb∈Γb \in \Gamma, Σ⊆Γ∖{b}Σ⊆Γ∖{b}\Sigma \subseteq \Gamma \smallsetminus \{ …
1
Wie man die Schaltungsgröße mit der Laufzeit der Turingmaschine in Beziehung setzt
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 führt die Maschine einen Zähler aus, der nach den Schritten seine Ausführung stoppt . Wenn die Maschine …
1
Frei und gebunden im Lambda-Kalkül
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 Variable das y direkt nach …
3
Bedeutung des Halteproblems
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 ? Ist das …
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.