SAT情報コンテンツにおける多項式時間解決可能性と固定コードアルゴリズムについて

SAT問題の情報量は入力インスタンスのサイズと少なくとも指数関数的に成長することが示唆される。