Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

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 …
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: …
2
Ist adiabatisches Quantencomputing so leistungsfähig wie das Schaltungsmodell?
Ein Großteil der Quantencomputerliteratur konzentriert sich auf das Schaltungsmodell. Adiabatisches Quantencomputing basiert nicht auf der Anwendung einer Folge von Einheitsoperatoren, sondern auf der Änderung eines zeitabhängigen Hamilton-Operators. Ich suche nach einem Einblick in eines der folgenden Dinge. Ist adiabatisches Quantencomputing so leistungsfähig wie das Schaltungsmodell oder ist es von Natur …
1
Auf
Wir wissen, dass L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P} . Aus Savitchs Theorem,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2L≠PL≠P\mathcal L\neq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal PL2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P Darüber hinaus ist es eine offene Frage , ob ein -Problem vorliegt oder nicht, das nicht -vollständig ist, und eine solche Existenz würde , da jedes Problem für . Aber wissen wir wirklich …
2
Zertifizierter Compiler und Optimierungen in Coq / Agda
Ich interessiere mich für verifizierte Compiler, die in der Martin-Löf-Typentheorie formalisiert sind, dh Coq / Agda. Im Moment habe ich ein kleines Spielzeugbeispiel geschrieben. Damit kann ich beweisen, dass meine Optimierungen korrekt sind. Zum Beispiel können Additionen mit Null eliminiert werden, dh Ausdrücke wie "x + 0". Gibt es Optimierungen, …
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.