|
サイズ: 1864
コメント:
|
サイズ: 2257
コメント:
|
| 削除された箇所はこのように表示されます。 | 追加された箇所はこのように表示されます。 |
| 行 30: | 行 30: |
| ||CPU||OS||N=10||N=11||N=12||N=13|| ||?||?||2||53||1466||61535|| |
||<:>CPU||<:>OS||<:>N=10||<:>N=11||<:>N=12||<:>N=13|| ||?||?||<)>2 sec||<)>53 sec||<)>1466 sec||<)>61535 sec|| ||Pen M||win|| ||<)>44 sec|| || || ||Cerelon 1.5G||win gcc||<)>2 sec||<)>42 sec||<)>1158 sec|| || ||Athlon XP1500+ 1.3G||wc386|| || ||<)>1152 sec|| || || ||CentOS|| || || ||<)>19290 sec|| ||T7100 1.8G||vista|| ||<)>65 sec|| || || ||E6550 2.33G||Knoppix|| ||<)>25 sec||<)>695 sec|| || ||Athlon4850 2.5G||vista|| ||<)>29 sec||<)>792 sec|| || |
有限束の数え上げ
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 |
? |
? |
2 sec |
53 sec |
1466 sec |
61535 sec |
Pen M |
win |
|
44 sec |
|
|
Cerelon 1.5G |
win gcc |
2 sec |
42 sec |
1158 sec |
|
Athlon XP1500+ 1.3G |
wc386 |
|
|
1152 sec |
|
|
CentOS |
|
|
|
19290 sec |
T7100 1.8G |
vista |
|
65 sec |
|
|
E6550 2.33G |
Knoppix |
|
25 sec |
695 sec |
|
Athlon4850 2.5G |
vista |
|
29 sec |
792 sec |
|