Тупею не по дням, а по IQ.

Вчера делал первую домашку по "Моделим Хишувиим¹". Самая первая домашка семестра!!! Сел в семь вечера, закончил в без малого три ночи. Из семи часов чистого времени почти четыре были убиты на попытки решения следующей задачи:

( Изложение условия задачи )

И вот над этой задачей я бился, как Гастелло с фашистами, как Сусанин с поляками или как Моисей с евреями. Изобретал выражения, способные описывать строки единиц и нулей, потом находил неподходящие под эти выражения строки, которые автомат принимал, и всё начиналось сначала. По пути дважды чуть не заснул, а также сожрал тарелку макарон в соусе из четырёх сыров и кусочек горячекопчёной лососины и - несколькими часами позже - маленькую пиццу. Решение в голову не лезло вообще. Причём не потому, что задача сложная - это самая первая задача самой первой домашки, она простейшая, она должна быть простейшей, и, по нахождении решения, я в этом убедился. Просто я до этого не высыпался, и соображал весьма эпизодически.

( Решение задачи с формальным доказательством правильности оного )

Решение заняло почти четыре часа, из которых три было посвящено его поиску, и ещё один - его записи ровным, красивым, каллиграфическим почерком, на который я способен только когда очень хочу спать. В три часа ночи завалился спать, провалившись в небытие почти мгновенно.

Сдал домашку сегодня утром. А после обеда подам прошение о гражданстве в Посольствах Эстонии и Норвегии. Мне с моей невероятной, фантастической сообразительностью и неординарной скоростью мышления будет там в самый раз.


PS: Приношу свои извинения группе Green Day. Песня Aliens Exist - это не их творение, а Blink 182. Предыдущее сообщение поправлено.
__________________________
¹Моделим Хишувиим - (ивр.) Вычислительные Модели, курс по моделированию реальных вычислительных систем в виде моделей и по наработке техник работы с этими моделями.