🛵 🍮 ✋🏼 تحقيق رياضي لكيفية انتخابات المحافظ المزيفة في بريموري في 16 سبتمبر 2018 🦏 👵🏽 🏳️‍🌈

في الجولة الثانية من انتخابات حاكم بريمورسكي كراي في 16 سبتمبر 2018 ، التقى القائم بأعمال الممثل حاكم أندريه تاراسينكو والشيوعي أندريه إيشينكو ، الوصيف في الجولة الأولى. أثناء فرز الأصوات ، تم عرض لوحة معلومات تحتوي على عدد متزايد من البروتوكولات والتصويت للمرشحين على موقع CEC RF الإلكتروني.

جمد نشر البيانات التفصيلية على المؤامرات على الموقع الرسمي لل CEC www.izbirkom.ru بعد إدخال 1484 (95.74 ٪) البروتوكولات ولم تستأنف حتى النهاية. لذلك ، عندما تغير زعيم التصويت فجأة من Ishchenko إلى Tarasenko ، لم يكن من الواضح بالضبط كيف يمكن أن يحدث هذا. وسائل الإعلام كتبت ببساطة "بعد معالجة 99.03 ٪ من البروتوكولات ، تغير القائد ".

ومع ذلك ، باستخدام بيانات الملخص الوسيطة من لوحة القيادة ، باستخدام الرياضيات البسيطة والبرمجة ، يمكنك تحديد ما حدث بالضبط مع البروتوكولات في الليلة التالية للانتخابات بالتفصيل. نحن نستخدم برنامج Python و Colab من Google و مبرمج نظرية Z3 من Microsoft Research. حسنًا ، سننهي كل شيء بالخصم العادي.

خلفية التحقيق والتقديرات الأولية

عدد البروتوكولات هو معلمة عدد صحيح

غالبًا ما ترى في وسائل الإعلام "هذه هي بيانات لجنة الانتخابات المركزية بعد معالجة 90 في المائة من بطاقات الاقتراع أو تقارير إنترفاكس " أو " 0.45 في المائة من بطاقات الاقتراع التي تمت معالجتها في بريموري: يؤدي تاراسينكو ." بالطبع ، يشعر الصحفيون بالارتباك من تمثيل تقدم المعلمة عدد صحيح في شكل النسب المئوية ، وبدلاً من " معالجة 0.45 ٪ من بطاقات الاقتراع " (لا أحد يعرف عدد بطاقات الاقتراع حتى نهاية الحساب) ، تحتاج إلى الكتابة ببساطة ووضوح - تم إدخال 7 بروتوكولات من 1550 في النظام.

البيانات المفتوحة المتاحة

أظهرت عدة عشرات من مراكز الاقتراع عدم كفاية الإقبال في الساعتين الأخيرتين من الانتخابات ، وهو أمر غير مرجح إحصائياً ، فقد اجتذب الانتباه على الفور وتم إنشاء موقع على شبكة الإنترنت مع قائمة بهذه اللجان المشبوهة.

توزيع عدد الناخبين على مدار الساعة حسب المصدر - GAS Elections
من المعروف كيف تغير عدد الأصوات للمرشحين والنسبة المئوية للبروتوكولات التي تمت معالجتها ، بما في ذلك في الفترة التي توقف فيها موقع CEC مع البيانات التفصيلية عن التحديث ، أي من 95.74٪ إلى 99.16٪ النهائي ، تم نشر البيانات في بث CEC وإعادة طباعتها في وسائل الإعلام
تم نشر 29 بروتوكولا ورقيا على الأقل من المراقبين مع بيانات مختلفة عن البيانات النهائية على موقع GAS Elections.
في نظام GAS Election بواسطة روابط النموذج ... & version = 1 ، تتوفر الإصدارات الأولية من البروتوكولات لـ 19 قسمًا. تتداخل هذه القائمة جزئيًا مع القائمة أعلاه المكونة من 29 بروتوكولًا برقيًا: 13 موقعًا تختلف ، والتي تم تغييرها في الرئيس التنفيذي. وهذا هو ، كل المشاركين في التغييرات - 29 + 19 - 13 = 35 موقعا
عثرت GAS أيضًا على 13 بروتوكولًا مخفيًا في مراكز الاقتراع حيث تم إلغاء الانتخابات بسبب زيارة قام بها رجال الإطفاء إلى لجنة الانتخابات الإقليمية في مقاطعة سوفيتسكي في فلاديفوستوك.
قبل إلغاء الانتخابات ، تمت تغطية الارتباطات بالنتائج الأولية على مستوى الخادم ، والآن يظهر الرابط الذي يحتوي على معلمة الإصدار دائمًا خطأ في الخادم (مثال) لجميع الاختيارات ، لكن البروتوكولات لا تزال متاحة عبر رابط معدل قليلاً مع استبدال v بنسبة ٪ 76 (مثال )
في الساعة 07:46 من صباح يوم الاثنين 17 سبتمبر (بالتوقيت المحلي في كل مكان في المقالة ، GMT + 10) ، بدأ خبير في الإحصاء الانتخابي S. Shpilkin بحفظ البيانات من موقع لجنة الانتخابات المركزية كل 5 دقائق ، وتظهر هذه البيانات كيف تم تحميل آخر مرة في الساعة 13:45 53 بروتوكولا

ما يمكن رؤيته في البيانات المفتوحة

نستبدل النسب المئوية المربكة بعدد صحيح من البروتوكولات ونلقي نظرة على جدول البيانات المعروفة التي تم نشرها على موقع الويب وفي بث الفيديو الخاص بـ CEC.

البيانات الرسمية (مع التزييف)

إن أبسط شيء يمكن رؤيته هو في أي مراحل ما حدث للبروتوكولات ، التي تختلف الإصدارات الورقية عنها في البروتوكولات الرسمية.

نظرًا لأن أرقام البروتوكولات المختلفة معروفة ، بالنظر إلى البيانات بنسبة 95.74٪ و 99.16٪ ، يمكنك فهم ما حدث لكل من البروتوكولات الـ 29 التي تختلف عن الرئيس التنفيذي. اتضح أنه تم إدخال 16 بروتوكولًا في منصب المدير التنفيذي فورًا بأرقام خاطئة ثم لم يتم لمسها ، وتم إدخال 13 بروتوكولًا بشكل صحيح ، وبعد ذلك تم تحريرها. من بين البروتوكولات الـ 19 التي تم تصحيحها من قبل المدير التنفيذي لـ 13 ، هناك عمليات مسح للإصدارات الورقية في الجمهور ، لذلك لدينا دليل مزدوج على تحرير النتائج. التعديلات الستة المتبقية موجودة فقط في الرئيس التنفيذي.

معرفة من فاز في الانتخابات

هزم رسميا تاراسينكو. في الرئيس التنفيذي وفي البروتوكولات - Ishchenko. مؤامرة

فاز Ischenko برصيد 249،845 (51.1٪) مقابل 226،637 (46.4٪). عن طريق إعادة كتابة البروتوكولات ، تم تخفيض أصوات Ishchenko بـ 402 صوتًا ، وتمت زيادة أصوات Tarasenko بـ0.077. وبتصحيحات البروتوكولات في الرئيس التنفيذي ، تم تخفيض أصوات I. بمقدار 954 ، T. - تم رفعها بـ 14،894. تم زيادة التأثير الكلي لنوعتي التزييف على الفارق في الأصوات 3132. فلاديفوستوك ، عدد الأصوات ضئيل للغاية ، في هذه البروتوكولات تكون نتائجها الإجمالية قريبة - 2 939 للشيوعية مقابل 3 408 لروسيا المتحدة.

إذا كنت تعول على المؤامرات ، فقد فاز الشيوعي في البداية في 908 قطعة ، وحزب روسيا المتحدة في 628 وربطة عنق في 14 قطعة. هذا هو ، من حيث عدد المواقع ، بطبيعة الحال ، فاز الشيوعي بشكل كبير. من بين 35 تحريرًا تمت إعادة كتابتها في 9 أقسام ، أدى التعديل إلى تغيير الفائز إلى روسيا المتحدة ، في الـ 26 المتبقية ، فازت روسيا المتحدة. أي أن الانتصار المزيف لروسيا المتحدة قد فاز في 637 مركز اقتراع مقابل 899 للشيوعية.

ومن المثير للاهتمام أيضًا ملاحظة أن البروتوكولات التي قام رئيس التحرير بتحريرها قد تم تقديمها في البداية وفقًا للبروتوكول الورقي. ومع ذلك ، واستنادا إلى الأرقام الشاذة (لا سيما بالنسبة للفصلين 2812 و 2863 ) ، فإن جميع لجان أوسورييسك تقريبًا ، والتي كانت نتائجها يحكمها الرئيس التنفيذي ، أصدرت أيضًا في البداية بروتوكولًا مزيفًا ، لم يتم تسجيله في البداية. هذا أمر منطقي ، والجريمة الثانية عادة ما تذهب إلى أولئك الذين تعاملوا مع الأول. ولكن لم يتم تقديم تفسير لمثل هذه المواقع ومحاولة إجراء تقييم إحصائي أكثر دقة للنتيجة في هذه المقالة ، لأن الأساليب الصارمة تسمح لك برؤية انتصار الشيوعية ، والتقديرات الإحصائية ، على الرغم من أنها ستزيد من فصل الشيوعي ، أقل إقناعًا نظرًا لطبيعتها الاحتمالية.

كيف يمكن إعادة كتابة البروتوكول وتحريره في الرئيس التنفيذي

يتم اكتشاف إعادة كتابة البروتوكول عن طريق اختلاف بروتوكول المراقب عن البروتوكول في الرئيس التنفيذي.

والتعديل مرئي ببساطة كنسختين في الرئيس التنفيذي بأرقام مختلفة.

ومن المثير للاهتمام ، يتم حساب النسبة المئوية للمرشح من عدد الناخبين في أحدث نسخة من البروتوكول

المواقع بنسبة 100 ٪ للمرشحين

كما يتبين من البيانات النهائية أن هناك 8 قطع صغيرة بنتيجة 100٪ لـ Ishchenko و 45 مع 100٪ لـ Tarasenko ، منها 42 سفينة ، و 3 قرى بالقرب من أوسورييسك.

المواقع التي حصلت على نسبة مرشح 100٪: 122 صوتًا للشيوعيين و 1874 للحزب الموحد لروسيا. "لعبة هدف واحد"

يتم توثيق المخاوف الإحصائية

بالتأكيد تم توثيق جميع المواقع المشبوهة للإحصاءات (أرقام المشاركة غير المقبولة في الساعتين الأخيرتين) في وقت لاحق ؛ أيضا بمساعدة الوثائق تم العثور على العديد من المواقع الإضافية. لم تكن هناك نتيجة إيجابية كاذبة واحدة في الكشف عن المزورين بالطرق الإحصائية. صحيح ، وفقًا لـ PEC 2809 ، المستند ليس البروتوكول نفسه ، بل بيان للشرطة حول رفض إصدار البروتوكول.

التحقيق

كنت مهتمًا بحقيقة أن كل طريقة من طرق التزوير المذكورة أعلاه - إعادة كتابة البروتوكولات والتحرير في الرئيس التنفيذي - لم تكن كافية بشكل فردي لسرقة النصر. تساءلت كيف تم تطبيق الأساليب ، في وقت واحد أو بالتتابع . ويخصص نص إضافي لدراسة مفصلة لهذه المسألة.

في الواقع ، الفكرة هي - هناك مجموعة من البيانات الصحيحة (عدد الأصوات للمرشحين في صناديق الاقتراع) والمجاميع الفرعية الخاصة بهم (بيانات من لوحة معلومات CEC). هذا يجعل من الممكن من خلال البحث التوافقي البسيط لجميع الخيارات لمعرفة بالضبط المناطق التي تم إدخالها أو تغييرها في أي لحظة. على سبيل المثال ، تم تقديم بروتوكول واحد ، وزاد عدد الأصوات الشيوعية بـ X ، وعدد الأصوات في روسيا المتحدة - ب ص. نحن نفرز جميع البروتوكولات ونبحث عن حيث لدينا بروتوكول واحد مع X للشيوعية ، و Y لروسيا المتحدة. بالطبع ، لا يكفي مجرد فرز الأرقام النهائية للبروتوكولات ، لا يمكننا العثور على 4 بروتوكولات من شأنها أن تقلل من أصوات الشيوعيين بمقدار 5 ، لذلك تحتاج إلى النظر في جميع إصدارات البروتوكولات في الرئيس التنفيذي ، لأن تم تحريرها.

بيان المهمة SAT

لدينا نقاط متطرفة مع بيانات مفصلة ، 4 متغيرات متوسطة وعشرات المتغيرات المنطقية التي تحتاج إلى تحديد لهذه الشروط. هذه مهمة نموذجية لـ SAT ، كتب عنها دونالد نوث في واحدة من أفضل الدراسات في القرن الماضي :

من الواضح أن مشكلة SAT هي تطبيق قاتل ، لأنه مفتاح حل الكثير من المشكلات الأخرى

مراحل إدخال البروتوكول

سوف أبدي تحفظًا على الفور بأننا سنخصص 13 جزءًا من مقاطعة فلاديفوستوك السوفيتية مؤقتًا ، حيث أعلنت الانتخابات لاحقًا أنها غير صالحة. لم تشارك مراكز الاقتراع هذه في فرز الأصوات ، وتم عرض نتائج الانتخابات على 1537 من 1550 بروتوكولًا تم تقديمها ، وسننظر فيها. لذلك ، في الساعة الرابعة صباحًا (نقطة انطلاق تحليلنا) ، بقيت لإدخال 53 مقطعًا ، وتم إدخالها على دفعات: أول 33 بروتوكولا ، ثم 14 و 4 و 1 و 1 آخر. للراحة ، سنتوصل إلى أسماء نقاط التحكم هذه. يمكن تسمية نفس الأسماء بالمراحل بعد نقاط التحكم: الصمت (33 بروتوكولا حتى 4 صباحًا) ، وإعداد (14) ، رائع (4) ، القتل (1) والنهائي (1).

شروط الحدود: من المعروف أنه عند النقطتين 95.74٪ و 99.16٪ ، تكون جميع إصدارات البروتوكولات هي الأولى والأخيرة على التوالي. من المعروف أن 19 من البروتوكولات التي تم تغييرها ، تمت بالفعل إضافة 16 إلى GAS إلى مستوى 95.74 ٪ ( قديم ) ، وأضيف 3 خلال أحدث التغييرات ( جديد ). مبالغ الأصوات في النقاط الوسيطة معروفة أيضًا. سيتم الإشارة إلى البيانات لكل نقطة مع نسبة مئوية من المعالجة ، على سبيل المثال ، 95.74 ٪ ، من قبل R ₉₅₇₄ .

نقوم بتوزيع جميع البروتوكولات ، التي تم تقديمها أو تغييرها في المرحلة الأخيرة ، إلى 3 صفائف: قديمة وجديدة ومشتركة . يبلغ عدد البروتوكولات الـ 19 التي تم تحريرها في GAS 16 عامًا (تلك التي تمت إضافتها قبل المرحلة المخفية ثم تم تحريرها في المرحلة المخفية) و 3 بروتوكولات جديدة (والتي ساهمت بنسبة 95.74٪ بعد النقطة وتم تحريرها في المرحلة المخفية). بالنسبة إلى جميع الأشخاص الـ 19 ، نعرف مقدار التغيير في البروتوكول الذي يغير عدد الأصوات لكل مرشح ، ونشير إلى هذه القيم المعروفة على أنها زيادة . يسمى الرقم في البروتوكول الأخير الأخير ، في الأول - الأول ، مؤشر عدد الأصوات للشيوعية Ishchenko هو com ، لتاراسينكو هو إيه . تشكل البروتوكولات الخمسون المتبقية التي تمت إضافتها في المرحلة الأخيرة من البروتوكول الصفيف المشترك .

المتغيرات المنطقية

بالنسبة لإصدارات البروتوكول ، نعرّف 19 متغيرًا v_٪ d_٪ s ، حيث يمثل ٪ d رقمًا من 0 إلى 18 ، أول 16 مخصصًا لإصدارات البروتوكولات القديمة ، الثلاثة الأخيرة مخصصة للإدخال ثم يتم تغييرها ، ٪ s هي المرحلة التي ننظر فيها في الإصدار ، و صحيح للنسخة الأولى وخطأ للالمحل.

بالنسبة لوجود بروتوكول في النظام ، نقوم بتعريف المتغيرات المنطقية a_٪ d_٪ s ، حيث ٪ d عبارة عن رقم من 0 إلى 52 ، تشير المتغيرات الثلاثة الأولى إلى البروتوكولات التي تمت إضافتها إلى HAS في المرحلة المخفية ، ثم تم تغييرها ، والبقية 50 إلى تلك التي تمت إضافتها ببساطة في المرحلة الخفية ، لكنها لم تتغير في الرئيس التنفيذي (ومع ذلك ، من بينها 14 بروتوكولات أعادت كتابتها اللجان). يتم تعيين هذه المتغيرات على True إذا كان البروتوكول في النظام في المرحلة المحددة ٪ s ، False - إن لم يكن بالفعل.

مخطط تقاطع القوائم التي تم تحريرها في مرحلة خفية وأدخلت

حل مهمة SAT

نظرًا لأن عدد البروتوكولات المضافة في المراحل الأخيرة صغير ، فمن الملائم حل مشكلة SAT من النهاية - من الحالة النهائية إلى الأولى. على سبيل المثال ، بالنسبة للمرحلة الأخيرة ، ستكون الحالة SAT الخاصة بالنقطة الوسيطة 99.10٪ كما يلي:

$r_ {9916} ^ {com} = r_ {9910} ^ {com} + \ Sigma_ {i = 0} ^ {18} (v ^ {kill} _i ؟rease_i ^ {com}: 0) + \ Sigma_ { i = 0} ^ {52} (a ^ {kill} _i؟ 0: first_i ^ {com})$

$r_ {9916} ^ {er} = r_ {9910} ^ {er} + \ Sigma_ {i = 0} ^ {18} (v ^ {kill} _i ؟rease_i ^ {er}: 0) + \ Sigma_ { i = 0} ^ {52} (a ^ {kill} _i؟ 0: first_i ^ {er})$

الشرط الذي تم تغيير بروتوكول واحد فقط لكل مرحلة شرط أنه في وقت النهائي عدد إصدارات False = 1.

$\ Sigma_ {i = 0} ^ {52} (a ^ {final} _i؟ 0: 1) = 1$

لقد حددنا أيضًا الشرط القائل بأنه "لا يمكن رد البروتوكول" ، أي جعل البروتوكول الذي تم تقديمه في مرحلة ما في المرحلة التالية غير مدخلات ، والشرط أنه في حالة إدخال إصدار ثانٍ من البروتوكول ، لا يمكن حذفه ببساطة ، وترك البروتوكول الأول مشابهًا. بعد ذلك تم صنعها في إصدار GAS بحيث يمكن تغيير البيانات الخاطئة بطريقة موثقة ، ولا يمكن حذفها.

$\ forall i \ in [0؛ 53) ^ {final} _i \ geq a ^ {kill} _i$

$\ forall j \ in [0؛ 19) v ^ {final} _j \ leq v ^ {kill} _j$

نحن نترجم الترميز الرياضي إلى رمز بيثون للعمل مع z3 ، وقد اتضح شيئًا مثل:

جزء من رمز الثعبان

# constraints on communist's or zhulik's votes
def findVariants(s, aim, cnt, suffix):
    s.add((r9916['com'] - aim['com'] == \
      Sum([If(Bool('v_%d_%s' % (i, suffix)), rewritten_pecs[i]['increase']['com'], 0) for i in range(19)]) + \
      Sum([If(Bool('a_%d_%s' % (k, suffix)), 0, approved_pecs[k]['first']['com']) for k in range(53)])))

    s.add((r9916['er'] - aim['er'] == \
      Sum([If(Bool('v_%d_%s' % (i, suffix)), rewritten_pecs[i]['increase']['er'], 0) for i in range(19)]) + \
      Sum([If(Bool('a_%d_%s' % (k, suffix)), 0, approved_pecs[k]['first']['er']) for k in range(53)])))

, -, final, kill, fantastic, prepare. - , . , . python- Colab- .

, final

Colab :

 final  get_models final max=10
 final 1. solution found:
 final  enabled: 648 with 0 of fake paper
 final  changed:  delta increased by 0 (0 protocols)

SAT- , , , 648. , .

, kill

SAT- 4 .

 final  get_models final max=10
 final 1. solution found:
 final  enabled: 648 with 0 of fake paper
 final  changed:  delta increased by 0(0 protocols)
 final  --- dive deeper to kill  --- at 2019-03-13 13:56:40.543990
   kill  get_models kill max=10
   kill 1. solution found:
   kill  enabled: P2829 with 1 of fake paper
   kill  changed: 303, 304, 318, 328, 2812, 2826 delta increased by 3751(6 protocols)
   kill 2. solution found:
   kill  enabled: P2829 with 1 of fake paper
   kill  changed: 303, 304, 318, 328, 347, 354, 2812 delta increased by 3751(7 protocols)
   kill 3. solution found:
   kill  enabled: P2829 with 1 of fake paper
   kill  changed: 304, 318, 328, 347, 2812, 2826 delta increased by 3751(6 protocols)
   kill 4. solution found:
   kill  enabled: P2829 with 1 of fake paper
   kill  changed: 304, 318, 328, 354, 2812, 2826 delta increased by 3751(6 protocols)
   kill  end kill at 2019-03-13 13:56:42.284371
 final  end final at 2019-03-13 13:56:42.415697

, 2829, : 291 , 1184 , 1475 . , 6 . 304, 318, 328, 2812 4 2 3 : (347, 2826) | (303, 2826) | (354, 2826) | (303, 347, 354).

3751 , 5226 . , , … 99.10% . , . , 7 , .

, fantastic four

4 fantastic four , . SAT- . 7 14 ( 4+4+2+4 ).

: 14 , 4 kill

 final  get_models final max=10
 final 1. solution found:
 final  enabled: 648 with 0 of fake paper
 final  changed:  delta increased by 0(0 protocols)
 final  --- dive deeper to kill  --- at 2019-03-13 13:56:42.669368
   kill  get_models kill max=10
   kill 1. solution found:
   kill  enabled: P2829 with 1 of fake paper
   kill  changed: 303, 304, 318, 328, 347, 354, 2812 delta increased by 3751(7 protocols)
   kill  --- dive deeper to fantastic  --- at 2019-03-13 13:56:43.153626
       fantastic  get_models fantastic max=10
       fantastic 1. solution found:
       fantastic  enabled: 2802, P2828, 2840, 2866 with 1 of fake paper
       fantastic  changed: 2801, 2805, 2818, 2820, 2826, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 12097(12 protocols)
       fantastic 2. solution found:
       fantastic  enabled: 1912, 1916, P2838, P2847 with 2 of fake paper
       fantastic  changed: 2801, 2820, 2826, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 10707(10 protocols)
       fantastic  end fantastic at 2019-03-13 14:47:16.016131
   kill 2. solution found:
   kill  enabled: P2829 with 1 of fake paper
   kill  changed: 304, 318, 328, 347, 2812, 2826 delta increased by 3751(6 protocols)
   kill  --- dive deeper to fantastic  --- at 2019-03-13 14:47:24.146367
       fantastic  get_models fantastic max=10
       fantastic 1. solution found:
       fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper
       fantastic  changed: 303, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)
       fantastic 2. solution found:
       fantastic  enabled: 2802, P2828, 2840, 2866 with 1 of fake paper
       fantastic  changed: 303, 354, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 12097(13 protocols)
       fantastic 3. solution found:
       fantastic  enabled: 1912, 1916, P2838, P2847 with 2 of fake paper
       fantastic  changed: 303, 354, 2801, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 10707(11 protocols)
       fantastic 4. solution found:
       fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper
       fantastic  changed: 354, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)
       fantastic  end fantastic at 2019-03-13 16:06:58.112487
   kill 3. solution found:
   kill  enabled: P2829 with 1 of fake paper
   kill  changed: 303, 304, 318, 328, 2812, 2826 delta increased by 3751(6 protocols)
   kill  --- dive deeper to fantastic  --- at 2019-03-13 16:06:59.007196
       fantastic  get_models fantastic max=10
       fantastic 1. solution found:
       fantastic  enabled: 1912, 1916, P2838, P2847 with 2 of fake paper
       fantastic  changed: 347, 354, 2801, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 10707(11 protocols)
       fantastic 2. solution found:
       fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper
       fantastic  changed: 354, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)
       fantastic 3. solution found:
       fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper
       fantastic  changed: 347, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)
       fantastic 4. solution found:
       fantastic  enabled: 2802, P2828, 2840, 2866 with 1 of fake paper
       fantastic  changed: 347, 354, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 12097(13 protocols)
       fantastic  end fantastic at 2019-03-13 16:55:17.161744
   kill 4. solution found:
   kill  enabled: P2829 with 1 of fake paper
   kill  changed: 304, 318, 328, 354, 2812, 2826 delta increased by 3751(6 protocols)
   kill  --- dive deeper to fantastic  --- at 2019-03-13 16:55:18.475100
       fantastic  get_models fantastic max=10
       fantastic 1. solution found:
       fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper
       fantastic  changed: 303, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)
       fantastic 2. solution found:
       fantastic  enabled: 1912, 1916, P2838, P2847 with 2 of fake paper
       fantastic  changed: 303, 347, 2801, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 10707(11 protocols)
       fantastic 3. solution found:
       fantastic  enabled: 1917, 1932, 2812, P2819 with 1 of fake paper
       fantastic  changed: 347, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 11597(12 protocols)
       fantastic 4. solution found:
       fantastic  enabled: 2802, P2828, 2840, 2866 with 1 of fake paper
       fantastic  changed: 303, 347, 2801, 2805, 2818, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 delta increased by 12097(13 protocols)
       fantastic  end fantastic at 2019-03-13 17:58:13.976612
   kill  end kill at 2019-03-13 17:58:17.370820
 final  end final at 2019-03-13 17:58:17.511852
Changed before fantastic stage 0 []
Enabled before fantastic stage 39 ['2856', '2863', '201', '202', '204', '205', '206', '207', '208', '209', '211', '212', '213', '214', '216', '217', '218', '219', '220', '221', '222', 'P1904', 'P1915', '1918', '1919', 'P1923', 'P1944', '1947', '1961', 'P1966', 'P1968', '2809', '2813', '2823', 'P2846', '2849', 'P2858', '2859', 'P2862']

:

: (1917, 1932, 2812, P2819) (2802, P2828, 2840, 2866) (1912, 1916, P2838, P2847), 1 2 .
: 2801, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 14 1-4 . 10 ( 10 13). 3 , , 6 17 19 ( 19 ), 3 6 2 3 ( 18 ).

47 , silence prepare

, , , ( ), .

14 47 14 fantastic . ~11 , 3 , . 3 4 , 2 4 . multiprocessing.Pool 1 , 14 14 fantastic 1 prepare, . prepare , silence , 47 14, 33 , silence. , 47 , , .

, , , , . — . — .

1. —

, — 47 0 2 11 12 (.. final+kill+fantastic 2 3, 16). , 07:03 (98.77% ) (13-14 16), , 6 , (17-19 19).

— , . , , , .

2.

, , , , , . 13 , 99.16% ( ).

, plot.ly

, 3 . ( fantastic) 3 , 51.22% 51.28%, . , , .

19 2 , , , , 53*2^19 , 28 . ( ), , , 52*2^19 , 27. ,

$C^{4}_{51} \cdot (2^{12} + 2^{13} + 2^{13} + 2^{13}) = C^{4}_{51} \cdot 2^{12} \cdot 7 = \frac{51! \cdot 2^{12}}{4! (51-4)!} \cdot 7 \approx 7 \space$

— 14 47; 14 . , 11 :

$C^{14}_{47} \cdot 32 = \frac{47!}{14! (47-14)!} \cdot 32 \approx 11 \space$

, , , , 19 , , . , 47 . — 19 , . , .

13

13 04:30 , . , , , . . . , . 4:30 13 (, 813), «». , , 13 , .

, , — 13 , . ( ) 13 ( 404). , , .

, 3 . ( , 13 ), ( ), , izbirkom.ru.
4 , , : 2801, 2820, 2834, 2844, 2850, 2854, 2856, 2863, 2867 1-4 , 4 1 2 . , 4 , 5 ( ).
2829 .
6 7 , 304, 318, 328, 2812 2 3 .
648. .
98.77% (.. , 6 ) 15 18 2 .
6 17 , , — . , , .
51% 46%

().
, 53 (3.5%) .

— , , - , , 54 (48 , 4 , 1 , 1 ) . .

, , , , . «», 2-3 , , .

, , , , , :) , .

kireev.livejournal.com
97.87% 04:10 newdaynews.ru
98.77% 07:03
99.03% 07:07
99.10% 07:14 Meduza, The Insider — 07:20.
99.16% 12:05 , 12:05 99.16%, .
— @RuElectionData, , , , 53 , , .
2801 2805 2812 2818 2820 2834 2844 2850 2863 2867 .
318 328 1915 1923 1926 1944 1966 2801 2805 2812 2818 2819 2820 2826 2828 2829 2834 2838 2844 2845 2846 2847 2850 2858 2862 2863 2867 — .
—

P.S. , , , 3801 540 0 , 2809, 2823, , , .
P.P.S. . , .

UPD. , , , . , , %76ersion- . , version , %76ersion .

UPD2. , 404. , !

, - :

, .
( ).
, , «» ( ) .

, : |

→
→

تحقيق رياضي لكيفية انتخابات المحافظ المزيفة في بريموري في 16 سبتمبر 2018