Symbolische Darstellungen als Berechnung: Eine algebraische Modellierung der Komplexität von Booleschen Funktionen
In diesem Artikel wird ein algebraisches Berechnungsmodell vorgestellt, das symbolische Darstellungen, die Komplexität Boolescher Funktionen und die Komplexität flacher arithmetischer Schaltkreise formal miteinander in Beziehung setzt. Algorithmen werden als arithmetische Formeln dargestellt, die symbolische Darstellungen von Ja-Instanzen Boolescher Funktionen ausdrücken, und die Berechnung erfolgt über partielle Ableitungsoperatoren. Der Chow-Rang einer arithmetischen Formel dient als Komplexitätsmaß.
