Computerwissenschaften computability

2

Invariante für verschachtelte Schleife im Matrix-Multiplikationsprogramm

Ich mache eine Abschlussarbeit über den Nachweis der Richtigkeit des Programms zum Multiplizieren von 2 Matrizen mit Hoare-Logik. Dazu muss ich die Invariante für die verschachtelte Schleife für dieses Programm generieren: for i = 1:n for j = 1:n for k = 1:n C(i,j) = A(i,k)*B(k,j) + C(i,j); end end …

7 algorithms loop-invariants correctness-proof formal-languages regular-languages pumping-lemma logic logic programming-languages lambda-calculus term-rewriting operational-semantics complexity-theory time-complexity computability proof-techniques reductions digital-preservation distributed-systems storage algorithms dynamic-programming check-my-algorithm reference-request cryptography quantum-computing formal-languages regular-languages context-free formal-grammars algorithms graphs network-flow algorithms data-structures randomized-algorithms lists computability proof-techniques undecidability terminology distributed-systems parallel-computing artificial-intelligence heuristics search-problem algorithms computational-geometry algorithm-analysis asymptotics recurrence-relation mathematical-analysis master-theorem algorithms algorithm-analysis runtime-analysis computability reductions turing-machines formal-languages context-free

2

Abbildung von Reduktionen auf das Komplement von A.

Ich habe eine allgemeine Frage zu Mapping-Reduzierungen. Ich habe mehrere Beispiele für das Reduzieren von Funktionen auf gesehenATMATMA_{TM} wo ATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle : \text{ For } M …

7 computability proof-techniques reductions

3

Turing-Reduzierbarkeit impliziert Mapping-Reduzierbarkeit

Die Frage ist, ob die folgende Aussage richtig oder falsch ist: EIN≤T.B.⟹EIN≤mB.EIN≤T.B.⟹EIN≤mB.A \leq_T B \implies A \leq_m B Ich weiß, dass es bei ein Orakel gibt, das A relativ zu B entscheiden kann. Ich weiß, dass dies nicht ausreicht, um zu sagen, dass es eine berechenbare Funktion von A nach …

7 computability reductions turing-machines

1

Was ist eine gute Referenz, um mehr über Zustandsübergangssysteme zu erfahren?

Ich untersuche verschiedene Ansätze zur Definition von Berechnungen mit kontinuierlichen dynamischen Systemen. Ich habe versucht, eine schöne Einführung in die Theorie der "staatlichen Übergangssysteme" zu finden, habe dies aber nicht getan. Kennt jemand eine moderne Einführung in das Thema? Von besonderem Interesse wäre etwas, das sich mit Berechenbarkeit befasst.

7 computability automata reference-request computation-models

3

Wie können Lösungen einer diophantinischen Gleichung als Sprache ausgedrückt werden?

Mir wurde die Frage gestellt Wo passt die folgende Sprache in die Chomsky-Hierarchie? Nichtnegative Lösungen zur diophantinischen Gleichung .(x,y)(x,y)(x,y)3 x - y= 13x−y=13x-y=1 Ich verstehe Sprachen wie , aber diese Sprache verwirrt mich. Wie sehen die Wörter in der Sprache aus? Wie könnte ich es mit einer Grammatik oder einem …

7 formal-languages computability

2

Gibt es für jede berechenbare Funktion eine äquivalente Rechenschaltung?

Gibt es für jede berechenbare Funktion eine äquivalente Rechenschaltung? Ich habe versucht, mich mit der obigen Aussage zu beschäftigen, aber kein Gegenbeispiel gefunden, obwohl ich glaube, dass die Aussage falsch ist. Was mich neugierig gemacht hat, ist, dass ich einige Theoreme gelesen habe, die besagen, dass ein Protokoll (Kryptographieprotokolltheorie) jede …

6 computability computation-models cryptography circuits simulation

Als «computability» getaggte Fragen