有限束の数え上げ
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 |
Atom(1.6G) |
win XP |
4 sec |
93 sec |
|
|
Pentium 3(1G) |
cygwin |
2 sec |
53 sec |
1466 sec |
61535 sec |
Pentium M |
win XP |
|
44 sec |
|
|
Cerelon 1.5G |
win XP |
2 sec |
42 sec |
1158 sec |
|
Athlon XP1500+ 1.3G |
win XP |
|
|
1152 sec |
|
T7100 1.8G |
vista |
|
30 sec |
859 sec |
|
Athlon4850 2.5G |
vista |
|
29 sec |
792 sec |
|
E6550 2.33G |
linux |
|
25 sec |
695 sec |
|
T8300 2.4G |
VirtualBox |
1 sec |
24 sec |
695 sec |
|
Pentium D(3GHz) |
CentOS |
|
|
|
19290 sec |
E3110(3GHz) |
CentOS_64 |
|
|
554 sec |
|
E3110(3GHz) |
CentOS_64(Xen) |
|
20 sec |
558 sec |
|
i7-5600U(2.6GHz x4) |
Ubuntu15.10(SSD) |
|
10 sec |
270 sec |
9047 sec |