977 research outputs found
Vertex-Edge and Edge-Vertex Parameters in Graphs
The majority of graph theory research on parameters involved with domination, independence, and irredundance has focused on either sets of vertices or sets of edges; for example, sets of vertices that dominate all other vertices or sets of edges that dominate all other edges. There has been very little research on ``mixing\u27\u27 vertices and edges. We investigate several new and several little-studied parameters, including vertex-edge domination, vertex-edge irredundance, vertex-edge independence, edge-vertex domination, edge-vertex irredundance, and edge-vertex independence
Optimal Recombination in Genetic Algorithms
This paper surveys results on complexity of the optimal recombination problem
(ORP), which consists in finding the best possible offspring as a result of a
recombination operator in a genetic algorithm, given two parent solutions. We
consider efficient reductions of the ORPs, allowing to establish polynomial
solvability or NP-hardness of the ORPs, as well as direct proofs of hardness
results
On the Complexity of the Constrained Input Selection Problem for Structural Linear Systems
This paper studies the problem of, given the structure of a linear-time
invariant system and a set of possible inputs, finding the smallest subset of
input vectors that ensures system's structural controllability. We refer to
this problem as the minimum constrained input selection (minCIS) problem, since
the selection has to be performed on an initial given set of possible inputs.
We prove that the minCIS problem is NP-hard, which addresses a recent open
question of whether there exist polynomial algorithms (in the size of the
system plant matrices) that solve the minCIS problem. To this end, we show that
the associated decision problem, to be referred to as the CIS, of determining
whether a subset (of a given collection of inputs) with a prescribed
cardinality exists that ensures structural controllability, is NP-complete.
Further, we explore in detail practically important subclasses of the minCIS
obtained by introducing more specific assumptions either on the system dynamics
or the input set instances for which systematic solution methods are provided
by constructing explicit reductions to well known computational problems. The
analytical findings are illustrated through examples in multi-agent
leader-follower type control problems
Weighted Well-Covered Claw-Free Graphs
A graph G is well-covered if all its maximal independent sets are of the same
cardinality. Assume that a weight function w is defined on its vertices. Then G
is w-well-covered if all maximal independent sets are of the same weight. For
every graph G, the set of weight functions w such that G is w-well-covered is a
vector space. Given an input claw-free graph G, we present an O(n^6)algortihm,
whose input is a claw-free graph G, and output is the vector space of weight
functions w, for which G is w-well-covered. A graph G is equimatchable if all
its maximal matchings are of the same cardinality. Assume that a weight
function w is defined on the edges of G. Then G is w-equimatchable if all its
maximal matchings are of the same weight. For every graph G, the set of weight
functions w such that G is w-equimatchable is a vector space. We present an
O(m*n^4 + n^5*log(n)) algorithm which receives an input graph G, and outputs
the vector space of weight functions w such that G is w-equimatchable.Comment: 14 pages, 1 figur
Between Treewidth and Clique-width
Many hard graph problems can be solved efficiently when restricted to graphs
of bounded treewidth, and more generally to graphs of bounded clique-width. But
there is a price to be paid for this generality, exemplified by the four
problems MaxCut, Graph Coloring, Hamiltonian Cycle and Edge Dominating Set that
are all FPT parameterized by treewidth but none of which can be FPT
parameterized by clique-width unless FPT = W[1], as shown by Fomin et al [7,
8]. We therefore seek a structural graph parameter that shares some of the
generality of clique-width without paying this price. Based on splits, branch
decompositions and the work of Vatshelle [18] on Maximum Matching-width, we
consider the graph parameter sm-width which lies between treewidth and
clique-width. Some graph classes of unbounded treewidth, like
distance-hereditary graphs, have bounded sm-width. We show that MaxCut, Graph
Coloring, Hamiltonian Cycle and Edge Dominating Set are all FPT parameterized
by sm-width
Bi-Criteria and Approximation Algorithms for Restricted Matchings
In this work we study approximation algorithms for the \textit{Bounded Color
Matching} problem (a.k.a. Restricted Matching problem) which is defined as
follows: given a graph in which each edge has a color and a profit
, we want to compute a maximum (cardinality or profit)
matching in which no more than edges of color are
present. This kind of problems, beside the theoretical interest on its own
right, emerges in multi-fiber optical networking systems, where we interpret
each unique wavelength that can travel through the fiber as a color class and
we would like to establish communication between pairs of systems. We study
approximation and bi-criteria algorithms for this problem which are based on
linear programming techniques and, in particular, on polyhedral
characterizations of the natural linear formulation of the problem. In our
setting, we allow violations of the bounds and we model our problem as a
bi-criteria problem: we have two objectives to optimize namely (a) to maximize
the profit (maximum matching) while (b) minimizing the violation of the color
bounds. We prove how we can "beat" the integrality gap of the natural linear
programming formulation of the problem by allowing only a slight violation of
the color bounds. In particular, our main result is \textit{constant}
approximation bounds for both criteria of the corresponding bi-criteria
optimization problem
Streaming Verification of Graph Properties
Streaming interactive proofs (SIPs) are a framework for outsourced
computation. A computationally limited streaming client (the verifier) hands
over a large data set to an untrusted server (the prover) in the cloud and the
two parties run a protocol to confirm the correctness of result with high
probability. SIPs are particularly interesting for problems that are hard to
solve (or even approximate) well in a streaming setting. The most notable of
these problems is finding maximum matchings, which has received intense
interest in recent years but has strong lower bounds even for constant factor
approximations.
In this paper, we present efficient streaming interactive proofs that can
verify maximum matchings exactly. Our results cover all flavors of matchings
(bipartite/non-bipartite and weighted). In addition, we also present streaming
verifiers for approximate metric TSP. In particular, these are the first
efficient results for weighted matchings and for metric TSP in any streaming
verification model.Comment: 26 pages, 2 figure, 1 tabl
Lifting Linear Extension Complexity Bounds to the Mixed-Integer Setting
Mixed-integer mathematical programs are among the most commonly used models
for a wide set of problems in Operations Research and related fields. However,
there is still very little known about what can be expressed by small
mixed-integer programs. In particular, prior to this work, it was open whether
some classical problems, like the minimum odd-cut problem, can be expressed by
a compact mixed-integer program with few (even constantly many) integer
variables. This is in stark contrast to linear formulations, where recent
breakthroughs in the field of extended formulations have shown that many
polytopes associated to classical combinatorial optimization problems do not
even admit approximate extended formulations of sub-exponential size.
We provide a general framework for lifting inapproximability results of
extended formulations to the setting of mixed-integer extended formulations,
and obtain almost tight lower bounds on the number of integer variables needed
to describe a variety of classical combinatorial optimization problems. Among
the implications we obtain, we show that any mixed-integer extended formulation
of sub-exponential size for the matching polytope, cut polytope, traveling
salesman polytope or dominant of the odd-cut polytope, needs many integer variables, where is the number of vertices of the
underlying graph. Conversely, the above-mentioned polyhedra admit
polynomial-size mixed-integer formulations with only or (for the traveling salesman polytope) many integer variables.
Our results build upon a new decomposition technique that, for any convex set
, allows for approximating any mixed-integer description of by the
intersection of with the union of a small number of affine subspaces.Comment: A conference version of this paper will be presented at SODA 201
- …