# The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory

@article{Feder1998TheCS, title={The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory}, author={T. Feder and M. Vardi}, journal={SIAM J. Comput.}, year={1998}, volume={28}, pages={57-104} }

This paper starts with the project of finding a large subclass of NP which exhibits a dichotomy. The approach is to find this subclass via syntactic prescriptions. While the paper does not achieve this goal, it does isolate a class (of problems specified by) "monotone monadic SNP without inequality" which may exhibit this dichotomy. We justify the placing of all these restrictions by showing, essentially using Ladner's theorem, that classes obtained by using only two of the above three… CONTINUE READING

#### Topics from this paper.

#### Paper Mentions

988 Citations

Classifying the Complexity of Constraints Using Finite Algebras

- Computer Science, Mathematics
- 2005

- 540
- Highly Influenced
- PDF

Towards a dichotomy theorem for the counting constraint satisfaction problem

- Computer Science, Mathematics
- 2007

- 87
- PDF

The complexity of homomorphism and constraint satisfaction problems seen from the other side

- Mathematics, Computer Science
- 2007

- 274
- Highly Influenced
- PDF

Constraint Satisfaction, Bounded Treewidth, and Finite-Variable Logics

- Computer Science, Mathematics
- 2002

- 203
- PDF

Universal Algebra and Hardness Results for Constraint Satisfaction Problems

- Computer Science, Mathematics
- 2007

- 79
- Highly Influenced
- PDF

#### References

##### Publications referenced by this paper.

SHOWING 1-10 OF 53 REFERENCES

The complexity of satisfiability problems

- Mathematics, Computer Science
- 1978

- 1,803
- Highly Influential
- PDF

The gap between monotone and non-monotone circuit complexity is exponential

- Mathematics, Computer Science
- 1988

- 153
- PDF

Two-prover one-round proof systems: their power and their problems (extended abstract)

- Computer Science
- 1992

- 251
- PDF

The decision problem for the probabilities of higher-order properties

- Mathematics, Computer Science
- 1987

- 93
- PDF