カテゴリー: satisficing

Satisficing（満足化）とは、最適解を探し続けるのではなく、外部主体が定めた充足水準を満たした時点で計算を止める意思決定の枠組みである。Herbert A. Simon（ハーバート・A・サイモン、1916–200…
Read more

立体は4色以上で塗り分け可能である。一方平面は1-4色で塗り分け可能である。3 colorableの判定はNP completeであるものの、現代のコンピューターはNP completeを3-SATに変換してCDCL(c…
Read more