Neben der (deterministischen) Kommunikationskomplexität einer Beziehung R ist die Protokollpartitionsnummer p p ( R ) ein weiteres grundlegendes Maß für den Kommunikationsbedarf . Die Beziehung zwischen diesen beiden Maßen ist bis zu einem konstanten Faktor bekannt. Die Monographie von Kushilevitz und Nisan (1997) gibt
In Bezug auf die zweite Ungleichung ist es einfach, (eine unendliche Familie von) Beziehungen mit log 2 ( p p ( R ) ) = c c ( R ) anzugeben .
In Bezug auf die erste Ungleichung zeigte Doerr (1999), dass wir den Faktor in der ersten Schranke durch c = 2,223 ersetzen können . Um wie viel kann die erste Grenze, wenn überhaupt, verbessert werden?
Zusätzliche Motivation aus der Komplexität der Beschreibung: Die Verbesserung der Konstante führt zu einer verbesserten Untergrenze für die Mindestgröße regulärer Ausdrücke, die einem gegebenen DFA entspricht und eine endliche Sprache beschreibt, siehe Gruber und Johannsen (2008).
Obwohl nicht direkt mit dieser Frage verwandt, gaben Kushilevitz, Linial und Ostrovsky (1999) Beziehungen mit c c ( R ) / ( 2 - o ( 1 ) ) ≥ log 2 ( r p ( R ) ) an , wobei r p ( R ) ist die Nummer der Rechteckpartition .
BEARBEITEN: Beachten Sie, dass die obige Frage der folgenden Frage in der Booleschen Schaltungskomplexität entspricht: Was ist die optimale Konstante so dass jede boolesche DeMorgan-Formel von Blattgröße L in eine äquivalente Tiefenformel von höchstens c log 2 L transformiert werden kann ?
Referenzen :
- Kushilevitz, Eyal; Nisan, Noam: Kommunikationskomplexität. Cambridge University Press, 1997.
- Kushilevitz, Eyal; Linial, Nathan; Ostrovsky, Rafail: Die Linear-Array-Vermutung in der Kommunikationskomplexität ist falsch, Combinatorica 19 (2): 241-254, 1999.
- Doerr, Benjamin: Kommunikationskomplexität und die Protokollteilungsnummer, Technischer Bericht 99-28, Berichtsreihe des Mathematischen Seminars der Universität Kiel, 1999.
- Gruber, Hermann; Johannsen, Jan: Optimale untere Schranken für die Größe regulärer Ausdrücke mit Hilfe der Kommunikationskomplexität. In: Grundlagen von Software Science und Computation Structures 2008 (FoSSaCS 2008), LNCS 4962, 273-286. Springer.