Als «undecidability» getaggte Fragen

Fragen zu Problemen, die von keiner Turing-Maschine gelöst werden können.

1
Was ist der Zweck der Interpretation von Elementen im Beweis der Reduktion von PCP auf das Gültigkeitsentscheidbarkeitsproblem der Prädikatenlogik?
Da sich meine Frage direkt auf einen Teil des Textes aus einem Buch aus dem Jahr 2004 bezieht, Logik in der Informatik: Modellierung und Argumentation über Systeme (2. Auflage) von Michael Huth und Mark Ryan , um den Kontext für die folgende Diskussion bereitzustellen, bin ich teilweise das Buch wörtlich …
2
Warum ist die Logik erster Ordnung (ohne Arithmetik) VALIDITY nur rekursiv aufzählbar und nicht rekursiv?
Papadimitrious "Computational Complexity" besagt, dass VALIDITY, das Problem der Entscheidung, ob eine logische Formel erster Ordnung (ohne Arithmetik) gültig ist, rekursiv aufzählbar ist. Dies folgt aus den Vollständigkeits- und Soliditätssätzen, die GÜLTIGKEIT und THEOREMHOOD gleichsetzen, wobei letzteres das Problem ist, einen Beweis für eine Formel zu finden, von der zuvor …
1
Problem für die Klasse ALLER Sprachen abgeschlossen
ALLEALL\text{ALL} ist buchstäblich die Klasse ALLER Sprachen. Gibt es vollständige Probleme? Das heißt, gibt es Probleme, für die eine Lösung es einem ermöglichen würde, irgendein Problem zu lösen? Solche Probleme könnten vernünftigerweise als "die schwierigsten Probleme, abgesehen von keinem" angesehen werden.ALLEALL\text{ALL} Ein solches Problem scheint zu sein: Bei einem Problem …
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 
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.