Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

5
Welche bemerkenswerten Automatenmodelle haben einen polynomisch entscheidbaren Einschluss?
Ich versuche, ein bestimmtes Problem zu lösen, und dachte, ich könnte es mithilfe der Automatentheorie lösen. Ich frage mich, welche Automatenmodelle haben eine Einschließung, die in der Polynomzeit entscheidbar ist? dh wenn Sie Maschinen , können Sie testen, ob effizient ist.M1, M2M1,M2M_1, M_2L ( M1) ⊆ L ( M2)L(M1)⊆L(M2)L(M_1) \subseteq …
3
Was unterscheidet einfache globale Probleme von harten globalen Problemen in Diagrammen mit begrenzter Baumbreite?
Viele schwierige Graphenprobleme sind in der Polynomzeit auf Graphen mit begrenzter Baumbreite lösbar . In der Tat verwenden Lehrbücher in der Regel beispielsweise einen unabhängigen Satz als Beispiel, was ein lokales Problem darstellt . Grob gesagt ist ein lokales Problem ein Problem, dessen Lösung überprüft werden kann, indem eine kleine …
2
Warum eine unendliche Typhierarchie?
Coq, Agda und Idris haben eine unendliche Typhierarchie (Typ 1: Typ 2: Typ 3: ...). Aber warum nicht stattdessen λC, das System im Lambda-Würfel, das der Konstruktionsrechnung am nächsten kommt und nur zwei Sorten und und diese Regeln hat?∗∗*◽◽◽ ∅ ⊢ * : ◽∅⊢∗:◽\frac {} {∅ ⊢ * : ◽} …
2
Polynomiell zeitlösbare Instanzen von Max-Sat
Das Problem Max-Sat fordert Sie auf, eine Zuordnung einer CNF-Formel zu finden, die möglichst viele Klauseln erfüllt. Für das einfachere Problem SAT gibt es viele bekannte Spezialfälle, die in Polynomzeit gelöst werden können, zB können wir 2-SAT in Polynomzeit lösen. Für Max-Sat ist die Situation anders, da Max-Sat auch für …
18 sat  treewidth  max2sat 
2
Probleme mit einer effizienten Lösung mit Ausnahme eines kleinen Teils der Eingaben
Das Stopp-Problem für Turing-Maschinen ist möglicherweise die kanonische, unentscheidbare Menge. Trotzdem beweisen wir, dass es einen Algorithmus gibt, der über fast alle Fälle entscheidet. Das Stopp-Problem gehört daher zu der wachsenden Sammlung von Personen, die das Phänomen der Komplexitätstheorie des „Schwarzen Lochs“ aufweisen, bei dem die Schwierigkeit eines nicht durchführbaren …
1
Natürlicher Kandidat gegen die Isomorphismus-Vermutung?
Die berühmte Isomorphismus-Vermutung von Berman und Hartmanis besagt, dass alle vollständigen Sprachen polynomiell zeitisomorph (p-isomorph) zueinander sind. Die Schlüsselbedeutung der Vermutung ist, dass sie impliziert . Es wurde 1977 veröffentlicht und ein Beleg dafür war, dass alle zu diesem Zeitpunkt bekannten vollständigen Probleme tatsächlich p-isomorph waren. Tatsächlich waren sie alle …
2
Co-NP-Vollständigkeit der minimalen TSP-Tour?
Dieses Problem ergab sich aus meinem letzten Blogeintrag . Angenommen, Sie erhalten eine TSP-Tour. Ist es co-NP-vollständig, um festzustellen, ob es sich um ein Minimum handelt? Genauer ist das folgende Problem NP-vollständig: Instanz: Gegeben ist ein vollständiger Graph G mit Kanten, die mit positiven ganzen Zahlen gewichtet sind, und ein …
5
Schnelle Baumbreitenalgorithmen
Ich möchte die Baumbreite eines Graphen berechnen . Es gibt wirklich gute Heuristik für andere NP-hard Graphen Probleme wie VF2 für Subgraphen Isomorphismus, mit dem Code in IGRAPH zum Beispiel. Ich habe sie in meinen Grafiken ausprobiert und finde, dass sie für meine Daten sehr schnell laufen. Gibt es schnelle …
3
Funsplit und Polarität der Pi-Typen
In einem letzten Thread auf der Agda Mailing - Liste, die Frage nach den tauchte Gesetze auf, in dem Peter Hancock machte zum Nachdenken anregende Bemerkung .ηη\eta Mein Verständnis ist , dass Gesetze kommen mit negativen Typen, dh. Konnektive, deren Einführungsregeln umkehrbar sind. Um für Funktionen zu deaktivieren , schlägt …
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.