Skip to content
#

transversal

Here are 12 public repositories matching this topic...

(Erdős–Lovász cover number problem)A computer-assisted determination of g(6) = 17, the smallest pairwise intersecting 6-uniform family with transversal number 6. Four papers, and an explicit 17-card witness. Research draft: not independently reviewed, no priority claimed.

  • Updated Oct 10, 2026
  • Lean

A Haskell HittingSetModule.hs module exporting a function that finds (in an Integer-Programming free way) the lexicographically minimal blocking set, of minimum cardinality, of a family of sets of integers. In the spirit of Theorem 9.12(ii) and Example 9.13 from the monograph A.O. Matveev, Symmetric Cycles, Jenny Stanford Publishing, 2023.

  • Updated Jul 9, 2026
  • Haskell

Add this topic to your repo

To associate your repository with the transversal topic, visit your repo's landing page and select "manage topics."

Learn more