Experimental Evaluation of Interchangeability in Soft CSPs

Abstract. In [8], Freuder defined interchangeability for classical Constraint Satisfaction Problems (CSPs). Recently [2], we extended the definition of interchangeability to Soft CSPs and we introduced two notions of relaxation based on degradation δ and on threshold α (δ neighborhood interchangeability (δ NI )and αneighborhood interchangeability (αNI)). In this paper we extend the study introduced in [11] and we analyze the presence of the relaxed version of interchangeability in random soft CSPs. We give a short description of the implementation we used to compute interchangeabilities and to make the tests. The experiments show that there is high occurrence of αNI and δ NI interchangeability around optimal solution in fuzzy CSPs and weighted CSPs. Thus, these algorithms can be used successfully in solution update applications. Moreover, it is also showed that NI interchangeability can well approximate full interchangeability (FI ).

• Type: Conference
• Year: 2003
• Where: CSCLP
• Authors: Nicoleta Neagu, Stefano Bistarelli, Boi Faltings
• Keywords: CSCLP 2003, Freuder Defined Interchangeability, NI Interchangeability, Soft Csps