Sum-of-Squares Certificates for Vizing's Conjecture via Determining Gröbner Bases

Elisabeth Gaar, Melanie Siebenhofer

The famous open Vizing conjecture claims that the domination number of the Cartesian product graph of two graphs $G$ and $H$ is at least the product of the domination numbers of $G…