1,054 research outputs found
New Notions and Constructions of Sparsification for Graphs and Hypergraphs
A sparsifier of a graph (Bencz\'ur and Karger; Spielman and Teng) is a
sparse weighted subgraph that approximately retains the cut
structure of . For general graphs, non-trivial sparsification is possible
only by using weighted graphs in which different edges have different weights.
Even for graphs that admit unweighted sparsifiers, there are no known
polynomial time algorithms that find such unweighted sparsifiers.
We study a weaker notion of sparsification suggested by Oveis Gharan, in
which the number of edges in each cut is not approximated within a
multiplicative factor , but is, instead, approximated up to an
additive term bounded by times , where
is the average degree, and is the sum of the degrees of the
vertices in . We provide a probabilistic polynomial time construction of
such sparsifiers for every graph, and our sparsifiers have a near-optimal
number of edges . We also provide
a deterministic polynomial time construction that constructs sparsifiers with a
weaker property having the optimal number of edges . Our
constructions also satisfy a spectral version of the ``additive
sparsification'' property.
Our construction of ``additive sparsifiers'' with edges also
works for hypergraphs, and provides the first non-trivial notion of
sparsification for hypergraphs achievable with hyperedges when
and the rank of the hyperedges are constant. Finally, we provide
a new construction of spectral hypergraph sparsifiers, according to the
standard definition, with
hyperedges, improving over the previous spectral construction (Soma and
Yoshida) that used hyperedges even for constant and
.Comment: 31 page
Approximate Hypergraph Coloring under Low-discrepancy and Related Promises
A hypergraph is said to be -colorable if its vertices can be colored
with colors so that no hyperedge is monochromatic. -colorability is a
fundamental property (called Property B) of hypergraphs and is extensively
studied in combinatorics. Algorithmically, however, given a -colorable
-uniform hypergraph, it is NP-hard to find a -coloring miscoloring fewer
than a fraction of hyperedges (which is achieved by a random
-coloring), and the best algorithms to color the hypergraph properly require
colors, approaching the trivial bound of as
increases.
In this work, we study the complexity of approximate hypergraph coloring, for
both the maximization (finding a -coloring with fewest miscolored edges) and
minimization (finding a proper coloring using fewest number of colors)
versions, when the input hypergraph is promised to have the following stronger
properties than -colorability:
(A) Low-discrepancy: If the hypergraph has discrepancy ,
we give an algorithm to color the it with colors.
However, for the maximization version, we prove NP-hardness of finding a
-coloring miscoloring a smaller than (resp. )
fraction of the hyperedges when (resp. ). Assuming
the UGC, we improve the latter hardness factor to for almost
discrepancy- hypergraphs.
(B) Rainbow colorability: If the hypergraph has a -coloring such
that each hyperedge is polychromatic with all these colors, we give a
-coloring algorithm that miscolors at most of the
hyperedges when , and complement this with a matching UG
hardness result showing that when , it is hard to even beat the
bound achieved by a random coloring.Comment: Approx 201
Hypergraph -Laplacian: A Differential Geometry View
The graph Laplacian plays key roles in information processing of relational
data, and has analogies with the Laplacian in differential geometry. In this
paper, we generalize the analogy between graph Laplacian and differential
geometry to the hypergraph setting, and propose a novel hypergraph
-Laplacian. Unlike the existing two-node graph Laplacians, this
generalization makes it possible to analyze hypergraphs, where the edges are
allowed to connect any number of nodes. Moreover, we propose a semi-supervised
learning method based on the proposed hypergraph -Laplacian, and formalize
them as the analogue to the Dirichlet problem, which often appears in physics.
We further explore theoretical connections to normalized hypergraph cut on a
hypergraph, and propose normalized cut corresponding to hypergraph
-Laplacian. The proposed -Laplacian is shown to outperform standard
hypergraph Laplacians in the experiment on a hypergraph semi-supervised
learning and normalized cut setting.Comment: Extended version of our AAAI-18 pape
- …