Man betrachte einen endlichen Satz über Elementen und ein unbekanntes monotones Prädikat über (dh für jedes , , wenn und dann ). . Ich kann auswerten, indem ich einen Knoten bereitstelle und herausfinde, ob P ( x ) gilt oder nicht. Mein Ziel ist es, die Menge der Knoten x ∈ X so genau zu bestimmen, dass P ( x ) gilt, wobei nur wenige Bewertungen von P verwendet werdenwie möglich. (Ich kann meine Abfragen in Abhängigkeit von der Antwort auf alle vorherigen Abfragen auswählen. Ich muss nicht alle Abfragen im Voraus planen.)
Meine Frage ist folgende: Als Eingabe das Poset , wie kann ich die schlechteste Laufzeit der optimalen Strategien bestimmen?
[Es ist klar, dass für ein leeres Poset Abfragen erforderlich sind (wir müssen nach jedem einzelnen Knoten fragen) und dass für eine Gesamtreihenfolge um Abfragen erforderlich sind (eine binäre Suche durchführen, um zu finden) Der Frontmann). Ein allgemeineres Ergebnis ist die folgende informationstheoretische Untergrenze: Die Anzahl der möglichen Auswahlen für das Prädikat ist die Anzahl der Antiketten von (da es eine Eins-zu-Eins-Zuordnung zwischen monotonen Prädikaten und gibt Antichains werden als die maximalen Elemente von ) interpretiert. Da also jede Abfrage ein Bit Information liefert, benötigen wir mindestensAbfragen, wobei die beiden vorherigen Fälle zusammengefasst werden. Ist dies eng gebunden, oder handelt es sich um einige Posets, deren Struktur derart ist, dass für das Lernen asymptotisch mehr Abfragen erforderlich sind als die Anzahl der Antichains?]