In der Mathematik gibt es viele Existenzbeweise, die nicht konstruktiv sind, so dass wir wissen, dass ein bestimmtes Objekt existiert, obwohl wir nicht wissen, wie wir es finden können.
Ich suche nach ähnlichen Ergebnissen in der Informatik. Insbesondere: Gibt es ein Problem, das wir beweisen können, dass es entscheidbar ist, ohne einen Algorithmus dafür zu zeigen? Dh wir wissen, dass es durch einen Algorithmus gelöst werden kann, aber wir wissen nicht, wie der Algorithmus aussieht?
algorithms
proof-techniques
Erel Segal-Halevi
quelle
quelle
Antworten:
Im einfachsten Fall kenne ich einen Algorithmus, der existiert, obwohl nicht bekannt ist, welcher Algorithmus sich auf Automaten mit endlichen Zuständen bezieht.
Der Quotient einer Sprache L 1 durch eine Sprache L 2 definiert ist als L 1 / L 2 = { x | ∃ y ∈ L 2 derart , daß x y ∈ L 1 } .L1/L2 L1 L2 L1/L2={x∣∃y∈L2 such that xy∈L1}
Es ist leicht zu beweisen, dass reguläre Mengen unter einem Quotienten durch eine beliebige Menge geschlossen werden. Mit anderen Worten, wenn regulär ist und L 2 willkürlich ist (nicht notwendigerweise regulär), dann ist L 1 / L 2 auch regulär.L1 L2 L1/L2
Der Beweis ist ganz einfach. Sei eine FSA, die die reguläre Menge R akzeptiert , wobei Q und F jeweils die Menge von Zuständen und die Menge von akzeptierenden Zuständen sind, und sei L eine beliebige Sprache. Lassen F ' = { q ∈ Q | ∃ y ∈ LM=(Q,Σ,δ,q0,F) R Q F L ist die Menge von Zuständen, aus denen ein Endzustand erreicht werden kann, indem ein String aus L akzeptiert wird.F′={q∈Q∣∃y∈Lδ(q,y)∈F} L
Der Automat , das sich von M nur in seinem Satz F ' von Endzuständen erkennt präzise R / L . (Oder siehe Hopcroft-Ullman 1979, Seite 62 für einen Beweis dieser Tatsache.)M′=(Q,Σ,δ,q0,F′) M F′ R/L
Dies ist ein Beispiel für das, was manchmal als beinahe konstruktiver Beweis bezeichnet wird, dh ein Beweis dafür, dass eine von einer endlichen Anzahl von Antworten die richtige ist.
Ich nehme an, eine Erweiterung davon könnte ein Beweis dafür sein, dass eine der unzähligen Antworten die richtige ist. Aber ich kenne keine. Ich kenne auch keinen rein nicht konstruktiven Beweis dafür, dass ein Problem entscheidbar ist, zum Beispiel nur mit Widersprüchen.
quelle
Berücksichtigen Sie dieses Problem, um Hendricks ursprünglichen Kommentar zu erweitern
Dieses Problem ist entscheidend, da einer von zwei Fällen erhalten werden kann:
In Fall (1) wäre ein Entscheidungsalgorithmus für das Problem einer von
und im Fall (2) wäre der Algorithmus
Offensichtlich ist jeder von diesen ein Entscheidungsalgorithmus; wir wissen nur nicht welche. Das genügt, da decidability aber erfordert nur die Existenz eines Algorithmus, nicht die Angabe , welche Algorithmus.
quelle
Hier ist eine Nichtantwort. Ich poste, weil ich glaube, dass es lehrreich ist, weil ich ursprünglich das Gegenteil behauptet habe und acht Leute sich genug einig waren, um zu stimmen, bevor @sdcwc auf den Fehler hinwies. Ich wollte meine erste Antwort nicht einfach bearbeiten, weil ich nicht sicher bin, ob es so viele Leute gegeben hätten, wenn sie gewusst hätten, dass es falsch war.
quelle