Last ned Linnk AI
•
Forskningsassistent
>
Logg Inn
innsikt
-
SAT情報コンテンツの解決可能性
SAT情報コンテンツにおける多項式時間解決可能性と固定コードアルゴリズムについて
SAT問題の情報量は入力インスタンスのサイズと少なくとも指数関数的に成長することが示唆される。
1