{"root":"find82","nodes":[{"id":"find82","parent":null,"title":"终结 JSP-000082：给出反例图或推进负向排除边界","kind":"search","specid":null,"params":{"rubric":["提交件含 find.json（或等价 result.json），type ∈ {witness, negative}，字段符合命题书","witness：N ≤ 40、简单图、最小度 ≥ 3、不含长度属于 {4,8,16,32,…} ∩ [4,N] 的圈——由验证器从零重算，不接受结论式声明","negative：附自包含纯 python3 搜索脚本；验证器抽样重跑 [A, min(B,A+2000)] 须与声明一致","诚实性：反例须给出 n 与边表本身；负向须给出脚本源码；已知公开边界须在 method 中引用并声明推进起点"],"target":"find.json"},"deps":[],"weight":10000}]}