1

有限束の数え上げ

Enumeration of Finite Lattices TANAKA Masahiko

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

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

論文など

  1. 田村三郎、田中正彦: 「有限束の数え上げ」、 数理科学1984年1月
  2. 田村三郎、田中正彦他:「有限代数系の組合せ論的考察」、一般研究(C)研究成果報告書1990年3月
  3. 田中正彦:「有限束の数え上げ」、兵庫大学論集2001年3月
  4. 田中正彦:「有限束による論理実験」、兵庫大学論集2003年3月


計算時間

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