Konsep Inti
シンボリックリストを使用した計算の代数的モデルを提案し、その複雑さに関連するChowランクを確立します。
Statistik
数学的理論やアルゴリズムに関する記述:「P ≠ NP」、「NP does not admit circuits of polynomial size」、「Chow rank」など
Kutipan
"We propose an algebraic model of computation which formally relates symbolic listings, complexity of Boolean functions, and low depth arithmetic circuit complexity."
"The Chow rank of the polynomial underlying a differential computer is of particular interest, and can be seen as a measure of the compressibility of the truth table of F."