Fair Guessing of Bit Vectors, или как я участвовал в ICFPC 2013.

[_adept_]

Эпиграф

Нас было 7 человек. У нас было 20 модулей на хаскеле, приватный репозиторий на гитхабе, 6 веток в этом репозитории, ImplicitParams, MagicHash и UndecidableInstances в коде и одна highmem нода на амазоне, а также hangouts для общения, юнит-тесты, просто тесты, google docs для заметок и куча статей про SMT-солверы. Не то что бы мы это все

Comments

[sorhed]

Эпиграф прекрасен! ;) Отчёт тоже замечательный.

Задача в этом году мне не понравилась, и ещё было много надежды на Куклева, который, бяка, не пришёл. Я больше паззлы люблю. Но всё равно неплохо получилось.

[komarov]

Потрясно... пожалуй, сорхед имеет право быть таким снобом, какой он есть))

[sorhed]

А где я сноб-то? И я на хаскеле не программировал, а решал оргвопросы. :)

[komarov]

Я тебе несколько раз оставлял комментарии и вопросы, ты всё оставил без ответа.

[wizzard0]

отчет отличный.

вообще у меня еще к Т+12 когда я прикинул количество выражений и предложил их перенумеровать сложилось четкое впечатление что этот ICFPC надо было писать на pure C (собственно говоря, там даже был контестант который единолично успешно сбрутил его на C#), но все попытки написать eager брутфорсер обломались ибо бОльшую часть из последующих 60 часов я промучался со зверской мигренью :/

[squadette]

jsn писал на чистом C + обвязка на Ruby

[blacklion]

Учитывая, что в контесте были и люди с кластерами по 150+ нод каждая мощнее, чем этот ваш инстанс на амазоне…
В общем, задача выглядит не то что бы на чистые мегагерцы, но сильно завязанная на доступ к железу.

[_navi_]

Моё впечатление кстати, что мы и без инстанса на амазоне могли обойтись, и в принципе у меня была в доступе шустрая машина с 32G и 6 ядрами.

[thedeemon]

Там с ростом размера задачи пространство перебора растет так быстро, что неважно, одна у тебя машина или 50, нужен миллион машин, чтобы это отразилось на очках. Т.е. оптимизации по сужению перебора существенно важнее доступной скорости итераций.

[_slw]

так почему одно очко было важно-то?

[_adept_]

Точно, совсем забыл :)

Дописал PS