Ich möchte einen ersten SAT-Löser machen. Ich kenne den SAT-Wettbewerb und die SAT-Konferenz, und es gibt einfach so viele Artikel zu diesem Thema. Ich bin ein Starter, ein überwältigter Starter. Wo soll ich anfangen Schließlich möchte ich den Stand der Technik vorantreiben. Ich möchte einen...
Rekonstruktionsvermutung besagt, dass Graphen (mit mindestens drei Scheitelpunkten) eindeutig durch ihre gelöschten Scheitelpunkt-Untergraphen bestimmt werden. Diese Vermutung ist fünf Jahrzehnte alt. In der einschlägigen Literatur habe ich festgestellt, dass die folgenden Klassen von Diagrammen...
Bearbeiten: Ich habe meine Einschränkung (2) zuerst falsch formuliert, sie ist jetzt korrigiert. Ich habe auch weitere Informationen und Beispiele hinzugefügt. Mit einigen Kollegen, die sich mit einer anderen algorithmischen Frage befassten, konnten wir unser Problem auf das folgende interessante...
Für ein festes endliches Alphabet , eine formale Sprache über ist regelmäßig , wenn es einen gibt deterministische endliche Automaten (DFA) über , die akzeptiert genau .L Σ Σ LΣΣ\SigmaLLLΣΣ\SigmaΣΣ\SigmaLLL Ich interessiere mich für Sprachen, die "fast" regelmäßig sind, in dem Sinne, dass sie von...
Ich versuche, die Beziehung zwischen dem Graphisomorphismus und dem Problem der versteckten Untergruppen zu verstehen. Gibt es dafür eine gute
Für eine konstante , kann man in linearer Zeit, da ein Eingangs Graph bestimmen G , ob seine Baumweite IS ≤ k . Wenn jedoch sowohl k als auch G als Eingabe angegeben werden, ist das Problem NP-schwer. ( Quelle ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Wenn der Eingabediagramm jedoch planar ist ,...
Einige von Ihnen sind möglicherweise dieser Frage gefolgt , die aufgrund mangelnder Forschung abgeschlossen wurde. Ich extrahiere also den Teil der Frage, der sich auf Forschungsebene befindet. Über die "einfacheren" Techniken hinaus, wie das Reduzieren auf Sortierung oder ein EXPTIME-vollständiges...
Das Nicht alle Gleich SAT-Problem (NAE SAT) fragt bei einer Menge von Klauseln über eine Menge von booleschen Variablen, so dass jede Klausel höchstens Literale enthält, ob eine Wahrheitszuordnung der Variablen existiert, so dass Jede Klausel enthält mindestens ein wahres und mindestens ein...
Ich interessiere mich für das Problem, identische Kopien von (zweidimensionalen) Rechtecken in ein konvexes (zweidimensionales) Polygon ohne Überlappungen zu packen. In meinem Problem dürfen Sie die Rechtecke nicht drehen und können davon ausgehen, dass sie parallel zu den Achsen ausgerichtet sind....
Derzeit verfügt Bitcoin über ein Proof-of-Work-System (PoW) mit SHA256. Andere Hash-Funktionen verwenden einen Proof-of-Work-System. Ist es möglich, ein Entscheidungsproblem in der Knotentheorie wie die Knotenerkennung zu verwenden und es zu einem Beweis der Arbeitsfunktion zu machen? Hat das auch...
Ich habe in unzähligen Artikeln gelesen, dass die Bestimmung der Cheeger-Konstante eines Graphen -hard ist. Es scheint ein Volkstheorem zu sein, aber ich habe weder ein Zitat noch einen Beweis für diese Aussage gefunden. Wem soll ich das zuschreiben? In einer alten Arbeit (Isoperimetric Numbers of...
Die Komplexitätstheorie unterscheidet anhand von Konzepten wie der NP-Vollständigkeit zwischen Rechenproblemen mit relativ effizienten Lösungen und solchen, die nicht zu lösen sind. "Feinkörnige" Komplexität zielt darauf ab, diese qualitative Unterscheidung in einen quantitativen Leitfaden für die...
Kann jemand eine gute und aktuelle Umfrage zum Zählen von Problemen und / oder Problemen, die #P sind, vorschlagen.
Ich versuche derzeit, EXPSPACE-vollständige Probleme zu finden (hauptsächlich, um Inspiration für eine Reduzierung zu finden), und ich bin überrascht über die geringe Anzahl an Ergebnissen, die sich ergeben. Bisher habe ich diese gefunden, und ich habe Probleme, die Liste zu erweitern:...
Ich fragte mich, welche Papiere ich lesen sollte, um diese Frage zu verstehen Eine unerwartete Verbindung zu anderen Bereichen der Mathematik wie der algebraischen Geometrie oder der höheren Kohomologie. Vielleicht ist sogar ein Bereich der Mathematik noch nicht erschlossen. Vielleicht wird jemand...
Kennt jemand Referenzen, die den Zusammenhang zwischen dem Vereinigungsalgorithmus und der Gaußschen Eliminierung genau beschreiben ? Ich interessiere mich besonders für die Beziehung zwischen dreieckigen Substitutionen und LU-Zerlegungen. Wayne Snyder und Jean Gallier erwähnen diese Analogie in...
Ich habe daran gearbeitet, einige Ergebnisse aus der Komplexität von Berechnungen in die theoretische Biologie, insbesondere Evolution und Ökologie , einfließen zu lassen , mit dem Ziel, für Biologen interessant / nützlich zu sein. Eine der größten Schwierigkeiten, mit denen ich konfrontiert war,...
Mir ist gerade aufgefallen, dass ich davon ausgegangen bin, dass meine Frage mit "Ja" beantwortet wurde, aber ich habe keinen guten Grund. Ich stelle mir vor, dass es vielleicht einen Müllsammler gibt, der nachweislich nur die Worst-Case-Verlangsamung einführt . Gibt es eine definitive Referenz,...
Beim Basteln mit nichtkanonischem LR-Parsing habe ich mir eine Parsing-Methode ausgedacht (mit unendlich großen Tabellen, was es etwas unpraktisch macht ), mit der genau die eindeutigen Grammatiken in -Zeit analysiert werden können, und ich habe mich gefragt, ob es möglich ist, es besser zu machen...
Ein Tensor ist eine Verallgemeinerung von Vektoren und Matrizen auf höhere Dimensionen, und der Rang eines Tensors verallgemeinert auch den Rang einer Matrix. Der Rang eines Tensors ist nämlich die minimale Anzahl von Tensoren des Rangs 1, die sich zu summieren . Ein Vektor und eine Matrix sind...