Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

2
Ist Meta-Unentscheidbarkeit möglich?
Es gibt Probleme, die entscheidbar sind, es gibt einige, die nicht entscheidbar sind, es gibt Halbentscheidbarkeit usw. In diesem Fall frage ich mich, ob ein Problem meta-unentscheidbar sein kann. Dies bedeutet (zumindest in meinem Kopf), dass wir nicht sagen können, ob es entscheidbar ist oder nicht. Vielleicht ist bekannt, dass …
1
Wer hat den Begriff „empirische Entropie“ geprägt?
Ich kenne Shannons Arbeit mit Entropie, aber in letzter Zeit habe ich an prägnanten Datenstrukturen gearbeitet, in denen empirische Entropie häufig als Teil der Speicheranalyse verwendet wird. Shannon definierte die Entropie der von einer diskreten Informationsquelle erzeugten Information als , wobei p i die Wahrscheinlichkeit des Auftretens des Ereignisses i …
2
Hindernisse für die Trennung anderer Komplexitätsklassen
Do Natürliche Proofs , Relativierung und Algebrization beeinflussen auch die Trennung von anderen Komplexitätsklassen wie etc?L≠NL≠NP≠coNP≠PH≠PSPACEL.≠N.L.≠N.P.≠cÖN.P.≠P.H.≠P.S.P.EINC.E.L\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Zum Beispiel sollte die Barriere für natürliche Beweise jeden Beweis für da sie trennt . Die Beziehung zwischen und scheint jedoch im Vergleich zur Beziehung zwischen und nicht …
1
Finden einer optimalen Parallelisierung aus einem allgemein gewichteten ungerichteten Graphen
Ich löse ein Problem beim "Mischen" von überlappenden Bildsätzen. Diese Mengen können durch ein ungerichtetes gewichtetes Diagramm wie dieses dargestellt werden: Jeder Knoten repräsentiert ein Bild. Überlappende Bilder sind durch eine Kante verbunden. Das Kantengewicht stellt die Größe des Überlappungsbereichs dar (eine größere Überlappung führt zu einer besseren Gesamtqualität ). …
2
Stornierung und Determinante
Der Berkowitz-Algorithmus liefert eine Polynomgrößenschaltung mit logarithmischer Tiefe zur Determinante einer quadratischen Matrix unter Verwendung von Matrixleistungen. Der Algorithmus verwendet implizit die Löschung. Ist eine Aufhebung wesentlich, um eine Schaltung mit Polynomgröße mit logarithmischer oder linearer Tiefe zu erhalten, um die Determinante (und eine mögliche beste Schaltung für Permanent) zu …
1
Wann konvergieren
Nash-Gleichgewichte sind im Allgemeinen nicht berechenbar. Ein ϵϵ\epsilon Nash-Gleichgewicht ist eine Reihe von Strategien, bei denen jeder Spieler angesichts der Strategien des Gegners innerhalb von ϵϵ\epsilon der maximal möglichen erwarteten Auszahlung erhält . Das Finden eines ϵϵ\epsilon Nash-Gleichgewichts bei gegebenem ϵϵ\epsilon und einem Spiel ist P P A D.P.P.EIND.\mathsf{PPAD} -vollendet. …
2
Diophantinische Gleichungen und Komplexitätsklassen
LINEARE DIOPHANTINENGLEICHUNGEN (gegebene natürliche Zahlen , gibt es natürliche Zahlen x und y, so dass a x + b y + c = 0 ?) Sind in Polynomzeit lösbar.a,b,ca,b,ca, b, cxxxyyyax+by+c=0ax+by+c=0ax + by + c = 0 QUADRATISCHE DIOPHANTIN-GLEICHUNGEN ( ) sind NP-vollständig ( NP-vollständige Entscheidungsprobleme für quadratische Polynome ).ax2+by+c=0ax2+by+c=0ax^2 …
1
Schlagen von Sets mit einer Unterfamilie
Sei eine Familie von Element-Teilmengen eines endlichen Universums von Objekten. Eine Familie von Element-Teilmengen von mit ist eine - Schlagmenge von wenn für jedes mindestens eine Menge wie z daß .FF.FdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset V Bei einer Sammlung wie oben beschrieben, die - Schlagen-Set …
2
Konsequenzen von OWFs für die Komplexität
Es ist bekannt, dass die Existenz von Einwegfunktionen für einen Großteil der Kryptographie (digitale Signaturen, Pseudozufallsgeneratoren, Verschlüsselung mit privatem Schlüssel usw.) notwendig und ausreichend ist. Meine Frage ist: Was sind die komplexitätstheoretischen Konsequenzen der Existenz von Einwegfunktionen? OWFs implizieren beispielsweise, dass , und . Gibt es andere bekannte Konsequenzen? Bedeuten …
1
Entspricht die Linearisierbarkeit dem Konsensproblem?
In der Einleitung dieses Papiers Schließlich linearisierbare gemeinsame Objekte (PODC'10) haben die Autoren die folgende Aussage ohne Referenzen präsentiert: Die Linearisierbarkeit kann jedoch nur dann erreicht werden, wenn ein Konsens gelöst werden kann. Hier ist die Linearisierbarkeit die stärkste bekannte Konsistenz-Eigenschaft von gemeinsam genutzten Objekten, die in der Veröffentlichung Linearisierbarkeit: …
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.