NP for combinatorialists

Abstract

Lifts (expansions) and shadows (reducts) are used to characterize NP by means of shadows of classes determined by finitely many forbidden lifted substructures. Applications to dualities are given.

Keywords

• combinatorialists