Approximating Partial Interchangeability in CSP Solutions

Nicoleta Neagu, Whitestein Technologies AG; and Boi Faltings, Ecole Polytechnique Fédérale de Lausanne

The concept of interchangeability characterizes the possibilities for making local changes to CSP solutions. Often, interchangeability is only partial and also requires changing values assigned to other variables, called the dependent set. As partial interchangeability (PI) can only be computed by solving the whole problem, it needs to be approximated.

We introduce the new concept of neighborhood tuple interchangeability (NTI) and show that it correctly approximates partial interchangeability (PI). We propose an algorithm for computing smallest dependent sets for NTI.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.