Man kann von der Baumbreite einer Booleschen Schaltung sprechen , indem man sie als die Baumbreite des "moralisierten" Graphen auf Drähten (Eckpunkten) definiert, die wie folgt erhalten wird: Verbinde die Drähte und wenn der Ausgang eines Gatters mit als Eingang ist (oder und umgekehrt); Schließen Sie die Drähte und wenn sie als Eingänge für dasselbe Gate verwendet werden. Bearbeiten: Man kann die Baumbreite des Stromkreises genauso definieren wie die des Graphen, der ihn darstellt. Wenn wir die Assoziativität verwenden, um alle UND- und ODER-Gatter erneut einzuschalten, um höchstens zwei Fan-Ins zu erhalten, ist die Baumbreite nach beiden Definitionen bis zu einem Faktor .
Es gibt mindestens ein Problem, von dem bekannt ist, dass es im Allgemeinen nicht wahrnehmbar, aber auf Booleschen Schaltkreisen mit begrenzter Baumbreite wahrnehmbar ist: Berechnen Sie die Wahrscheinlichkeit, dass bei einer gegebenen Wahrscheinlichkeit, dass jede der Eingangsleitungen auf 0 oder 1 gesetzt wird (unabhängig von den anderen) ein bestimmtes Ausgangsgatter ist 0 oder 1. Dies ist im Allgemeinen # P-schwer durch eine Reduzierung von z. B. # 2SAT, aber es kann in PTIME auf Schaltungen gelöst werden, deren Baumbreite unter Verwendung des Junction-Tree-Algorithmus als kleiner als eine Konstante angenommen wird .
Meine Frage ist zu wissen, ob es neben der Wahrscheinlichkeitsberechnung noch andere Probleme gibt , von denen bekannt ist, dass sie für baumbreitenbeschränkte Schaltkreise schwer zu lösen sind, oder deren Komplexität als Funktion der Schaltkreisgröße und auch ihrer Baumbreite beschrieben werden kann. Meine Frage ist nicht spezifisch für den Booleschen Fall; Ich interessiere mich auch für arithmetische Schaltungen über andere semirings. Sehen Sie solche Probleme?