# Equivalent CSPs

### From Glossary

Consider two constraint satisfaction problems and and a sequence of their common variables. We say that and are *equivalent w.r.t* if

- for every solution to a solution to exists that coincides with on the variables in X, and
- for every solution to a solution to exists that coincides with on the variables in X.