176,583 research outputs found
-Blocks: a connectivity invariant for graphs
A -block in a graph is a maximal set of at least vertices no two
of which can be separated in by fewer than other vertices. The block
number of is the largest integer such that has a
-block.
We investigate how interacts with density invariants of graphs, such
as their minimum or average degree. We further present algorithms that decide
whether a graph has a -block, or which find all its -blocks.
The connectivity invariant has a dual width invariant, the
block-width of . Our algorithms imply the duality theorem
: a graph has a block-decomposition of width and adhesion if and only if it contains no -block.Comment: 22 pages, 5 figures. This is an extended version the journal article,
which has by now appeared. The version here contains an improved version of
Theorem 5.3 (which is now best possible) and an additional section with
examples at the en
A polynomial kernel for Block Graph Deletion
In the Block Graph Deletion problem, we are given a graph on vertices
and a positive integer , and the objective is to check whether it is
possible to delete at most vertices from to make it a block graph,
i.e., a graph in which each block is a clique. In this paper, we obtain a
kernel with vertices for the Block Graph Deletion problem.
This is a first step to investigate polynomial kernels for deletion problems
into non-trivial classes of graphs of bounded rank-width, but unbounded
tree-width. Our result also implies that Chordal Vertex Deletion admits a
polynomial-size kernel on diamond-free graphs. For the kernelization and its
analysis, we introduce the notion of `complete degree' of a vertex. We believe
that the underlying idea can be potentially applied to other problems. We also
prove that the Block Graph Deletion problem can be solved in time .Comment: 22 pages, 2 figures, An extended abstract appeared in IPEC201
Mining maximal cliques from a large graph using MapReduce: Tackling highly uneven subproblem sizes
We consider Maximal Clique Enumeration (MCE) from a large graph. A maximal clique is perhaps the most fundamental dense substructure in a graph, and MCE is an important tool to discover densely connected subgraphs, with numerous applications to data mining on web graphs, social networks, and biological networks. While effective sequential methods for MCE are known, scalable parallel methods for MCE are still lacking. We present a new parallel algorithm for MCE, Parallel Enumeration of Cliques using Ordering (PECO role= presentation style= box-sizing: border-box; display: inline-block; line-height: normal; font-size: 14.4px; word-spacing: normal; word-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3ePECO), designed for the MapReduce framework. Unlike previous works, which required a post-processing step to remove duplicate and non-maximal cliques, PECO role= presentation style= box-sizing: border-box; display: inline-block; line-height: normal; font-size: 14.4px; word-spacing: normal; word-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3ePECOenumerates only maximal cliques with no duplicates. The key technical ingredient is a total ordering of the vertices of the graph which is used in a novel way to achieve a load balanced distribution of work, and to eliminate redundant work among processors. We implemented PECO role= presentation style= box-sizing: border-box; display: inline-block; line-height: normal; font-size: 14.4px; word-spacing: normal; word-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; position: relative; \u3ePECO on Hadoop MapReduce, and our experiments on a cluster show that the algorithm can effectively process a variety of large real-world graphs with millions of vertices and tens of millions of maximal cliques, and scales well with the degree of available parallelism
Maximizing and Minimizing the Number of Generalized Colorings of Trees
We classify the trees on n vertices with the maximum and the minimum number of certain generalized colorings, including conflict-free, odd, non-monochromatic, star, and star rainbow vertex colorings. We also extend a result of Cutler and Radcliffe on the maximum and minimum number of existence homomorphisms from a tree to a completely looped graph on q role= presentation style= box-sizing: border-box; margin: 0px; padding: 0px; display: inline-block; font-style: normal; font-weight: normal; line-height: normal; font-size: 16.2px; text-indent: 0px; text-align: left; text-transform: none; letter-spacing: normal; word-spacing: normal; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; position: relative; q vertices
Definability Equals Recognizability for -Outerplanar Graphs
One of the most famous algorithmic meta-theorems states that every graph
property that can be defined by a sentence in counting monadic second order
logic (CMSOL) can be checked in linear time for graphs of bounded treewidth,
which is known as Courcelle's Theorem. These algorithms are constructed as
finite state tree automata, and hence every CMSOL-definable graph property is
recognizable. Courcelle also conjectured that the converse holds, i.e. every
recognizable graph property is definable in CMSOL for graphs of bounded
treewidth. We prove this conjecture for -outerplanar graphs, which are known
to have treewidth at most .Comment: 40 pages, 8 figure
Computing hypergraph width measures exactly
Hypergraph width measures are a class of hypergraph invariants important in
studying the complexity of constraint satisfaction problems (CSPs). We present
a general exact exponential algorithm for a large variety of these measures. A
connection between these and tree decompositions is established. This enables
us to almost seamlessly adapt the combinatorial and algorithmic results known
for tree decompositions of graphs to the case of hypergraphs and obtain fast
exact algorithms.
As a consequence, we provide algorithms which, given a hypergraph H on n
vertices and m hyperedges, compute the generalized hypertree-width of H in time
O*(2^n) and compute the fractional hypertree-width of H in time
O(m*1.734601^n).Comment: 12 pages, 1 figur
- …