15,664 research outputs found
Spanning trees of 3-uniform hypergraphs
Masbaum and Vaintrob's "Pfaffian matrix tree theorem" implies that counting
spanning trees of a 3-uniform hypergraph (abbreviated to 3-graph) can be done
in polynomial time for a class of "3-Pfaffian" 3-graphs, comparable to and
related to the class of Pfaffian graphs. We prove a complexity result for
recognizing a 3-Pfaffian 3-graph and describe two large classes of 3-Pfaffian
3-graphs -- one of these is given by a forbidden subgraph characterization
analogous to Little's for bipartite Pfaffian graphs, and the other consists of
a class of partial Steiner triple systems for which the property of being
3-Pfaffian can be reduced to the property of an associated graph being
Pfaffian. We exhibit an infinite set of partial Steiner triple systems that are
not 3-Pfaffian, none of which can be reduced to any other by deletion or
contraction of triples.
We also find some necessary or sufficient conditions for the existence of a
spanning tree of a 3-graph (much more succinct than can be obtained by the
currently fastest polynomial-time algorithm of Gabow and Stallmann for finding
a spanning tree) and a superexponential lower bound on the number of spanning
trees of a Steiner triple system.Comment: 34 pages, 9 figure
Hypergraphic LP Relaxations for Steiner Trees
We investigate hypergraphic LP relaxations for the Steiner tree problem,
primarily the partition LP relaxation introduced by Koenemann et al. [Math.
Programming, 2009]. Specifically, we are interested in proving upper bounds on
the integrality gap of this LP, and studying its relation to other linear
relaxations. Our results are the following. Structural results: We extend the
technique of uncrossing, usually applied to families of sets, to families of
partitions. As a consequence we show that any basic feasible solution to the
partition LP formulation has sparse support. Although the number of variables
could be exponential, the number of positive variables is at most the number of
terminals. Relations with other relaxations: We show the equivalence of the
partition LP relaxation with other known hypergraphic relaxations. We also show
that these hypergraphic relaxations are equivalent to the well studied
bidirected cut relaxation, if the instance is quasibipartite. Integrality gap
upper bounds: We show an upper bound of sqrt(3) ~ 1.729 on the integrality gap
of these hypergraph relaxations in general graphs. In the special case of
uniformly quasibipartite instances, we show an improved upper bound of 73/60 ~
1.216. By our equivalence theorem, the latter result implies an improved upper
bound for the bidirected cut relaxation as well.Comment: Revised full version; a shorter version will appear at IPCO 2010
Approximating Minimum Cost Connectivity Orientation and Augmentation
We investigate problems addressing combined connectivity augmentation and
orientations settings. We give a polynomial-time 6-approximation algorithm for
finding a minimum cost subgraph of an undirected graph that admits an
orientation covering a nonnegative crossing -supermodular demand function,
as defined by Frank. An important example is -edge-connectivity, a
common generalization of global and rooted edge-connectivity.
Our algorithm is based on a non-standard application of the iterative
rounding method. We observe that the standard linear program with cut
constraints is not amenable and use an alternative linear program with
partition and co-partition constraints instead. The proof requires a new type
of uncrossing technique on partitions and co-partitions.
We also consider the problem setting when the cost of an edge can be
different for the two possible orientations. The problem becomes substantially
more difficult already for the simpler requirement of -edge-connectivity.
Khanna, Naor, and Shepherd showed that the integrality gap of the natural
linear program is at most when and conjectured that it is constant
for all fixed . We disprove this conjecture by showing an
integrality gap even when
Solving weighted and counting variants of connectivity problems parameterized by treewidth deterministically in single exponential time
It is well known that many local graph problems, like Vertex Cover and
Dominating Set, can be solved in 2^{O(tw)}|V|^{O(1)} time for graphs G=(V,E)
with a given tree decomposition of width tw. However, for nonlocal problems,
like the fundamental class of connectivity problems, for a long time we did not
know how to do this faster than tw^{O(tw)}|V|^{O(1)}. Recently, Cygan et al.
(FOCS 2011) presented Monte Carlo algorithms for a wide range of connectivity
problems running in time $c^{tw}|V|^{O(1)} for a small constant c, e.g., for
Hamiltonian Cycle and Steiner tree. Naturally, this raises the question whether
randomization is necessary to achieve this runtime; furthermore, it is
desirable to also solve counting and weighted versions (the latter without
incurring a pseudo-polynomial cost in terms of the weights).
We present two new approaches rooted in linear algebra, based on matrix rank
and determinants, which provide deterministic c^{tw}|V|^{O(1)} time algorithms,
also for weighted and counting versions. For example, in this time we can solve
the traveling salesman problem or count the number of Hamiltonian cycles. The
rank-based ideas provide a rather general approach for speeding up even
straightforward dynamic programming formulations by identifying "small" sets of
representative partial solutions; we focus on the case of expressing
connectivity via sets of partitions, but the essential ideas should have
further applications. The determinant-based approach uses the matrix tree
theorem for deriving closed formulas for counting versions of connectivity
problems; we show how to evaluate those formulas via dynamic programming.Comment: 36 page
Critical Differences and Clues in Eta Car's 2009 Event
We monitored Eta Carinae with HST WFPC2 and Gemini GMOS throughout the 2009
spectroscopic event, which was expected to differ from its predecessor in 2003
(Davidson et al. 2005). Here we report major observed differences between
events, and their implications. Some of these results were quite unexpected.
(1) The UV brightness minimum was much deeper in 2009. This suggests that
physical conditions in the early stages of an event depend on different
parameters than the "normal" inter-event wind. Extra mass ejection from the
primary star is one possible cause. (2) The expected He II 4687 brightness
maximum was followed several weeks later by another. We explain why this fact,
and the timing of the 4687 maxima, strongly support a "shock breakup"
hypothesis for X-ray and 4687 behavior as proposed 5-10 years ago. (3) We
observed a polar view of the star via light reflected by dust in the Homunculus
nebula. Surprisingly, at that location the variations of emission-line
brightness and Doppler velocities closely resembled a direct view of the star;
which should not have been true for any phenomena related to the orbit. This
result casts very serious doubt on all the proposed velocity interpretations
that depend on the secondary star's orbital motion. (4) Latitude-dependent
variations of H I, He I and Fe II features reveal aspects of wind behavior
during the event. In addition, we discuss implications of the observations for
several crucial unsolved problems.Comment: 45 pages, 9 figures, submitted to Ap
- …