The following dichotomy is established for any pair F, G of hereditary families of finite subsets of N: Given N, an infinite subset of N, there exists M an infinite subset of N so that either ...

We develop a novel framework, the implicit hitting set approach, for solving a class of combinatorial optimization problems. The explicit hitting set problem is as follows: given a set U and a family ...