Ich werde mein Problem mit einem Beispiel vorstellen. Angenommen, Sie entwerfen eine Prüfung, die aus einer bestimmten Menge von unabhängigen Fragen besteht (die die Kandidaten entweder richtig oder falsch beantworten können). Sie möchten sich für eine Punktzahl entscheiden, die für jede der Fragen vergeben werden soll. Dabei gilt die Regel, dass Kandidaten mit einer Gesamtpunktzahl über einem bestimmten Schwellenwert bestehen und die anderen nicht bestehen.
Tatsächlich sind Sie sehr gründlich und haben sich alle möglichen Ergebnisse vorgestellt und für jeden von ihnen entschieden, ob ein Kandidat mit dieser Leistung bestehen oder scheitern sollte. Sie haben also eine Boolesche Funktion , die angibt, ob der Kandidat in Abhängigkeit von seinen genauen Antworten bestehen oder scheitern sollte. Natürlich sollte diese Funktion eintönig sein : Wenn Sie eine Reihe von Fragen als richtig ansehen, müssen Sie auch eine Übermenge als richtig ansehen.
Können Sie Punkte (positive reelle Zahlen) für die Fragen und einen Schwellenwert festlegen, sodass Ihre Funktion genau von der Regel erfasst wird , dass ein Kandidat besteht, wenn die Summe der Punkte für die richtigen Fragen über dem Schwellenwert liegt? ? (Natürlich kann der Schwellenwert ohne Verlust der Allgemeinheit als 1 angenommen werden, bis die Punktzahlen mit einer Konstanten multipliziert werden.)
Formal: Gibt es eine Charakterisierung der monotonen Booleschen Funktionen für die es so dass für alle , wir haben wenn f ?
Es ist nicht so schwer zu erkennen, dass nicht alle Funktionen so dargestellt werden können. Zum Beispiel kann die Funktion nicht: da akzeptiert wird, müssen wir , also eines von muss für und ebenso . Wenn es z. B. und , haben wir einen Widerspruch, weil aber abgelehnt wird; Die anderen Fälle sind analog.
Dies scheint mir ein sehr natürliches Problem zu sein, daher ist meine Hauptfrage zu wissen, unter welchem Namen dies untersucht wurde. Nach einer "Charakterisierung" zu fragen, ist natürlich vage; Meine Frage ist zu wissen, ob die Klasse von Funktionen, die auf diese Weise dargestellt werden können, einen Namen hat, was über die Komplexität des Testens, ob eine Eingabefunktion zu ihr gehört (gegeben als Formel oder als Schaltung) usw. bekannt ist.
Natürlich kann man sich viele Variationen zu diesem Thema vorstellen. Beispielsweise sind Fragen zu realen Prüfungen nicht unabhängig, aber es gibt eine DAG zu Fragen, die auf die Abhängigkeit hinweisen, und Kandidaten können eine Frage nur beantworten, wenn alle Voraussetzungen erfüllt sind. Die Bedingung für die monotonen Funktionen könnte dann auf Bewertungen in , die die Abhängigkeiten erfüllen, und die Frage wäre zu bestimmen, ob eine Eingabefunktion auf diese Weise bei einer Eingabe-DAG für die Variablen erfasst werden kann. Man könnte sich auch Varianten vorstellen, bei denen die Scores k- Tupel für festes k sind (punktweise summiert und punktweise mit einem Schwellenvektor verglichen), die mehr Funktionen erfassen können als k . Alternativ können Sie aussagekräftigere Funktionen erfassen, die nicht boolesch sind, sondern zu einer vollständig geordneten Domäne gehören, mit unterschiedlichen Schwellenwerten, die Ihre Position in der Domäne angeben sollen. Zuletzt bin ich mir nicht sicher, was passieren würde, wenn Sie negative Scores zulassen (sodass Sie die monotone Einschränkung für die Funktionen aufheben könnten).
(Hinweis: Ich habe mich über die Auswahlrunde von Google Code Jam gewundert, in der Kandidaten ausgewählt werden, wenn sie eine bestimmte Bewertungsschwelle erreichen. Vermutlich werden die Punktzahlen der Probleme sorgfältig ausgearbeitet, um zu reflektieren, welche Problemgruppen als ausreichend für die Auswahl angesehen werden Code Jam hat eine Abhängigkeitsstruktur von den Fragen, mit einigen "großen Eingaben", die nicht gelöst werden können, es sei denn, Sie haben die "kleinen Eingaben" zuerst gelöst.)