Ich denke, dass ein Größenhierarchiesatz für die Schaltungskomplexität ein großer Durchbruch in diesem Bereich sein kann.
Ist es ein interessanter Ansatz zur Klassentrennung?
Die Motivation für die Frage ist, dass wir sagen müssen
Es gibt eine Funktion, die nicht mit Schaltkreisen der Größe berechnet werden kann und die mit Schaltkreisen der Größe berechnet werden kann, bei denen . (und möglicherweise etwas in Bezug auf die Tiefe)g ( n ) f ( n ) < o ( g ( n ) )
Wenn also , scheint die Eigenschaft unnatürlich zu sein (sie verletzt die Größe). Wir können natürlich keine Diagonalisierung verwenden, da wir nicht in einer einheitlichen Umgebung sind.
Gibt es ein Ergebnis in diese Richtung?