有限束の数え上げ
Enumeration of Finite Lattices TANAKA Masahiko
13元までの有限束の全データです。
- n元束のデータを入力としてn+1元束を作り出す方法で求めました。
プログラムはこちら
N |
総数 |
データ |
2 |
1 |
|
3 |
1 |
|
4 |
2 |
all4.txt |
5 |
5 |
all5.txt |
6 |
15 |
all6.txt |
7 |
53 |
all7.txt |
8 |
222 |
all8.txt |
9 |
1078 |
all9.txt |
10 |
5994 |
all10.zip |
11 |
37622 |
all11.zip |
12 |
262776 |
all12.zip |
13 |
2018305 |
all13.zip |
論文など
- 田村三郎、田中正彦: 「有限束の数え上げ」、 数理科学1984年1月
- 田村三郎、田中正彦他:「有限代数系の組合せ論的考察」、一般研究(C)研究成果報告書1990年3月
- 田中正彦:「有限束の数え上げ」、兵庫大学論集2001年3月
- 田中正彦:「有限束による論理実験」、兵庫大学論集2003年3月