217,330 research outputs found
Large induced subgraphs via triangulations and CMSO
We obtain an algorithmic meta-theorem for the following optimization problem.
Let \phi\ be a Counting Monadic Second Order Logic (CMSO) formula and t be an
integer. For a given graph G, the task is to maximize |X| subject to the
following: there is a set of vertices F of G, containing X, such that the
subgraph G[F] induced by F is of treewidth at most t, and structure (G[F],X)
models \phi.
Some special cases of this optimization problem are the following generic
examples. Each of these cases contains various problems as a special subcase:
1) "Maximum induced subgraph with at most l copies of cycles of length 0
modulo m", where for fixed nonnegative integers m and l, the task is to find a
maximum induced subgraph of a given graph with at most l vertex-disjoint cycles
of length 0 modulo m.
2) "Minimum \Gamma-deletion", where for a fixed finite set of graphs \Gamma\
containing a planar graph, the task is to find a maximum induced subgraph of a
given graph containing no graph from \Gamma\ as a minor.
3) "Independent \Pi-packing", where for a fixed finite set of connected
graphs \Pi, the task is to find an induced subgraph G[F] of a given graph G
with the maximum number of connected components, such that each connected
component of G[F] is isomorphic to some graph from \Pi.
We give an algorithm solving the optimization problem on an n-vertex graph G
in time O(#pmc n^{t+4} f(t,\phi)), where #pmc is the number of all potential
maximal cliques in G and f is a function depending of t and \phi\ only. We also
show how a similar running time can be obtained for the weighted version of the
problem. Pipelined with known bounds on the number of potential maximal
cliques, we deduce that our optimization problem can be solved in time
O(1.7347^n) for arbitrary graphs, and in polynomial time for graph classes with
polynomial number of minimal separators
Acyclic edge coloring of graphs
An {\em acyclic edge coloring} of a graph is a proper edge coloring such
that the subgraph induced by any two color classes is a linear forest (an
acyclic graph with maximum degree at most two). The {\em acyclic chromatic
index} \chiup_{a}'(G) of a graph is the least number of colors needed in
an acyclic edge coloring of . Fiam\v{c}\'{i}k (1978) conjectured that
\chiup_{a}'(G) \leq \Delta(G) + 2, where is the maximum degree of
. This conjecture is well known as Acyclic Edge Coloring Conjecture (AECC).
A graph with maximum degree at most is {\em
-deletion-minimal} if \chiup_{a}'(G) > \kappa and \chiup_{a}'(H)
\leq \kappa for every proper subgraph of . The purpose of this paper is
to provide many structural lemmas on -deletion-minimal graphs. By using
the structural lemmas, we firstly prove that AECC is true for the graphs with
maximum average degree less than four (\autoref{NMAD4}). We secondly prove that
AECC is true for the planar graphs without triangles adjacent to cycles of
length at most four, with an additional condition that every -cycle has at
most three edges contained in triangles (\autoref{NoAdjacent}), from which we
can conclude some known results as corollaries. We thirdly prove that every
planar graph without intersecting triangles satisfies \chiup_{a}'(G) \leq
\Delta(G) + 3 (\autoref{NoIntersect}). Finally, we consider one extreme case
and prove it: if is a graph with and all the
-vertices are independent, then \chiup_{a}'(G) = \Delta(G). We hope
the structural lemmas will shed some light on the acyclic edge coloring
problems.Comment: 19 page
Grundy dominating sequences on X-join product
In this paper we study the Grundy domination number on the X-join product G↩R of a graph G and a family of graphs R={Gv:v∈V(G)}. The results led us to extend the few known families of graphs where this parameter can be efficiently computed. We prove that if, for all v∈V(G), the Grundy domination number of Gv is given, and G is a power of a cycle, a power of a path, or a split graph, computing the Grundy domination number of G↩R can be done in polynomial time. In particular, our results for powers of cycles and paths are derived from a polynomial reduction to the Maximum Weight Independent Set problem on these graphs. As a consequence, we derive closed formulas to compute the Grundy domination number of the lexicographic product G∘H when G is a power of a cycle, a power of a path or a split graph, generalizing the results on cycles and paths given by BreÅ¡ar et al. in 2016. Moreover, our results on the X-join product when G is a split graph also provide polynomial-time algorithms to compute the Grundy domination number for (q,q−4) graphs, partner limited graphs and extended P4-laden graphs, graph classes that are high in the hierarchy of few P4’s graphs.Fil: Nasini, Graciela Leonor. Consejo Nacional de Investigaciones CientÃficas y Técnicas. Centro CientÃfico Tecnológico Conicet - Rosario; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Exactas IngenierÃa y Agrimensura. Escuela de Ciencias Exactas y Naturales. Departamento de Matemática; ArgentinaFil: Torres, Pablo. Consejo Nacional de Investigaciones CientÃficas y Técnicas. Centro CientÃfico Tecnológico Conicet - Rosario; Argentina. Universidad Nacional de Rosario. Facultad de Ciencias Exactas IngenierÃa y Agrimensura. Escuela de Ciencias Exactas y Naturales. Departamento de Matemática; Argentin
Colored Independence of Cycle Graphs and Finite Grids
Colored independence is a way in which we can understand scheduling/storage problems where events that cannot occur together are modeled by vertices connected by edges, and events that must occur together are modeled by vertices that have the same color. This research will be looking specifically at colored independence on cycles and grids. The number we strive to describe on said graphs is the independence partition number. The independence partition number can be defined as the minimum of the maximum independent set that exists on each partition of a graph G. This research will be able to contribute to the relatively small amount of research in this subject which will add to the amount of problems that can be modeled using this techniqu
Stabilizing Weighted Graphs
An edge-weighted graph G=(V,E) is called stable if the value of a maximum-weight matching equals the value of a maximum-weight fractional matching. Stable graphs play an important role in some interesting game theory problems, such as network bargaining games and cooperative matching games, because they characterize instances which admit stable outcomes. Motivated by this, in the last few years many researchers have investigated the algorithmic problem of turning a given graph into a stable one, via edge- and vertex-removal operations. However, all the algorithmic results developed in the literature so far only hold for unweighted instances, i.e., assuming unit weights on the edges of G.
We give the first polynomial-time algorithm to find a minimum cardinality subset of vertices whose removal from G yields a stable graph, for any weighted graph G. The algorithm is combinatorial and exploits new structural properties of basic fractional matchings, which are of independent interest. In particular, one of the main ingredients of our result is the development of a polynomial-time algorithm to compute a basic maximum-weight fractional matching with minimum number of odd cycles in its support. This generalizes a fundamental and classical result on unweighted matchings given by Balas more than 30 years ago, which we expect to prove useful beyond this particular application.
In contrast, we show that the problem of finding a minimum cardinality subset of edges whose removal from a weighted graph G yields a stable graph, does not admit any constant-factor approximation algorithm, unless P=NP. In this setting, we develop an O(Delta)-approximation algorithm for the problem, where Delta is the maximum degree of a node in G
- …