Als «proofs» getaggte Fragen

Wird für Fragen zu vorhandenen oder möglichen Beweisen eines bestimmten Theorems oder einer bestimmten Vermutung verwendet


1
Wie hat sich herausgestellt, dass die MA-Version von SETH falsch ist?
Nach diesem Aufsatz , der eine nichtdeterministische Erweiterung der Artikel Strong Exponential Time Hypothesis (SETH) diskutiert, heißt es: "[…] Williams hat kürzlich gezeigt, dass verwandte Hypothesen zur Merlin-Arthur-Komplexität von k-TAUT falsch sind." Dieses Papier zitiert jedoch nur eine persönliche Mitteilung. Wie hat sich herausgestellt, dass die MA-Version von SETH falsch …


2
Einfacher Nachweis von Ω (n lg n) im ungünstigsten Fall für die Eindeutigkeit / Unterscheidbarkeit?
Es gibt mehrere Beweise für die loglineare Untergrenze für das Problem der Eindeutigkeit / Unterscheidbarkeit von Elementen (basierend auf algebraischen Berechnungsbäumen oder widersprüchlichen Argumenten), aber ich suche einen, der einfach genug ist, um in einem ersten Kurs in Algorithmenanalyse und -design verwendet zu werden. Der gleiche „Schwierigkeitsgrad“ wie die untere …

1
Warum ist Feige-Fiat-Shamir nicht Zero Knowledge ohne Vorzeichen?
In Kapitel 10 von HAC (10.4.2) sehen wir das bekannte Feige-Fiat-Shamir-Identifikationsprotokoll, das auf einem Null-Wissens-Beweis basiert, der die (angenommene) Schwierigkeit nutzt, Quadratwurzeln zu extrahieren, die modulo ein Composite sind, das schwer zu faktorisieren ist. Ich werde das Schema in meinen eigenen Worten wiedergeben (und es hoffentlich richtig machen). Beginnen wir …

2
Zur Beweisbarkeit von P gegen NP
Erstens ist mein Verständnis des Unvollständigkeitssatzes von Gödel (und der formalen Logik im Allgemeinen) sehr naiv, ebenso wie mein Wissen über theoretische Informatik (dh nur ein Abschlusskurs, der bereits während meines Studiums belegt wurde), so dass diese Frage möglicherweise gestellt wird sehr naiv. Soweit ich feststellen konnte, ist die Beweisbarkeit …

3
Vom Computer gefundene Beweise
1996 wurde ein seit langem offenes Problem von einem Computer gelöst; nämlich, dass Robbins Algebra und Boolesche Algebra gleich sind. Der Beweis wurde von einem automatisierten Theorembeweiser gefunden. Darüber hinaus enthält der bekannte Beweis des Vierfarbensatzes computergenerierte Komponenten. Ziel dieser Frage ist es, Beweise aufzulisten, die (vollständig oder teilweise) vom …

2
Ein interaktiver Beweis der Zahl Gottes?
Ich habe in letzter Zeit etwas über interaktive Beweise gelernt und mich gefragt, ob das Ganze nichts anderes als eine theoretische Neugier war oder ob es praktische Anwendungen hatte. Ich dachte, ich würde mit einem Beispiel beginnen, das mir beim Duschen einfiel: In letzter Zeit wurde die Nachricht verbreitet, dass …

3
Wohin wende ich mich bei der Recherche / Veröffentlichung?
Ich habe eine Weile einen SAT-Algorithmus entwickelt und einen Punkt erreicht, an dem ich ihn gerne teilen möchte. Ich kenne nicht viele Leute in der Informatik und bin mir nicht sicher, wohin ich mich wenden soll. Ich frage mich, welche Ressourcen für jemanden mit einem Algorithmus verfügbar sind, der eine …



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.