651 research outputs found
On the bipartite graph packing problem
The graph packing problem is a well-known area in graph theory. We consider a
bipartite version and give almost tight conditions on the packability of two
bipartite sequences
An O(1)-Approximation for Minimum Spanning Tree Interdiction
Network interdiction problems are a natural way to study the sensitivity of a
network optimization problem with respect to the removal of a limited set of
edges or vertices. One of the oldest and best-studied interdiction problems is
minimum spanning tree (MST) interdiction. Here, an undirected multigraph with
nonnegative edge weights and positive interdiction costs on its edges is given,
together with a positive budget B. The goal is to find a subset of edges R,
whose total interdiction cost does not exceed B, such that removing R leads to
a graph where the weight of an MST is as large as possible. Frederickson and
Solis-Oba (SODA 1996) presented an O(log m)-approximation for MST interdiction,
where m is the number of edges. Since then, no further progress has been made
regarding approximations, and the question whether MST interdiction admits an
O(1)-approximation remained open.
We answer this question in the affirmative, by presenting a 14-approximation
that overcomes two main hurdles that hindered further progress so far.
Moreover, based on a well-known 2-approximation for the metric traveling
salesman problem (TSP), we show that our O(1)-approximation for MST
interdiction implies an O(1)-approximation for a natural interdiction version
of metric TSP
Reciprocity in Social Networks with Capacity Constraints
Directed links -- representing asymmetric social ties or interactions (e.g.,
"follower-followee") -- arise naturally in many social networks and other
complex networks, giving rise to directed graphs (or digraphs) as basic
topological models for these networks. Reciprocity, defined for a digraph as
the percentage of edges with a reciprocal edge, is a key metric that has been
used in the literature to compare different directed networks and provide
"hints" about their structural properties: for example, are reciprocal edges
generated randomly by chance or are there other processes driving their
generation? In this paper we study the problem of maximizing achievable
reciprocity for an ensemble of digraphs with the same prescribed in- and
out-degree sequences. We show that the maximum reciprocity hinges crucially on
the in- and out-degree sequences, which may be intuitively interpreted as
constraints on some "social capacities" of nodes and impose fundamental limits
on achievable reciprocity. We show that it is NP-complete to decide the
achievability of a simple upper bound on maximum reciprocity, and provide
conditions for achieving it. We demonstrate that many real networks exhibit
reciprocities surprisingly close to the upper bound, which implies that users
in these social networks are in a sense more "social" than suggested by the
empirical reciprocity alone in that they are more willing to reciprocate,
subject to their "social capacity" constraints. We find some surprising linear
relationships between empirical reciprocity and the bound. We also show that a
particular type of small network motifs that we call 3-paths are the major
source of loss in reciprocity for real networks
Horn Binary Serialization Analysis
A bit layout is a sequence of fields of certain bit lengths that specifies
how to interpret a serial stream, e.g., the MP3 audio format. A layout with
variable length fields needs to include meta-information to help the parser
interpret unambiguously the rest of the stream; e.g. a field providing the
length of a following variable length field. If no such information is
available, then the layout is ambiguous. I present a linear-time algorithm to
determine whether a layout is ambiguous or not by modelling the behaviour of a
serial parser reading the stream as forward chaining reasoning on a collection
of Horn clauses.Comment: In Proceedings HCVS2016, arXiv:1607.0403
- …