■nキング問題
「八王妃問題」は8個のクイーンを8×8のチェス盤に置いて,どのクイーンも同じ行,同じ列,あるいは斜め線上にないようにせよという問題ですが,ここでは「十六王問題」,16個のキングを8×8のチェス盤に置いて,どのキングも(縦,横,斜め方向に)隣接しないようにせよを取り上げます.
===================================
最終的に16個のキングを置くことができるのですが,17個より多くのキングを置けないことを証明しなければなりません.
証明は簡単で,8×8のチェス盤を2×2マスの正方形合計16個に分割すれば,その中にキングは1つしか置けないわけですから,明らかに17個より多くのキングを置けないことがわかります.
===================================