Betrachten Sie das folgende Entscheidungsproblem. Sei und sei geeignet Aufzählung der Teilmengen von mit höchstens Elementen.
Quarter-Subset Membership
Input: Tupel von nichtnegativen ganzen Zahlen binär dargestellt
Frage: ist ?
Kann durch Auswahl einer "netten" Aufzählung die Quarter-Subset-Mitgliedschaft von einer deterministischen Turing-Maschine unter Verwendung von nicht mehr als Bits Arbeitsbereich für alle ausreichend großen ?
Diskussion
Sei . Es ist einfach, alle Teilmengen von höchstens aus n ausgewählten Elementen aufzulisten, indem Indizes der Größe Bits verfolgt werden. (Siehe auch die Diskussion in Knuths TAOCP-Abschnitt 7.2.1.3.) Wenn konstant ist, sind dies nur Bits. Wenn wir jedoch für eine Konstante , verwenden solche Aufzählungsschemata den -Raum. Man kann auch einen Bit-Kennlinienvektor zusammen mit einer Überprüfung der Anzahl der gesetzten Bits verwenden. Ich interessiere mich für Schemata, die Bits schlagen .
Eine eng verwandte Frage lautet dann:
Für ein positives , das die Ungleichung erfüllt , gibt es einen Code, der Teilmengen von höchstens Elementen darstellt, die aus , die Bits für eine Konstante und sein können effizient dekodiert?c log ( e ( 1 + c ) / c ) < 1 c n n d n d < 1
Man beachte , dass für ausreichend großen , und da wenn dann informationstheoretisch Daraus folgt, dass mit einem perfekten Code erreicht werden würde. (Dies ist weniger als wenn .) Ich suche daher nach einem einigermaßen sauberen Code, der ohne großen Speicherplatz kann.k ≤ i = 0 ( nlog ( n+k-1
Um einen perfekten Code zu erhalten, könnte man eine Aufzählung der Teilmengen auswählen, einen Index in aufsteigender Reihenfolge durch die Aufzählung führen und dann jede Kombination durch Dekodieren des Index erhalten. Das Dekodieren eines solchen Codes, wenn anscheinend mindestens Bit Platz für die von mir betrachteten Aufzählungen erfordert , beispielsweise über charakteristische Vektoren, die durch Erhöhen des Hamming-Gewichts und dann lexikographisch geordnet sind oder über Gray-Codes.n
Es könnte einen Weg geben, dies mit Raum zu tun , aber ich denke, dass eher machbar ist.
Beachten Sie, dass seit die informationstheoretische Untergrenze bereits Bits beträgt. Es geht also wirklich darum, ob kann für einige . Ein Code, der nett genug (aber nicht unbedingt perfekt) ist, scheint zu genügen, um meine Frage zu bejahen. Es kann auch vorkommen, dass die Quarter-Subset-Mitgliedschaft effizient entschieden werden kann, ohne explizit einen Code zu erstellen. Andererseits existiert eine solche Aufzählung möglicherweise nicht: zum Beispiel jede Folge von Aufzählungen für Werte vonΩ(n)(1-ε)nε>0n(1-ε)n kann von Natur aus ungleichmäßig sein, oder es kann der Fall sein, dass eine Bit-Bindung unendlich oft verletzt werden muss.