{
  "schema": "diskcover-public-problem-v2",
  "problem_id": "diskcover-n26",
  "n": 26,
  "title": "单位圆盘的 26 圆最优覆盖问题",
  "language": "zh-CN",
  "page_url": "n26.zh.html",
  "prompt_url": "prompts/n26.md",
  "alternate_pages": {
    "zh-CN": "n26.zh.html",
    "en": "n26.html"
  },
  "protocol": "diskcover-minpoly-v1",
  "protocol_url": "protocol.txt",
  "fingerprint_script_url": "diskcover_answer.py",
  "report_prompt_url": "report-prompt.txt",
  "reference_sha256": "668e35b36865e692e27ee2377a1dd970d0836c06821140867e4e0962e7b9108e",
  "reference_status": "source_review_pending",
  "reference_note": "n=25、26 的全局最优性证明已于 2026-09-26 获项目本地数学复核接受。n=26 最小多项式来源的独立复核仍待完成；这与全局最优性是不同事项。指纹匹配仅核对答案数据，不验证提交者的证明。",
  "reference_time_seconds": "21600",
  "scoring_version": "diskcover-log-score-v1",
  "score_formula": "round_half_up(200 + 100 * log2(reference_time_seconds / elapsed_seconds))",
  "score_rounding": "decimal_ROUND_HALF_UP_integer",
  "score_direction": "higher_is_better",
  "time_limit_seconds": "43200",
  "deadline_inclusive": true,
  "timeout_score": "0",
  "late_completion_score": "0",
  "not_tested_score": null,
  "scoring_rule": "本题时限为12小时（43200秒）。超过12小时仍未取得符合本题验收要求的有效结果，计0分；超时后完成仍计0分。12小时内完成（含截止时刻），按 S = round(200 + 100 × log₂(参考用时 / 实际用时))计分，越高越好。未测试不计作0分。",
  "scoring_status": "demo_reference_not_frozen",
  "public_record_submissions": "closed",
  "answer_disclosure": "fingerprint_only",
  "configuration": {
    "image": "assets/n26.svg",
    "caption": "覆盖示意图：非最优构型，仅作展示"
  },
  "records_note": null,
  "records": [],
  "best_recorded_run": {
    "run_id": "single32-n26",
    "elapsed_seconds": "445.21964570800003",
    "score": "760",
    "logical_cores": 32,
    "proof_engine": "DGC v62-G",
    "minpoly_engine": "MinPoly v15",
    "sha256": "668e35b36865e692e27ee2377a1dd970d0836c06821140867e4e0962e7b9108e",
    "hash_matches": true,
    "score_scope": "benchmark_score",
    "label": "DGC v62-G · MinPoly v15",
    "report_url": "record-n26-algorithm-run-20261001.zh.html",
    "report_url_en": "record-n26-algorithm-run-20261001.html",
    "note": "本例全局最优性证明已获项目本地复核接受；最小多项式来源的独立复核仍待完成，分数不替代该审查。",
    "note_en": "The global optimality proof was accepted by local project review; independent review of the minimal-polynomial source remains pending, and the score does not replace that review."
  }
}