House of Graphs

Browse posts by tag

July 3, 2026

Extremal Graph Witnesses on the House of Graphs

Four extremal graphs deposited to the House of Graphs: a minimum C6-saturated graph and three Zarankiewicz witnesses. Plus two new exact saturation values, verified and prepared for deposit.

mathematics combinatorics

July 3, 2026

House of Graphs Contributions

Extremal-graph witnesses I deposited to the House of Graphs: minimum saturated graphs for C6, K_4, and P_4, and extremal Zarankiewicz bipartite graphs z(m,n;3,4). Each computed by SAT solving or exhaustive enumeration, re-verified from its graph6 …