Topic summary
MaxSNP
Extracted from the Wikipedia article SNP (complexity).
MaxSNP
An analogous definition considers optimization problems, when instead of asking a formula to be satisfied for all tuples, one wants to maximize the number of tuples for which it is satisfied. That is, MaxSNP0 is defined as the class of optimization problems on relational structures expressible in the following form: