chromatic): chromatic polynomial and that its evaluation computes cardinality of colorings
#18003

Open

feat(combinatorics/simple_graph/chromatic): chromatic polynomial and that its evaluation computes cardinality of colorings #18003

kmill wants to merge 4 commits into master from kmill_chromatic

start to chromatic polynomials, contraction/deletion, and connection …

a3588767

kmill requested a review 3 years ago

kmill added WIP

statement of deletion-contraction

d81c7cc1

skeleton of direct calculation

bab246f4

alreadydone commented on 2022-12-31

use finset.prod_add

fa43b7d0

kim-em added too-late

Reviewers

alreadydone

Assignees

No one assigned

Labels

WIP too-late

Milestone

No milestone