בעיות פרס

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 היא מתווה: לקריאה. רק הפתרון הראשון שמתקבל ומאומת באתר הזה זכאי לפרס.