"Richtige" Gleichförmigkeitsbedingung für Nicks Klasse

9

DLOGTIME ist definiert unter http://en.wikipedia.org/wiki/DLOGTIME ist definiert unter http://en.wikipedia.org/wiki/L_%28complexity%29 und sind unter http://en.wikipedia.org/wiki/NC_%28complexity%29 definiert
L
NCNCn

DLOGTIME scheint das kleinste zu sein, das funktionieren könnte.
Ich habe an verschiedenen Stellen gelesen , dass , obwohl jeder Ort , den ich habe , dass Ergebnisse , die eine Gleichmäßigkeits Bedingung Verwendungen besagen - Gleichmäßigkeit. Gibt es eine deterministische Klasse so dass mit -uniform und 1 bekannt ist ?...ist bekannt zu halten? 2....LNC2
L


XLNCXNC
XL
XList bekannt zu halten und ist nicht bekannt zu halten?X=L

(1 oder in viel geringerem Maße 2 scheint zu implizieren, dass -Ungleichmäßigkeit die richtige Bedingung ist)L


quelle
Warum wissen wir, dass L in einer ungleichmäßigen NC ist? Ohne das können wir nicht hoffen, dass es in einer einheitlichen NC sein würde.
Domotorp
Nun, ich habe das auf Seite 235 der "Encyclopedia of Computer Science and Technology" und unter www.cs.tau.ac.il/~zwick/circ-comp-new/three.ps gefunden. Das Buch ist jedoch das einzige Ergebnis, das ich erhalte, wenn ich nach der Referenz suche, auf die es verweist, und die ps-Datei liefert keinen Beweis. Ich denke, ich sollte das weiter untersuchen.
3
LNC2NC
Kaveh
Meine Güte, sorry, ich dachte, die Frage war über . NC1
Domotorp

Antworten:

8

Sie können für die Einheitlichkeit von und . Es gibt kein Problem und die Klassen uniform bleiben gleich und gleich (für ).DLogTimeNCNC2NCkATimeSpace(O(lgkn),O(lgn))k1

Im Allgemeinen ist der einzige Fall, in dem wir vorsichtiger sein müssen, der Fall , in dem man vorsichtig sein sollte, was in . Wenn Sie eine erweiterte Beschreibung der Verbindungssprache von Schaltkreisen verwenden, funktioniert alles auch im Fall von .NC1DLogTimeNC1

Weitere Informationen zur Einheitlichkeit finden Sie unter:

Walter L. Ruzzo, " Über die Komplexität einheitlicher Schaltkreise ", Journal of Computer and System Sciences, vol. 22 (1981), S. 365–383.

Kaveh
quelle
Bedeutet "kann für die Einheitlichkeit verwenden" " noch"? DLogTimeLNC2
Ja, dies bedeutet, dass uniform gleich das . DLogTimeNC2ATimeSpace(O(lg2n),O(lgn))NL=NSpace(O(lgn))DSpace(O(lgn))=L
Kaveh