有限束の数え上げ

Enumeration of Finite Lattices TANAKA Masahiko

１３元までの有限束の全データです。

ｎ元束のデータを入力としてｎ＋１元束を作り出す方法で求めました。

プログラムはこちら

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月

田村三郎、田中正彦他：「有限代数系の組合せ論的考察」、一般研究（Ｃ）研究成果報告書１９９０年３月

田中正彦：「有限束の数え上げ」、兵庫大学論集２００１年３月

田中正彦：「有限束による論理実験」、兵庫大学論集２００３年３月

計算時間

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