welcome: please sign in
location: "有限束の数え上げ"の差分
1と20のリビジョン間の差分 (その間の編集: 19回)
⇤ ← 2009-02-28 00:58:44時点のリビジョン1 →
サイズ: 1155
編集者: masahiko
コメント:
← 2015-12-25 07:19:50時点のリビジョン20 → ⇥
サイズ: 2613
編集者: masahiko
コメント:
削除された箇所はこのように表示されます。 追加された箇所はこのように表示されます。
行 12: 行 12:
||<)>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||		 ||<)>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]]||
行 28: 行 28:
----
=== 計算時間 ===
||<:>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 ||

有限束の数え上げ

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

論文など

  1. 田村三郎、田中正彦： 「有限束の数え上げ」、 数理科学1984年1月
  2. 田村三郎、田中正彦他：「有限代数系の組合せ論的考察」、一般研究（Ｃ）研究成果報告書１９９０年３月
  3. 田中正彦：「有限束の数え上げ」、兵庫大学論集２００１年３月
  4. 田中正彦：「有限束による論理実験」、兵庫大学論集２００３年３月

計算時間

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

有限束の数え上げ (最終更新日時 2015-12-25 07:19:50 更新者 masahiko)