Unduh Linnk AI
•
Asisten Riset
>
Masuk
wawasan
-
非良形式証明システム
非良形式節約的証明と非一様複雑性
非良形式節約的証明システムを用いて、FP/polyクラスとFPクラスを特徴付けることができる。
1