ICFPC 2016にチーム「試運転」で参加しました

ICFP Programming Contest 2016: Official Site: Task Description

ICFPC初参加です。

チームメンバー

チーム名「試運転」でNAISTの学生とNAISTの学生予備軍で参加しました。

pic.twitter.com/zGE84UeIT1
— ゆらふな (@yurahuna) August 4, 2016

やったこと

問題文を訳した

Google ドライブに問題文を貼り付けて並列に翻訳しました。

f:id:kujira16:20160808235557p:plain

自動提出ツールを書いた

Pythonで書きました。subprocess.check_output でソルバーと通信して，解答を requests.post で送信するだけです。

ビジュアライザを書いた

https://arosh.github.io/icfpc2016/web/index.html

入力を可視化するためのビジュアライザを作りました。

TypeScriptとD3.jsで書いています。

以下の入力を貼り付けてみてください。

1
4
0,0
1,0
1/2,1/2
0,1/2
5
0,0 1,0
1,0 1/2,1/2
1/2,1/2 0,1/2
0,1/2 0,0
0,0 1/2,1/2

提出状況確認ページを書いた

https://arosh.github.io/icfpc2016/web/result.html

今のソルバーで解けていない問題を確認したりするためのページを作りました。

TypeScript, D3.js, React, react-routerで書きました。

ソルバーを書いた？

幾何パートが難しくて，折り方を探索するパートまで進めませんでした。進捗ダメです。

結果

ソルバーの進捗ダメです。

反省

ぼく一人はソルバー開発にはほとんど貢献せずに，JavaScriptでビジュアライザを作って遊んでいるだけだった気がする。

npmで検索してみると，以下のようにJavaScriptで多倍長の分数を扱うライブラリもあるようだったので，問題を人力で解くのを補助するツールをJavaScriptで開発していたほうがチームに貢献できていたかも。

天羽々斬は @kawatea がツールでひたすら折り紙を折っていました #icfpc2016 pic.twitter.com/pstdGM1tlx
— はやく彼女作って (@osa_k) August 8, 2016

ICFPC解答の様子です pic.twitter.com/uREV5aCZU2
— しょーへー90.9 (@shohei909) August 8, 2016

ICFPCで作ったビジュアライザを公開しました。 https://t.co/oXeeaE9z4B
— しょーへー90.9 (@shohei909) August 8, 2016

実装上の知見

データベース

TinyDBというライブラリを使って1つのJSONファイルにデータをすべて格納しようとしてみました。簡単に使えるのでデータ量が小さいうちは便利ですが，JSONファイルが数MBになってきたあたりでJSONファイルを開くだけで重くなってきてしまって残念です。数MBを超えるくらいの容量になることが予想できるならSQLiteかMongoDBを使うほうが良いでしょう。

Welcome to TinyDB! — TinyDB 3.2.1 documentation