・Version　History
　0.05　01/10/09　命題１の検討から進め方を修正、分割の手順を追加。
　0.04　01/08/24　命題1.1、2.5、2.6の追加。
　0.03　01/08/23　第1期の成果、第2期の方針を追加。
　0.02　01/08/08　早速命題3.5、5.5、5.6の追加。
　0.01　01/08/05　まだまだ、矛盾だらけ、説明不足だらけですがとりあえずリリース。

第1期（01/01/27〜01/03/16）の成果　（　詳細は　ヘキソミノの掲示板　過去ログ Ｎｏ.１　）

　・　全解の推定は１０の20乗から25乗程度
　・　全解をリニアに、しらみつぶしで解くことは時間的に困難
　・　全解の保存もDisk容量的に困難
　・　仮に保存できたとしても、全解の比較検証は困難

上記を前提とした「第2期の方針」

　・　複数個のピースからなる集合体を、
　　　（１）使用ピースの個数、
　　　（２）種類、
　　　（３）組合せの外形
　　で分類し、（４）同じものが何個あるかを求める。
　・　情報として必要なのは、上記４つの情報であり、その中でのピースの組み合わせ方は必要ない。
　・　検証、追試は（４）に関して行うことで可能。

　・　小さな集合体同士の組み合わせを積み上げて行くことで、完全解数を求める。
　・　この途中過程において、上記と同様その組合せ方について保存する必要はなく集合体が大きく
　　なっても保存すべきデータは上記４種のみが必要、十分である。

　・　これにより、計算時間が現実的な長さになるかは、現状ではいまだ不明。外形が同じに
　　なるものがどの程度の比率あるかがポイント。

分割の手順

　命題１の検討から、 命題１をフラットに計算し保存することが既に現実的でないことが分かり、命題1は分割し求め、その都度、中央以外の部分を計算し解数を求めるように変更する。分割の階層は必要に応じて適宜分割する。（以下の分割No.それぞれ異なることになると思われる。）

　・　左右の空きスペースが６の倍数という制限から左右の空きスペース(ピース数)と中央での使用ピース数の組合せは以下の１６通り。

　・　この内、左右の空きピース数が異なる場合は、左側の個数が小さいもののみ残すことにより、左右反転の重複を除く。

　・　左右の空きピース数が同数の場合は、別途重複を除く。

分割No.1

　中央３ピースの組合せの中には、外形だけではない左右完全対称形が含まれている。その組合せに使われるピースの種類と向きは以下の１０通り。

命題１：　中央縦一列を埋める全組合せを求める。

　命題１.１：　中央最上行（へそ）部分を埋める組合せは何通りか？

命題２：命題１の左右の残りスペースに死角がなく、６の倍数になっている組合せは何通りか？

　命題２.５：　命題２のうち、左右対象の組合せは何通りか？
　　　　　　　これの残りスペースは左右反転になる為、左側で使用した組合せを右側では使用しないようにカウントすることで反転重複を除く。

　命題２.６：　命題２のうち、左右反転の関係にあるものをペアにし、片方のみを残し、反転重複解を除く。
　　　　　　　どちらを残すかは、左側の外形が同じになる組合せを多くする様にする？（要検討）

命題３：左の縦一列を埋める組合せで死角のないものは何通りか？

 命題３.５：命題３の解のうち、同じピースの組み合わせで、かつ外形が同じものを除いた組み合わせは何通りか？　またそれぞれの組み合わせの外形が同じものはそれぞれ何通りか？

命題４：命題２と３の組合せは何通りか？

命題５：命題４の残りスペースに死角がなく、６の倍数になっている組合せは何通りか？

　命題５.５：残りのスペースの最上行（最下行あるいは複数行）を注目し、その空きパターンは何通りか？

　命題５.６：命題５.５を埋める全組み合わせは何通りか？

命題６：残りスペースの形状は何通りあるか？

命題７：各残りスペースを埋める組合せは何通りか？

命題８：命題５と７でピースが重複しない組合せは何通りか？

命題９：右側に残されたスペースと同形状の解析結果を左側の結果から求める。

命題１：　中央縦一列(下図黒部分)を埋める全組合せを求める。

• [制限事項]　左側の（当然右側も）残りスペースが６の倍数であること。
• [解析のポイント] 下記のようにピースの種類、向きに加え、横幅の数だけ平行移動も考慮に入れる必要がある。この情報をピースデータ（piece*.h）に仕込んでおく必要あり。

命題３：左の縦一列を埋める組合せで死角のないものは何通りか？

命題４：命題２と３の組合せは何通りか？

命題５.５：残りのスペースの最上行（最下行あるいは複数行）を注目し、その空きパターンは何通りか？

　・下図黒色部分の幅と位置で分類。