437 research outputs found
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
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
An approximation result for a periodic allocation problem
AbstractIn this paper we study a periodic allocation problem which is a generalization of the dynamic storage allocation problem to the case in which the arrival and departure time of each item is periodically repeated. These problems are equivalent to the interval coloring problem on weighted graphs in which each feasible solution corresponds to an acyclic orientation, and the solution value is equal to the length of the longest weighted path of the oriented graph. Optimal solutions correspond to acyclic orientations having the length of longest weighted path as small as possible. We prove that for the interval coloring problem on a class of circular arc graphs, and hence for a periodic allocation problem, there exists an approximation algorithm that finds a feasible solution whose value is at most two times the optimal
Linear-Time Algorithms for Maximum-Weight Induced Matchings and Minimum Chain Covers in Convex Bipartite Graphs
A bipartite graph is convex if the vertices in can be
linearly ordered such that for each vertex , the neighbors of are
consecutive in the ordering of . An induced matching of is a
matching such that no edge of connects endpoints of two different edges of
. We show that in a convex bipartite graph with vertices and
weighted edges, an induced matching of maximum total weight can be computed in
time. An unweighted convex bipartite graph has a representation of
size that records for each vertex the first and last neighbor
in the ordering of . Given such a compact representation, we compute an
induced matching of maximum cardinality in time.
In convex bipartite graphs, maximum-cardinality induced matchings are dual to
minimum chain covers. A chain cover is a covering of the edge set by chain
subgraphs, that is, subgraphs that do not contain induced matchings of more
than one edge. Given a compact representation, we compute a representation of a
minimum chain cover in time. If no compact representation is given, the
cover can be computed in time.
All of our algorithms achieve optimal running time for the respective problem
and model. Previous algorithms considered only the unweighted case, and the
best algorithm for computing a maximum-cardinality induced matching or a
minimum chain cover in a convex bipartite graph had a running time of
Recognizing Unit Multiple Intervals Is Hard
Multiple interval graphs are a well-known generalization of interval graphs introduced in the 1970s to deal with situations arising naturally in scheduling and allocation. A d-interval is the union of d intervals on the real line, and a graph is a d-interval graph if it is the intersection graph of d-intervals. In particular, it is a unit d-interval graph if it admits a d-interval representation where every interval has unit length. Whereas it has been known for a long time that recognizing 2-interval graphs and other related classes such as 2-track interval graphs is NP-complete, the complexity of recognizing unit 2-interval graphs remains open. Here, we settle this question by proving that the recognition of unit 2-interval graphs is also NP-complete. Our proof technique uses a completely different approach from the other hardness results of recognizing related classes. Furthermore, we extend the result for unit d-interval graphs for any d ⩾ 2, which does not follow directly in graph recognition problems -as an example, it took almost 20 years to close the gap between d = 2 and d > 2 for the recognition of d-track interval graphs. Our result has several implications, including that recognizing (x, …, x) d-interval graphs and depth r unit 2-interval graphs is NP-complete for every x ⩾ 11 and every r ⩾ 4
Online Independent Set Beyond the Worst-Case: Secretaries, Prophets, and Periods
We investigate online algorithms for maximum (weight) independent set on
graph classes with bounded inductive independence number like, e.g., interval
and disk graphs with applications to, e.g., task scheduling and spectrum
allocation. In the online setting, it is assumed that nodes of an unknown graph
arrive one by one over time. An online algorithm has to decide whether an
arriving node should be included into the independent set. Unfortunately, this
natural and practically relevant online problem cannot be studied in a
meaningful way within a classical competitive analysis as the competitive ratio
on worst-case input sequences is lower bounded by .
As a worst-case analysis is pointless, we study online independent set in a
stochastic analysis. Instead of focussing on a particular stochastic input
model, we present a generic sampling approach that enables us to devise online
algorithms achieving performance guarantees for a variety of input models. In
particular, our analysis covers stochastic input models like the secretary
model, in which an adversarial graph is presented in random order, and the
prophet-inequality model, in which a randomly generated graph is presented in
adversarial order. Our sampling approach bridges thus between stochastic input
models of quite different nature. In addition, we show that our approach can be
applied to a practically motivated admission control setting.
Our sampling approach yields an online algorithm for maximum independent set
with competitive ratio with respect to all of the mentioned
stochastic input models. for graph classes with inductive independence number
. The approach can be extended towards maximum-weight independent set by
losing only a factor of in the competitive ratio with denoting
the (expected) number of nodes
Connected matchings in special families of graphs.
A connected matching in a graph is a set of disjoint edges such that, for any pair of these edges, there is another edge of the graph incident to both of them. This dissertation investigates two problems related to finding large connected matchings in graphs. The first problem is motivated by a famous and still open conjecture made by Hadwiger stating that every k-chromatic graph contains a minor of the complete graph Kk . If true, Hadwiger\u27s conjecture would imply that every graph G has a minor of the complete graph K n/a(C), where a(G) denotes the independence number of G. For a graph G with a(G) = 2, Thomassé first noted the connection between connected matchings and large complete graph minors: there exists an ? \u3e 0 such that every graph G with a( G) = 2 contains K ?+, as a minor if and only if there exists a positive constant c such that every graph G with a( G) = 2 contains a connected matching of size cn. In Chapter 3 we prove several structural properties of a vertexminimal counterexample to these statements, extending work by Blasiak. We also prove the existence of large connected matchings in graphs with clique size close to the Ramsey bound by proving: for any positive constants band c with c \u3c ¼, there exists a positive integer N such that, if G is a graph with n =: N vertices, 0\u27( G) = 2, and clique size at most bv(n log(n) )then G contains a connected matching of size cn. The second problem concerns computational complexity of finding the size of a maximum connected matching in a graph. This problem has many applications including, when the underlying graph is chordal bipartite, applications to the bipartite margin shop problem. For general graphs, this problem is NP-complete. Cameron has shown the problem is polynomial-time solvable for chordal graphs. Inspired by this and applications to the margin shop problem, in Chapter 4 we focus on the class of chordal bipartite graphs and one of its subclasses, the convex bipartite graphs. We show that a polynomial-time algorithm to find the size of a maximum connected matching in a chordal bipartite graph reduces to finding a polynomial-time algorithm to recognize chordal bipartite graphs that have a perfect connected matching. We also prove that, in chordal bipartite graphs, a connected matching of size k is equivalent to several other statements about the graph and its biadjacency matrix, including for example, the statement that the complement of the latter contains a k x k submatrix that is permutation equivalent to strictly upper triangular matrix
- …