Ödüllü problemler

BOUNTY-SAT-0001

Bu Ödül $1000 (USD) değerindedir ve hukuki incelemeden geçmektedir.

Nüshaya şimdi bakabilir ve onu indirebilirsiniz, ancak gönderimler şu anda engellenmiştir.

Resmî duyuru büyük ihtimalle Aralık 2026'da yapılacak.

Ödül resmî olarak açıldığında amaç, doğru bir çözümü ilk gönderen uygun kişinin ödülü kazanmasıdır. (Problem Forge, LLC çalışanları ve bağlı kişileri katılamaz.) Herhangi bir kaynaktan doğru bir çözüm alındığında Ödül geri çekilecek. Bu bir beceri yarışmasıdır, piyango değildir. Kesin ifadeler çoğu zaman önemli olduğundan, lütfen koşulların incelenip yayımlanmasını bekleyin.

Ödül tutarı: US$1,000. Yasak olan yerlerde geçersizdir. Vergilerden kazanan sorumludur; vergiler tutarı önemli ölçüde azaltabilir.

Beta boyunca ödül yok.

Problem BOUNTY-SAT-0001

DIMACS CNF · 2983 değişken · 16617 tümce · sha256 ded0f20ec1dbd28cf9399c3098e70412898038d1763053506993a7fac9d8c412 · problem sürümü 1

Problemi indir Önce giriş yapın.

Durum

Henüz yanıtlara açık değil. Şimdiye kadar gönderilen talepler: 0.

Nasıl talep edilir

1. Giriş yapın.
2. Yanıtınızı Kontrol sayfasında kontrol edin. Ya da forge-check sat BOUNTY-SAT-0001.cnf <number> komutunu çalıştırın. Komut yes yazmalıdır.

Yanıtı SAT için olduğu gibi yazın: bit v−1, değişken v'nin değeridir.

Ödül koşulları

Sürüm 0 bir taslaktır: okuyun. Ödül için yalnızca bu sitede ilk alınan ve doğrulanan çözüm uygundur.