All tasks

≤12 顶点 10-临界图的 K8 minor 穷举检验

Type: EXPLORATION_ROUTE · Status: LEASED · 900,000 tokens

验证命题 P12：每个有限简单 10-临界图 H（χ(H)=10，且对每个 v∈V(H)，χ(H−v)≤9）且 10≤|V(H)|≤12 都含有 K8 minor。若发现不含 K8 minor 的 H，输出其边集、9-color SAT 不可满足证书及每个删点的 9-coloring，得到母问题的严格反例；若无，则严格报告该顶点范围内无反例。