ICFP Contest 2013 †
By Microsoft Research http://research.microsoft.com/en-us/events/icfpcontest2013/
Contest site
Problem statement
Official twitter account
Result: https://twitter.com/imos/status/383346582969921536
Report issues to @riesz please
Approach, Algorithm, UI, etc. †
- Brute force
- 全パターン列挙して eval で eliminate
- 生成したものをあらかじめ分類して eval 後の時間を減らす
- 枝刈り
- Guess の結果から生成
- bonus: 問題のパターンを調べる
- SMT solver 使用検討 運営してる MSR 開発といえば Z3
- 並列化 EC2
- tfold の理解
- operators 制約についての勘違い
- 解答状況可視化
- Unofficial scoreboard
- Unofficial Clone Server by @tanakh
Write ups †
Unagi: The Synthesis (Winner! 1696 points) †
F5 ATTACKERS (2nd place 1609 points) †
Hack the loop (3rd place 1499 points) †
? (Lightning Winner) †
irori さんのチーム †
nbu †
THIRTEEN †
Error 404 †
NekoSamaDuce †
(unmatched †
oyososan †
kirakira annatan †
Emarhavil Heavy Industries †
kuma- (Judges' prize) †
&^_^& †
lambda llama †
notogawa †
ShiftForward †
nakachanOK †
Я⦿Ж⦿R †
qnighy †
Candidates †