4,654 research outputs found
Modeling Stable Matching Problems with Answer Set Programming
The Stable Marriage Problem (SMP) is a well-known matching problem first
introduced and solved by Gale and Shapley (1962). Several variants and
extensions to this problem have since been investigated to cover a wider set of
applications. Each time a new variant is considered, however, a new algorithm
needs to be developed and implemented. As an alternative, in this paper we
propose an encoding of the SMP using Answer Set Programming (ASP). Our encoding
can easily be extended and adapted to the needs of specific applications. As an
illustration we show how stable matchings can be found when individuals may
designate unacceptable partners and ties between preferences are allowed.
Subsequently, we show how our ASP based encoding naturally allows us to select
specific stable matchings which are optimal according to a given criterion.
Each time, we can rely on generic and efficient off-the-shelf answer set
solvers to find (optimal) stable matchings.Comment: 26 page
Expression and regulation of Cek-8, a cell to cell signalling receptor in developing chick limb buds
Manipulation Strategies for the Rank Maximal Matching Problem
We consider manipulation strategies for the rank-maximal matching problem. In
the rank-maximal matching problem we are given a bipartite graph such that denotes a set of applicants and a set of posts. Each
applicant has a preference list over the set of his neighbours in
, possibly involving ties. Preference lists are represented by ranks on the
edges - an edge has rank , denoted as , if post
belongs to one of 's -th choices. A rank-maximal matching is one in which
the maximum number of applicants is matched to their rank one posts and subject
to this condition, the maximum number of applicants is matched to their rank
two posts, and so on. A rank-maximal matching can be computed in time, where denotes the number of applicants, the
number of edges and the maximum rank of an edge in an optimal solution.
A central authority matches applicants to posts. It does so using one of the
rank-maximal matchings. Since there may be more than one rank- maximal matching
of , we assume that the central authority chooses any one of them randomly.
Let be a manipulative applicant, who knows the preference lists of all
the other applicants and wants to falsify his preference list so that he has a
chance of getting better posts than if he were truthful. In the first problem
addressed in this paper the manipulative applicant wants to ensure that
he is never matched to any post worse than the most preferred among those of
rank greater than one and obtainable when he is truthful. In the second problem
the manipulator wants to construct such a preference list that the worst post
he can become matched to by the central authority is best possible or in other
words, wants to minimize the maximal rank of a post he can become matched
to
The Stable Roommates problem with short lists
We consider two variants of the classical Stable Roommates problem with
Incomplete (but strictly ordered) preference lists SRI that are degree
constrained, i.e., preference lists are of bounded length. The first variant,
EGAL d-SRI, involves finding an egalitarian stable matching in solvable
instances of SRI with preference lists of length at most d. We show that this
problem is NP-hard even if d=3. On the positive side we give a
(2d+3)/7-approximation algorithm for d={3,4,5} which improves on the known
bound of 2 for the unbounded preference list case. In the second variant of
SRI, called d-SRTI, preference lists can include ties and are of length at most
d. We show that the problem of deciding whether an instance of d-SRTI admits a
stable matching is NP-complete even if d=3. We also consider the "most stable"
version of this problem and prove a strong inapproximability bound for the d=3
case. However for d=2 we show that the latter problem can be solved in
polynomial time.Comment: short version appeared at SAGT 201
Stable marriage and roommates problems with restricted edges: complexity and approximability
In the Stable Marriage and Roommates problems, a set of agents is given, each of them having a strictly ordered preference list over some or all of the other agents. A matching is a set of disjoint pairs of mutually acceptable agents. If any two agents mutually prefer each other to their partner, then they block the matching, otherwise, the matching is said to be stable. We investigate the complexity of finding a solution satisfying additional constraints on restricted pairs of agents. Restricted pairs can be either forced or forbidden. A stable solution must contain all of the forced pairs, while it must contain none of the forbidden pairs.
Dias et al. (2003) gave a polynomial-time algorithm to decide whether such a solution exists in the presence of restricted edges. If the answer is no, one might look for a solution close to optimal. Since optimality in this context means that the matching is stable and satisfies all constraints on restricted pairs, there are two ways of relaxing the constraints by permitting a solution to: (1) be blocked by as few as possible pairs, or (2) violate as few as possible constraints n restricted pairs.
Our main theorems prove that for the (bipartite) Stable Marriage problem, case (1) leads to View the MathML source-hardness and inapproximability results, whilst case (2) can be solved in polynomial time. For non-bipartite Stable Roommates instances, case (2) yields an View the MathML source-hard but (under some cardinality assumptions) 2-approximable problem. In the case of View the MathML source-hard problems, we also discuss polynomially solvable special cases, arising from restrictions on the lengths of the preference lists, or upper bounds on the numbers of restricted pairs
Preliminary Results on Chemical Thinning of Apple Blossoms with Ammonium Thiosulphate, NAA, and Ethephon
Preliminary tests were carried out using ammonium thiosulphate as a chemical thinning agent for apple ('Cox's Orange Pippin' and 'Braeburn') blossoms. Ethephon and NAA (1-napthylacetic acid) were included for comparison. Whole tree sprays of 37g/l ammonium thiosulphate over-thinned 'Cox's Orange Pippin' blossoms and severely scorched blossoms, foliage, and apical meristems. Ethephon at 0.35 g/l also over-thinned, and NAA thinned to an intermediate extent when compared with the controls. When the lower concentration of 3.7 g/l ammonium thiosulphate was directly applied to stamens and styles of 'Braeburn' blossoms by brush, initial fruit set was only 30% that of untreated blossoms. When 0.35 g/I ethephon was directly applied by brush to spur leaves or petals of 'Braeburn' blossoms at pink bud, initial fruit set was only 23% that of untreated blossoms. lt is concluded that ammonium thiosulphate has the potential to thin apple blossoms. Further experiments to define optimum concentrations and spray volumes are needed
The Hospitals/Residents Problem with Couples: complexity and integer programming models
The Hospitals / Residents problem with Couples (hrc) is a generalisation of the classical Hospitals / Residents problem (hr) that is important in practical applications because it models the case where couples submit joint preference lists over pairs of (typically geographically close) hospitals. In this paper we give a new NP-completeness result for the problem of deciding whether a stable matching exists, in highly restricted instances of hrc, and also an inapproximability bound for finding a matching with the minimum number of blocking pairs in equally restricted instances of hrc. Further, we present a full description of the first Integer Programming model for finding a maximum cardinality stable matching in an instance of hrc and we describe empirical results when this model applied to randomly generated instances of hrc
- …