下載 Linnk AI
•
AI 研究助理
>
登入
洞見
-
非良形式証明システム
非良形式節約的証明と非一様複雑性
非良形式節約的証明システムを用いて、FP/polyクラスとFPクラスを特徴付けることができる。
1