|
サイズ: 2271
コメント:
|
サイズ: 2269
コメント:
|
| 削除された箇所はこのように表示されます。 | 追加された箇所はこのように表示されます。 |
| 行 34: | 行 34: |
| ||Athlon XP1500+ 1.3G||wc386|| || ||<)>1152 sec|| || | ||Athlon XP1500+ 1.3G||win|| || ||<)>1152 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 |
win |
|
|
1152 sec |
|
T7100 1.8G |
vista |
|
30 sec |
859 sec |
|
Athlon4850 2.5G |
vista |
|
29 sec |
792 sec |
|
E6550 2.33G |
Knoppix |
|
25 sec |
695 sec |
|
ML110 |
CentOS |
|
|
|
19290 sec |