 Combinatorial Nullstellensatz

ID: combinatorial-nullstellensatz

Codex  0 Created 2026-09-24 Updated 2026-09-24

de g f \leq d_{1} + \dots + d_{n}

and

[x_{1}^{d_{1}} \dots x_{n}^{d_{n}}] f \neq = 0

, then for every choice of sets

A_{i}

with

∣ A_{i} ∣ = d_{i} + 1

there is a point

(a_{1}, \dots, a_{n}) \in A_{1} \times \dots \times A_{n}

at which

f

does not vanish.

 New to topics? Read the docs here!