Sei ein Grad- Polynom in Variablen über , wobei konstant ist (sagen wir 2 oder 3). Ich möchte die kleinste Formel finden , wobei „Formel“ und „Formel Größe“ sind in der offensichtlichen Weise definiert (z. B. die kleinste Formel für das Polynom ist ).d n F 2 d f x 1 x 2 + x 1 x 3 x 1 ( x 2 + x 3 )
Was ist die Komplexität dieses Problems - ist es NP-schwer? Hängt die Komplexität von ?
[Formal ist eine Formel (auch als "arithmetische Formel" bezeichnet) ein binärer Stammbaum, dessen Blätter entweder mit einer Eingabevariablen oder der Konstante 1 gekennzeichnet sind. Alle anderen Scheitelpunkte des Baums sind mit oder . Die Größe der Formel ist die Anzahl der verwendeten Blätter. Die Formel berechnet ein Polynom rekursiv: Eckpunkte berechnen die Summe ihrer Kinder über , Eckpunkte berechnen das Produkt. ]+ F 2 ×