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.

11
Wie schwer ist es, eine Saite zu mischen?
Eine Mischung aus zwei Zeichenfolgen wird gebildet, indem die Zeichen in eine neue Zeichenfolge eingefügt werden, wobei die Zeichen der einzelnen Zeichenfolgen in der angegebenen Reihenfolge bleiben. Zum Beispiel MISSISSIPPIist ein Shuffle von MISIPPund SSISI. Lassen Sie mich einen String als Quadrat bezeichnen, wenn er aus zwei identischen Strings besteht. …
10
Gibt es noch offene Probleme mit DFAs?
Nachdem ich deterministische Finite-State-Automaten (DFA) im Grundstudium studiert hatte, fühlte ich mich sehr gut verstanden. Meine Frage ist, ob es etwas gibt, das wir noch nicht verstehen. Ich meine nicht Verallgemeinerungen von DFAs, sondern die ursprünglichen, nicht modifizierten DFAs, die wir in der Grundausbildung studieren. Dies ist eine vage Frage, …
13
Offene Probleme an den Grenzen von TCS
Im Thread Wichtige ungelöste Probleme in der theoretischen Informatik? , Iddo Tzameret machte den folgenden ausgezeichneten Kommentar: Ich denke, wir sollten zwischen großen offenen Problemen, die als grundlegende Probleme angesehen werden, wie , und großen offenen Problemen unterscheiden, die einen technischen Durchbruch darstellen, wenn sie gelöst werden, aber nicht unbedingt …
1
Eine kombinatorische Version für die Polynom-Hirsch-Vermutung
Betrachten disjoint Familien von Teilmengen von {1,2, ..., n}, .tttF1,F2,…FtF1,F2,…Ft{\cal F}_1,{\cal F_2},\dots {\cal F_t} Nehme an, dass (*) Für jedes und jedes und gibt es das .i<j<ki<j<ki \lt j \lt kR∈FiR∈FiR \in {\cal F}_iT∈FkT∈FkT \in {\cal F}_kS∈FjS∈FjS \in {\cal F}_jR∩TR∩TR \cap T Die Grundfrage ist: Wie groß kann nicht sein …
6
Raster
Update : Das Hindernisset (dh die NxM "Barriere" zwischen färbbaren und nicht färbbaren Rastergrößen) für alle einfarbigen, rechteckfreien 4-Farbtöne ist jetzt bekannt . Möchte jemand 5-Farben probieren? ;) Die folgende Frage ergibt sich aus der Ramsey-Theorie . Betrachten Sie eine Färbung des n- mal- m- Graphen. A ist immer dann …
1
Effizient berechenbare Funktion als Gegenbeispiel zu Sarnaks Mobius-Vermutung
Kürzlich haben Gil Kalai und Dick Lipton einen schönen Artikel über eine interessante Vermutung geschrieben, die von Peter Sarnak, einem Experten für Zahlentheorie und Riemannsche Hypothese, vorgeschlagen wurde. Vermutung. Sei die Möbius-Funktion . Angenommen, ist eine Funktion mit Eingabe in Form einer binären Darstellung vonμ(k)μ(k)\mu(k)f:N→{−1,1}f:N→{−1,1}f: \mathbb{N} \to \{-1,1\}AC0AC0\mathsf{AC}^0kkkkkk, then ∑k≤nμ(k)⋅f(k)=o(n).∑k≤nμ(k)⋅f(k)=o(n). …
4
Forschung und offene Herausforderungen in der Theorie der Programmiersprache
Im Geiste einiger allgemeiner Diskussionen wie dieser eröffne ich diesen Thread mit der Absicht, Meinungen zu den offenen Herausforderungen und aktuellen Themen der Programmiersprachenforschung zu sammeln . Ich hoffe, dass die Diskussion sogar Meinungen über die Zukunft der Forschung in Programmiersprachen zum Vorschein bringt. Ich glaube, dass diese Art der …
2
Entscheiden, ob eine NC
Ich möchte einen Sonderfall der Frage „ Entscheiden, ob eine gegebene NC 0- Schaltung eine Permutation berechnet “ von QiCheng ansprechen, der unbeantwortet geblieben ist. Eine Boolesche Schaltung wird als NC 0 k- Schaltung bezeichnet, wenn jedes Ausgangsgatter syntaktisch von höchstens k Eingangsgattern abhängt . (Wir sagen, dass ein Ausgangsgatter …
3
Ist es NP-schwer, internationale Drafts korrekt zu spielen?
Ist das folgende Problem NP-schwer? Wenn Sie eine Kartenkonfiguration für internationale Entwürfe haben , finden Sie einen einzigen legalen Schritt.n × nn×nn\times n Das entsprechende Problem für amerikanische Kontrolleure (auch englische Entwürfe genannt) ist in der Polynomzeit trivial lösbar. Es gibt drei Hauptunterschiede zwischen diesen beiden Spielen.n × nn×nn\times n …
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.