== 有限束の数え上げ ==
'''Enumeration of Finite Lattices'''
TANAKA Masahiko

１３元までの有限束の全データです。
 . ｎ元束のデータを入力としてｎ＋１元束を作り出す方法で求めました。
 . プログラムは[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/soku3.c|こちら]]

||<)>N||<)>総数||<:>データ||
||<)>2||<)>1|| ||
||<)>3||<)>1|| ||
||<)>4||<)>2||[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/all4.txt|all4.txt]]||
||<)>5||<)>5||[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/all5.txt|all5.txt]]||
||<)>6||<)>15||[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/all6.txt|all6.txt]]||
||<)>7||<)>53||[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/all7.txt|all7.txt]]||
||<)>8||<)>222||[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/all8.txt|all8.txt]]||
||<)>9||<)>1078||[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/all9.txt|all9.txt]]||
||<)>10||<)>5994||[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/all10.zip|all10.zip]]||
||<)>11||<)>37622||[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/all11.zip|all11.zip]]||
||<)>12||<)>262776||[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/all12.zip|all12.zip]]||
||<)>13||<)>2018305||[[http://ei-www.hyogo-dai.ac.jp/~masahiko/lattice/all13.zip|all13.zip]]||

論文など
 1. 田村三郎、田中正彦： 「有限束の数え上げ」、 数理科学1984年1月
 1. 田村三郎、田中正彦他：「有限代数系の組合せ論的考察」、一般研究（Ｃ）研究成果報告書１９９０年３月
 1. 田中正彦：「有限束の数え上げ」、兵庫大学論集２００１年３月
 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 ||