Experimental Evaluation of Interchangeability in Soft CSPs

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 pae

Experimental Evaluation of Interchangeability in Soft CSPs

Freuder in [9] 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 relaxations based on degradation # and on threshold # ( neighborhood interchangeability ( NI )and # neighborhood interchangeability (#NI ))

Experimental Evaluation of Interchangeability in Soft CSPs.

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)