The command Kuratowski(S,r) returns the Kuratowski hypergraph on S, that is, the hypergraph K whose vertex set is S whose hyperedges are the subsets of S with exactly r elements.

$\mathrm{with}\left(\mathrm{Hypergraphs}\right)\:$$\mathrm{with}\left(\mathrm{ExampleHypergraphs}\right)\:$

$\mathrm{K3}≔\mathrm{Kuratowski}\left(\left\{1\,2\,3\,4\,5\right\}\,3\right)$

$\mathrm{K3}≔\mathrm{<\; a\; hypergraph\; on\; 5\; vertices\; with\; 10\; hyperedges\; >}$

$\mathrm{Draw}\left(\mathrm{K3}\right)$

$\mathrm{AreEqual}\left(\mathrm{Transversal}\left(\mathrm{K3}\right)\&comma;\mathrm{K3}\right)$

$\mathrm{true}$

$\mathrm{K2}≔\mathrm{Kuratowski}\left(\left\{1\&comma;2\&comma;3\&comma;4\&comma;5\right\}\&comma;2\right)\&semi;$$\mathrm{K4}≔\mathrm{Kuratowski}\left(\left\{1\&comma;2\&comma;3\&comma;4\&comma;5\right\}\&comma;4\right)$

$\mathrm{K2}≔\mathrm{<\; a\; hypergraph\; on\; 5\; vertices\; with\; 10\; hyperedges\; >}$

$\mathrm{K4}≔\mathrm{<\; a\; hypergraph\; on\; 5\; vertices\; with\; 5\; hyperedges\; >}$

$\mathrm{Draw}\left(\mathrm{K2}\right)$

$\mathrm{Draw}\left(\mathrm{K4}\right)$

$T≔\mathrm{Transversal}\left(\mathrm{K2}\right)\&semi;$$\mathrm{AreEqual}\left(T\&comma;\mathrm{K4}\right)$

$T≔\mathrm{<\; a\; hypergraph\; on\; 5\; vertices\; with\; 5\; hyperedges\; >}$

$\mathrm{true}$

$T≔\mathrm{Transversal}\left(\mathrm{K2}\right)\&semi;$$\mathrm{AreEqual}\left(T\&comma;\mathrm{K4}\right)$

$T≔\mathrm{<\; a\; hypergraph\; on\; 5\; vertices\; with\; 5\; hyperedges\; >}$

$\mathrm{true}$

Claude Berge. Hypergraphes. Combinatoires des ensembles finis. 1987,  Paris, Gauthier-Villars, translated to English.

Claude Berge. Hypergraphs. Combinatorics of Finite Sets.  1989, Amsterdam, North-Holland Mathematical Library, Elsevier, translated from French.

Charles Leiserson, Liyun Li, Marc Moreno Maza and Yuzhen Xie " Parallel computation of the minimal elements of a poset." Proceedings of the 4th International Workshop on Parallel Symbolic Computation (PASCO) 2010: 53-62, ACM.

The Hypergraphs[ExampleHypergraphs][Kuratowski] command was introduced in Maple 2024.

For more information on Maple 2024 changes, see Updates in Maple 2024.