868 research outputs found
Maximum st-flow in directed planar graphs via shortest paths
Minimum cuts have been closely related to shortest paths in planar graphs via
planar duality - so long as the graphs are undirected. Even maximum flows are
closely related to shortest paths for the same reason - so long as the source
and the sink are on a common face. In this paper, we give a correspondence
between maximum flows and shortest paths via duality in directed planar graphs
with no constraints on the source and sink. We believe this a promising avenue
for developing algorithms that are more practical than the current
asymptotically best algorithms for maximum st-flow.Comment: 20 pages, 4 figures. Short version to be published in proceedings of
IWOCA'1
Maximum Independent Sets in Subcubic Graphs: New Results
The maximum independent set problem is known to be NP-hard in the class of
subcubic graphs, i.e. graphs of vertex degree at most 3. We present a
polynomial-time solution in a subclass of subcubic graphs generalizing several
previously known results
Leader Election in Anonymous Rings: Franklin Goes Probabilistic
We present a probabilistic leader election algorithm for anonymous, bidirectional, asynchronous rings. It is based on an algorithm from Franklin, augmented with random identity selection, hop counters to detect identity clashes, and round numbers modulo 2. As a result, the algorithm is finite-state, so that various model checking techniques can be employed to verify its correctness, that is, eventually a unique leader is elected with probability one. We also sketch a formal correctness proof of the algorithm for rings with arbitrary size
Fast modularisation and aomic decomposition of ontologies using axiom dependency hypergraphs
In this paper we define the notion of an axiom dependency hypergraph, which explicitly represents how axioms are included into a module by the algorithm for computing locality-based modules. A locality-based module of an ontology corresponds to a set of connected nodes in the hypergraph, and atoms of an ontology to strongly connected components. Collapsing the strongly connected components into single nodes yields a condensed hypergraph that comprises a representation of the atomic decomposition of the ontology. To speed up the condensation of the hypergraph, we first reduce its size by collapsing the strongly connected components of its graph fragment employing a linear time graph algorithm. This approach helps to significantly reduce the time needed for computing the atomic decomposition of an ontology. We provide an experimental evaluation for computing the atomic decomposition of large biomedical ontologies. We also demonstrate a significant improvement in the time needed to extract locality-based modules from an axiom dependency hypergraph and its condensed version
Interaction of quasilocal harmonic modes and boson peak in glasses
The direct proportionality relation between the boson peak maximum in
glasses, , and the Ioffe-Regel crossover frequency for phonons,
, is established. For several investigated materials . At the frequency the mean free path of the
phonons becomes equal to their wavelength because of strong resonant
scattering on quasilocal harmonic oscillators. Above this frequency phonons
cease to exist. We prove that the established correlation between
and holds in the general case and is a direct consequence of
bilinear coupling of quasilocal oscillators with the strain field.Comment: RevTex, 4 pages, 1 figur
An algorithm to calculate the transport exponent in strip geometries
An algorithm for solving the random resistor problem by means of the
transfer-matrix approach is presented. Preconditioning by spanning clusters
extraction both reduces the size of the conductivity matrix and speed up the
calculations.Comment: 17 pages, RevTeX2.1, HLRZ - 97/9
Conjunctions of Among Constraints
Many existing global constraints can be encoded as a conjunction of among
constraints. An among constraint holds if the number of the variables in its
scope whose value belongs to a prespecified set, which we call its range, is
within some given bounds. It is known that domain filtering algorithms can
benefit from reasoning about the interaction of among constraints so that
values can be filtered out taking into consideration several among constraints
simultaneously. The present pa- per embarks into a systematic investigation on
the circumstances under which it is possible to obtain efficient and complete
domain filtering algorithms for conjunctions of among constraints. We start by
observing that restrictions on both the scope and the range of the among
constraints are necessary to obtain meaningful results. Then, we derive a
domain flow-based filtering algorithm and present several applications. In
particular, it is shown that the algorithm unifies and generalizes several
previous existing results.Comment: 15 pages plus appendi
Splaying Preorders and Postorders
Let be a binary search tree. We prove two results about the behavior of
the Splay algorithm (Sleator and Tarjan 1985). Our first result is that
inserting keys into an empty binary search tree via splaying in the order of
either 's preorder or 's postorder takes linear time. Our proof uses the
fact that preorders and postorders are pattern-avoiding: i.e. they contain no
subsequences that are order-isomorphic to and ,
respectively. Pattern-avoidance implies certain constraints on the manner in
which items are inserted. We exploit this structure with a simple potential
function that counts inserted nodes lying on access paths to uninserted nodes.
Our methods can likely be extended to permutations that avoid more general
patterns. Second, if is any other binary search tree with the same keys as
and is weight-balanced (Nievergelt and Reingold 1973), then splaying
's preorder sequence or 's postorder sequence starting from takes
linear time. To prove this, we demonstrate that preorders and postorders of
balanced search trees do not contain many large "jumps" in symmetric order, and
exploit this fact by using the dynamic finger theorem (Cole et al. 2000). Both
of our results provide further evidence in favor of the elusive "dynamic
optimality conjecture.
On the complexity of strongly connected components in directed hypergraphs
We study the complexity of some algorithmic problems on directed hypergraphs
and their strongly connected components (SCCs). The main contribution is an
almost linear time algorithm computing the terminal strongly connected
components (i.e. SCCs which do not reach any components but themselves).
"Almost linear" here means that the complexity of the algorithm is linear in
the size of the hypergraph up to a factor alpha(n), where alpha is the inverse
of Ackermann function, and n is the number of vertices. Our motivation to study
this problem arises from a recent application of directed hypergraphs to
computational tropical geometry.
We also discuss the problem of computing all SCCs. We establish a superlinear
lower bound on the size of the transitive reduction of the reachability
relation in directed hypergraphs, showing that it is combinatorially more
complex than in directed graphs. Besides, we prove a linear time reduction from
the well-studied problem of finding all minimal sets among a given family to
the problem of computing the SCCs. Only subquadratic time algorithms are known
for the former problem. These results strongly suggest that the problem of
computing the SCCs is harder in directed hypergraphs than in directed graphs.Comment: v1: 32 pages, 7 figures; v2: revised version, 34 pages, 7 figure
Recognizing Members of the Tournament Equilibrium Set is NP-hard
A recurring theme in the mathematical social sciences is how to select the
"most desirable" elements given a binary dominance relation on a set of
alternatives. Schwartz's tournament equilibrium set (TEQ) ranks among the most
intriguing, but also among the most enigmatic, tournament solutions that have
been proposed so far in this context. Due to its unwieldy recursive definition,
little is known about TEQ. In particular, its monotonicity remains an open
problem up to date. Yet, if TEQ were to satisfy monotonicity, it would be a
very attractive tournament solution concept refining both the Banks set and
Dutta's minimal covering set. We show that the problem of deciding whether a
given alternative is contained in TEQ is NP-hard.Comment: 9 pages, 3 figure
- …