10,687 research outputs found
Separators in Region Intersection Graphs
For undirected graphs G=(V,E) and G_0=(V_0,E_0), say that G is a region intersection graph over G_0 if there is a family of connected subsets {R_u subseteq V_0 : u in V} of G_0 such that {u,v} in E iff R_u cap R_v neq emptyset.
We show if G_0 excludes the complete graph K_h as a minor for some h geq 1, then every region intersection graph G over G_0 with m edges has a balanced separator with at most c_h sqrt{m} nodes, where c_h is a constant depending only on h. If G additionally has uniformly bounded vertex degrees, then such a separator is found by spectral partitioning.
A string graph is the intersection graph of continuous arcs in the plane. String graphs are precisely region intersection graphs over planar graphs. Thus the preceding result implies that every string graph with m edges has a balanced separator of size O(sqrt{m}). This bound is optimal, as it generalizes the planar separator theorem. It confirms a conjecture of Fox and Pach (2010), and improves over the O(sqrt{m} log m) bound of Matousek (2013)
Some NP-complete edge packing and partitioning problems in planar graphs
Graph packing and partitioning problems have been studied in many contexts,
including from the algorithmic complexity perspective. Consider the packing
problem of determining whether a graph contains a spanning tree and a cycle
that do not share edges. Bern\'ath and Kir\'aly proved that this decision
problem is NP-complete and asked if the same result holds when restricting to
planar graphs. Similarly, they showed that the packing problem with a spanning
tree and a path between two distinguished vertices is NP-complete. They also
established the NP-completeness of the partitioning problem of determining
whether the edge set of a graph can be partitioned into a spanning tree and a
(not-necessarily spanning) tree. We prove that all three problems remain
NP-complete even when restricted to planar graphs.Comment: 6 pages, 2 figure
Sigma Partitioning: Complexity and Random Graphs
A of a graph is a partition of the vertices
into sets such that for every two adjacent vertices and
there is an index such that and have different numbers of
neighbors in . The of a graph , denoted by
, is the minimum number such that has a sigma partitioning
. Also, a of a graph is a
function , such that for every two adjacent
vertices and of , ( means that and are adjacent). The of , denoted by , is the minimum number such
that has a lucky labeling . It was
conjectured in [Inform. Process. Lett., 112(4):109--112, 2012] that it is -complete to decide whether for a given 3-regular
graph . In this work, we prove this conjecture. Among other results, we give
an upper bound of five for the sigma number of a uniformly random graph
Macroscopic network circulation for planar graphs
The analysis of networks, aimed at suitably defined functionality, often
focuses on partitions into subnetworks that capture desired features. Chief
among the relevant concepts is a 2-partition, that underlies the classical
Cheeger inequality, and highlights a constriction (bottleneck) that limits
accessibility between the respective parts of the network. In a similar spirit,
the purpose of the present work is to introduce a new concept of maximal global
circulation and to explore 3-partitions that expose this type of macroscopic
feature of networks. Herein, graph circulation is motivated by transportation
networks and probabilistic flows (Markov chains) on graphs. Our goal is to
quantify the large-scale imbalance of network flows and delineate key parts
that mediate such global features. While we introduce and propose these notions
in a general setting, in this paper, we only work out the case of planar
graphs. We explain that a scalar potential can be identified to encapsulate the
concept of circulation, quite similarly as in the case of the curl of planar
vector fields. Beyond planar graphs, in the general case, the problem to
determine global circulation remains at present a combinatorial problem
Fast counting with tensor networks
We introduce tensor network contraction algorithms for counting satisfying
assignments of constraint satisfaction problems (#CSPs). We represent each
arbitrary #CSP formula as a tensor network, whose full contraction yields the
number of satisfying assignments of that formula, and use graph theoretical
methods to determine favorable orders of contraction. We employ our heuristics
for the solution of #P-hard counting boolean satisfiability (#SAT) problems,
namely monotone #1-in-3SAT and #Cubic-Vertex-Cover, and find that they
outperform state-of-the-art solvers by a significant margin.Comment: v2: added results for monotone #1-in-3SAT; published versio
On the tractability of some natural packing, covering and partitioning problems
In this paper we fix 7 types of undirected graphs: paths, paths with
prescribed endvertices, circuits, forests, spanning trees, (not necessarily
spanning) trees and cuts. Given an undirected graph and two "object
types" and chosen from the alternatives above, we
consider the following questions. \textbf{Packing problem:} can we find an
object of type and one of type in the edge set of
, so that they are edge-disjoint? \textbf{Partitioning problem:} can we
partition into an object of type and one of type ?
\textbf{Covering problem:} can we cover with an object of type
, and an object of type ? This framework includes 44
natural graph theoretic questions. Some of these problems were well-known
before, for example covering the edge-set of a graph with two spanning trees,
or finding an - path and an - path that are
edge-disjoint. However, many others were not, for example can we find an
- path and a spanning tree that are
edge-disjoint? Most of these previously unknown problems turned out to be
NP-complete, many of them even in planar graphs. This paper determines the
status of these 44 problems. For the NP-complete problems we also investigate
the planar version, for the polynomial problems we consider the matroidal
generalization (wherever this makes sense)
Tree-width of hypergraphs and surface duality
In Graph Minors III, Robertson and Seymour write: "It seems that the
tree-width of a planar graph and the tree-width of its geometric dual are
approximately equal - indeed, we have convinced ourselves that they differ by
at most one". They never gave a proof of this. In this paper, we prove a
generalisation of this statement to embedding of hypergraphs on general
surfaces, and we prove that our bound is tight
Approximating the Spectrum of a Graph
The spectrum of a network or graph with adjacency matrix ,
consists of the eigenvalues of the normalized Laplacian . This set of eigenvalues encapsulates many aspects of the structure
of the graph, including the extent to which the graph posses community
structures at multiple scales. We study the problem of approximating the
spectrum , of in the regime where the graph is too
large to explicitly calculate the spectrum. We present a sublinear time
algorithm that, given the ability to query a random node in the graph and
select a random neighbor of a given node, computes a succinct representation of
an approximation , such that . Our algorithm has query complexity and running time ,
independent of the size of the graph, . We demonstrate the practical
viability of our algorithm on 15 different real-world graphs from the Stanford
Large Network Dataset Collection, including social networks, academic
collaboration graphs, and road networks. For the smallest of these graphs, we
are able to validate the accuracy of our algorithm by explicitly calculating
the true spectrum; for the larger graphs, such a calculation is computationally
prohibitive.
In addition we study the implications of our algorithm to property testing in
the bounded degree graph model
- …