Sei eine Boolesche Funktion mit der Empfindlichkeit s ( f ) und der Blockempfindlichkeit b s ( f ) .fffs(f)s(f)s(f)bs(f)bs(f)bs(f) Die Empfindlichkeit-Block - Empfindlichkeit Vermutung Vermutung besagt , dass es a , so dass ∀ f , b s ( f ) ≤ s ( f ) c
Nehmen wir an, wir entdecken fremde Zivilisationen, die Nachrichten über einen interstellaren digitalen Kommunikationskanal senden und empfangen können. (Sagen wir, wir verwenden modulierte Radiowellen, Laserpulse und positionieren Sterne in verschiedenen Umlaufbahnen.) Nehmen wir an, wir haben uns...
Es gibt mehrere konkurrierende Begriffe eines "spärlichen Graphen". Beispielsweise könnte ein oberflächeneinbettbarer Graph als spärlich angesehen werden. Oder ein Diagramm mit begrenzter Kantendichte. Oder eine Grafik mit hohem Umfang. Ein Diagramm mit großer Ausdehnung. Ein Diagramm mit...
Gegeben , so dass Koeffizienten p , q ist begrenzt B , ist p ≡ q hold ?p ( x1, … , X.n) , q( x1, … , X.n) ∈ Z [ x1, … , X.n]]p(x1,…,xn),q(x1,…,xn)∈Z[x1,…,xn]p(x_1,\dots,x_n),q(x_1,\dots,x_n)\in \Bbb Z[x_1,\dots,x_n]p , qp,qp,qB.BBp ≡ qp≡qp\equiv q Das Schwartz-Zippel-Lemma gilt hier, da es für...
Wenn ich an unsichere Software denke, denke ich, dass sie "zu nützlich" ist und von einem Angreifer missbraucht werden kann. In gewissem Sinne bedeutet das Sichern von Software, dass Software weniger nützlich ist. In der Theoretischen Informatik arbeiten Sie nicht mit der realen Welt. Gibt es also...
Gab es Studien, um festzustellen, ob die menschliche Intelligenz Algorithmen übertreffen kann (dh zu testen, ob der Satz „Kein freies Mittagessen“ für die menschliche Intelligenz gilt)? Hat jemand eine technische Methode entwickelt, um die einzigartigen, überberechnenden Eigenschaften der...
Dies ist eine Fortsetzung meiner vorherigen Frage: Bekannteste deterministische Zeitkomplexitätsuntergrenze für ein natürliches Problem in NP Ich finde es verwirrend, dass wir keine quadratische deterministische Zeituntergrenze für ein interessantes NP-Problem nachweisen konnten, für das sich die...
In einer früheren Frage zur Zeithierarchie habe ich gelernt, dass Gleichheiten zwischen zwei Klassen auf komplexere Klassen und Ungleichungen auf weniger komplexe Klassen übertragen werden können, wobei Argumente mit Auffüllung verwendet werden. Daher kommt eine Frage in den Sinn. Warum untersuchen...
In der Kommunikationskomplexität besagt die Log-Rank-Vermutung, dass cc(M)=(logrk(M))O(1)cc(M)=(logrk(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...
f,gf,gf,gf(n)logf(n)=o(g(n))f(n)logf(n)=o(g(n))f(n) \log f(n) = o(g(n))f , g f ( n + 1 ) = o ( g ( n ) )DTIME(f(n))⊊DTIME(g(n))DTIME(f(n))⊊DTIME(g(n)) DTIME(f(n)) \subsetneq DTIME(g(n))f,gf,gf,gf(n+1)=o(g(n))f(n+1)=o(g(n))f(n+1)=o(g(n))es ist NTIME(f(n))⊊NTIME(g(n)).NTIME(f(n))⊊NTIME(g(n))....
Um zu beantworten, "welche Probleme durch Rechnen gelöst werden können", haben wir die Theorie der Berechenbarkeit entwickelt. Gibt es für die berechenbaren Probleme eine Theorie zur Beantwortung der Frage "Ist das Programm, das ich bekomme, das einfachste?" Ich glaube nicht, dass die Komplexität...
Ich habe mich eine Weile für verschiedene Themen wie kombinatorische Logik, Lambda-Kalkül und funktionale Programmierung interessiert und sie studiert. Im Gegensatz zur "Theorie der Berechnung", die versucht, die Frage der "Berechenbarkeit" zu beantworten, dh Dinge, die mit verschiedenen...
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...
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...
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
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...
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...
Ich habe vor kurzem angefangen, mich mit mathematischer Optimierung zu beschäftigen und liebe es. Es scheint, dass viele Optimierungsprobleme leicht als lineare Programme ausgedrückt und gelöst werden können (z. B. Netzwerkflüsse, Kanten- / Scheitelpunktabdeckung, reisender Verkäufer usw.). Ich...
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...
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...