مسائل المكافأة

BOUNTY-SAT-0001

قيمة هذه المكافأة 1000 دولار أمريكي (USD)، وهي قيد المراجعة القانونية.

يمكنك الاطلاع على النسخة وتنزيلها الآن، لكن الإرسال محظور حاليًا.

من المرجّح أن يكون الإعلان الرسمي في ديسمبر 2026.

عندما تُفتح المكافأة رسميًا، فالمقصود أن يفوز بالجائزة أول شخص مؤهَّل يرسل حلًّا صحيحًا. (موظّفو Problem Forge, LLC والمرتبطون بها غير مؤهَّلين.) وعند تلقّي حلّ صحيح من أي مصدر، ستُسحب المكافأة. هذه مسابقة مهارة، لا يانصيب. ولأن الصياغة الدقيقة كثيرًا ما تكون مهمّة، يُرجى انتظار مراجعة الشروط ونشرها.

الجائزة: US$1,000. باطلة حيثما يحظرها القانون. الفائز مسؤول عن أي ضرائب، وقد تقلّل المبلغ تقليلًا كبيرًا.

لا جوائز خلال النسخة التجريبية.

ملف المسألة BOUNTY-SAT-0001

DIMACS CNF · المتغيّرات: 2983 · العبارات: 16617 · sha256 ded0f20ec1dbd28cf9399c3098e70412898038d1763053506993a7fac9d8c412 · إصدار ملف المسألة 1

تنزيل ملف المسألة سجّل الدخول أولًا.

الحالة

غير مفتوحة للإجابات بعد. المطالبات المرسلة حتى الآن: 0.

كيف تطالب بالمكافأة

1. سجّل الدخول.
2. تحقّق من إجابتك في صفحة «تحقّق». أو شغّل forge-check sat BOUNTY-SAT-0001.cnf <number>. يجب أن تطبع yes.

اكتب الإجابة كما في SAT: البت v−1 هو قيمة المتغيّر v.

الشروط

الإصدار 0 مخطّط عام: اقرأه. أول حلّ يصل ويُتحقَّق منه على هذا الموقع هو وحده المؤهَّل للمكافأة.