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"...
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...
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...
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...
Es ist also bekannt, dass PCP selbst dann unentscheidbar ist, wenn wir die Anzahl der Kacheln auf festlegen .n≥7n≥7n \geq 7 Ich frage mich, kann etwas Ähnliches gesagt werden, wenn es eine feste Wortlänge gibt? Um genau zu sein, hier ist das Problem: Bei festem und mit und den Wörtern und...
Wie es im Titel heißt: Gibt es Probleminstanzen , die wir kennen unlösbare sein? Oder äquivalent Gibt es irgendwelche Versprechungsprobleme mit einer endlichen Anzahl möglicher Eingaben, die nicht zu entscheiden sind? Bitte beachten Sie: Mir ist klar, dass viele Rechenprobleme bekanntermaßen...