Graphs with Large Girth and Chromatic Number are Hard for Nullstellensatz

Julian Romero,Levent Tunçel
DOI: https://doi.org/10.1137/23m1553273
IF: 0.868
2024-07-13
SIAM Journal on Discrete Mathematics
Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 3, Page 2108-2131, September 2024. We study the computational efficiency of approaches, based on Hilbert's Nullstellensatz, which use systems of linear equations for detecting noncolorability of graphs having large girth and chromatic number. We show that for every non-[math]-colorable graph with [math] vertices and girth [math], the algorithm is required to solve systems of size at least [math] in order to detect its non-[math]-colorability.
mathematics, applied
What problem does this paper attempt to address?