Loading...
conference paper
Graph Colouring Is Hard on Average for Polynomial Calculus and Nullstellensatz
January 1, 2023
2023 Ieee 64Th Annual Symposium On Foundations Of Computer Science, Focs
We prove that polynomial calculus (and hence also Nullstellensatz) over any field requires linear degree to refute that sparse random regular graphs, as well as sparse Erdos-Renyi random graphs, are 3-colourable. Using the known relation between size and degree for polynomial calculus proofs, this implies strongly exponential lower bounds on proof size.
Type
conference paper
Web of Science ID
WOS:001137125900001
Authors
Publication date
2023-01-01
Publisher
Published in
2023 Ieee 64Th Annual Symposium On Foundations Of Computer Science, Focs
ISBN of the book
979-8-3503-1894-4
Publisher place
Los Alamitos
Start page
1
End page
11
Peer reviewed
REVIEWED
EPFL units
Event name | Event place | Event date |
Santa Cruz, CA | NOV 06-09, 2023 | |
Funder | Grant Number |
ELLIIT | |
Knut and Alice Wallenberg grant | KAW 2021.0307 |
Swedish Research Council | 2021-05104 |
Swiss National Science Foundation | 200021-184656 |
Wallenberg AI, Autonomous Systems and Software Program (WASP) - Knut and Alice Wallenberg Foundation | |
Independent Research Fund Denmark | 9040-00389B |
Available on Infoscience
February 23, 2024
Use this identifier to reference this record