Dies ist ein Beitrag, der von den Konsequenzen von UP gleich NP getrennt ist , und auch eine Folgefrage zu semantischen vs. syntaktischen Komplexitätsklassen . Im obigen Beitrag haben wir etwas über die semantischen und syntaktischen Klassen gelernt . Kurz gesagt, wenn eine Klasse als Blattsprachenklasse , ist eine Klasse …
Die rechnergestützte Komplexitätstheorie klassifiziert Probleme nach ihrer inhärenten Schwierigkeit. Die Theorie komplexer Systeme befasst sich mit Systemen, die Verhaltensweisen aufweisen, die sich nicht offensichtlich aus den Eigenschaften der einzelnen Systemteile ergeben. Beispiele sind chaotische Systeme, komplexe adaptive Systeme oder nichtlineare Systeme. Gibt es eine formale Brücke zwischen diesen Feldern? Für …
Ich habe kürzlich darüber nachgedacht, eine physikalische Frage in Quanten-CS zu "importieren": Der Begriff des Gebietsgesetzphänomens in Hamiltonschen Systemen steht normalerweise für einen lokalen Hamiltonianer auf einem Gitter, dessen Grundzustand eine Eigenschaft aufweist, bei der die Verschränkung einer geschlossenen Region proportional zur Oberfläche der Region ist und nicht zu ihrem …
Es ist bekannt, dass das NP-vollständige Problem namens Subset Sum ein FPTAS hat. Ich habe mich gefragt, ob es ein PSPACE Complete-Problem gibt, das auch ein FPTAS hat. Danke im Voraus.
Kontext : Es gibt mehrere Artikel , die die Auswirkungen geschlossener zeitlicher Kurven (CTCs) auf die Quantenkomplexität untersuchen. Im Jahr 2008 veröffentlichten Aaronson und Watrous ihre berühmte Arbeit zu diesem Thema, die zeigt, dass bestimmte Formen der Zeitreise klassische und Quantencomputer gleichwertig machen können, dh Quantencomputer bieten keinen Rechenvorteil, wenn …
In https://en.wikipedia.org/wiki/Geometric_complexity_theory wird erwähnt, dass ".. Ketan Mulmuley glaubt, dass das Programm, wenn es realisierbar ist, wahrscheinlich etwa 100 Jahre dauern wird, bis es das P vs. NP-Problem lösen kann". Es scheint darauf hinzudeuten, dass das einzige derzeit realisierbare Programm auf ernsthafte Hindernisse stoßen könnte. Was sind einige der Hindernisse, …
Kürzlich gab es einige neue Ergebnisse zur computergestützten experimentellen Untersuchung des Erdos-Diskrepanzproblems (EDP) (über SAT-Löser, siehe unten). Dieses Problem wurde von mehreren (T) CS-Forschern angeführt und untersucht. Die (möglicherweise tiefen?) Links zu (T) CS sind jedoch nicht so offensichtlich. Was sind die Links der EDV zu (T) CS? Hier sind …
Diese Frage ergibt sich aus einer Antwort, die Joe Fitzsimons auf eine andere Frage gab . Die meisten Klassen für natürliche Komplexität haben eine einzeilige "intuitive Beschreibung", mit deren Hilfe Kernprobleme in dieser Klasse charakterisiert werden können. Bei NP geht es um "effiziente Verifizierung", bei #P um "Aufzählen von Lösungen", …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.