Violators and Graph Encodings

The theory of violator spaces can be used to reduce a large, overdetermined system of polynomial equations to a smaller, more manageable subsystem whose solution set is the same as the original system. We will explore potential applications of this technique for polynomial encodings of graph properties.

Reference:
http://arxiv.org/abs/1503.08804 (Random Sampling in Computational Algebra: Helly Numbers and Violator Spaces, De Loera, Petrović, Stasi)

Event Topic

Nonlinear Algebra and Statistics (NLASTATS)