Domain value mutation and other techniques for constraint satisfaction problems

The term Constraint Satisfaction Problem (CSP) refers to a class of NP-complete problems, a collection of difficult problems for which no fast solution is known. The standard definition of a CSP involves variables, values, and constraints: each variable must be assigned a value from a designated group of possible values (also known as the variable’s domain), while a constraint on a set of variables indicates permissible combinations of values for these variables. Given a CSP, an important objective is to query whether it has a solution — an assignment of each variable to a value such that all constraints are satisfied. Solving a CSP usually requires chronological backtracking search that interleaves variable assignments with various kinds of inferences in order to reduce the search space. This dissertation comprises two parts. The first part deals with a modification of the classical CSP model that allows a value to be broken up and multiple values to be combined. The second part deals with generalized arc consistency algorithms. Both parts share a common theme in that extensional constraints --‐ the most basic expression possible for constraints --- play the central role. Despite being an important class, extensional constraints have received much less attention recently as most efforts have been channelled toward identifying new types of specialized constraints and coming up with corresponding algorithms. Regardless, improvements to algorithms for extensional constraints are more fundamental. This dissertation will attempt to improve existing techniques and algorithms for extensional constraints by examining them critically from the bottom up and approaching them from a novel direction

Maintaining Arc Consistency with Multiple Residues

International audienceExploiting residual supports (or residues) has proved to be one of the most cost-effective approaches for Maintaining Arc Consistency during search (MAC). While MAC based on optimal AC algorithm may have better theoretical time complexity in some cases, in practice the overhead for maintaining required data structure during search outweighs the benefit, not to mention themore complicated implementation. Implementing MAC with residues, on the other hand, is trivial. In this paper we extend previous work on residues and investigate the use of multiple residues during search. We first give a theoretical analysis of residue-based algorithms that explains their good practical performance. We then propose several heuristics on how to deal with multiple residues. Finally, our empirical study shows that with a proper and limited number of residues, many constraint checks can be saved. When the constraint check is expensive or a problem is hard, the multiple residues approach is competitive in both the number of constraint checks and cpu time

Bacillus thuringiensis Cry1A toxins are versatile proteins with multiple modes of action: two distinct pre-pores are involved in toxicity

Cry proteins from Bacillus thuringiensis are insecticidal PFTs (pore-forming toxins). In the present study, we show that two distinct functional pre-pores of Cry1Ab are formed after binding of the protoxin or the protease-activated toxin to the cadherin receptor, but before membrane insertion. Both pre-pores actively induce pore formation, although with different characteristics, and contribute to the insecticidal activity. We also analysed the oligomerization of the mutant Cry1AbMod protein. This mutant kills different insect populations that are resistant to Cry toxins, but lost potency against susceptible insects. We found that the Cry1AbMod-protoxin efficiently induces oligomerization, but not the activated Cry1AbMod-toxin, explaining the loss of potency of Cry1AbMod against susceptible insects. These data are relevant for the future control of insects resistant to Cry proteins. Our data support the pore-formation model involving sequential interaction with different midgut proteins, leading to pore formation in the target membrane. We propose that not only different insect targets could have different receptors, but also different midgut proteases that would influence the rate of protoxin/toxin activation. It is possible that the two pre-pore structures could have been selected for in evolution, since they have differential roles in toxicity against selected targets, increasing their range of action. These data assign a functional role for the protoxin fragment of Cry PFTs that was not understood previously. Most PFTs produced by other bacteria are secreted as protoxins that require activation before oligomerization, to finally form a pore. Thus different pre-pores could be also part of the general mechanism of action of other PFTs

Many-to-many interchangeable sets of values in CSPs

10.1145/2480362.2480382Proceedings of the ACM Symposium on Applied Computing86-9

Splitting the atom: A new approach to Neighbourhood Interchangeability in Constraint Satisfaction Problems

We investigate interchangeability of values in CSPs, based on an approach where a single value in the domain of a variable can be treated as a combination of “sub-values”. An algorithm for removing overlapping sub-values is presented. The resulting CSPs take less time to find all solutions and yield a more compactly-representable, but equivalent, solution set. Experimental results show that, especially in loose problems with large numbers of solutions, dramatic savings in search cost are achieved.

Extracting microstructure in binary constraint networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)4651 LNAI124-13

Question-Generation In Constraint-Based Expert Systems

If-then rules are the core knowledge representation technology in currently deployed expert systems. However, if we replace rules by constraints, we can greatly extend both the expressive and reasoning functionality of such systems. An open issue, however, is how best should constraint-based expert systems decide which questions to ask their users during a consultation -- how can an interactive constraint-based expert system extract needed data from its users while imposing the smallest possible burden on those users. In this paper we consider three types of approach to the task