Тишинуша Гамимеря (spamsink) wrote,
Тишинуша Гамимеря
spamsink

Category:

Problem solver

Это, конечно, не такой сильный решатель проблем, как

(скажем, проблему остановки не решит), но кому-нибудь, возможно, пригодится.
В интервью автор говорит, что название языка Sentient - приближенная анаграмма фамилии Цейтин. Это неспроста.


Пишешь, скажем,
array10<int5> d;

invariant d.uniq?;
invariant d.all?(function (e) { return e.between?(0,9); });

cur = 0;
0.upto(9, function^ (i) {
cur = cur * 10 + d[i];
invariant cur % (i+1) == 0;
});

expose d;

и вмиг (ну, условно) получаешь правильный ответ: {"d":[3,8,1,6,5,4,7,2,9,0]}
Subscribe

  • Дрифт управления

    Читая старые - почти 60-летней давности - страницы инструкций по программированию, я наткнулся на забавность. Представьте себе, что какой-то…

  • Аттракцион, оказывается, работает!

    Как говорится, вы будете смеяться, но почти за 60 лет оно ещё не сдохло. Т. е. на БЭСМ-6 практически с самого начала её существования был…

  • Аттракцион повышенной точности

    Когда в 1967 году советским вычислительным математикам досталась очень большая (аж до 192 Кб адресуемой памяти, на более ранних, которые они могли…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 15 comments

  • Дрифт управления

    Читая старые - почти 60-летней давности - страницы инструкций по программированию, я наткнулся на забавность. Представьте себе, что какой-то…

  • Аттракцион, оказывается, работает!

    Как говорится, вы будете смеяться, но почти за 60 лет оно ещё не сдохло. Т. е. на БЭСМ-6 практически с самого начала её существования был…

  • Аттракцион повышенной точности

    Когда в 1967 году советским вычислительным математикам досталась очень большая (аж до 192 Кб адресуемой памяти, на более ранних, которые они могли…