From 6c04548d76ec31f300bfe5ca8d4ccad897448498 Mon Sep 17 00:00:00 2001 From: Aleksey Lobanov Date: Fri, 27 Oct 2017 04:04:39 +0300 Subject: [PATCH] Now only one declaration for Google fonts --- archives.html | 2 +- archives.html.gz | Bin 1647 -> 1597 bytes author/aleksei-lobanov.html | 2 +- author/aleksei-lobanov.html.gz | Bin 4404 -> 4359 bytes authors.html | 2 +- authors.html.gz | Bin 1099 -> 1052 bytes categories.html | 2 +- categories.html.gz | Bin 1087 -> 1042 bytes category/misc.html | 2 +- category/misc.html.gz | Bin 2965 -> 2918 bytes category/proekty.html | 2 +- category/proekty.html.gz | Bin 2360 -> 2313 bytes category/project-euler.html | 2 +- category/project-euler.html.gz | Bin 3145 -> 3098 bytes index.html | 2 +- index.html.gz | Bin 4380 -> 4338 bytes keybase.txt.gz | Bin 1830 -> 3045 bytes pages/about.html | 2 +- pages/about.html.gz | Bin 1821 -> 1769 bytes pages/projects.html | 2 +- pages/projects.html.gz | Bin 2031 -> 1985 bytes posts/crossgen-v10/index.html | 2 +- posts/crossgen-v10/index.html.gz | Bin 4471 -> 4424 bytes posts/eksport-partii-s-lichess/index.html | 2 +- posts/eksport-partii-s-lichess/index.html.gz | Bin 2857 -> 2811 bytes .../index.html | 2 +- .../index.html.gz | Bin 3612 -> 3564 bytes .../kak-ia-shakhmatnogo-bota-pisal/index.html | 2 +- .../index.html.gz | Bin 4251 -> 4203 bytes .../index.html | 2 +- .../index.html.gz | Bin 2174 -> 2127 bytes posts/moio-reshenie-zadachi-134/index.html | 2 +- posts/moio-reshenie-zadachi-134/index.html.gz | Bin 4218 -> 4173 bytes posts/moio-reshenie-zadachi-146/index.html | 2 +- posts/moio-reshenie-zadachi-146/index.html.gz | Bin 5452 -> 5413 bytes posts/moio-reshenie-zadachi-60/index.html | 2 +- posts/moio-reshenie-zadachi-60/index.html.gz | Bin 6929 -> 6885 bytes .../index.html | 2 +- .../index.html.gz | Bin 4092 -> 4045 bytes posts/wallabag-i-realnaia-zhizn/index.html | 2 +- posts/wallabag-i-realnaia-zhizn/index.html.gz | Bin 3934 -> 3886 bytes sitemap.xml | 8 ++++---- sitemap.xml.gz | Bin 765 -> 765 bytes tag/bgl.html | 2 +- tag/bgl.html.gz | Bin 1792 -> 1744 bytes tag/blog.html | 2 +- tag/blog.html.gz | Bin 1648 -> 1600 bytes tag/bot.html | 2 +- tag/bot.html.gz | Bin 1672 -> 1624 bytes tag/c.html | 2 +- tag/c.html.gz | Bin 3140 -> 3092 bytes tag/flint.html | 2 +- tag/flint.html.gz | Bin 2694 -> 2648 bytes tag/go.html | 2 +- tag/go.html.gz | Bin 1699 -> 1650 bytes tag/lichess.html | 2 +- tag/lichess.html.gz | Bin 1678 -> 1630 bytes tag/matematika.html | 2 +- tag/matematika.html.gz | Bin 2649 -> 2602 bytes tag/open-source.html | 2 +- tag/open-source.html.gz | Bin 1705 -> 1656 bytes tag/proekt.html | 2 +- tag/proekt.html.gz | Bin 2358 -> 2311 bytes tag/project-euler.html | 2 +- tag/project-euler.html.gz | Bin 3145 -> 3098 bytes tag/python.html | 2 +- tag/python.html.gz | Bin 2778 -> 2732 bytes tag/shakhmaty.html | 2 +- tag/shakhmaty.html.gz | Bin 1840 -> 1790 bytes tag/sympy.html | 2 +- tag/sympy.html.gz | Bin 2777 -> 2732 bytes tag/wallabag.html | 2 +- tag/wallabag.html.gz | Bin 1699 -> 1650 bytes tag/wxwidgets.html | 2 +- tag/wxwidgets.html.gz | Bin 1794 -> 1746 bytes tags.html | 2 +- tags.html.gz | Bin 1277 -> 1230 bytes 77 files changed, 41 insertions(+), 41 deletions(-) diff --git a/archives.html b/archives.html index 0d0efd0..24e032c 100644 --- a/archives.html +++ b/archives.html @@ -1,4 +1,4 @@ - Блог 529 Блог 529

Archives for Блог 529

Пн 17 Июль 2017
Экспорт партий с Lichess
Вс 30 Октябрь 2016
Моё решение задачи 134
Пт 21 Октябрь 2016
Моё решение задачи 146
Пт 22 Июль 2016
Нахождение суммы k-ых степеней
Чт 17 Март 2016
Wallabag и реальная жизнь
Вс 10 Январь 2016
Как я шахматного бота писал
Вс 02 Август 2015
CrossGen v1.0
Пт 17 Июль 2015
Моё решение задачи 60
Пт 03 Июль 2015
Ещё одно вычисление выражений
Пт 17 Апрель 2015
Мой первый пост или зачем этот блог?
Блог 529 - Алексей Лобанов
  1. Экспорт партий с Lichess

    Сохраняем себе шахматные партии с Lichess.org. Рабочий скрипт на Python прилагается.


  2. Моё решение задачи 134

    Краткое условие: назовём порождающим для двух последовательных простых \(p_1 < p_2\) наименьшее натуральное число, что оно закачивается на \(p_1\) и при этом делится на \(p_2\). Необходимо найти сумму порождающих для всех \(p_1 \in \left[ 5; 10^6 \right]\)

    Блог 529 - Authors

    Authors on Блог 529

    Блог 529 Блог 529 - misc
    1. Нахождение суммы k-ых степеней

      Как придумать формулу для суммы \(1^5 + 2^5 + 3^5 + \ldots + n^5\) и есть ли она вообще?

      Блог 529 - Проекты
      1. Экспорт партий с Lichess

        Сохраняем себе шахматные партии с Lichess.org. Рабочий скрипт на Python прилагается.



      2. CrossGen v1.0

        Читая хабр, случайно натолкнулся на идею сделать программу, которая по заданной кроссвордной сетке находит способ её заполнить. В этом посте вкратце напишу про моё решение и первую версию приложения.


      3. Ещё одно вычисление выражений

        На хабре когда-то увидел статью про то, что в Яндексе двум сотрудникам дали задачу на написание приложения, для вычисления выражений. Менеджер справился за 4 часа, а программист за два. Я решил попробовать свои силы.


      Page 1 / 1
      Блог 529 - Project Euler
      1. Моё решение задачи 134

        Краткое условие: назовём порождающим для двух последовательных простых \(p_1 < p_2\) наименьшее натуральное число, что оно закачивается на \(p_1\) и при этом делится на \(p_2\). Необходимо найти сумму порождающих для всех \(p_1 \in \left[ 5; 10^6 \right]\)

        Блог 529
        1. Экспорт партий с Lichess

          Сохраняем себе шахматные партии с Lichess.org. Рабочий скрипт на Python прилагается.


        2. Моё решение задачи 134

          Краткое условие: назовём порождающим для двух последовательных простых \(p_1 < p_2\) наименьшее натуральное число, что оно закачивается на \(p_1\) и при этом делится на \(p_2\). Необходимо найти сумму порождающих для всех \(p_1 \in \left[ 5; 10^6 \right]\)

          Блог 529

          Здравствуйте, я Алексей Лобанов

          Сейчас я студент ВМК МГУ. Немного занимаюсь фрилансом и машинным обучением.

          Умею писать:

          1. Бекенды на Python (+flask)
          2. Фронтенды на jQuery
          3. Парсеры на scrapy
          4. Кроссплатформенные приложения на C++/Python с использованием wxWidgets
          5. И интегрировать во всё это машинное обучение на scikit-learn, xgboost и TensorFlow.

          Если вы хотите связаться со мной и обсудить что-нибудь, то можете выбрать удобный способ связи:


          Мои проекты
          1. Мои проекты

            Значительная часть моих проектов есть на GitHub или BitBucket вместе с открытым исходным кодом.

            CrossGen

            alt text

            Что использовалось

            1. C++
            2. wxWidgets

            Что реализовано

            1. Графический интерфейс
            2. Автоматическая локализация всего интерфейса на русский и английский языки
            3. Быстрая генерация кроссворда по заданной сетке с использованием эвристики
            4. Автоматический бенчмарк для измеренеия производительноти генерации Подробнее я писал тут

            За подробностями пишите мне на почту


          CrossGen v1.0
          1. CrossGen v1.0

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

            Собственно, алгоритм генерации изначально был примитивным: простой рекурсивный поиск с отсечением. Скорость генерации более-менее сложных сеток была ужасной (для перцентиля 30% это примерно 40 минут на этой сетке, в общем случае, время генерации непредсказуемо.

            В дальнейшем были выполнены некоторые оптимизации. Первой более-менее значимой стала замена передачи сетки в юникоде (во внутреннем цикле) на передачу сетки в однобайтовой кодировке, таким образом, языки с алфавитом больше ~200 букв пролетают. Впрочем, мне кажется, что им не слишком сильно требуются кроссворды. Такая оптимизация дала ~35% прироста при значимом времени перебора (больше секунды).

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

            Наибольший прирост, как и ожидалось, дало упорядочивание словаря по некоторому критерию. Таким образом, при переборе, “плохие” варианты будут попадаться редко. На это ушло немногим больше дня. В конечном итоге, целевой функцией, которая стала критерием сортировки, стала такая \(\sqrt[n]{\prod_{i=1}^{n}{f\left( a_i \right)}}\) (иначе говоря, среднее геометрическое отлично подошло), где \(n\) — количество букв в слове, \(a_i\) — буквы слова, а \(f \left( x \right)\) есть вероятность появления буквы \(x\). Я отсекаю примерно половину самых “плохих” слов, а из того, что осталось я составляю кроссворд. Производительность, в среднем, увеличилась в ~1000 раз. На тестовых сетках для перцентиля 90% длительность работы около секунды.

            Что реализовано

            • Прозрачная интернационализация (пока только русский и английский языки)
            • Быстрая генерация
            • Экспорт в текстовом формате
            • Простая смена словаря
            • Относительно простое редактирование сеток

            Что может быть реализовано

            • Визуальный редактор сетки
            • Экспорт в HTML, PDF, Markdown
            • Экспорт сетки в файл картинки

            Скриншоты

            • Версия для Xubuntu: alt text
            • Версия для Windows 7: alt text
            Экспорт партий с Lichess
            1. Экспорт партий с Lichess

              Одну партию с Lichess скачать довольно просто, это можно сделать на странице с самой игрой. Скачать все игры тоже несложно, для этого есть специальный раздел.

              Если же хочется скачать свои партии, то я нашёл лишь одно решение. Последний коммит был сделан 2 года назад, также оно не учитывает ограничения API, и больше ~2000 партий, за раз скачать не получится.

              Моей целью было написание альтернативы, которая бы работала быстрее и работала корректно.

              Проблема формата решена довольно просто: API отдаёт PGN, значит его поддержка уже есть. Но это плохой формат для хранения и обработки. Поэтому нужно было выбрать что-то ещё.

              Существует, практически, только Scid, если вы хотите хранить свои шахматные партии, используя открытый софт. В его дистрибутиве уже есть необходимые утилиты для конвертации pgn в свой формат.

              Репозиторий здесь, а здесь можно скачать файлы сразу.

              Возможности

              1. Многопоточность
              2. Сохранение как в PGN, так и в формат Scid
              3. Для работы необходим только Python
              4. Работает при любом числе партий

              Установка

              pip install grequests
               

              Запуск

              python lichess.py -n hippo23 -t pgn -o hippo23.pgn  --threads 6 
              diff --git a/posts/eksport-partii-s-lichess/index.html.gz b/posts/eksport-partii-s-lichess/index.html.gz
              index 979d3a74ac37ca5c2662d0750bc667fceb1a7a40..6109e987bc17dc0ac9549b178ce4e07d0090ea78 100644
              GIT binary patch
              literal 2811
              zcmVZX3rH{?DhFus|il++9gV;>0EyxTzBuNE4xUiUx*J
              z49OvPtmV#TW+{cKTf}k_CvX}gX^R#`+9d7o0`!G3C0R1iC)jbT3=5jUn$jg@!P
              z0EH*TEB51M`*FV7Wc3%Wi?}1ZH#~19tt{#k(oPWb@@d2z$KOkx2wZ3$!B32yH^*!>
              z3Er_^>9H?T&e|c@Mx>4EAnkf!^TKwRrimxs8_3N@_1E4zm%P_hKjEotMWV{uDo#ZV
              zyjLzaM5iZe?NF<}XsnjSq%w^Jxtskv+s$uh&$5I3!+e{;ml1x+CfN?lZ~y1pH)T5%
              z##HKo)I%Y;?q?YzvPbO1#7$$#{cl
              z5jCnN9Y(^0LV$o!i*BRp`vLrp{>JqGJLcMLthe-+#X!RarVrplEoKM6%7X!UEhoOM7Grk5Zvyo?$lJ+QnkGrMhk7mUJw_?tEh<1xi_%=xXTEYV%z+U|b6}
              zFf#5j9)qQ+R&lSX25AR;?0|Z^z*<^u8KHf)4jp6!tMmD=+Wim$H>BpOHU~*h^NwIc
              zHP8inJ>X5I^dau8tu5D`wlil&2Cr(-ky^CVMydy3GjFGI6KrE|5IuX1XxZyXOyX0;
              zWIxer)2SBkCqhdRw}oF1l5)gK7(H9<$W10Y09G1&5gMwRuv=(aHL@dGTvv;5;(Gd&VorEZm>{t(7#}At$om?M20xzV
              zAENaz+qUz2KSC^TL8TWm|B*dlXe2}irerpLE_oJ8@b3)NngmL?c34zB7(_+DDaQ4#
              zQt7nHAbB$Gs-mV!WxKAn1hfQe4cWRtkcxdL28il`mD03G0beR}MV%;CN22Vp?f-#exfgsa~D{ynArPM~B>kVxG)#k~^wV%c_?7e~?kfVasz%_!0N&X3-7U%=I5wYz6vSp75
              z5O#c)eK)WEA<&H-MShQ=Hc&K1xntPcEA-YXpms06?<~q5p;cp2{5hkPj6w6Hz|Q<$
              zwo{p#W_a9$isLPqlD17LtO5Ho^4Qje=(5o
              z_|Sphv?wMua)<#nA?&9)j0lDj;VU?QfVs*J4jWpW-f-p)dEAvI44loLY0D1TJkCD_
              ziy`C|68#Fa%K;fYCb?LYVB!H};VEc@a(w_{*(+rbx@(PLC}CklCPElS+2dM;rqHg<
              z#DT4geGI`J@OOfs4$h7+6uA9pn)|!fp#1)cE-5%swYdh5BK{M)O~Kh88q6eoTJde3
              zz!bZ*eg%#?uuPoum`&-SVh0~=lVS^ll)@dz=Pc=8
              z)98YR{sf~0n!a$6vr!lU?}VzGLeFf;f%Y*d#Vn&85A%C93ced!BP@XjSm0>b16m(p
              z3TV~!&o~>Shl?c6;#~rr5A9UNl*}ythPvwkW&SC8{}CyDO2$wyidq?+-0&CJiAi8&
              z6x2%oC1m~x()Bmqa-@)}Clrmlw)DofW1ms2J*HTFkGX-8vQ_4K84%*{*f9=wo?+Cn
              z@h~4Hub4%HO8&8{Jy&=36a_Jz#c(&9_>5Y^BF9q%$9+;u?oU$-IkSwmpYI~IhkslG
              z#`$OYm$RUM2i5bLH5*v(U^CQgFh`Uj>IN!62Llvw$RfK69b97$-zKEkf(tTj6VgmO
              zsthd^Na6?xZC(-M#tUdeh55{>dIARCw<+62aHY1zIR#4}<=cQ4UrqD!7&)m3ClG@>
              zwuY(U=dx3wNMn3IrbJF4n)fU&Ajh7?2A3QQKKm$#EF2L)Pgv56!RNxO9UI+pa%VCA
              z7PO%|Pbe@4WZuq+*m5a?i7tk3suqvc<`gvHvH?>bPrQWl;LYcRDA2wCgE+3+q1+U3
              z%QtYi^FNTuqJql&g(
              zCjMV0Q0Q23v`L1{i&-d>M6I1;UP^7}sba;)N9K7c
              zls@m6`RwS$EciLM9q#ER1&7TPX$nj-_v1<4$w6EH2}`7+Kc
              zs^mL(#)A_}>1bl*87e*cdd6pS?-J&Z-0o0)+#N^<$Lw%?n=p42$M>l}a1Q?)fi%G@
              zR&0L%!r}#_4fmg((nGvNi;Z+x+;_h@e0fez*7Z-)GdZLo5C+pM9;E
              ziucptCg0?Cl`^}@HTzA%-(wB?aqAYle&Zr+;FF&WOt^e~Db>8avCezqS5j;(-8i$j
              zFJj(`#G5kSxQ3K6?m436?jWXOTt35oOV**j!E6R4a!YRb<(Hz>i$qrzZ$wIRg?>jz
              zOEoq)yJY#2FmZ|wFh3f;sy*n#1+&I_jgH?2Tu8;`NZ``)l8wyL
              znHn>&*%PVTF+Uq#_(FE-
              z%S{9HfM;BTy0@UqeE?da)1Qg1(qg$+GvvkZ&Md>{^u6q9-tp4Q`J>+E+E=)M%lJQM
              N{{iwFP!000021GQQIj~m4m|J{GZ;7a(Scz5qEfyZ7l(Q)QB
              z8%ct9%~yIHh=j9_&y^NQvzjJ72XtOo_LC%b#5<|nXjXsgymi5OEgHl;k?lZKStkk;
              z5yIX}7n`En7xj*>qJe0xl-VRQ2?Uv&{WsgmZ)H!j{rrP`i@}!>e#s`;Hp_2)|IKCD
              z@rBlvhG+IHs1kBuUF{0pQ8G?s6qXdI9!|U=#bz9-q(r$XyNTcIiVfKj4n36i(*8h(
              z>r9EDS=Grf5ZV_482C!`npM~J;3x6LKzJRky)aS(9?18E3r}Swhzaefp$qjn&+CB-
              z+U-YCKM*{Y+U-OGWb#Un4`eWGuK6;EbQJqSJ+IR?1|}>`ZBu!)a-R&TxH&mP(*2clpe5jay5Q^_39y77>Hw9b>5=jVQ5V?C
              z_ms2hzUZz}Iw0~lJhRtE#+yNYqaAgJB^iq?avlWZqN5l{?q+1+DhZT;$6XpQL2jV
              z4Ue~2qz>%f+}yN6o!j5noUR?HAsh`f?cI5_>U1%%{Y!M2wn)<9z^j6ERXmeF9+=CJ<4|T&$2z>HD*)S07o*wK81Xv#5)a$IlOeR
              zvh+f)wI$b@hSwx}wUzxDR32pyK-eh1hx#_45Kpu@=6#{P*qESQoQ{CsSD-Z5@ihMc
              zwTC%mE5G|A*zz`HdcpHw*?opef@ff&$;Qvb&p-+Ooq<}5KndR+WYzG}pl~?(xY3KE
              zWSV6VJQ?<)BBx4eyB2KFM
              zU`7x~ogAE^4sioliR?fP+Ek^@FqNs{A$c*KSiwe1PoxLyhj82XZftNa`xKFnR91eIJdlfdif0et+F_6Bi+&5X_Eaq+hZ$dS@!q*bF2x543E~w
              zL#fB;yO3$1vG&Be#>v%*(Pz@p;AEPPJ=<5>QM5kbY8}gerFHyh{e0Ng@p(I5L!?*c
              z5nx`|A`cE<)=*T?6z~4Frvm?--VL3%T_Qh~3TaS&g!XsMVMRf5s>zV~{*4urt4#
              zZCB>H8BUgval8#((zQW$Bh?2KB-I}qvoK<&AE7hVG6ErKCO_zK4FW300MgNhc@8}{5G4|`Jkp4HjW9oZ$F$N49q
              zF}U17qFaG-*(Zg^#21qiRNRLsJOPQ2uJ^$$yQK(1b*(aVCA=7sir|J(_NZQ=F0^AJ
              zv2XHX4_$B@?42N}gRvuY1uj3F#{P~`D8F~CNfAs`9j?Hlfd7I{zA)xPf$5k}Grq%P
              z=wcVvF2Se+uc?wC2f)4eO|qi#?2oI<%gb|RSZ8PgGa)^Y>|lc_QY>NMQkVnroCWSg^MIs;~fH>4@_6ZkjymxnyTwQMg9p|{~-x|LduXcid-2TU-0MHu|Z&@
              z6y!?&1w{T3(zQ3PSW<}9WAerwlX_!Qu}>-29+9uU!`MJdnJlxl3<&X0tQdh8Rm`A4CI86gp3OTmMS)LeKHSMBE~C;g$ngZhagW53`P0xs%*;kp&v%g8!9O+t
              zf?Ge;C5ss>6x3j^eFh$6cR6nz$myjTg{{67#7Q^%xYqXF|4v;7VnSeF|QEm~R1Id^wHFBiugY_P#G;IoH(NW&2U^n}Iz5Ns~2+BV)T2Y2S<
              zZ$KKF^Ozj7PwH(Si!B!d=;&g2IcoDT+L(eS95$fKDPbYC8!Rx;VHYMs>;%B%4rTpr3EHRKz%ug4Rp`(E
              z*aOxcfgsp!eTjp(HQkqeKY(8tv>LGz3vDTab0r+Hgl$(X>z`P{@h;Q}4+7R#;+<5$
              zaB0^-KJoED2+Vs%k-uRdfwF;|_nU8WR8hrFikN%+Ada;1~ql}2r2Ak=ufl9S3>xM^9teE~V(RQ%XEEz~HNai4&fN2rWm#|+^
              zCf~*x4+Gg
              z{NB0614swXKmAAz@enQ6lVNe*{rceHIX+(2ze&#IfP{qiE%SnR>0oZ~?~onZ=j;A}
              zPZcV69iz~p+ls_9n}XsLMAS#egnauf5rHk{bh~g6UO2@^(^EVp>}O7w|psDJx_FH_F5#wSE#pCP^+`_
              zbj|FG{n!dRu;Hpq#HB6}*H)$^D7)M2MxAs32h2L_H@j{Ja3K*F1A(uWYQ{6QQ+1|c
              zu`d$4qF)_ei_
              
              diff --git a/posts/eshchio-odno-vychislenie-vyrazhenii/index.html b/posts/eshchio-odno-vychislenie-vyrazhenii/index.html
              index adc0940..0a9d6f1 100644
              --- a/posts/eshchio-odno-vychislenie-vyrazhenii/index.html
              +++ b/posts/eshchio-odno-vychislenie-vyrazhenii/index.html
              @@ -1,4 +1,4 @@
              - Ещё одно вычисление выражений Ещё одно вычисление выражений
              1. Ещё одно вычисление выражений

                Задачка кажется не очень сложной, даже, если не знать как её делать (я не знал). Целью является быстрое вычисление чего-то типа 4 * ( 5 + 7 ^ 4). Для это я парсил исходную строку в список токенов, а затем непосредственно вычислял, что получится.

                Я решил, что проще всего будет реализовать (а мне потом и понять) алгоритм, когда после каждого действия будет выполняться некий “хороший” инвариант. Первое что приходит в голову — это то, что истинность выражение после выполнения операции не меняется (TITO соблюдается). То есть выражение 3 + 5 можно заменить на 8 или хотя бы на 4 * 2.

                Непосредственно сама обработка является несколькими проходами, так что в каждом проходе мы избавляемся от операций одного приоритета. 4 + 5 * 3 заменяется на 4 + 15, 7 - 5 * 2^3 заменяется на 7 - 5*8. Таким образом, каждый цикл тривиален, и легко задавать приоритеты операций.

                Если использовать один список как контейнер для токенов и при работе изменять непосредственно его, сохраняя указанные инварианты, то сложность получается \(O\left( N \right)\), где \(N\) — число токенов.

                Времени на непосредственно кодирование ушло часа три-четыре, но в это время не входит продумывание мелких деталей.

                Всё написано на C++11. Исходники лежат на GitHub и BitBucket.

                Как я шахматного бота писал
                1. Как я шахматного бота писал

                  Лет 5 назад я достаточно активно играл в живые шахматы. Потом времени на это стало не хватать и постепенно перешёл на редкие партии в онлайне. Сейчас для игры я использую одно из самых популярных приложений вк. Это проще, чем использовать, к примеру, FICS. Предмет обсуждения появился из-за того, что я как-то раз встретился с соперником, который на все ходы потратил порядка 10 секунд, при этом не допустив значимых ошибок. Тогда я решил написать своего бота, чтобы узнать что с ним будет и столкнусь ли я с какими-нибудь подводными камнями.

                  Целью было максимально быстрое написание максимально простого решения. Поэтому от разбора протокола я сразу отказался, тем более у меня не было подобного опыта ранее. Была мысль работать с FICS (у меня есть библиотека для работы с их протоколом), но поскольку я там не играю, то и результаты были бы не так интересны, во всяком случае, для меня. Таким образом, я писал простого кликера для приложения вк.

                  Изначально хотелось найти доску и определить положения всех фигур, это было бы достаточно универсально, хотя и привязало бы меня к OpenCV. Тем не менее, решил не усложнять: можно определять только последний ход, а это можно сделать, проверяя цвет только одного пикселя.

                  В самом скрипте около 200 строк на python. Очень сильно помогла библиотека chess, которая взяла на себя общение с движком (я использовал stockfish), проверку на допустимые ходы и определение мата. Некоторое время я уделил тому, чтобы сделать бота максимально похожим на человека, чтобы было невозможно выявить, что это бот полностью автоматическими средствами. По пунктам:

                  • Клик по полю в случайном месте, с распределением по Гауссу, центр которого не совпадает с центром клетки
                  • Случайное время хода, длительность которого распределена по Гауссу, причём средняя длительность хода изменяется, в зависимости от номера текущего хода.
                  • Прокладываются дополнительные точки, с распределением по Гауссу, при перемещении курсора от точки к точке.

                  По факту, всё это было лишним, бан получить не удалось даже при простом клике из начальной точки в конечную.

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

                  На момент публикации аккаунт вполне жив. Рейтинг достиг некоторого потолка (около 2200), после которого найти игроков примерно равного рейтинга, не являющихся ботами, очень сложно. Сражаться же с ботами сильно сложнее, такую цель я не ставил. Интересно, хоть и ожидаемо, что при наборе рейтинга было достаточно личностей, для которых возможность того, что их нагло обманули, и они играли с ботом была столь неприятна, что они не могли сдерживаться. Например: alt text

                  p.s. Уже после создания рабочей версии от одного из оппонентов узнал про lichess.org. Это отличный ресурс на котором кроме, собственно, платформы для игры в шахматы (поддерживается большое количество их вариантов), есть тренировки по дебютам, анализ игр. Самое интересное — ресурс полностью открытый, все исходники есть на github.

                  В процессе подготовки данного материала узнал про InternetChessKiller, который делает, фактически, тоже самое, что и мой скрипт, но без привязки к какой-то одной игровой площадке. Исходники старых версий можно найти, например, в этом репозитории.

                  p.p.s. Боты на серверах, предназначенных для людей, играющие в игры, которые предназначены для людей очень сильно мешают людям. Тем не менее, проверять, насколько сильно они мешают не нужно!



                Мой первый пост или зачем этот блог?
                1. Мой первый пост или зачем этот блог?

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

                  Пока я планирую публиковать свои, возможно не лучшие, но рабочие решения для задач из Project Euler (projecteuler.net). На самом деле, решения значительного числа задач уже есть в Сети, но на английском. Хотя, это и не есть большая проблема.



                Моё решение задачи 134
                1. Моё решение задачи 134

                  Назовём порождающим для двух последовательных простых \(p_1 < p_2\) наименьшее натуральное число, что оно закачивается на \(p_1\) и при этом делится на \(p_2\). Необходимо найти сумму порождающих для всех \(p_1 \in \left[ 5; 10^6 \right]\)

                  Например, если \(p_1 = 19\), то следующее простое \(p_2 = 23\). Тогда порождающим будет число \(1219\), при этом \(1219 \: \vdots \: 23\).

                  Полное условие можно найти тут

                  Несмотря на то, что сложность задачи 45%, для её решения достаточно выписать условие.

                  Пусть \(p_1\) содержит в себе \(k\) цифр, т.е. \(n = r \cdot 10^k + p_1\), где \(r\) — какое-то натуральное число с отрезка \(\left[ 1; p_2-1 \right]\)

                  Давайте посчитаем остатки по модулю \(p_2\): \(n \equiv r \cdot 10^k + p_1 \equiv 0\). Отсюда получим явную формулу для \(r\):

                  $$ r \equiv -p_1 \cdot 10^{-k} \equiv -p_1 \cdot 10^{p_2 -1-k} $$

                  Комментарии:

                  1. Так как \(a^p \equiv a \mod p\), то верно что \(a^{-k} \equiv a^{p -1-k} \mod p\)
                  2. Это всё бессмысленно, если не знать про алгоритм быстрого возведения в степень, который делает асимптотическую сложность возведения в степень логарифмической.

                  У нас есть явная формула для порождающего, и мы знаем как её быстро посчитать. Ниже приведён код на Python с использованием sympy.

                  from sympy import primerange  # для получения простых чисел
                   
                  diff --git a/posts/moio-reshenie-zadachi-134/index.html.gz b/posts/moio-reshenie-zadachi-134/index.html.gz
                  index f02dc232e3c01f809f133acd8d4e9a7739459318..2d442187ac9e754954bd5f9b1e624017409641b8 100644
                  GIT binary patch
                  literal 4173
                  zcmV-T5VG$diwFP!000021MNF)bK6FG-}NijupLq-0uUufwk47|$8j$1#E!>OGIy19
                  z8jx6$Yk^o~0Z3+S&G_Z6*G}BHY5VD>O*_}mow0pUqd1N-(_cXTqdw0r00JT)iaOPk
                  z&eW5T+}-DGpZA3pwR0bQa((SLcW#hw&~q9ywR5_@&f3HY$juw%@@9j`e>GesEywcx
                  zy5@5Io(~W@qgU0}74>ylYmnNxb?Vxzy{YRXYH3m@pmq$ID<>gSgx?7w5;)Pw!Iy}-
                  zoZz8kz4
                  zd^>nC{KMejzyH0ucxk3)Dx4#txE7GsZ0ffJ^8&`*lmJ>j@D8K99v49ha+ldbw{FuN
                  z)}p!`q;Ms^!`y8ms8iScpzlz>ODPcO3fit~hGD{gL6`QZ+46nU<)UXf>Z&lj{tY>k7jMQLzoT8O2A&I0I!z0
                  zn+iGWGn+Oop~dRNvF>**oA1Wa)9nZzdJ%L$b%mXd4r{b1eJB%KVDs)mqsC$m4AQ6W
                  zf%wcpcVG>Yb~x||0ETVPq)eSq$Ak?P>5ky{K!M~&=)g7x2Lx)t3UgVyR5zeT>vc{0-!WGR+y+1y)p-QT+?cwpv}LL*r#e
                  z<)z8_cFz*qm<6hh$z9t!ZqxTxfB+c0noR^*VPkj5U-lukpw?xS9JOu78OCc2{uN~T
                  z4r1`t@aw@FQlq`b;3pYAhlBr;LVh*;JCOQK&4eWaGd~QUtC3zM=T}H}(1zX)e
                  zPMI6bB^wTH2kYeB6;hr5?UHh{4Z%9yU^5X)rJTqKqlZp-ZJu@Wl|2g^zOw<;!OKT@{@}0sK1bv
                  z^bcweuZCZODNxZEfzOmjW%r!Y3ob~`lS2$B97;<*0+AuAfECW|4_+2I%ytU-Zvf?Y
                  z=(58n21t;P;DUb%ve5!tVmNG*Ig%Cuw1K`>z)g&}y>tG`LUmzsbaD9TP|9
                  z;2(gdhR|ri>&|9-oMDwB1b8a
                  zJW48=q$y!Ct)P_-)j0vu+V^oym+b+ZAz<@Z3V)IikhZ~9Q6aCDm*%9`6LD5%QD;Bp
                  zL*VdlM$}>cdn2-yDZL6j?>|&>c`QvLnW=!mb66%|FtVbYK3*~RQ9%{i&43XigQ^sv
                  z+*Q_rv__Al6XYy=m;<01mGuL)VQ3tGl=>WetBTQ`e$a(p6lKQrr^5Z2>N0_uY=W`w
                  z<~&32`#rBO{YQjw?36<^m@yXPUC4PMR#j`9Pa7=Ch>7!L`{t;UfR832
                  zEx%?8w>@b+N0@Xx?dSNkoIK*w<2B`^0%r87HEi0>*JT^5Wck6C$9MCr=xL2|-aOdg
                  zegS-?$Y}j(5g^xw4llr(T|S{I)Cn%D4%VI|WOjjTje0$IrN^|!e1VA5NSGs}pg}0y
                  zLax=*?jPf)aF<1TdD~7hCYfm#YGUDR9qaAs^%%t!Qu;+v$ECwpO3AM$ueoD`d=uB*dsxQ1c#IOApetW&R?klnR&F4ZYkCBOV#(_!CF3p
                  zA-XQV=N3;>BIBOIpE5BvwFW*8o-!+rwJ#?^#9(-LLaH0D61l|*ee)MZC`$zxb43W3
                  zioAK`&S&X9*gN*7vs0!@pQS7iKy5CHqKD;6xeF_9p+8OS7t#r-dm10~r_Dq9p&)K{c_NW^e9U9zlDE@rEf733P
                  z@Q(`jtosUh%Tu>fw$5Mt<@pQ0JYSlfB@g5kf*nf`%V8b-Yns*qY$~)$a=C!HHca8t
                  zJng0C(V9&`t!-RtTaHh)6?KaNg_0971N;{=D1$VVx`w=FN^0ct(v?~A9?|d*WExpk
                  za4X~7i||k=KvQrlxzZJ&mhj$M32+lwg}yhFXeFaSppmN`ns_Hw;+hM_Wn>*KAD)^2^w1^mk6yI$S}z4KjzdvK^kYcSWP
                  z0&&nL(p|OLO;S(HqQ%@k3Y*4t$*%lBBXc7F{7`Z%ll9Uqmw4#E-#V-N(Bdgzt`lBuf{IFAp{r6=u>cdcI2!#m=e+_g+06GGtA7nc3$~!mMbS8?l?s7x%79YPQ4r>W`(3^p3$six
                  zq{d;O2>DiruHvO-pr|g0=g^9_i#i`$Q^^2B6}f?OKs_7quMFGA@7dBO0rTbJMOzvn
                  zUbp~Q@PR0~7@puQ5c-DSvOMY+?Mp#YyipI^k|rO6*~^islz2elR@DV>TrL?=%xrz2
                  zwoxJR3^95YINvTOS|+HDyVSD#rAj+=)s4Dx4oyiH^ZsYo?%uq1dku1G%;ggqy6|g#WV}t|
                  z!%uFneQ<5kxTMNZus-$hQB%#tKt
                  
                  literal 4218
                  zcmV-=5QXm_iwFP!000021MNF)bKAz5-}Nij@C&Jm07S`=ZHZ*+I8Ni6*wI)@raej3
                  zfW(qq3&bJ|Kr-WM#xL#lZsLoZ-hJxa*@rL6{$|7y5OT8`!W
                  zb9#NZ>>x2VWxU
                  zdIni>qL!_G%3+TN7HM@Y;nSe5g+W^fnU5@YgTT}2Cn4LdYroV#x~gB}J@b%#7
                  z;H$yY;qM18{`%k5#fvjFQ{fyD#kGL6W>dc&3L7lqh2YrY7T}pvKSI~A{GYk{{3%ayN&6e+*E*Cw^VV_b1Mrk1=
                  z5s6bm75dAj*#;4Oqr-W}p_a#dqs4njXtpV}ebaIr!wPuMxZ86yrBcoEJn&Hqvw?|gb8=0JVmSd7t`$I@
                  zlIf(b4ZawBJ2)Ktg}k+JgN1#A~&BfpUFF0cjhgADHI}NUqgk8n5@thT5wI63z^i4Qr9#g7%%)9C
                  zXt6qRtovQd=6iAUbUT8FUIZObU16uA!x}A0AIiiQ*u1;YsIiy>gHoq^AU<=@9aw{;
                  z9S%GKfMMG+DN`rZvA9C_uqyZ+P$0P;I2HURp==*Q*-lgg6y*k@
                  zk!$UyXorp@4wE`YmVczyMj_Wo%&VMTYYhGkM1DGW4$PhopP;-o2*hI{dsc_~rl+>x
                  z8`vEIJ!m~}AKyds0n!g%4j&FbI{{g%37#I){BrP&ppc-MLu_iMqNh>`evXn_LnbAh
                  z8z)sWLnl_a)N!rNd60M+7>~Ja9{W_vZCCjog^(c4K3S!hq+BB+13)!XQE8}50Y7Fk
                  zPVI3&(6M)da*_2(?u-B&<_F_lRE`=f5wI4-VC1S28M-pj&+&_-V}(6N@Dg-9KE|*D
                  z*30t135{Te!e4c5VZOSgSLgM``St3h<%{#n^Ye4_i}0xtFKi-QF?HF={&Dz#EY1^f
                  z0raFNgJ;A0!^Z^47E5I!@7G9u#NR+}DASyAU0_9Z8Pz|vY^&8}IyA{2#@ANFO
                  zgIS>3nA~AsaGSoj0tCR|)odcj3LCpa{<06T1+^}tC`r8_!+%A(pd;8R><}1E
                  zCN$cPK|s?7fd6dxJNW!c?(9%)@*5xw^dAf#!Q89iBa&wU)Mcdn=djg-*C}(8xn$F!
                  z?O=nvwL+@%zg|*qwkcSr8*C*)sgx5rf!rmkdw9P>;1kvPqL@dWRIen2KQQ?Z;*iZ{vbk&X
                  zz{g){`4Ywb7f|>%cEU$W2yinQ<*%g7-({_wX`Jv76BR~^rQL98fD>?-@6{nEXbtJ>
                  z4^{O^Y=yP~;;?o<_CMT8;`)&olDCY!$C;EvF1~fXk~q`Bk^H2hJL)fFCH=kH!}H;1
                  zUvSf^4?HmKY8@WR9do0BxYJ6>t+HZWqp8UZ^gt5X>m>KUiH?$!1bof(;R6G1%AF
                  zh@Q_YirT8og?e>D*#5h0$&_myM7db<#MbZtgJfjKmok%~tmu~zq9Etzlk?VckwQ1+
                  zL#Q0B#w+vbaQ;#z%g>X52Ih}sN`6J4T0>ijDT54uD?|O26z);%q7#g=Jfrl1Em8*P
                  z+_@PM3!_WHVoC4mJNpGIn2Yo(tk0Y~S2Ka8()6D&Q$)20^@*wS#j;||@c}2aSCF&7
                  zDI(vjTOV2$3XOZ9Re5GX!iNOX2qt0@60PDk|iq^3t62dMwV$Eb8p1dyBRP-WKfkNl)K70kk;st
                  zbb_2^5Ay=3MrHkl+AuVZ-${KAzEZ_#wI6h$7e$#d{i$$&th!8KCYxZayE)Gg{C>~t
                  zOaBoe96RL@4Q7nRco%Y_gLx4;ZBNifCQ4cyPW5oWrJ9;=#DS0o+Hti;Tku|-+%t==
                  zn{dxrMO4A6UB`NJdVP)J3Mu`pFegsf&lsii$5YRn39s{0TX)Ln`bpX9
                  z?oY>7ugNlLr}_~JBKAnoA;IA!KFEJBoAc+YKxQ6oq+3e0{7m&dc(9hwV2G~E@43a3
                  zl*qWJ@TW|SO|5~CgQv`jW9`ea5HT3unvm+ot3+;bLf`yZ5z0~l##|A?#UgJWx$|kd
                  z5B83|>FkuL(x)j41W=ocqUd4yQtrWuTj)Yl_0{b}=%KDiw^wLT4mv{~mQ
                  z5jmwY0L2f)Y3gsI0ErdAZ_VawJj#?W<#W*JBnwIKIX=FK9?ks#?TXW@fTyO6*X5Za
                  z7u%XT#VzC?8w(x$)a^ZW$8eJVyEy;9t~vf`*zyFK=lHfvrIo)IwaiZ68vaCr@&t*g
                  zxV+C59#F+}A$5Y@XhJ=jd!w1-w7VD((w(Y}^`SIfIJ(0Cm_rx_x9yPfl`fv
                  zowo5(>9iem;vt1SXQBX8KEG6dY?zS`eZQ0?^kDdKIl0kQy}VRiytuHmw6wTXy;QAU
                  zPOf&TN2AddHFf<>-fX;M?OJLU&%302#^$ZCN8P~a(BQg5@#j1J8+N&be^j_*-BrNb
                  zp1PH?efIp%&z}4F+0yJRxhJm>>{^0Y4(s4w)3g>~Q=wIo%LUA}VG5V#X)iU8)@%xD
                  z?ch?|a(t?-s9Ovul$?ke;J=tb8Kj}qHRP3GQX`j^F3*y;iH3h5)5x-dTN&qGgoi=_
                  znu1%&m97A_g!k4;fSbT7^!=GcD;Wg>r9{&}&~cu~lx7uy43@!cK%8KTJUp~G
                  zVji)1F03zF2pa#QbA8fzBe)9t^;8z~sjq)Doo$ndkgF_`+gSjphh=Vqf?yAjh
                  zk$PelE#~%q*fg$5cIA5-nHvG%hmvENY?N*ycccg6m9{ElkRa+ZxkrExb$!NNACW+I
                  zd65)QDmd`_y(V{jHFo)RA-G6JAA#ev!2xW=fzVGvdA;;j*lSYZBXuhbxEd}Kq*o&Q
                  zWPe;1Pz!Qrt``O-2nOWUZ`?B|uu|e-fMeW`er;_nZ$sIgfC3lpNZSB*ujh;gk|uS-
                  z(dZvJ?-gjtX1?cG{i_&Sumx={ipDvuR0w=S29$!1f-o1{@AAD^m}Pe+;UW!OG`&z80bm@gME+R_N|+&RF44@Aku
                  z@C0vx(AWKzp9m&lnqB(!)0g(M9+mPu~Y4)dXG8Eb(hg3x=P^PO^{
                  zWrFIsO)a}$s~f}2fyQiqCi}|9_)XmCu5Hl`X<-(uSop3%=7ui5
                  z88_j2?w_I?weiK5C(B1KCbyu$>~PVKZxZV2Dxta)pLug2xkmUphJTjKUW~B`tj_T`
                  zRB|!pm5>-k4hmt_9S{YYTmY$%LdjtnH9L(x07cz=KXOU_$PIs<-0+uYv(bV&s!cd^
                  z&8V}%wr70;Swnt-mu_sK|KiB-Lcd#v=1o|womJ?2K8F6Fv^9Hlow`=jp&u}JXB{D#
                  z+lhe6apo$gPiSH4ZYkSiJ4X72sVI2TS55pxGkfTuI@1T`yuZhOov0dcy|b
                  zQZ)fV-gZ3>!V2ls?V{sPh4`?TAEq%31gfIjF;Z{qrO!98V)=cyCEqK;5hN2Tk`cbF
                  zmFxxj-4)^+9vpJq;1;*3!Caq;;2jEwds^;Pe7TGL*)n`53E(*If5{j3^4|1PuXoi<
                  Q`3Cgg0D&RDXc0XC00wS2&Hw-a
                  
                  diff --git a/posts/moio-reshenie-zadachi-146/index.html b/posts/moio-reshenie-zadachi-146/index.html
                  index 04de412..2d61b9b 100644
                  --- a/posts/moio-reshenie-zadachi-146/index.html
                  +++ b/posts/moio-reshenie-zadachi-146/index.html
                  @@ -1,4 +1,4 @@
                  - Моё решение задачи 146 Моё решение задачи 146
                  1. Моё решение задачи 146

                    Необходимо найти сумму всех натуральных \(n\), что \(n^2+1\), \(n^2+3\), \(n^2+7\), \(n^2+9\), \(n^2+13\), и \(n^2+27\) будут последовательными простыми числами.

                    Полное условие можно найти тут

                    Хочется отметить, что сложность у задачи 50%, а на текущий момент её решило меньше 4000 человек. Тем не менее, мне она показалось простой. Простейшее решение отработало очень быстро.

                    Для начала, можно отметить, что в лоб проверять условие очень долго. Проверять на простоту числа порядка \(10^{15}\) достаточно сложно, поэтому их нужно как-то отсеять.

                    Самое простое — не рассматривать те \(n\), что хотя бы одно из \(n^2+1\), \(n^2+3\), \(n^2+7\), \(n^2+9\), \(n^2+13\), и \(n^2+27\) будет заведомо делиться на какое-то маленькое простое число. Это даёт достаточно хорошие результаты: из 150 миллионов чисел, после отсеивания по простым числам \(< 3000\) (этот параметр я подбирал уже после решения задач: если он слишком маленький, то будет слишком много проверок на простоту, если же слишком большой, то мы делаем слишком много работы, чтобы отсеять несколько чисел), останется меньше \(2000\) чисел. Их уже можно проверить непосредственно.

                    Тогда алгоритм может быть таким:

                    1. Находим простые числа меньше \(3000\).
                    2. Для каждого из них находим допустимые остатки.
                    3. Для каждого из чисел от \(1\) до \(n\) проверяем, что остатки по всем простым хорошие.
                    4. Непосредственно проверяем условие. Важно не забыть проверить непростоту оставшихся нечётных чисел из диапазона \(n^2 + 1 \ldots n^2 + 27\) там могут быть (и будут!) другие простые числа.

                    Непосредственно сам поиск такой клики можно реализовать тривиально. Ниже мой код на C++11 с использованием библиотек Flint и primesieve. Распараллеливание хоть и просится, но смысла не имеет, т.к. я получил ответ менее, чем за 5 секунд.

                    /*
                      * Problem 146 on Project Euler
                    diff --git a/posts/moio-reshenie-zadachi-146/index.html.gz b/posts/moio-reshenie-zadachi-146/index.html.gz
                    index 659ef1472faccf83daa5d63dbbc167d47c2d6323..d1ee6e12bf4e9537f0678df0cdbc2bfb1269121c 100644
                    GIT binary patch
                    literal 5413
                    zcmV+=724__iwFP!000021MOXHZ`;O}{_bBfVP7QI5+ylJ(%O=G-85;lXwo2YyS?lB
                    z8WcH_CZ;$nN!f8518s^TyGRy6clX0$vAy^11@_|tP8#33iR%FS3*>*a=gg24C6SUS
                    z$##3UMq-KNoHJ+6%X7{QX-@gvdmmk1{r$}=r0KQH>RkC;KEKB5#PrCuE9BC8m584*
                    zUM0Gzxo$azHE%J=MEkE9pAD5IWDW6-Tmci=l`FxjKl+_sAhOl{S95zYx4bNwR
                    zC#o^@f-s-&A(lN+&5&QkVT*bi(VLp%Qm>-4y?P#G?z`OdJUdT6Z?mn6@@f9#mHcJi
                    zvNey@OsWu_TOPH5_S%&SH5xRhHyz%hl~R#m(B7hR#c#F|(n>${l
                    z|MKl{@X$y^q{&%{1=a
                    zTwS=WS?;}?O=fbJ+fC}+`?%J&y!OI%ZgFKm!2Z6+8~_TH*S4t(c2ir-iXF$8yjogF
                    zKbM-gX7Wa)^Hj7A<~7^35hef&m~4}_G_R>T?LwVW!!2m0scIf?sdrnZLcARtoJO;4
                    zlj$0ISOKpsh-*R=&Ge{aX&(5#aM6m=`L6S#bJY2PTv&XYtUzmW6&Nd|Fo7VB>n6zo
                    zm&O<4*6rIdQpm6&uA}!V@Qz#90-WGZp~Veg%f4{(i|R#nQMd!5Nx2|teajTOFjB5@
                    zV<*x_KkW7fmK~s!go(NXF{)I5&)Y%WzGzP_i?-w{HWutXPFTx!_?F)_y=zm4QA?+4xnM^%7QyK5
                    zS%Ym6W&l_@Fc#{7R}1W>jyUTwgVr=h3Dk+ldAF$ZyJBS-~DkP1T807o$Z|H#s|BD~wCU=Anq7+G!~e)}O;4b3Z^U8#2d
                    z6-3_aJcZ8ojvu4EWeCKvh;6Mw-GVKL;HsE$fghwZ9LGyYXdr#(`SJbZhZC^XYT)Ss
                    z&p&pa5EK$LbA*X96+a0j_`3^gRRKzPZje>E&^7~w3mup1oO_{{f$^AC=YdZ}-1a8l
                    zrVtXOwnJ`G1Sw1P*+8RmL2{`|q<}ATJx*5TWo}MOiGCF6K+c{9);(E$OR`3BA%9)Ck1u)cV3;JdFm(C$IG
                    z0L^?fL}Zs|rEj2@21YJe3XxM(q3*uSHGSle4j?_A!}a
                    zR#7eL;R%?Vv?}0^N>y0+z63tM%l`)H9)Jtn2N@q@61opP?IUwI^(Zv3FN+XBjOGzR
                    z_lbBtxlnu!)VU|bBSIU`p|^hm>3@>aA7ZqC{(yZLKL^N`_?I4GK#@0##UeqO{Lup+
                    zm300BpNGhM-){~7_jCANoH`P{qE$N2K_-;zg^=`7!~}5hCl!GuINk>}VhryOgfr+t
                    zgu)Y{kv%D;&=krktq3mhQ0M~Kb#3@>-~^9lJUtMEd$}ItC26?xl!yU82{I^*91!oZ
                    zuj^iC2qhuH{a$o_01^C=^$_}M>1qI7fOP#&s0>>JA5dI;ER>3W__B0iHxdlbf@(#u
                    zd>}>^b&;Ip`_Dq>0%#5d$UqGFYCtPJ&*ODpnJ5`zk&wHq&i@iIf&tNE$9?kpD{n29
                    z7MG<!H8?k0e3_`3^gcb*pbh<#!~&LI!H*
                    zN01YsR<=BTxFii!x==&`5K=%;0SOQcL60E4@09|!N#JnORWR;xP%lxQ9?T|Du#VT`
                    z>!!C%&I4?9RhgB(kAr#%LVhK@7*X~s;&%gseFBU{z9k|q_M_rO0SPHWq+LS%#5M;4
                    z^<>x`KvPurVZQ|cd~-xRs-L?FE}Cg#jk(xk$1Xo`*MA2L
                    z3oI2u^r+56eE5ilDM}br`0O(w%Tr;|pV9k6i2I8e_A^xUo`iDANGb)p5fO>mCS)##
                    zh2}k6l6*KW^TLDxiod;X;n(ZS`#r!vQWHHMt;(sA=)zBN82f(}0P#bBk-}U3YBC}O
                    zwt0y;46`13LT5ij{UF|-i$Z9OKDs6m{*aKedXv?t1kjgr(LcM1xkpAHB1GNXuir!8
                    zHa&Wps-|Pk+W@D9k%AL^^oU&2xwYvd(!#!UY>3IFJ~bBY{2+vA&gHA)M_%
                    zUaI%%P9ghdFI!9xFq6xPm?v8
                    zCj5uFZrOHdwa2w|Zctq8qKZ6U^7-UzP9kGY|2qLkzfT%yCN6M?A{fq8h(
                    ziro}!S4_I;(jD?4uW1(FB3XT2tZGcovM?@bD%Q4AeT7-N**0hpseKLVN)<~V#sOHU
                    z)_T3+Eyo(d4!b@f3AVs4+&R1cb=NZ>5YJ8km!4tgjJGt4*=Hw!W;VFPyyi?i@B~Es
                    zyv@DkddvRe?p?JhkIq0*qF)X5G&?a)O3X+)Yufhd%etvl#r?NfIpHGSPKQ%^{6H+F
                    z3V;wNFNnK5iHWC{r;dffv=XI~7!r4lb2DBbFf?;Fgq0J7%Ep~XrZA3+Z*F)=1GU<%
                    z1dj8uByi!&F~=`g<@@vsQN2;uF#X)Uo2Y!aKBews`%Y%7#+^sEq@FKr8nq8s>%>C<
                    zzh(6#qhu#gX5y&X7m02b?-g9Bo~y)OX)&c*N)mcLg(~9I;ZU#bSn(sT;m}Q&&f1Yq
                    z%?k9coyO@<(Zy7uJf6{#dHuSKHlka6Fk_Y(279Q9I!8uWK!PIU(LWzM&b$sU<_uPCXnw8P7&aRcm{E=-`q^XaaTO
                    z_?D84G?rE-g@Uv|iink9y-CWWWS@qP-WW+SAlpKc5-0Ghw5mNLq)qMidP%7k3jX>V
                    zX|-LC)F?h)>r%b#u`N1jJo$`WPPQqrC^d-Qr21x#cumbC+-p*YfbDA3aS1*@=`XA@
                    z!dzl;&zES5^76Fd47wDf!uWJgAYrCPCr?(6$q9rd1x{rm^jS+=2Cb(HTx7L4Lb2nI
                    zG2#I;80ILVnU?nX)J5WYdi^X^QX66FQgnv-r^YPJ+1YTZ=IG6oNoXQV)@XxSiKfg=
                    zkHx42u4bg79&5fF-Z>F>zn|7N2w^}%kw8Uu_kG~a(CsicMr*miT
                    z=6^#|_U>x(;EWyr?kQbPo^sy#i<*`9=cF-9_ztx9r<6~_706qiy{yq%h&lwPdG
                    zB)N7^G9M*7)ELW3*H=E>xRK8ILOEs{OcoRuim6G8#hKAeIUSo?$2V_XyM86Tp3hG|
                    zoL|XoTHHU~=v@bx;q9mHJ=z4>mX;E#i3YW(qj@7_OR8S_Z9g8Ej94rkLs#>^1os$D
                    zNKR?hd5F_BI5##NiZy^i9e3n%!>?hsFs#O2nj-pUQVhj;lS{o*MVhhgJ?Y%2p6-VA
                    z7#RdaPM#*E99xh#m&C_}V1EaIyg~;SH4EQ1}#3_^iTsBY8|q
                    z)1lfVDw)NaYWmDGWYKhp+bxVzPud5c#zKt27#kgAWLBn`Y3%^hN0SjiZ?$6uau#zgV
                    zta5`_000NeBNfu~$N%Yg4PW~hMGC3XJb}k%rq|3Z>b6Y}Ce=$*Drbn_pM`RUKOsAl
                    z#hy_fUJ$PuDj005IyWa?8uiEEbw*3!%d{?Dx_JKl`Nd1c@QqsX?M40@<>lMzJ$lzG
                    z+|jl)c@~kGWX~B~Z?~xBsSWB~F)4n1cjuas&EU(j?r3*q;|*KBM0(?u*M9fPtG|0C
                    zGe1wh6mR_9(j20htYJZ5C^}G6N6Cfn0>)BO#Eep;t;l&CyeJRwlBh+LW%<%!6iS>3
                    zI>4WxgDglxsilftAxN2Ay7<;Sd50(_t$PYtlI@lUdrzW6p@2-bTaJ}3fi#2j*9_2x
                    zZ6*2cT&R^E1p=o~)4)*ksITm7MmEUIO9nkuDl>p^gel_a(BeqhXY<&$uA^hq;C;Qi
                    zVcl_6-Q;bfZfcHv)xHMJ3nr`K77~KCu&7>Ai-qfO^mp1_^^W_F&aFCYR95My`IYOp
                    z^VhF`xbea2^$)oN-{SgR%Wi|-`L@b!>S$;UW?9rh8nlUUS7m;kR6?^TL2nn%KcdIaz^!IX5&3Mj2sEh5Vgg7j#$r;h3s{1
                    za`anfHL1fqat`;*;EtzRUMAL!d(boVe+Ve1Lr5<~kaa=H5rL_|{_WyxB;0Nw6UVn-
                    z5xeuty(chjWFQzds6#U3Tm=9vID$kHZ90G?w`ha8khav@p5}OM`vcB5v!Rv=s^b>b
                    zjGaub-nQfm@Ut;I1z*JdPgZVSTe-0cm>Tr*kqBM*w$?S?x_b4a8>{cFtgfg&!E!7|
                    z|KeKU`0J|NrKoMWO;(5W5g0fe?g&1BX2wV^dC_VVE9L@|
                    zPxOrm?0x%__h)Kq6&U_z;?ps)va84fBOBIOxa|?ScaOxBx9+<;t6JlR)}q-A?st)y
                    zUn{Q9tGJJkWn6AD)5!J|Do~j1&h_rFG`MkwzcohEh9*uS;fjV^1NCgEft#a^*iGX<
                    z{JkB5_cA|T>fc91hXS*~otxE$*{zY_lFwl*sHOA{97e}f4
                    zt#w>~N@yeA66d$O`r)-3tA5KQiQzJ8G>sjAL~c;ix0g-dMm#*+h)2xDx)+E&C&GDn^5n30(C)VeZK!XwX~W^KV;VCDz;=+
                    z!*7%g5Gxy0hh`f&SBzqJJ`0~=;E%ISo7i73ZbLS?3tPD$
                    PHoyEo0?#uU408YgM$UNe
                    
                    literal 5452
                    zcmV-S6|?FeiwFP!000021MNL+Z`($i-~B5lY#Yh7L`hDQw6>(Kn7w``5)c$%#ai%k&-CM
                    zcDvW0wMEW6@2@kWIpuTjet2c|_qVQ+rq?p7bLDgS{2Hqh(<9fflFRE=BL0^%Lf&9*AaC;5+7@>h7v);v}-
                    zsX}yadDH^f>sKq(XwaPAba;zaN>MZ(^Gqtl?fhrw==fW5{AFkV_#Zp_ou4}goqf{z
                    zv9s5C*4aCL&^h?uzm(p%G*>Q2m_Al44Nxlvb#;f?9^+Po0VRI&7NgrXcf82VZDx4Q
                    zib1!SPV?d-0xRH6W^EFOnia+Mc1-FvDFp;ght?~KsutisuSr|9pu29t;!aC5+2>S+
                    zt0)r!iGazV3f-kbp$;s#YJ>BJNj00fs?J-8-67wVK6Zb36mRr7dDz1K1osZvF=ZSYYIvq1sJ7Q~ofMKe9>
                    zSegfUN~DvD()qUYqI1;wfm~dCi>$zGat#nGq%Z*^j_W4z0Yl@nar@4l7%pUrBd(+O
                    zD)6pb*n*tSokEKnfR=skY{K5%>3nog!L^`=%)N~jT<`=8vP}*HwoH7MUg4J
                    z?m#|Os=w!LqB)ebU1l|iW&x+3!>vY@w><-7G=RLkL23@)cB!M1TM#TRC1tHwt#Z5x
                    zirW!!q*U8>!_f>%c6i$fz{>@#O1Lusy}iBd2citZE|Z0~9cnO#>R!cj+Q74>du$7M
                    zBkzg%|8r0G4II*eL6Rm%lCsWLicdX;deoSh@R1_n}U|IDQ0W
                    z`v}T*s2ad11n{pcZ7YJiZ3^UYGmnww_SITH_;L
                    z91Gai8q_V=QUq7U?g;Qf>w$8-gysXd?>s-gfBbL)v|0^3J;3>=&J%)6f@Y4esY!)T
                    zrV{+wO=?w~;<3
                    zC1V$z?4OVClf@DN7eG&X+<9{R
                    zvOF}&1;4!1INxk(&L(DoQgw8Pecr0M_A(#}K`*m`JH!vW5L-~|dX((9*uxBC
                    zS3BPUTSuU;Z{X)MVDGSVL@>%bKS3BB5XduM!@a}fuL%U!S0KkXVi>giHHhVBpyP*d
                    zyX@Lp$N^SprTS^s`g9&@5DZjv8}o
                    z3Jc$tiO(nb-@x4iaDn^4<6|sB_kq$rB8OX#LIeA}2nK{Sj|jR?#Ouk$;%lJJJ;5Fk
                    z+ISAs{t3AMNpgRP(E|Dd^kMuQAX?%NJ;Hz@Zxo9~f;{=s10I!hzK7q3h7B_;26@k7YbP5P*BR9^)lxxbu_!UEGZX!?U1U5hx!B$)YZjlX(AG=v*Y4
                    z1CeAPhI}=km7eEu+*c-YhPg=a-Bss*i5S6v=&|EIIseL=i>1Y7=@Muw82JjO?g@h&
                    z$dE+U-N#O9%shrE6N?Ro`$Hnqr{MOW^W*=U9EZLsBm1eJ-9-I(CIV9UtV|WcvxFJZ
                    z9(n1+hr;EBYs&lmW(!>p{q=t&5N42Xk!Y-2eIq)*Batj*pmu%)J|Wf0na2;8q=8Bo
                    zi^u?`6kt@O1PF$JB5?0}rAXT(a5(8I822dDOXQ~~XOn2Mj@RRP(_1DNAZ>M3nU%he
                    zLcIhgzZ71KS@uiflL29$0Af*ZiHM8+D0|U_gb-n-UBdi{a}Gq-lVNuNQ&HWA{T6`a
                    znadpr(EZMVA=_Q)ztu$VFH{w)^ot!IUJj`B9hrAqJFmqCJtzley?--s6Ws
                    zX!-#eO%fvX;qtj8hrc7np3ilcR6lnMT(r`}8gsG7j$M4EU;80qepcn;=|8q
                    zSfYeMh0i_{ygU^a{TaPKOmW`}v7e!$_hc%Uh@?`GjEG3AHX(8$7Mk~PN#fzSB@YV%
                    zX#V!PjbE=X@AoABk(%i7XjLwi1PQ;yVeJ1^B#0k^94Wlj?o7yYwan0t8iQ-tW7`}KS1+omUDMTPoqm`B9$
                    z&{y}t1^-3p!|ww9Wryz=F^(AS9pU6~-)Nv62;<}_vV8nakl*(~1CW>fwLnzw!q#Zq
                    zJxp)Fh3vnQstj2mCGx3haL*<3GFo;7Y2Vj>5FK_XQWg~+cHZaafhg$aYjB2xp3>6w
                    zsIG?xiZ6)Jut#YhfCLwqni0cu;>Xw#_OH)HNfGw%M!vwaCq{k@76GE;@EeeW?rsj4
                    z?mM^+Q-?qa@gWoJm4$^;2{<5v@=HIT`8Z`uD)Z_A{4Z*o?61i+lUW|tciVx5ugmBb
                    z1xkOxW+<#XFGM+b(XDfs2V|e~h=dz90B|64WR3*-IK=)|CJW(g2O?)cGQym$Vp|^6
                    zvKL^U2UvM!fBRHstVo|O`qe|>ujHa{sjuV`0j50j`#sze@x7EM39ev&P3<$)tW5A_nNSyJOW-zOS7Rx6L;-e36OOF@CQmT*;;`jx2mnSjt
                    z)cn-3QJ9vaR2)O$u5oV0GX#ca?uM{(0#n(z`-l|exb((`mn5jwZY5xxj|G8&FUFK#
                    z?#lP+6{32hu3`DPcP~--Fg~U3V`(R&RpaiXTT;*GHjUbct94=#z;9VS$tc+gl$j_s
                    z`#jOj;=O_^)pM2Dkrq>`r6i{3Q>Y?N9S-%{jukI?4MjIyI%`KdH7n42b{eNcMHf?r
                    z@_0r|#`Wtm+6c1vV8$#f5Wwx8S)Jgni%&zITB*n-)mfceZX!Op3W-C>WuH18p97HH
                    zrgp&J&ucAvIU(LWzM&b$sTD)ePCb;KjAtXIs
                    z*cP2Mo_xeEC)<=*lo~{DQhhT=yr$+6?lq}Hz;-q2xCEb{^fy)+VJ@+_=W{egdwJUF
                    z3`h#8Fh1QAD440UlP5dJt3DBHC@Yxlz;f&6Kud(=PM>RvX8WmN@O^@wX=Nq?$zebnfik{BLN<-rY?eT(RTd
                    zJ*BJ3Q?5IIQLFO)nlxr}7*)ZzT}dvn!?=(d;&N(;w^Bot(zCUg#Mkag)}v&H8e?1O
                    z#>yufH`5tkD922blLf@ZVrr0Lab_@6F2|9_Da~QMs^?klVUUoWu^rNZTjvP%z7-j+Zj|50Pb->G_usR5i_|8>bjqr<6=l
                    ztTX-6F3z^&>3XJ~9MQvo7GIkrF`R4wO!x)LZ&~;hvhZ1j@kX*tOVeewNmMe6J=OG;
                    zXUL}M5VuuDXvTNKUutDKYHa!8^2$wZ&<
                    zOTo$gYRDIZ^OHa6I>Vj#!7MlOF$FzguYRf`djfpA?bhk@nf|#P@n>b^?^kZ$ynge&
                    ziT`K||GiG2Y!kPonI?fzm{FtR@t!HM$|r%=O88c<3;07-$vQq4B#HrH77?2h=^hbE
                    zB35gA1iu=kNPt`B4*Z}Xj{Kwe(#1DQMI0#=b5jzEJP8Gh0YHdv6|<&8T9{)0bBMbR
                    zdG@1p>JED{ojaT08;(_cm)7pusl*B
                    zJ%9Y44%hI#k5QmdD$NskY-W1R+@@~Z^k7lFG^KKe`2ATZXZRDcGuiAJ<>3YKs-c3x
                    zwyJY;;-yi43SMWl6uwOB(&bARE?ii=Tnyi+CEs4;zfoSktzH~Na97*Xp}Pi;`|s!8$VJ3H5nYzAMJbyvG5CvVvDCDI$Oy!N|SUj5xGnfZD0g?QudmgW%6
                    zWDN@fL(u`6I!Z2l7cjPxB4(5#ZAI>*@S;7yA<>H{%krhe$dtGd5Ws%{fh=%Csile&
                    zJV=>bzVzlid7CIEt$PYtlJk}asVBi9QvfFCEyr?~0Gh$|YX)G$xe|PLF4Rho0s&K~
                    zX+WrX)K_*kBPV3$C4wF(l^Fmy!W40EXmNz>vw7@X*U@om@V;K%uWxr6!LU#iGkbEqW
                    zwag8qj`)DR%zAEMCa}6hz92w{S}x<3i$K7;IQIcSa(LnHv})XR<+a7HIu3WjtB=5O
                    z>fiu|q(JCrZE+gJP5D=lh#kMvl$T2c@ny&^*&XBs)PmHRWw*ToFb3%5XOtNfn9D$t
                    z#%q)(f91}dIDvX40R=AJ6}AEBR?F;O2%OYvcd!0|^HzeE4CdOVwzGnv1tKU5el#v9
                    znZ(K0ML@~feh|h^cbj}WU}lM6NDa<`^_r_S=p8&`1Tf08cVck);-bz6#$+
                    z98k}v@GlGEp7w8Tvm26w@K37b2N;LCF!3Qvv;3#n(u9+(0G{Z@(gT=a+kLVA;q(Flx|;
                    zWXQP+B(&fP3Q2V8Kqk3O8_b2WrQY#0$7|c~bH14kwM*MqOeLY@F2Spr)m6$f3`#LUgpP3{pX12
                    z&|o&WvlE=YkeA0V$Rlj}UK{Eky)ca6_k!5L02xnfj7K3C2dVqBb=-eSm?Pd2=g+(L
                    z!S$P~{>&tfVHh=<#tr}?52)!o%ck!j9v&XVBi3Tw0l73AvDTWCYl011`wX&$_yyj%
                    zwvK*_S1LYIlZB?u(e%w*(C>TgJrJle`osS%7vPgR&BjN0(?GqXRxWhbp-GIrNQaA-^8l)
                    zl9oL=;=*8jcm{JIKqcOW8aY%ix~_o{&E2tdar_rvK@y=(c!g)Gg|a}OyG&fwhQ*EL
                    z-GsHcDj%19ht|16vyGf9q}ZL$!tXHf$2q1=oUa#mAe%gety~ZXmHr=3#U0AHbN~P*
                    CgtdYI
                    
                    diff --git a/posts/moio-reshenie-zadachi-60/index.html b/posts/moio-reshenie-zadachi-60/index.html
                    index 19ec76e..aab7583 100644
                    --- a/posts/moio-reshenie-zadachi-60/index.html
                    +++ b/posts/moio-reshenie-zadachi-60/index.html
                    @@ -1,4 +1,4 @@
                    - Моё решение задачи 60 Моё решение задачи 60
                    1. Моё решение задачи 60

                      Необходимо найти множество из пяти простых чисел с минимальной суммой такое, что после “склеивания” в любом порядке любых двух чисел из него тоже будет простое число. Здесь под процедурой “склеивания” чисел \(a\) и \(b\) подразумевается получения из \(a = \overline{a_1 a_2 \ldots a_n}\) и \(b = \overline{b_1 b_2 \ldots b_m}\) некоторого \(c\) так, что \(c = \overline{a_1 a_2 \ldots a_n b_1 b_2 \ldots b_m}\).

                      Полное условие можно найти тут

                      Для начала, можно понять, что непосредственный перебор “в лоб” слишком медленный и нужного результата не даст. Поэтому хочется уйти от, как мне кажется, не самого формализуемого условия к чему-то более простого, с чем проще работать. Давайте сначала поймём, какие вообще числа могут быть в одном множестве. Для этого достаточно перебрать все разбиения на два подчисла всех простых чисел. Это достаточно быстро, порядка \(O\left( N \right)\) операций. Важно не забыть, что мы можем разбивать число \(p\) только на \(\overline{p_1 p_2}\), между числами не может быть нулей! То есть если число 37 разбивается на 3 и 7, то 307 нет.

                      Пусть мы получили набор таких разбиений, то есть набор пар вида \(\left( p, q \right)\). Давайте составим из них граф, где вершинки это простые числа, а ориентированное ребро из \(p\) в \(q\) означает, что есть пара \(\left( p, q \right)\). Из того, что порядок склеивания чисел произвольный сразу следует, что рассматриваемый граф должен быть неориентированным. Таким образом, все пары \(\left( p, q \right)\) для которых нет пары \(\left( q, p \right)\) необходимо выкинуть, а из оставшихся построить граф.

                      Теперь задача стало гораздо понятнее: достаточно выбрать клику размера 5, что сумма значений её вершин минимальна. В общем случае, это достаточно ресурсоёмкая(как мне кажется) задача, но в реальном графе количество рёбер не слишком большое. В худшем случае, по теореме Турана, количество рёбер в графе лишь с одной такой кликой примерно на 10% меньше числа рёбер в полном графе.

                      Непосредственно сам поиск такой клики можно реализовать тривиально. Ниже мой код на C++11 с использованием библиотеки Boost Graph Library (BGL).

                      #include <iostream>
                       #include <algorithm>
                      diff --git a/posts/moio-reshenie-zadachi-60/index.html.gz b/posts/moio-reshenie-zadachi-60/index.html.gz
                      index b3ed2f8ad72f54c0f8602826f8e4d67406ffc8e9..d66455b31b0933f51aa62edf0a07d560497de305 100644
                      GIT binary patch
                      literal 6885
                      zcmV_x$Z1xVX64fT}-5^&sibVXZVk@br
                      z)UpaGP0!x5phuRoU&}vl%0E|9MY4M74$~A~-N;SMFiBUy<6qgNVQ&Oo@(_(fZ)wHWwp!ryH-L{P^+iLPwA@#fLM_04g^@c%h
                      zURGI(RCLW|8o<7Hqrj9J%T(&7-e85rel#|>RVLVV{?j??d`CK;JG-5Kb9S9WXV2Ls
                      z&U2^jJagKeFP**r{qM^QGpl(Ca*Ps<0_K#$tcuAEo9kNN_$mL+EzY(L-L(69Zga)1
                      z7Zldw6_ynjeXs&v<=Q4OnOaC$_KwP|I%9yKZnA12mCNPfpIv7SmakY=UenD6Rrx0@
                      z2Uq<>2qY2)C1@?@^Hm_h%GGqerZQ@9D_7AQh~%v*ZE$s`@Q!Xa8=rk(ZBteG?DqQn
                      z8r7`NZr8c0Te?wa=4T(3o0{F6zo~0_YKXw&V~@!I5|yRf%mTIL8eH?`V@zBP+J&Eq
                      z3|v>IDr1V3r>dHxw%*9yZ>T9^?-*b-)G$&4&uU^Agt8OuiRIR?E7w
                      z(>KQPs5|Ibh8Lt{l&G5Eqp9NW^(LVvBTb8IH9|F@)HZdkR@9re0z4`(yu3lmroL@4
                      zGe>TN2U(1)(m}Dx_Bse|M>toi*feS;RT$aPo2Cc8nx{pgn?ums+uN>pO3&;OnSaY<
                      z3O8BBF4$%hXr>jLw}3YCuINv$i@xL?>@3jRI^hk&)LZV*?7qQF&a?{4t>%q>iS>o(
                      z-d%;a2v;CjnZOG(!Ky{*W~R7nafOwsnexPm*IBDh6@Ae^l76F}s?U_DRcd=u@hJcHCrLm`q
                      z&c6f6ZRaTr*6ut;dRM^_#{xEJjahj^vS8&f;Q~I$X2{3Skk5d6XTS5P^HmJAv<#N+
                      z;rzSvgdmY1nIp`Tk?_e-g1>t~ttf&L-Wx`>ns2I}z=e!gtGaG?tqhdMwW{vfRG-=2
                      z*0&kB1S#*3+YE!0mUGcSr`5c~Qk0PbKFkalwV_*f7V|Nri$R;z)m{gcTlR2f_7MX$
                      zZC(K%bWK$NL#8)(eC(oI1Obn3f6;Z=KZc-e-WVJMZ=?uDDEw4NEiEj*kzKfwUA(fs
                      zcxCxl3(E@&^9!%T?-VhbW$YJ>T@*+E)p?c&Al{(K}UdX$7rL60l4Qg(p`!5zpS8K0nWy@H(ya0+`91H-1q>`u3N5!Da0r`-vd=g&Xdj`;rBD3?!Y-B=-ti>a3Ao@0})q#0{Su1JjK>M
                      z=Q(=pW7$EtE;e?)>im%)OPz;+^Cjs#MCd)i^Fd#XdI2q+FW}aJyukRikKUgFX!KdY
                      zi5MZ$?2^}Bd2?xLVFj-C@fuJ)h3m@PXNb(g#Enp7?{~dQHvHq
                      z8r*r>`C^bp$;%;p{t?E-!I4!05MMy|U9hGee;&E*Knxg+7W_ErWLTi1kgXcz2H8O+yBUh9X9N-!A38E`k^sz3n^~g5DJ)0yjYG
                      zW7+%?$ooW8qL`GN35;P?SrJ
                      zeiWz)umv}A9|^7aBCYg*qycq}$G++qH{AXNKhC82v<1ufiRxK
                      zLH`*jkZ=a$CP0QMJf|@mZ@@gTQMkO2DuRZ-=sc21#vSo5psL3LBj~G***7yV6e{x&
                      zeX;X(&wo&i!iO;MfGJ4VMQtB;z5_KC6?Gs?#*aLO|
                      z%S3h}uGZHh<*%mSp1pGnRj)*vD*MM%f*Vv~s6ze__UI0{NrR1In1@GcW
                      z{f-Z?84PH$x7YS392?#2i7?qVDgn6ri>Q#K1qkB$lqVJT0!IAKIq;a1_5-n1MB+d7
                      zhncoi_K#>6LKqVTRSJ@au50r_xoVGsOaX>rHYgzgQU4=_>`MvqhCrXAs0X5W+ux@@xT~_NJx6Yl
                      zyC$#I?Q~xpIdU0mLoD8NUck_Q7Ix!$r<;OZarXS?p!1dIT&U(g89a5R(~JN9L>U8d
                      z=}08KeK#cdL-eAO0U^jJE%o9~M!MWjm`wUi0<)^ig-h#zZJI@iPx_j?onFXZ)wE3#U_vB8gfQ4!rr4k0AiOE7z4JP{9NsByFX
                      z9$LmR3v*t$%LH_65Yga!oqx5k^#>LT8}nl9N4PScE)L7K&sd(v_%L
                      zWabe?)BqDgDG#CXK)B=Qp2?!wVK#ELCL#<`{UlGQ{w~d+1lhKLw7ElS9lM80F9)g^hRZ
                      z9__jF$8J^V#b3Ay0IsjQGVOW$52Cn0Z}_@@CetR~S_BUMqYyO8?%6<s`bBKDa6t
                      zmV}vAqQX)3eW~5+FTOpUiCA{js}a1&wAWK8DBydz{>e+)FQh=9NlvfN&o3?tS>eb(
                      zyHW9ZH#qIdsuNS?6EWP8&=rz%O^3NYdDo;yoxIP>CN+1++&~DaP{T?Uuf6-e8!pnW
                      zL~t$1?NWz;qGC`<6;}rhPgOffAMQGL-3rOawv3mPSzNo*XZDS@M;
                      zC-Hof*-cZMUbKm;)bo^Hqh{CjkVJSZFnP@dk*{mrQZ06J3L(&u*Myc1#}
                      zK|#?BkG?C>sk@XYd0|02(2M5h1JH3h2?q+VkA|r!1hxEf6q$h#L*tL|gh{KQW9WzJ
                      zDvYYo$M?W!UbGChq@@c>I(7XfX_BFfn(3rA;(YB4QW&pB+wd5bW}|Xn<-zO+fNU*B
                      zDl0=5G-A;lsNTp|K-o;GDEvoQV;Ql)#X`h4(PmzQ
                      z8c_v|3g?=A`Bx=7Qo-uN#aVvBtpqF5gxqym_kn#2J~TDkB6^h=LE7Vq8>fdn|0%C++`D|etUU6D$
                      zK7sf^|lD4y|~5hts?7pS;+p`G-EVJZj$r&(ScZtg)ze+5e<^OmY(0m-MEcc%3`qRC<36H~tD75L#j}Hoz@A
                      zs)5(0@jPX0L!4rM7!l{Fa<7Dl&iq6IOsW*)$;~ipic@p1#G&p|qU4RWAUyu5`#!=a
                      z-4%>#TuCpe+SIH?s{%uw6%CO~CSqNf?0Mm-&(}@XDz&0c+QSQ`^vUm2#MruzYp*dM
                      zl!!ZA*am+l_(X4rR?`u8VWvd<)J`WHpSDlyy;?y}cn3R1q6;mPuN1|JKQVl>f07wx
                      z=Wj8woxdnWa?)vPM5vr}Pd5=upJdhSEF`hW`D;`>o6N$JeWYjPY&x;$A0j7=uvyN@
                      zksTZerDeckxZbPNsYqEHqGzy;mJ8n~d7^P}R_VrZaVX
                      z%8WXd9T8I}p2>!7(%9WK#z-$hiT#c?Bl6a^m0hiDzD=}#F>0N0<>cQ#F-FCGhE5|1;fZaSDM&E*xNpc3`Nd2i
                      zbk}s0#oq}$X`z&)#U!+qk=}^@xUYGZ9)~{*d!QrLIkCZvbnrV7x1?enl8bIDttlKK
                      zJn!Ze`MIu<6~@HJ4Hbbu&U>iCY%;NJ=|ms?%A7lP!k_Dke5i6-FH}b}Me*@UjQaZ+
                      z;KXTd<>I-BiN5|p*OhZ{w7nJQXuFS{PW6O)E7l4338+l?pnIz{y>BU++R>b`zuKr3
                      z@whr3A9&+LzQg3C0z;Gy-Pk9B!U9VA|HFH~BvXJN(
                      ziNvw%SS!9~=<7cwUu%CCq(dP1kyj>LgysRpKR@dG6l2nTY%d_$w}*{1c5z%Y>bLw(
                      z?Y&M@m;p02>J&K4&F)0>i;YBHch==0+8pO(&T$6{c=A`IjkeGE;HNg#gbXy%Xcel=
                      zF*n+#7cL@}IEhOpne9K{+J8g^a#p@)VbI*iu6X&`I*JkFNgAA=22HW(!GduQs;
                      zF(zNge8{Y(YEOQev%$3zQ(1#)kte({B_8j@Q*8Z4e#90N_(tGL={cBZVSbJp8_o$|
                      z<&iUsNbmTfNxmmI%*)D2F6%u=2S_d(w1zSc=_h^UCR{m5OddvNs=Q$`xKenlI5RV|
                      zY80KncOE%Uo!!o(Wgy2kb*)xhy1elE>i{CJ0H%mNz1G38sR8l%quX!0BjmbZ#QB@k
                      zc78(4orj&r8M2CW4lFi`8^k$qj-cP6b3~jcov)mi@S*d$vkTBKojvC{v_5s(faPoA
                      z{OBA(QyXqR!|p%B#Zl)^&TfV{d!2{Q&(QZ}=WFMA=Zns_#D~yp?{*(l!p;B!|*
                      zJO)SrdxqT}yR=Gxqt~>uWvl=fZOL&?%2+NJ5_`vBg_OnwhE0jF+>yrob(1T40U7`)FKclhI9Vs#4Wrsg)VgibRPU-T?UH4KN4PFs9|U
                      zxnkGJD!Fp`%`|z7q*PY5Q)F58TNxfb2o8w?FxhX#m%0GZS=(%~S%B^KmEaF%x>6Ys
                      zAYkfB8W2*Oxx${Cl^tf&62Smejw=8-LKS{+sBwfmrgPuEmRZ5Bb=x+q<$S)PX!opK
                      zMb(>1Ri!4&RrE%lLifDN%U0fn%`fGyxM$^s%
                      zVSrwKMxH@{nOUfI@f!KbUSC`DV`z{Q5a7~1p&Nj1G}PXOz{#{`@9JN4y%8WKgl*Bj?kvw@x86AmSNyH4oa-Ky)`9x=-VU23>bgIN}>u{C=~Wq?uB%?4F{
                      zaJlTF%!k@!FhEzu(LgvLp1bff2khhD^y~%!_4&fNEcF0?@e6>0UkKt0VVHUah`wP#
                      ziog@d{(Q-vti{JL5Yv==4eBeq$
                      z^c7vz(Qdg`XC}AFCBhqqZrW6{XMN3hAbNJ~9~_ETz@_K=BI|rALqtpk^uJzs)%(gV
                      zX3qNIJuZj`>6O77m^Nm?87WNYX33=j1T^mo5=np8p-A!}%%vR|QE~xu#~-c@@%!r{FHTBk({pQ$}LRie95oaT`KGWi&Fk
                      z-zaohaN#TlUv5u;6Kx}gzSll}H&IpR0O5s-Pe#S52Ps)#%ynz5vaalq&psnQ<*jvX
                      zXPwq=(FU8Ft%J5_({~m&(m84vFh#pw=c+O{P^ds*_5kKN@}fAzocq>oCd?(Exo+kI
                      zTByYp)}3GJmYr=do2LAG3kaBD{S9X?FmaHR7nm5pOpB7b$*P4^E|-UY6(}%ky14_h
                      zGyNWrmSs&9EWU0x)Ku}dyhm=}z12LG6SA-Ye-MN14Gm+{+IS;m{2(iC?+R{$2J|V{
                      zRJWIyX^CDz)Iu{#Gl~uX1P|k=$ADI$*6rO{&FiYXa_70d2085=G0&Qj^MR5rQkVUhSUm5(3B@bENJw1O|K6)r^H(mvzo&2oCaE`wWC!ESZLuD1Q2F+uV8*t
                      z=<)(J?h3JT225-;`^3Ro2iL6|@Lv@wa)^oWYwtiG&U<*O><~V4A;OpE)fj3G%
                      z@B%QG8vvFgQAL#>#buLng;X1gWm8^EwRkNDG#_hjaBk-4W{YhVQ@_c5bTxO~XqpOV
                      z6^*7y)zCTB0rtHcMXJ_mw%V|aCM_=Xqv4EeRIuy(w{z6_mUKRIc02#!>^g_ep0i7w
                      z=T6&s=CnIsID7y2pUd+zD+LL1j1pY|%qf-HRg0ON8G7INDgVw}jBcBT#rt}0GnF@r
                      zD&1mLniCg&umWCV`UbJ6R!rG^N27LwQb5qKXswva=L_(UH)xX=T-Y
                      zt9~K`5&@G&3EE4ALJdf;^L4|hYg93rov#{AMDkWmX)9)a|voRYkX>4>P8*;rKaao7&)F`6knSZEj3lO{EJz6B)Ro8TG!wBf-`g
                      zZ?r1G?vg@jgRnKWL7NJ1^$5M4KQ*
                      z(Kxkqg+rJU;iQ;yzI9$YN6ruAjm2M*tI(Ug1Bg?k5Q7lQwu9(^rt!)6aCOy(3K`;v
                      zZB+*ac+W0uK}a{OLeo$IE&IgEE#@!h7lk=s;9n_7SXVQJUc_Ii80t>n7{@c@U=TFD
                      zgd!t)&4PHED*e`I5yhgUWi!1_6dfq#mZ8^6MvJS!qYA^z8>C_x+cvfGM
                      zN|m!MppCpM`jhLTFL?($3-sI|tZ7=tmOC`PZ&Hgd1+!mbed)A!S7lp-sgPJK
                      z;DuUX)gsMOOWd`YN-K($^2CYPIlG~##^v-xlptBPQ(b2W|zG7
                      z%A1Re^UH9xkJo_eDRc*voyVeSVVO8j3E=+5c>*{NB!?JrtF4vmXU&0&KyJ
                      z+($wyzDTP*AZb8dPYL!mMc(HA>k_526L
                      zD0~P5514{Tuw4`UkhP#L$033pi
                      z31XxVAzCy$aCg)U{ucxh5%GW$a2yb0=WF3n2c6Fe#vU|A*FFK(jXhuo!0bM%R|cY8
                      zdG({$H!Cp%ooyi#LBQ{Y?TCnjb`9uudyRcML$U4?;RQfNPD<{HQ1C8})bIEJo5g@8
                      zdwXqv#Ie!Mo(Pj|qY{9-KZ^=UT7V#~PkB;dFJQ!Podb_KX+IEKMI`=Xf0$`YW&eP7
                      zK|~;Xgy9A>h2i?p)5~Ct-W5ck-MCUl)}gywEeh}Y!ZRP&5ReZSH%21K*K^=(uNNf_
                      zk(_79n-^pH$P{20W`hy}5cR)O$i9>yZwT}mih3Z5xBY$kgS#57@mX?<+_hM}!83hv
                      zzQJN!X3+oo)(t#o6r6ZB__T7-+
                      z57CQCCWIifyx5C7S?O{=VlwG73CyZ47cQ*>wt@bLCj8rCSJdC
                      zjLTk{K#E^S55JNXypY%DugGcz#|A&{MMZQgIfRg4FTw1I@kBh7p~lVjduSQQEX;Y~
                      zj?*K!2M0LY_y=R{vp`WwgD|sXbI2zA{L-5}A<~0xEr7Iv!=dr~9yIU+CV3nf>`>^rDyE}ehZLoA|jDs4+EOWXfpS^8N~CvqmT^TXHnqxzFjs4EdO~o-t1!h
                      z^lZB;R3XWjBK!+b*%uJ|$~Eb%M;K9k3Y~$POHTHHVG;5~Styc;NLQj}k(oynQ3Ff}
                      zr96bj1L2OJc_xcyhuO&0nusuf0KNFI-!rh*4bli;ILM>N$bfu6L@<^%dL&}C42)8K
                      zVCIqKhh&Ll-mP$CU3%yinq%PI%o5WF@1b82{}ebvP7X15V3b3H6gJ+qd$i}yAG%ec
                      z7k}X<0Jy&H%CzV0-;3e`z2U3=nM|8_YY{m34?@r=yJrJciXe4&DIfX!73Z_Oc!?K-{zEr*wZ)9&>)@0nW_1s-
                      z&KI!+5;`WU&g0pzk|i@BGf}`G<1!ZXCP@cfW0n|>L?!k`-!u$H{T71bE=EPS2pTBX
                      zo=D$<8%Lrb_!HDwII9u!(Bo{Pg3z(0e_*`?qkb=@Fz6iZ>}VRE4p1ye!F>6!SE=;P
                      z^UnPsDIXLRU!6H3R1Q@FP+ecXA9s~
                      z)t?bPRRY!f(F^1*$C2H{^axc?N>N0LabHxWwIGrPEzXZNLz<~y6TlmL^M;=7YvbL_2;O3YJ+uz_!em-6&U->PAGH43WsIfdW~W4>H%~
                      z2^kL|rx-)2h3G8AHcEhfFo9EAP^MTmji|ophEkz*rU#9Z$tE@q)z!dJGLv||MS088
                      zrx$JFD)l_2*QnWbEhG`%3QS(JLF5~Hw^WOroPtOkJ2hdO(lmqcsloX@GfDDYi*C8T
                      za_mn`6NTY134~cywPlr?EsaMdb0Kju!H8;IBO&A3ozmh)kn|akoOePjBq%6a;n8M%Vo=M^N0Au_F*N=NPnfg{I);9juHvW)eSF_c
                      zK88$E2wmj&Q_1hKXN0E0lFHS6izkWX_VDTZZCo3?4b&$#i5IJlQCEd*%1^)4k?W-A
                      zVg=%S+S_!NK*GwIzT`iCK@+m7HL*dC>t11Abh7m#2k&H`&~o5Rg+&u^SS7q1c?{G>
                      zlBFNA8d&-T5s^!X(a<7tS~X-~Am3bw<2ezh!PA}Tj!QxeLm6-Vh)jK?KtmekN<)S;
                      z@uFq0B`sc9(y8k=Ns|m+)XXHc5$9`Xkiu9k+J?udG#i!s8VhDW0AzC^Qdt?gpb?Aa
                      zP>n_Od*WYJ_m|dZPXUYPKmiHLHHK3wJfcilLLv=a!VTPW{4}!Fp632yQ`w;9pjlg-
                      zz>$q?=#le#g6mlqYhiGIAyq0Ah((*m7PX0@X=K*SZe|E?DBS(Xbb{}Fu}P%`w>GmT
                      z+_H&o@R;YE&duT*PBXU*rUn)%RJ*3AH&8ZHDhmG@)>uX?aM2L)O|+TURLrOXMujt-
                      zU;agzM=DrdxH!vCxRqc>nvlCL>prk=!-tm6ZDQ1jNq$Z?6RdNmx~->yF$eIy6eO%r
                      zTbasvpJ9s_B5H%~M4m~Sk&8>qj=mEXbrhR|QK{3|H;XYr8sQrWmf<}GCQygRp*gG!
                      zA9cKKl1ej-);p1fwH|TTcbuijxW-1c-f69~FQDnlC&`0w7kfhq>!z)f}4G3L*TQL(m
                      z6`qY1uP=^PP4HyW$sF;KTZbR%Z1YyDd9hS<_LhoH%nU9H%F}!fi|IDCctSaUoEkIn
                      zN3hN)&!H7>?{Iqe{gW3PHUHFymPhTI;5iyf)m0kRF8iOfj+8m-QA@7CXS!jarKP}B
                      zZE5#J(#c66
                      z%wUr~ca8*=$2m5CqRWWq$RsC`ec5R7#OvGo%Ls0Lo2#`Bc1
                      z4RMP3VMLr$)O%$_bmk`#U{d86Pi}@;Q=FQ6ISzG~5+!e}1>x~e-S-hb>8@Z@<4Sr#
                      zl`B>~S``@btZ0Z_vJvaTWX}sveZFqdt@2jXNqcy~lsWl*iWpn>aqTtcgA#Fv3)|q&
                      z2A}8+(P}2*F3gmOpW5k!65IQorNS8Ie(3cXOmf2vXAtPoJ}Y8{6pk~5jM*?IkJNT;Z$=B
                      z9-?J>i%#iXA+Z-a>k;eNt%&_Y!+G>4hqFm8%0*dxij);jgf9M$5XsG}zbSuw_5BzJI_KS=q_chO#Vq7h
                      zGXh>bJYp?ss~q~+;UvuT-VYshm90*7YAKwC(-stY2Q@pMy^mbZ4S$Kt^0ZGb#8@)MJj8$a^tkO*wm6%eO!aRHp5{PyJS_S)rDA3P^B{=LZMgsvZq*d>O`i
                      zS;;6`Krz}hB4#`ms~T0Tk?-Q0hMi3LFj#1y7<;ceRyG;6>!E3(`%Gu*_>>iODmx;k
                      zPCSzh+oa*$HO5FULW%v3HZ$_pww+-9^bfw~PSkyiz=hdlU+o-yoN<<#hiFr(8)dnE
                      zNu$0CV3cEKGN<*d(&RaHtwAkH6!oPC>U{bJNQagz&tZSLElq
                      zMphUTA2(D5{y6WU4ztO`wxtt&_$zzv*a?5GEApYrX}wS#%@oDQsxj*CV}KK~yLp+_z$#aG!w6gb%uJm8bVDMN>PPGxk>-ZACn;j>iYy
                      zIFau#IjO)9WkWaiiJ-86lKKDe9<8A-%NT!MB^YeN2w%2?m%GmW7m3U#`b8pf>^jzp
                      z?-}~~kIC2C-v#Lq2!7<1$rhnmfbq|b`aZ>&bRXLbNcQbvBaK}g*Npltzf*g!(-daF
                      zREs(V4s)|R5&dF4k=LDdd5AX0Ihk|ZfdZcV6=|dGb1wL)O)Vh%&eFt=Wm@y
                      z&QoW%^Jodk;g+G-ON*E1Uw<7ya?975p(BZ
                      z=W&*-Ae{q?jp7Dz4xA(Ccjz1u=Sk;F=OujTeCF%|^h;;Yc@C{loi2WDO-xXi
                      zsqBoGvze~KEo_>n&A$6+TosEd8`xA+G@GWDXGAL!C2n{F;Ey-JEKozKp5JCFZ;%yo
                      zu@)k*Hw8m3pN%mVF9z6&Si2^X$Z`qf+0MInIS~Lx?-M$k1!Aw^w0|Eq0T}cB%
                      zg;Q79vuW8OoskFzpz=%wz!9qOgF}rY#jaXX-e|vWRr1%xaI>GL$Xu@j
                      z{*rVokvr*|I6C43^3vNG*sB#2CH(Lq^O!9#t8?ob(iM(7Qh%ZeZkO#xGfLL&JrkgEZ0Kx#h{ER$<
                      z0JCYRcJUhd$z5Mv^{?j`QUQdMVSw^
                      z$zXu4ilc#WKsiVYBl@bL8ECgm
                      zZ%~VIa*42}X;@s*dD_>E2cl=!{=uPG6y46SG}*?qE^}u?{Psq
                      z$Se=uz_gJDXH;N9mnN5r5YW6UNF@DTha$;`Fqg6+ZRJ?Mj)TI6lO$
                      z3P@*bExn5FO=f*?3cMKiKfe0mdslC*K}_{V`9QcXe7e(9-g^F>4{oi!eRb_>-UV3p
                      z#ppKP@eF@GUjs?m`Ic@sSPjyLr{FHTBk({pQ%7RSiC&{nF%F@iIvSbVZxp&5xNr`G
                      zFXI#7MB9j=@70grO;pu+KzO0zlTmT%K}r@Fv)vl2VyHXhcfTV(<*j{fXHBW!Qkrx&
                      z-2iQ;Gk50KGkL`{VTyLW!8CPtpiqIr>;cSkf?=&^@FUsy{oth8qlXw*W6xWrX_j>
                      zQ47r|%_uqm5Il^d9Rpf{TDNy+rC@0C%AM!-8sxNh#5`+8&Iih-vI&tw`~l0nvyL{4
                      zS9x6fo`r(VQmPxbq1O2rYJ&87=6E~Rm5N5+XZpq(_GEh9?KJB}tJ(fpS*w`xYI>7x
                      zvyHsQHmIm=tyaNxn11v&{eQya`DjHFGM%n<%3-@qh#B@L}o;~ji
                      X6)Ob{MYvFcW?cF|56FifXukjenD1S5
                      
                      diff --git a/posts/nakhozhdenie-summy-k-ykh-stepenei/index.html b/posts/nakhozhdenie-summy-k-ykh-stepenei/index.html
                      index e663ac2..4350250 100644
                      --- a/posts/nakhozhdenie-summy-k-ykh-stepenei/index.html
                      +++ b/posts/nakhozhdenie-summy-k-ykh-stepenei/index.html
                      @@ -1,4 +1,4 @@
                      - Нахождение суммы k-ых степеней Нахождение суммы k-ых степеней
                      1. Нахождение суммы k-ых степеней

                        Давайте сразу обобщим задачу до нахождения \(f_k\left( n \right)\), где

                        $$f_k\left( n \right) = 1^k + 2^k + \ldots + n^k$$

                        Для \(k=1\) формула известна всем школьникам: \(f_1\left( n \right) = \frac{n\left(n+1 \right)}{2}\). Формулу для \(k=2\) знают уже не все, но всё же в школе её найти можно (я видел на обложке учебника по алгебре): \(f_2\left( n \right) = \frac{n\left(n+1 \right) \left( 2n + 1 \right)}{6}\)

                        Интуиция может подсказать, что \(f_k \left( n \right)\) есть некий полином со степенью \(k+1\). Если это так, то его нахождение тривиально. Например, можно посчитать его в явном виде, используя полином Лагранжа. Осталось показать, что наша функция представима в таком виде.

                        Для начала введём обозначение. “Нижней степенью”, \(x^{\underline{k}}\), будем обозначать такое выражение:

                        $$x^{\underline{k}} = x(x-1)\cdot \ldots \cdot (x-k+1)$$

                        .

                        Далее, заметим следующее, если \(a_i = A_{i+1} - A_i\), где \(\lbrace a_i \rbrace\) и \(\lbrace A_i \rbrace\) — некие последовательности, то \(\sum_{i=1}^n = A_{n+1}-A_1\) (телескопирование, можно посмотреть тут, с. 6).

                        Теперь посчитаем сумму \(\sum_{i=1}^n i^{\underline{k}}\). Для этого достаточно понять, что \(\left( x+1 \right)^{\underline{k+1}} - \left(x \right)^{\underline{k+1}} = \left( k+ 1 \right)x^{\underline{k}}\). Отсюда сразу получаем, что

                        $$\sum_{i=1}^n i^{\underline{k}} = \frac{\left( n+1 \right)^{\underline{k+1}}}{k+1}$$

                        Осталось показать, что “нормальные” степени выражаются через нижние. Начнём со степени \(k=1\), тут всё просто:

                        $$x = x^{\underline{1}}$$

                        С бОльшими степенями сделаем следующее: считая, что все степени, меньше, чем \(k\) мы выражать умеем, раскроем скобки в определении нижней степени. Теперь поймём, что старший коэффициент \(1\): \(x^{\underline{k}} = x^k + \sum_{i=1}^k a_ix^i\) или \(x^k = \sum_{i=1}^k a_ix^i - x^{\underline{k}}\). Осталось понять, что каждое из слагаемых вида \(a_ix^i\) мы умеем выражать через нижние степени. Таким образом, можно получить следующее:

                        $$ \sum_{i=1}^{n} i^k = \sum_{i=1}^{n} \sum_{j=1}^{k} a_j i^{\underline{k}} = \sum_{j=1}^{k} \sum_{i=1}^{n} a_j i^{\underline{k}} = \sum_{j=1}^{k} \frac{a_j \left(n+1 \right)^{\underline{k+1}}}{k+1}$$

                        Кстати, формула для суммы в самом начале такая:

                        $$ \sum_{i=1}^n i^5 = \frac{1}{12} n^2 \left(n+1 \right)^2 \left(2n^2 + 2n-1 \right) $$
                        Wallabag и реальная жизнь
                        1. Wallabag и реальная жизнь

                          Начать следует с того, что Wallabag действительно является самым популярным среди открытых приложений для отложенного чтения. Можно взять, например, alternativeto:

                          Первый релиз вышел почти два года назад. Тем не менее, мне сложно назвать продукт зрелым. Последняя, на момент написания, версия 2.0.0-beta.2 не может похвастаться простым процессом установки. Вариант просто выполнить команды из мануалов по очереди у меня не получился. В этом соперничать с тем же Pocket, очевидно, бессмысленно.

                          Стандартная тема, material, ужасно выглядит на моём ноутбуке с разрешением 1366x768, элементы явно рассчитаны на большую диагональ. Ещё часть места отъедает неубирающаяся плашка внизу страницы, предупреждающая о том, что баги в бета версии не есть что-то плохое. Официальное Android приложение упорно не может найти сервер.

                          После волевого решения перейти на стабильную версию (то есть откатиться в равзвитии на полгода назад), дела улучшились, но не сильно. Количество настроек минимально, если не сказать, что их вообще нет. Но оно работает, вроде.

                          Сложности, впрочем, только начались. Обещанная синхронизация с Pocket работает, мягко говоря, неоптимально. После загрузки экспортированного html файла со ссылками, wallabag почти час выкачивал мои 750 статей. Где-то на 500-й статье он выделил слишком много памяти и упал с ошибкой. После этого пришлось руками искать потенциально проблемные статьи и удалять их по одной — удалить сразу несколько элементов невозможно. Затем надо было выкачивать ещё 250 статей, периодически посматривая, чтобы ничего снова не упало.

                          Кажется, что все проблемы закончились, но нет. Дальше синхронизация с телефоном. Она заняла почти столько же времени, при этом, начальное очевидное предположение о том, что токен безопасности вбивать не нужно (он сам заполняется в приложении) стоило где-то 15 минут поиска. Но и это не всё. После того, как база загрузилась, небольшие изменения на телефоне (такие как удаление статьи) синхронизировались больше минуты!

                          Резюме: пользоваться можно, но советовать кому-либо это использовать я точно не стану.

                          Этого бы поста не было бы, если бы я сказал, что Wallabag плохой, а OTHER_PRODUCT хороший и можно пользоваться им. Но я так написать не могу. Ни я, ни alternativeto других решений не знают. Значит нужно их создать. На моём слабеньком VPS уже почти год трудится Syncthing, управляя значительным количеством файлов с минимальной нагрузкой на ЦП. Поэтому мне кажется, что Go подойдёт идеально.

                          Если написать подобный продукт на Go, то многие проблемы даже не появятся:

                          • не нужно разрешать большое количество зависимостей — достаточно одного бинарника
                          • скорость генерации контента (например, создание pdf, epub) будет значительно выше
                          • небольшой оверхед позволит всё хранить в памяти
                          • работа почти на чём угодно

                          В совокупности, будет достигнуто, как мне кажется, самое главное — удобство для обычного пользователя, который сможет без проблем развернуть это на любом VPS.



                        Блог 529 - BGL
                        1. Моё решение задачи 60

                          Краткое условие: необходимо найти множество из пяти простых чисел с минимальной суммой такое, что после “склеивания” в любом порядке любых двух чисел из него тоже будет простое число.


                        Page 1 / 1
                        Блог 529 - блог

                        Page 1 / 1
                        Блог 529 - бот

                        Page 1 / 1
                        Блог 529 - c++
                        1. Моё решение задачи 146

                          Краткое условие: необходимо найти сумму всех натуральных \(n\), что \(n^2+1\), \(n^2+3\), \(n^2+7\), \(n^2+9\), \(n^2+13\), и \(n^2+27\) будут последовательными простыми числами.

                          Блог 529 - FLINT
                          1. Моё решение задачи 146

                            Краткое условие: необходимо найти сумму всех натуральных \(n\), что \(n^2+1\), \(n^2+3\), \(n^2+7\), \(n^2+9\), \(n^2+13\), и \(n^2+27\) будут последовательными простыми числами.

                            Блог 529 - Go
                            1. Wallabag и реальная жизнь

                              Как я устанавливал известнейшее свободное решение для отложенного чтения, и что из этого получилось.


                            Page 1 / 1
                            Блог 529 - lichess
                            1. Экспорт партий с Lichess

                              Сохраняем себе шахматные партии с Lichess.org. Рабочий скрипт на Python прилагается.


                            Page 1 / 1
                            Блог 529 - математика
                            1. Нахождение суммы k-ых степеней

                              Как придумать формулу для суммы \(1^5 + 2^5 + 3^5 + \ldots + n^5\) и есть ли она вообще?

                              Блог 529 - open source
                              1. Wallabag и реальная жизнь

                                Как я устанавливал известнейшее свободное решение для отложенного чтения, и что из этого получилось.


                              Page 1 / 1
                              Блог 529 - проект
                              1. Экспорт партий с Lichess

                                Сохраняем себе шахматные партии с Lichess.org. Рабочий скрипт на Python прилагается.



                              2. CrossGen v1.0

                                Читая хабр, случайно натолкнулся на идею сделать программу, которая по заданной кроссвордной сетке находит способ её заполнить. В этом посте вкратце напишу про моё решение и первую версию приложения.


                              3. Ещё одно вычисление выражений

                                На хабре когда-то увидел статью про то, что в Яндексе двум сотрудникам дали задачу на написание приложения, для вычисления выражений. Менеджер справился за 4 часа, а программист за два. Я решил попробовать свои силы.


                              Page 1 / 1
                              Блог 529 - Project Euler
                              1. Моё решение задачи 134

                                Краткое условие: назовём порождающим для двух последовательных простых \(p_1 < p_2\) наименьшее натуральное число, что оно закачивается на \(p_1\) и при этом делится на \(p_2\). Необходимо найти сумму порождающих для всех \(p_1 \in \left[ 5; 10^6 \right]\)

                                Блог 529 - Python
                                1. Моё решение задачи 134

                                  Краткое условие: назовём порождающим для двух последовательных простых \(p_1 < p_2\) наименьшее натуральное число, что оно закачивается на \(p_1\) и при этом делится на \(p_2\). Необходимо найти сумму порождающих для всех \(p_1 \in \left[ 5; 10^6 \right]\)

                                  Блог 529 - шахматы
                                  1. Экспорт партий с Lichess

                                    Сохраняем себе шахматные партии с Lichess.org. Рабочий скрипт на Python прилагается.



                                  Page 1 / 1
                                  Блог 529 - sympy
                                  1. Моё решение задачи 134

                                    Краткое условие: назовём порождающим для двух последовательных простых \(p_1 < p_2\) наименьшее натуральное число, что оно закачивается на \(p_1\) и при этом делится на \(p_2\). Необходимо найти сумму порождающих для всех \(p_1 \in \left[ 5; 10^6 \right]\)

                                    Блог 529 - wallabag
                                    1. Wallabag и реальная жизнь

                                      Как я устанавливал известнейшее свободное решение для отложенного чтения, и что из этого получилось.


                                    Page 1 / 1
                                    Блог 529 - wxWidgets
                                    1. CrossGen v1.0

                                      Читая хабр, случайно натолкнулся на идею сделать программу, которая по заданной кроссвордной сетке находит способ её заполнить. В этом посте вкратце напишу про моё решение и первую версию приложения.


                                    Page 1 / 1
                                    Блог 529 - Tags