Theoretische Informatik

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

2
NP-harte Probleme bei Expandergraphen?
In einer Präsentation von 2006 mit dem Titel EXPANDER GRAPHS - GIBT ES NOCH GEHEIMNISSE? Nati Linial stellte das folgende offene Problem: Welches -harte Rechenproblem im Graphen bleibt schwierig, wenn es auf Expandergraphen beschränkt ist?NPNPNP Seitdem hat sich bisher keine Fortschritte gemacht solches Ergebnis für einen zu beweisen , -hard …
1
Spärliche Walsh-Hadamard-Transformation
Die Walsh-Hadamard-Transformation (WHT) ist eine Verallgemeinerung der Fourier-Transformation und eine orthogonale Transformation eines Vektors mit reellen oder komplexen Zahlen der Dimension . Die Transformation ist im Quantencomputer sehr beliebt, wurde aber kürzlich als eine Art Vorkonditionierer für zufällige Projektionen hochdimensionaler Vektoren für den Beweis des Johnson-Lindenstrauss-Lemmas untersucht. Ihr Hauptmerkmal ist …
2
Barrieren und monotone Schaltungskomplexität
Natürliche Beweise sind ein Hindernis für den Nachweis der unteren Schranken der Schaltungskomplexität von Booleschen Funktionen. Sie implizieren keine solche Barriere für den Nachweis der unteren Schranken der Komplexität der Schaltung. Gibt es Fortschritte bei der Identifizierung solcher Hindernisse? Gibt es andere Barrieren in der monotonen Einstellung?monotonemonotonemonotone
2
Gibt es Zwischen-Eta-Theorien für die Lambda-Rechnung?
Es gibt zwei Haupttheorien des Lambda-Kalküls, die Beta-Theorie und die Post-Complete-Erweiterung, die Beta-Eta-Theorie. Haben diese beiden Theorien eine Zwischenregel, eine Art Zwischenregel, die eine konfluente Neuschreibungstheorie liefert? Gibt es eine interessante Vorstellung von partieller Extensionalität, der sie entspricht? Dies ist die zweite Frage , die ich auf der Suche nach …
1
Ist der untere Proof in diesem Dokument korrekt?
In dieser Abhandlung zu "Circle Packing for Origami Design Is Hard" von Erik D. Demaine, Sandor P. Fekete und Robert J. Lang auf Seite 15, Abbildung 13, wird die Seitenlänge des kleinsten Quadrats angegeben, das zwei Kreise einschließt der Fläche 1/2 beträgt jeweils 1,471299. Nach meinen Berechnungen erhalte ich eine …
6
Globale Eigenschaften erblicher Klassen?
Eine erbliche Klasse von Strukturen (z. B. Graphen) ist eine, die unter induzierten Unterstrukturen geschlossen ist oder gleichwertig unter Vertex-Entfernung geschlossen ist. Klassen von Diagrammen, die eine untergeordnete Komponente ausschließen, haben nette Eigenschaften, die nicht von der spezifischen ausgeschlossenen untergeordneten Komponente abhängen. Martin Grohe hat gezeigt, dass es für Graphenklassen …
2
Eliminierung von Cofix in Coq Proof
Während ich versuche, einige grundlegende Eigenschaften mithilfe von coinduktiven Typen in Coq zu beweisen, stoße ich weiterhin auf das folgende Problem und kann es nicht umgehen. Ich habe das Problem folgendermaßen in ein einfaches Coq-Skript unterteilt. Der Typ Tree definiert möglicherweise unendliche Bäume mit Zweigen, die mit Elementen des Typs …
10
Intraktabilität von NP-vollständigen Problemen als physikalisches Prinzip?
Ich bin immer fasziniert von dem Mangel an numerischen Beweisen aus der experimentellen Mathematik für oder gegen die P vs NP-Frage. Während die Riemann-Hypothese einige Belege aus der numerischen Verifikation enthält, sind mir keine ähnlichen Belege für die P-gegen-NP-Frage bekannt. Außerdem sind mir keine direkten Konsequenzen für die physische Welt …
2
Ist APX in NP enthalten?
Es wird gesagt, dass ein Problem P in APX vorliegt, wenn eine Konstante c> 0 existiert, so dass ein Polynomzeit-Approximationsalgorithmus für P mit einem Approximationsfaktor von 1 + c existiert. APX enthält PTAS (durch einfaches Auswählen einer beliebigen Konstanten c> 0) und P. Ist APX in NP? Bedeutet die Existenz …
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.