有限束の数え上げ
Enumeration of Finite Lattices TANAKA Masahiko
１３元までの有限束の全データです。
- ｎ元束のデータを入力としてｎ＋１元束を作り出す方法で求めました。
プログラムはこちら
N |
総数 |
データ |
2 |
1 |
|
3 |
1 |
|
4 |
2 |
|
5 |
5 |
|
6 |
15 |
|
7 |
53 |
|
8 |
222 |
|
9 |
1078 |
|
10 |
5994 |
|
11 |
37622 |
|
12 |
262776 |
|
13 |
2018305 |
論文など
- 田村三郎、田中正彦： 「有限束の数え上げ」、 数理科学1984年1月
- 田村三郎、田中正彦他：「有限代数系の組合せ論的考察」、一般研究（Ｃ）研究成果報告書１９９０年３月
- 田中正彦：「有限束の数え上げ」、兵庫大学論集２００１年３月
- 田中正彦：「有限束による論理実験」、兵庫大学論集２００３年３月
計算時間
CPU |
OS |
N=10 |
N=11 |
N=12 |
N=13 |
? |
? |
2 |
53 |
1466 |
61535 |