tag:dreamwidth.org,2011-04-07:754492 wizzard wizzard 2013-08-10T11:08:11Z tag:dreamwidth.org,2011-04-07:754492:298710 2013-08-10T11:08:11Z 2013-08-10T11:08:11Z public 0 tl;dr: <a href="http://icfpc2013.cloudapp.net/">задача ICFPC этого года</a> эквивалентна построению универсальной ломалки для асимметричной криптографии (восстановить trapdoor-функцию с помощью chosen-plaintext атаки и оракула организаторов) вряд ли это intended, но забавно.<br /><br />В связи с этим вопрос: есть ли вообще какие-либо статьи по применению SMT солверов для оптимизации решения discrete logarithm или factoring problem?<br /><br /><img src="https://www.dreamwidth.org/tools/commentcount?user=wizzard&ditemid=298710" width="30" height="12" alt="comment count unavailable" style="vertical-align: middle;"/> comments