olemus
lõplikust hulgast D sellise elemendi d leidmine,
mis rahuldab tingimust f (d ) = 0 ,
kus f on funktsioon
=
given a finite collection of objects and a set of constraints, finding an object of the collection that satisfies all constraints

näide
leida graafist G
mingi fikseeritud suurusega k täisalamgraaf F:
sel juhul d on paar (F,k) ja
funktsioon f on null parajasti siis,
kui F on graafi G täisalamgraaf tippude arvuga k

ülevaateid
https://www.cs.upc.edu/~erodri/webpage/cps/theory/intro/slides.pdf

https://www.brics.dk/LS/01/1/BRICS-LS-01-1.pdf

https://coral.ise.lehigh.edu/~ted/files/talks/PMCS02.pdf

https://www.site.uottawa.ca/~lucia/courses/5165-09/Introduction.pdf

vt ka
- kombinatoorika
- kombinatoorloogika