Als «open-problem» getaggte Fragen

Probleme, von denen bekannt ist, dass sie in der Literatur offen sind, und jedes Problem, das nach seiner Aufstellung von der Community als offen eingestuft wird.

1
Entscheiden Sie anhand eines Graphen, ob die Kantenverbindungsfähigkeit mindestens n / 2 beträgt oder nicht
Kapitel 1 des Buches The Probabilistic Method von Alon und Spencer erwähnt das folgende Problem: Entscheide in einem gegebenen Graphen , ob seine Randkonnektivität mindestens beträgt oder nicht.GGGn / 2n/2n/2 Der Autor erwähnt die Existenz eines -Algorithmus von Matula und verbessert ihn zu .O ( n3)Ö(n3)O(n^3)O ( n8 / 3Logn …
2
Liste zahlentheoretischer oder algebraischer Probleme in verschiedenen Komplexitätsklassen
Ich suche eine Liste über die bekannte oder unbekannte Komplexität verschiedener zahlentheoretischer / algebraischer Probleme. Beispielsweise, GCD in ist offen,NC1NC1NC^1 Factoring in ist offen,PPP Computing Sheaf Cohomology ist -hard#P#P\#P , Arora und Barak Zustand , dass eine Variante des Factorings ist - vollständig (obwohl dies ist nicht klar , auf …
4
Probleme, von denen nicht bekannt ist, dass sie PSPACE-vollständig sind
Was sind Probleme mit den folgenden Eigenschaften: 1) Sie beschränken (möglicherweise bekannte) Probleme, die PSPACE-vollständig sind. 2) Die eingeschränkten Versionen sind in PSPACE, aber es ist ein offenes Problem, wenn sie PSPACE-vollständig sind (oder auch wenn sie NP-hart sind). Vier Beispiele aus "Puzzles & C.": Die Komplexität von 1x1 Rush …
2
Ist
Durch http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Wenn AAA eine PSPACE-vollständige Sprache ist, PA=NPAPA=NPAP^{A}=NP^{A} . Wenn ein deterministisches Polynom-Zeit-Orakel ist, ist P B ≤ N P B (unter der Annahme von P ≤ N P ).BBBPB≠NPBPB≠NPBP^{B}\ne NP^{B}P≠NPP≠NPP\ne NP ist die Klasse der Entscheidungsprobleme analog zu # P und P ⊆ P P ⊆ P S …
2
Massive Online-Zusammenarbeit zur Lösung offener Probleme in der theoretischen Informatik
In Polymath-Projekten arbeitet eine große Gruppe an einem offenen Problem. Welche Probleme scheinen in diesem Rahmen am besten zu funktionieren? Gibt es gute Kandidaten für ein Polymath-Projekt in der theoretischen Informatik? Gibt es Hindernisse, die es weniger wahrscheinlich machen, dass Polymath-Projekte in der theoretischen Informatik im Vergleich zu anderen Bereichen …
1
Warum verwendet die Log-Rank-Vermutung Rang über den Real?
In der Kommunikationskomplexität besagt die Log-Rank-Vermutung, dass cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Wobei cc(M)cc(M)cc(M) die Kommunikationskomplexität von M(x,y)M(x,y)M(x,y) und rk(M)rk(M)rk(M) der Rang von MMM (als Matrix) über den Realwerten ist. Wenn Sie jedoch nur die Rangmethode verwenden, um die Grenze zu senken, cc(M)cc(M)cc(M)können Sie rkrkrk über jedem Feld verwenden, das zweckmäßig …
1
Löst Memcomputing wirklich ein NP-vollständiges Problem?
Ich stieß auf einen Artikel in Science "Memcomputing NP-vollständige Probleme in der Polynomzeit unter Verwendung von Polynomressourcen und kollektiven Zuständen" , der einige ziemlich erstaunliche Behauptungen aufstellt . Memcomputing ist ein neuartiges Nicht-Turing- Berechnungsparadigma, bei dem interagierende Speicherzellen (kurz Memprocessors) verwendet werden, um Informationen auf derselben physischen Plattform zu speichern …
1
Auf
Wir wissen, dass L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P} . Aus Savitchs Theorem,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2L≠PL≠P\mathcal L\neq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal PL2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P Darüber hinaus ist es eine offene Frage , ob ein -Problem vorliegt oder nicht, das nicht -vollständig ist, und eine solche Existenz würde , da jedes Problem für . Aber wissen wir wirklich …
1
Lernen mit (signierten) Fehlern
Background––––––––––––––Background_\underline{\bf Background} Im Jahr 2005 führte Regev [1] das Problem des Lernens mit Fehlern (Learning with Errors, LWE) ein, eine Verallgemeinerung des Problems der Lernparität mit Fehlern. Die Annahme der Härte dieses Problems für bestimmte Parameterauswahl liegt nun den Sicherheitsnachweisen für eine Vielzahl von Post-Quanten-Kryptosystemen auf dem Gebiet der gitterbasierten …
1
Eine Vermutung im Zusammenhang mit der Cerny-Vermutung - Gegenbeispiel / Referenzanforderung
Die Cerny-Vermutung ist die Aussage, dass jeder Synchronisationsautomat mit Zuständen höchstens ein Synchronisationswort der Länge . Die beste aktuelle Obergrenze für die Länge eines Synchronisationsworts ist . Lassen Sie uns sagen , dass zwei Staaten verschmolzen mit einem Wort , wenn das Wort die beiden Zustände in den gleichen Zustand …
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.