![](http://webcf.waybackmachine.org/web/20190723210205im_/https://habrastorage.org/getpro/habr/avatars/6ea/032/591/6ea032591afe3f7b16f6831576014832.jpg)
Математическое расследование, как подделывали выборы губернатора в Приморье 16 сентября 2018 года
Публикация подробных данных по участкам на официальном сайте ЦИК www.izbirkom.ru замерла после ввода 1484 (95.74%) протоколов и не возобновлялась до самого конца. Поэтому когда в трансляции лидер голосования вдруг поменялся с Ищенко на Тарасенко, было неясно, как именно это могло произойти. В СМИ просто писали «после обработки 99,03% протоколов лидер сменился».
Однако, располагая промежуточными суммарными данными из информационной панели, с помощью простой математики и программирования можно подробно установить, что именно происходило с протоколами в ночь после выборов. Используем Python, Colab от Google и Z3 theorem prover от Microsoft Research. Ну и добьём всё обычной дедукцией.
![](https://webcf.waybackmachine.org/web/20190723210205im_/https://habrastorage.org/webt/o2/w5/58/o2w558wfmeawcjnk8ijpcgynlhk.png)