Theoretische Informatik circuits

1

Wie klein kann eine geschichtete boolean Schaltung für eine Funktion mit Schaltungskomplexität

Betrachten wir eine Funktion durch eine Boolesche Schaltung berechnet C mit n Eingängen der Größe s ( n ) = p o l y ( n ) über der Basis { X O R , A N D , N O T } (mit indegree 2 für die X O …

12 circuit-complexity circuits

1

Bedeutet Kannans Theorem, dass NEXPTIME ^ NP ⊄ P / poly?

Ich las einen Artikel von Buhrman und Homer „Superpolynomial Circuits, Almost Sparse Oracles and the Exponential Hierarchy“ . NEXPTIMENPNEXPTIME^{NP}NEXPTIMENPNEXPTIME^{NP}Σ2EXP\Sigma_2EXP ∀c ∃L∈Σ2P\forall c\mbox{ }\exists L\in\Sigma_2P , so dass L ∉ S i z e (L∉Size(nc)L \not\in Size(n^c)Σ2P⊄P/polyΣ2P⊄P/poly\Sigma_2P \not\subset P/poly∃L∈Σ2P∃L∈Σ2P\exists L\in\Sigma_2P∀c∀c\forall cL∉Size(nc)L∉Size(nc)L \not\in Size(n^c)NEXPTIMENP⊄P/polyNEXPTIMENP⊄P/polyNEXPTIME^{NP} \not\subset P/poly

12 cc.complexity-theory complexity-classes time-complexity oracles circuits

1

Bewerten Sie die Boolesche Schaltung anhand einer Reihe ähnlicher Eingaben

Angenommen, ich habe eine boolesche Schaltung , die eine Funktion berechnet . Angenommen, die Schaltung besteht aus UND-, ODER- und NICHT-Gattern mit höchstens Fan-In und Fan-Out 2.f : { 0 , 1 } n → { 0 , 1 }C.C.Cf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}}f:\{0,1\}^n …

10 ds.algorithms circuit-complexity boolean-functions circuits

Als «circuits» getaggte Fragen