Als «proof-techniques» getaggte Fragen

Es gibt viele Fragen zur Laufzeitanalyse von Algorithmen (siehe zB Laufzeitanalyse und Algorithmusanalyse ). Viele sind ähnlich, zum Beispiel diejenigen, die nach einer Kostenanalyse von verschachtelten Schleifen oder Divide & Conquer-Algorithmen fragen, aber die meisten Antworten scheinen...

Ich habe von (struktureller) Induktion gehört. Es erlaubt Ihnen, endliche Strukturen aus kleineren Strukturen aufzubauen, und es gibt Ihnen Beweise für die Überlegung solcher Strukturen. Die Idee ist klar genug. Aber was ist mit der Coinduktion? Wie funktioniert es? Wie kann man etwas...

Es gibt viele Methoden , um zu beweisen , dass eine Sprache nicht regulär ist , aber was muss ich tun, um zu beweisen , dass einige Sprache ist regelmäßig? Wenn mir zum Beispiel gegeben wird, dass regelmäßig ist, wie kann ich dann beweisen, dass das folgende regelmäßig ist?L 'LLLL′L′L'...

In der Berechenbarkeits- und Komplexitätstheorie (und vielleicht auch in anderen Bereichen) sind Reduktionen allgegenwärtig. Es gibt viele Arten, aber das Prinzip bleibt dasselbe: Zeigen Sie, dass ein Problem mindestens so schwer ist wie ein anderes Problem indem Sie Instanzen von auf Instanzen in...

Ich plane einen Winterkurs zu verschiedenen Themen, von denen eines Compiler sein wird. Nun, ich bin auf dieses Problem gestoßen, als ich über Aufträge nachgedacht habe, die während des gesamten Quartals zu vergeben waren, aber es hat mich ratlos gemacht, sodass ich es stattdessen als Beispiel...

Ich verstehe den Beweis für die Unentscheidbarkeit des Halteproblems (zum Beispiel in Papadimitrious Lehrbuch), basierend auf der Diagonalisierung. Obwohl der Beweis überzeugt (ich verstehe jeden Schritt davon), ist er für mich nicht intuitiv in dem Sinne, dass ich nicht sehe, wie jemand ihn...

Als ich den Baker-Gill-Solovay-Beweis erklärte, dass es ein Orakel gibt, mit dem wir haben können, , und ein Orakel, mit dem wir haben können, Freund wurde die Frage gestellt, warum solche Techniken nicht geeignet sind, das zu beweisen , und ich konnte keine zufriedenstellende Antwort geben.P ≤ N P...

Ich habe einen gierigen Algorithmus, von dem ich vermute, dass er richtig ist, aber ich bin mir nicht sicher. Wie überprüfe ich, ob es korrekt ist? Was sind die Techniken, um zu beweisen, dass ein gieriger Algorithmus korrekt ist? Gibt es gemeinsame Muster oder Techniken? Ich hoffe, dass dies eine...

Jedes unentscheidbare Problem, das ich kenne, fällt in eine der folgenden Kategorien: Unentscheidbare Probleme durch Diagonalisierung (indirekte Selbstreferenz). Diese Probleme, wie das Problem des Anhaltens, sind nicht zu entscheiden, da Sie einen angeblichen Entscheider für die Sprache verwenden...

Ich absolviere einen Komplexitätskurs und habe Probleme, Reduzierungen zwischen NPC-Problemen zu finden. Wie kann ich Reduzierungen zwischen den Problemen finden? Gibt es einen allgemeinen Trick, den ich verwenden kann? Wie soll ich mich einem Problem nähern, bei dem ich beweisen muss, dass es sich...

Es gibt viele Techniken , um zu beweisen , dass eine Sprache ist nicht kontextfrei, aber wie ich beweisen , dass eine Sprache ist kontextfrei? Welche Techniken gibt es, um dies zu beweisen? Offensichtlich besteht eine Möglichkeit darin, eine kontextfreie Grammatik für die Sprache zu präsentieren....

Mein Problem ist, wie kann ich beweisen, dass eine Grammatik eindeutig ist? Ich habe die folgende Grammatik: S→ s t a t e m e n t | , wenn  e x p r e s s i o n  dann  S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression...

Ist es angesichts eines Rechenproblems wirklich möglich, untere Grenzen für eine solche Berechnung zu finden? Ich nehme an, es läuft darauf hinaus, wie ein einzelner Rechenschritt definiert ist und welches Modell wir für den Beweis verwenden, aber beweisen wir dann wirklich eine Untergrenze im...

Konstruktivistische Logik ist ein System, das das Gesetz der ausgeschlossenen Mitte sowie die Doppelte Negation als Axiome entfernt. Es ist auf Wikipedia hier und hier beschrieben . Insbesondere erlaubt das System keinen Widerspruchsbeweis. Ich frage mich, ist jemand mit den Auswirkungen auf die...

Ich habe zwei Möglichkeiten, eine Liste von Elementen in zufälliger Reihenfolge zu erstellen und möchte feststellen, ob sie gleichermaßen fair (unvoreingenommen) sind. Die erste Methode, die ich verwende, besteht darin, die gesamte Liste der Elemente zu erstellen und sie dann zu mischen (z. B. eine...

Das Spezifizieren von formalen Sprachen durch die Angabe formaler Grammatiken ist eine häufige Aufgabe: Wir brauchen Grammatiken, um Sprachen nicht nur zu beschreiben, sondern auch zu analysieren oder sogar Wissenschaft zu betreiben . In allen Fällen ist es wichtig, dass die vorliegende Grammatik...

Ich suche nach Erklärungen, wie man beweisen kann, dass zwei Rechenmodelle gleichwertig sind. Ich habe Bücher zu diesem Thema gelesen, mit der Ausnahme, dass Äquivalenznachweise weggelassen werden. Ich habe eine grundlegende Vorstellung davon, was es bedeutet, wenn zwei Rechenmodelle gleichwertig...

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...

Gibt es eine allgemeine Methode, um die Wiederholung des Formulars zu lösen: T(n)=T(n−nc)+T(nc)+f(n)T(n)=T(n−nc)+T(nc)+f(n)T(n) = T(n-n^c) + T(n^c) + f(n) für oder allgemeinerc<1c<1c < 1 T(n)=T(n−g(n))+T(r(n))+f(n)T(n)=T(n−g(n))+T(r(n))+f(n)T(n) = T(n-g(n)) + T(r(n)) + f(n) wobei einige...

In meinem Kurs über Computertheorie bestehen viele unserer Probleme darin, mithilfe der Induktion der Länge der Eingabezeichenfolge Aussagen über endliche Automaten zu beweisen. Ich verstehe die mathematische Induktion, aber wenn Saiten ins Spiel kommen, werde ich richtig gestolpert. Ich würde es...