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...
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...
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...
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<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW...
Ich suche nach der Komplexität der Erfüllbarkeit einer Formel oder einer Formel wobei die Formel der Form ist: Wobei die Konstante in und die Domäne der Variablen auch .∃ x 1 , ... , x m ∀ y 1 , ... , y n , & phiv; & phiv; & phiv; : = & phiv; ∧ & phiv; | ¬ ϕ | ϕ → ϕ | ψ ψ : = t...
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...
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...
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...
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 ,...
Sei xi∈{−1,0,+1}xich∈{- -1,0,+1}}x_i \in \{-1,0,+1\} für i∈{1,…,n}ich∈{1,…,n}}i \in \{1,\ldots,n\} mit dem Versprechen, dass x = ∑ni = 1xich∈ { 0 , 1 }x=∑ich=1nxich∈{0,1}}x = \sum_{i=1}^n{x_i} \in \{0,1\} (wobei die Summe über Z.Z.\mathbb{Z} ). Wie komplex ist es dann zu bestimmen, ob x = 1x=1x = 1...
Was sind einige der besten Quellen (Bücher und Papiere), um Kommunikationskomplexität allein und in Verbindung mit ihrer Beziehung zur rechnerischen Komplexitätstheorie zu motivieren und zu
Was ist der schnellste bekannte ungerichtete
Wir wissen aus dem Satz der Kirche, dass die Bestimmung der Erfüllbarkeit erster Ordnung im Allgemeinen nicht zu entscheiden ist, aber es gibt verschiedene Techniken, mit denen wir die Erfüllbarkeit erster Ordnung bestimmen können. Am naheliegendsten ist die Suche nach einem endlichen Modell. Es...
Ich suche nach Referenzen für das folgende Problem: Wenn die ganzen Zahlen und , werden alle nicht isomorphen planaren Graphen auf Eckpunkten und der Baumbreite aufgelistet . Ich interessiere mich sowohl für theoretische als auch für praktische Ergebnisse, aber hauptsächlich für praktische...
Diese Frage ist zweifach und hauptsächlich referenzorientiert: Gibt es irgendwo, wo die wichtigsten Intuitionen zum Beweis des Graph-Minor-Theorems gegeben sind, ohne zu sehr auf die Details einzugehen? Ich weiß, dass der Beweis lang und schwierig ist, aber es muss sicherlich Schlüsselideen geben,...
Ich mache einen Abschluss in Informationstheorie und bin ständig beeindruckt, wie viel konvexe Optimierung in diesem Fach steckt. Die Beweise scheinen jedoch davor zurückzuschrecken, die gesamte Maschinerie der Entspannungstheorie, der Dualität usw. zu nutzen. Dies ist verständlich, da Sie kein...
Lassen ein Graph sein, der die disjunkte Vereinigung einer Clique ist und ein unabhängiger Satz, dh G = K n 1 + ¯ K n 2 = K n 1 + I n 2 .GGGG=Kn1+Kn2¯¯¯¯¯¯¯¯=Kn1+In2.G=Kn1+Kn2¯=Kn1+In2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . Die Graphklasse aller derartigen Graphen ist durch die...
Hat jemand untersucht, wie komplex klassische Entscheidungen wie Primes oder Graph-Isomorphism für kleine Eingangsgrößen ?N.NN Während die meisten Leute daran interessiert sind, wie die Skalierung als , wäre es meiner Meinung nach auch interessant zu sehen, wie dies für kleine N wächst. Sicher, wir...
Sei und zwei regelmäßig verbundene Graphen der Größe . Let die Menge von Permutationen , so dass . Wenn , dann ist die Menge der automorphisms .H r n A P P G P - 1 = H G = H A G.GGGHH.HrrrnnnAEINAPP.PPGP−1=HP.GP.- -1=H.PGP^{-1}=HG=HG=H.G=HAEINAGGG Was ist die bekannteste Obergrenze für die Größe...
Bei einem fest gerichteten Graphen (Digraphen) fragt DDDdas DDD COLORING-Entscheidungsproblem, ob ein Eingangsdigraph GGG einen Homomorphismus zu DDD . (Ein Homomorphismus von GGG zu DDD ist eine Abbildung fff von V(G)V(G)V(G) auf V(D)V.(D.)V(D) , die die Bögen bewahrt, dh wenn uvuvuv ein Bogen von...