Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

4
Welche Beweise gibt es dafür, dass der Graphisomorphismus nicht in
Motiviert durch Fortnows Kommentar in meinem Beitrag, den Beweis, dass das Graphisomorphismus- Problem nicht vollständig istNPNPNP , und durch die Tatsache, dass ein Hauptkandidat für Zwischenprobleme ist (weder vollständig noch für ), interessiere ich mich für bekannte Beweise dass nicht in .GIGIGINPNPNPNPNPNPPPPGIGIGIPPP Ein solcher Beweis ist die Vollständigkeit eines eingeschränkten …
1
Tardos-Funktion Gegenbeispiel zu Blums
In diesem Thread wird Norbet Blums versuchter P≠NPP≠NPP \neq NP Beweis kurz widerlegt, indem festgestellt wird, dass die Tardos-Funktion ein Gegenbeispiel zu Satz 6 ist. Satz 6 : Sei f∈Bnf∈Bnf \in \mathcal{B}_n eine monotone Boolesche Funktion. Angenommen, es gibt einen CNF-DNF-Approximator AA\mathcal{A} dem eine Untergrenze für Cm(f)Cm(f)C_m(f) . Dann kann …
5
Neugierig auf computergestützte NP-Vollständigkeitsnachweise
In der Arbeit "Die Komplexität von Zufriedenheitsproblemen" von Thomas J. Schaefer hat der Autor darauf hingewiesen This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. …
3
Rechtfertigung der asymptotischen Worst-Case-Analyse für Wissenschaftler
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, war die Rechtfertigung des Nutzens einer asymptotischen …
10
Probleme, die bei ungewichteten Diagrammen einfach sind, bei gewichteten Diagrammen jedoch schwer
Viele algorithmische Graphenprobleme können sowohl in ungewichteten als auch in gewichteten Graphen in Polynomzeit gelöst werden. Einige Beispiele sind der kürzeste Pfad, der minimale Spannbaum, der längste Pfad (in gerichteten azyklischen Graphen), der maximale Fluss, der minimale Schnitt, der maximale Abgleich, die optimale Arboreszenz, bestimmte dichteste Subgraphenprobleme, maximale disjunkte gerichtete …
1
Was ist die UG-Härte und wie unterscheidet sie sich von der NP-Härte, basierend auf der einzigartigen Spiel-Vermutung?
Es gibt viele Unannäherungsergebnisse, die auf der Vermutung einzigartiger Spiele beruhen. Beispielsweise, Unter der Annahme der einzigartigen Spielvermutung ist es NP-schwer, das maximale Schnittproblem innerhalb eines Faktors R für jede Konstante R > R GW anzunähern . (Hier ist R GW = 0.878… das Näherungsverhältnis des Goemans-Williamson-Algorithmus.) Einige Leute bevorzugen …
1
Generieren eines Tower Defense Labyrinths, auch bekannt als Finden der K wichtigsten Knoten ("knotenweises Verbot") in einem ungewichteten Graphen
In einem Tower Defense-Spiel haben Sie ein NxM-Raster mit einem Start, einem Ziel und einer Reihe von Wänden. Gegner nehmen den kürzesten Weg vom Anfang bis zum Ende, ohne Wände zu durchqueren (normalerweise sind sie nicht an das Gitter gebunden, aber der Einfachheit halber können sie sich nicht durch diagonale …
4
Monotone Rechenschaltungen
Der Stand unseres Wissens über allgemeine arithmetische Schaltkreise scheint dem Stand unseres Wissens über boolesche Schaltkreise ähnlich zu sein, dh wir haben keine guten Untergrenzen. Andererseits haben wir Exponentialgrößenuntergrenzen für monotone Boolesche Schaltungen . Was wissen wir über monotone Rechenschaltungen? Haben wir ähnliche gute Untergrenzen für sie? Wenn nicht, was …
4
Aufsätze zum Zusammenhang zwischen rechnerischer Komplexität und algebraischer Geometrie / Topologie?
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 eine ganz neue Richtung für die Mathematik entwickeln, …
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.