3,366 research outputs found
Hybrid tractability of soft constraint problems
The constraint satisfaction problem (CSP) is a central generic problem in
computer science and artificial intelligence: it provides a common framework
for many theoretical problems as well as for many real-life applications. Soft
constraint problems are a generalisation of the CSP which allow the user to
model optimisation problems. Considerable effort has been made in identifying
properties which ensure tractability in such problems. In this work, we
initiate the study of hybrid tractability of soft constraint problems; that is,
properties which guarantee tractability of the given soft constraint problem,
but which do not depend only on the underlying structure of the instance (such
as being tree-structured) or only on the types of soft constraints in the
instance (such as submodularity). We present several novel hybrid classes of
soft constraint problems, which include a machine scheduling problem,
constraint problems of arbitrary arities with no overlapping nogoods, and the
SoftAllDiff constraint with arbitrary unary soft constraints. An important tool
in our investigation will be the notion of forbidden substructures.Comment: A full version of a CP'10 paper, 26 page
A Variant of the Maximum Weight Independent Set Problem
We study a natural extension of the Maximum Weight Independent Set Problem
(MWIS), one of the most studied optimization problems in Graph algorithms. We
are given a graph , a weight function ,
a budget function , and a positive integer .
The weight (resp. budget) of a subset of vertices is the sum of weights (resp.
budgets) of the vertices in the subset. A -budgeted independent set in
is a subset of vertices, such that no pair of vertices in that subset are
adjacent, and the budget of the subset is at most . The goal is to find a
-budgeted independent set in such that its weight is maximum among all
the -budgeted independent sets in . We refer to this problem as MWBIS.
Being a generalization of MWIS, MWBIS also has several applications in
Scheduling, Wireless networks and so on. Due to the hardness results implied
from MWIS, we study the MWBIS problem in several special classes of graphs. We
design exact algorithms for trees, forests, cycle graphs, and interval graphs.
In unweighted case we design an approximation algorithm for -claw free
graphs whose approximation ratio () is competitive with the approximation
ratio () of MWIS (unweighted). Furthermore, we extend Baker's
technique \cite{Baker83} to get a PTAS for MWBIS in planar graphs.Comment: 18 page
Label Placement in Road Maps
A road map can be interpreted as a graph embedded in the plane, in which each
vertex corresponds to a road junction and each edge to a particular road
section. We consider the cartographic problem to place non-overlapping road
labels along the edges so that as many road sections as possible are identified
by their name, i.e., covered by a label. We show that this is NP-hard in
general, but the problem can be solved in polynomial time if the road map is an
embedded tree.Comment: extended version of a CIAC 2015 pape
On Fork-free T-perfect Graphs
In an attempt to understanding the complexity of the independent set problem,
Chv{\'a}tal defined t-perfect graphs. While a full characterization of this
class is still at large, progress has been achieved for claw-free graphs [Bruhn
and Stein, Math.\ Program.\ 2012] and -free graphs [Bruhn and Fuchs,
SIAM J.\ Discrete Math.\ 2017]. We take one more step to characterize fork-free
t-perfect graphs, and show that they are strongly t-perfect and
three-colorable. We also present polynomial-time algorithms for recognizing and
coloring these graphs
Reconfiguring Independent Sets in Claw-Free Graphs
We present a polynomial-time algorithm that, given two independent sets in a
claw-free graph , decides whether one can be transformed into the other by a
sequence of elementary steps. Each elementary step is to remove a vertex
from the current independent set and to add a new vertex (not in )
such that the result is again an independent set. We also consider the more
restricted model where and have to be adjacent
- …