非良形式節約的証明と非一様複雑性

非良形式節約的証明システムを用いて、FP/polyクラスとFPクラスを特徴付けることができる。