3CNF 式の変数の最大化に基づく戦略的コミュニケーションの計算量的困難性

3CNF 式の変数の最大化問題を効率的に解くことは NP 困難であり、これが戦略的コミュニケーションの計算量的困難性の根源となっている。