アルゴリズム デザイン コンテスト
２０１４in DAシンポジウム2014
開催結果
ナンバーリンクを自動で解け！

2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

1参加チーム紹介
チーム番号

T01
T02
T03
T04
T05
T06
T07

2014/8/28

発表者所属

チーム名

北九州市立大学
立命館大学
早稲田大学
JST ERATO

Numberlink Ganbaru Computer
戸川研究室D
ERATO Graphillion

会津大学
神戸大学
東京工業大学

Sugar+GlueMiniSat
TNT

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

2ナンバーリンクパズルとは？
• 同じ数字同士を、一本線でつなぐ– CADの「一層配線問題」に似ている
出題

解答

554

2

42

33

5
1 4 3

52 1

1 4 3

2 1

ペンシルパズル本156
ナンバーリンク4
株式会社ニコリ
ISBN978-4-89072-256-3「ナンバーリンク」は株式会社ニコリの登録商標です。
2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

3当コンテストのルール 概略説明
• 出題数： １６問– サイズ 10x10 ～ 36x20• 競技時間： ４０分• スコア計算方法： 問題ごとに（正解数）－（不正解数）＋（全問正解ボーナス 5）– 短絡解（複数解）があるかもしれません。最大５個まで採点• ソルバ―は、会場に持参。ネットワーク経由アクセスは不可。実装はソフト／ハード問わず。
2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

4

表彰• 最優秀賞 １チーム
– 最高スコアを獲得したチーム。
同点なら、求解時間が短い方• 優秀賞 １チーム
– スコア２位のチーム• 特別賞 １～２チーム– オリジナリティ、コストパフォーマンス等をポスター展
示で審査

2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

5準備が整いましたら 競技スタートです

2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会6競技中です。
ポスター展示を ご覧ください
スタート時刻が15:24
予定の14分遅れだったため、競技時間を短縮させてください。もうしわけありません

競技終了は15:55とします

配布済みのサンプル問題にも 挑戦してみてください2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

7

競技は間もなく終了ですが・・・
ここでサンプル問題の解答発表です（あとで 受付にて解答を配布します）
2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

8例題 １9812 114357 676
2014/8/28

14511293810

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

109例題 １98
12 114357 676
2014/8/28

14511293810

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

1010

例題 １9812 114357 6762014/8/28

14511293810Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

1011例題 １9812 114357 6762014/8/28

14511293810Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

1012

例題 １9812 114357 6762014/8/28

14511293810Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

1013例題 １9812 114357 6762014/8/28

14511293810Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

1014

例題 １9812 114357 6762014/8/28

14511293810Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

1015

例題 ２12 8
12 662 11210109 345 72014/8/28

3811111375 4
9 13

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

16例題 ２12 8
12 662 1121010
9 3
45 72014/8/28

3811111375 4
9 13

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

17例題 ２12 812 662 1
1210109 3
45 72014/8/28

3811111375 49 13

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

18例題 ２12 812 662 11210109 345 72014/8/28

3811111375 49 13

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

19例題 ３1111123141381041514913851049675115126273122014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

20例題 ３1111123141381041514913851049675115126273122014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

21例題 ３1111123141381041514913851049675115126273122014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

22

例題 ３1111123141381041514913851049675115126273122014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

23

例題 ３1111123141381041514913851049675115126273122014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

24ちなみに2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

252014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

26

今回の問題作成方法
1. Excelで描いてみる
2. Perlスクリプトでデータ変換
3. 解いてみる…
ソルバ―を貸してもらえるとありがたいです2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

30

競技終了です
ただいま審議中
2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

31

今回の出題 １６問 発表

2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

32

今回の出題1
2
34
567
8910111213141516

名前NL-sample05_Sheet1 オリジナル
NL-sample06_Sheet1 オリジナル
NL-sample07_Sheet1 オリジナル
NL-sample08_Sheet1 オリジナル
No.40 作・ぽっつ Medium ※NL-sample10_Sheet4r オリジナルNL-sample00_Sheet11 オリジナル
NL-sample01_Sheet10 オリジナル
NL-sample02_Sheet5 オリジナル
No.56 作・ねこあい護家 Medium ※No.69 作・ぽっつ Hard ※No.73 作・まいなすよん Hard ※NL-sample03_Sheet10 オリジナル
NL-sample03_Sheet9 オリジナル
NL-sample09_Sheet1 オリジナル
No.91 作・おらけ Hard ※行
10101818181815191824242421211936

列
10101010101417161814141418183520※ 「ペンシルパズル本156 ナンバーリンク4」(ニコリ) より引用
2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

35

1. NL-sample05_Sheet1 オリジナル
10 行
10 列0012345678 49 3

2014/8/281234567678 91765254312Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

36

2. NL-sample06_Sheet1 オリジナル
10 行
10 列00 1
1 22 334 45 567 68 792014/8/28

12384569789109 1081237654Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

37

3. NL-sample07_Sheet1 オリジナル
18 行
10 列001234567891011121314151617 1

2014/8/28

12345678 91234567923456789 8Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

38

4. NL-sample08_Sheet1 オリジナル
18 行
10 列
001234567891011121314151617123131 134561282 1436128491089116171617 144775631120

7101151519181918 15
9220

CMOSインバーター ？
2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

39

5. No.40 作・ぽっつ Medium ※
18 行
10 列
012345678901234567891011121314151617※ 「ペンシルパズル本156 ナンバーリンク4」(ニコリ) より引用
2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

40

6. NL-sample10_Sheet4r オリジナル
18 行
14 列0012345678910111213141516172014/8/28

12193456789 10 11 12 137712345686892543

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

41

7. NL-sample00_Sheet11 オリジナル
15 行
17 列
00 112345678910111213142014/8/28

12345674118

9 10 11 12 13 14 15 1610103 12996251321236185 1311487Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

742

8. NL-sample01_Sheet10 オリジナル
19 行
16 列
00123456789101112131415161718

2014/8/28

12345678

9 10 11 12 13 14 15252426
152658376972628 24 25
21 27 28
8 109 112141515121314
17101117
112 213 3 1419192327
2241622161818202023

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

439. NL-sample02_Sheet5 オリジナル
18 行
18 列012345011231718 15410 995678910111213141815161212 1517 17

2014/8/28

678254349 10 11 12 13 14 15 16 17
101867536111378211161414 1316

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

4410. No.56 作・かばしさま Medium ※24 行
14 列012345678

9 10 11 12 13012345678910111213
14151617181920212223※ 「ペンシルパズル本156 ナンバーリンク4」(ニコリ) より引用
2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

4511. No.69 作・ぽっつ Hard ※24 行
14 列0123456789 10 11 12 1301234567891011121314151617181920212223※ 「ペンシルパズル本156 ナンバーリンク4」(ニコリ) より引用
2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

4612. No.73 作・まいなすよん Hard ※24 行
14 列0123456789 10 11 12 1301234567891011121314151617181920212223※ 「ペンシルパズル本156 ナンバーリンク4」(ニコリ) より引用
2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

4713. NL-sample03_Sheet10 オリジナル
21 行
18 列
00123456789 12
10111213141516171819202014/8/28

123456789 10 11 12 13 14 15 16 177687681151721323141216

1715
3511349101441016511119Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

48

14. NL-sample03_Sheet9 オリジナル
21 行
18 列
00123456789 12
1011121314151617181920123456789 10 11 12 13 14 15 16 17768768115172132314121617153511349144101016511119

短絡解 ３種類2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

4915. NL-sample09_Sheet1 オリジナル
19 行
35 列0 1 2 3 4 5011231718 15410 995678910111213141815161212 151718

2014/8/28

67825434567829 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
1018635725242625242635
19 20
20 19330
2132311733343432332130311123 22
22 2327281328292927111614 131416

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

50

16. No.91 作・おらけ Hard ※36 行
20 列001234567891011121314151617181920
212223242526272829303132
333435

2014/8/28

123456789 10 11 12 13 14 15 16 17 18 19

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会※ 「ペンシルパズル
本156 ナンバーリンク4」(ニコリ) より引用
51

結果発表

2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

52

チームT01

正解
不正解
ボーナス
計

問題番号01
1016

提出時刻

T02

正解
不正解
ボーナス
計
提出時刻

T03

正解
不正解
ボーナス
計
提出時刻

T04

正解
不正解
ボーナス
計
提出時刻

T05

正解
不正解
ボーナス
計
提出時刻

T06

正解
不正解
ボーナス
計
提出時刻

T07

正解
不正解
ボーナス
計
提出時刻

2014/8/28

02

03

04

05

06

07

08

09

10

11

12

13

14

15

16

合計点 正解数、他

0

0

0

1
0
1
6

15:35:59

15:00:00

15:00:00

15:00:00

15:42:51

1
0
1
6

1
0
1
6

1
0
1
6

1
0
1
6

1
0
1
6

0

0

0

0

0

0

0

0

0

0

0

15:38:19

15:43:11

15:55:34

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

10
1
6

0

0

0

0

0

0

0

0

0

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

10
1
6

10
1
6

10
1
6

30
1
8

0

0

15:42:35

15:29:27

15:42:35

15:42:35

15:00:00

15:00:00

10
0
1

0

0

2
0

0

0

0

0

0

0

0

0

0

0

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

12

特別賞
15:42:51

5

15:40:16

15:41:35

10
1
60

1
0
1
60

0

10
1
6

15:38:2015:00:00

15:38:20

15:00:00

15:00:00

15:38:20

15:44:17

15:00:00

10
1
610
1
610
1
610
1610
1610
1
6101
610
1
60

101
6

15:29:27

15:29:27

15:29:27

15:29:27

15:29:27

15:29:27

15:42:35

15:29:27

15:00:00

15:29:27

10
1
610
1
610
1
6

10
1
610
1
60

0

10
1
6

0

0

0

0

10
1
6

15:26:49

15:26:49

15:26:49

15:26:49

15:41:37

15:00:00

15:00:00

15:55:14

15:00:00

15:00:00

15:00:00

15:00:00

15:41:37

15:41:37

15:00:00

15:00:00

10
1610
1610
1610
1610
1610
1610
1
610
1
610
1
610
1
610
1
610
1
610
1
630
1
8

10
1
6

10
1
6

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:42:00

15:53:47

30
15:55:34

4

24

特別賞
15:44:17

15

80

優秀賞
15:42:35

843
15:55:14

18

98

最優秀賞
15:53:47

0
0

0

0

0

0

0

000000000

0

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

15:00:00

チーム番号

発表者所属

T01
T02
T03
T04
T05
T06
T07

北九州市立大学
立命館大学
早稲田大学
JST ERATO

0
15:00:00

チーム名

Numberlink Ganbaru Computer
戸川研究室D
ERATO Graphillion

会津大学
神戸大学
東京工業大学

Sugar+GlueMiniSat
TNT

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

54

表彰

2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

55

表彰• 最優秀賞– T06 (神戸大学) Sugar+GlueMiniSat
田村 直之 宋 剛秀 番原 睦則 鍋島 英知• 優秀賞– T04 (JST ERATO) ERATO Graphillion
安田 宜仁 鈴木 浩史 岩下 洋哲 中澤 吉男 湊 真一

• 特別賞
– T01 (北九州市立大学)
篠原 明日香 野村 孔明 手嶋 一夫 高島 康裕– T03 (早稲田大学 戸川研究室D)
多和田 雅師 阿部 晋矢 川村 一志 藤代 美佳• 表彰状授与は、夕食時となります。

2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

57来年も よろしくおねがいします

2014/8/28

Copyright © 2014 情報処理学会 システムとLSIの設計技術研究会

58