현상금 문제

BOUNTY-SAT-0001

이 현상금은 1000달러(USD)이고, 지금 법률 검토를 받고 있어요.

지금 이 문제를 보고 다운로드할 수는 있지만, 제출은 현재 막혀 있어요.

공식 게시는 2026년 12월에 할 가능성이 높아요.

현상금이 공식적으로 열리면, 자격이 있는 사람 중 맞는 해를 가장 먼저 보낸 사람이 상금을 받는 것이 우리의 의도예요. (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은(는) 개요예요: 읽어 보기. 이 사이트에서 가장 먼저 받고 확인된 해만 현상금을 받을 자격이 있어요.