Ein einmal gelesener Entscheidungsbaum ist wie folgt definiert:
- und F a l s e sind einmal gelesene Entscheidungsbäume.
- Wenn und B einmal gelesene Entscheidungsbäume sind und x eine Variable ist, die in A und B nicht vorkommt , dann ist ( x ∧ A ) ∨ ( ˉ x ∧ B ) auch ein einmal gelesener Entscheidungsbaum.
Was ist die Komplexität des Äquivalenzproblems für einmal gelesene Entscheidungsbäume?
- Input: Zwei schreib einmal Entscheidungsbäume und B .
- Ausgabe: Ist ?
Motivation:
Dieses Problem trat auf, als ich das Problem der Beweisäquivalenz (Permutation von Regeln) eines Fragments der linearen Logik betrachtete.