150,870 research outputs found
Separating decision tree complexity from subcube partition complexity
The subcube partition model of computation is at least as powerful as
decision trees but no separation between these models was known. We show that
there exists a function whose deterministic subcube partition complexity is
asymptotically smaller than its randomized decision tree complexity, resolving
an open problem of Friedgut, Kahn, and Wigderson (2002). Our lower bound is
based on the information-theoretic techniques first introduced to lower bound
the randomized decision tree complexity of the recursive majority function.
We also show that the public-coin partition bound, the best known lower bound
method for randomized decision tree complexity subsuming other general
techniques such as block sensitivity, approximate degree, randomized
certificate complexity, and the classical adversary bound, also lower bounds
randomized subcube partition complexity. This shows that all these lower bound
techniques cannot prove optimal lower bounds for randomized decision tree
complexity, which answers an open question of Jain and Klauck (2010) and Jain,
Lee, and Vishnoi (2014).Comment: 16 pages, 1 figur
On the Parameterized Complexity of Computing Tree-Partitions
We study the parameterized complexity of computing the tree-partition-width,
a graph parameter equivalent to treewidth on graphs of bounded maximum degree.
On one hand, we can obtain approximations of the tree-partition-width
efficiently: we show that there is an algorithm that, given an -vertex graph
and an integer , constructs a tree-partition of width for
or reports that has tree-partition width more than , in time
. We can improve on the approximation factor or the dependence on
by sacrificing the dependence on .
On the other hand, we show the problem of computing tree-partition-width
exactly is XALP-complete, which implies that it is -hard for all . We
deduce XALP-completeness of the problem of computing the domino treewidth.
Finally, we adapt some known results on the parameter tree-partition-width and
the topological minor relation, and use them to compare tree-partition-width to
tree-cut width
On the parameterized complexity of computing tree-partitions
We study the parameterized complexity of computing the tree-partition-width,
a graph parameter equivalent to treewidth on graphs of bounded maximum degree.
On one hand, we can obtain approximations of the tree-partition-width
efficiently: we show that there is an algorithm that, given an -vertex graph
and an integer , constructs a tree-partition of width for
or reports that has tree-partition width more than , in time
. We can improve on the approximation factor or the dependence on
by sacrificing the dependence on .
On the other hand, we show the problem of computing tree-partition-width
exactly is XALP-complete, which implies that it is -hard for all . We
deduce XALP-completeness of the problem of computing the domino treewidth.
Finally, we adapt some known results on the parameter tree-partition-width and
the topological minor relation, and use them to compare tree-partition-width to
tree-cut width
Unique Perfect Phylogeny Characterizations via Uniquely Representable Chordal Graphs
The perfect phylogeny problem is a classic problem in computational biology,
where we seek an unrooted phylogeny that is compatible with a set of
qualitative characters. Such a tree exists precisely when an intersection graph
associated with the character set, called the partition intersection graph, can
be triangulated using a restricted set of fill edges. Semple and Steel used the
partition intersection graph to characterize when a character set has a unique
perfect phylogeny. Bordewich, Huber, and Semple showed how to use the partition
intersection graph to find a maximum compatible set of characters. In this
paper, we build on these results, characterizing when a unique perfect
phylogeny exists for a subset of partial characters. Our characterization is
stated in terms of minimal triangulations of the partition intersection graph
that are uniquely representable, also known as ur-chordal graphs. Our
characterization is motivated by the structure of ur-chordal graphs, and the
fact that the block structure of minimal triangulations is mirrored in the
graph that has been triangulated
Representing Partitions on Trees
In evolutionary biology, biologists often face the problem of constructing a phylogenetic tree on a set X of species from a multiset Π of partitions corresponding to various attributes of these species. One approach that is used to solve this problem is to try instead to associate a tree (or even a network) to the multiset ΣΠ consisting of all those bipartitions {A,X − A} with A a part of some partition in Π. The rational behind this approach is that a phylogenetic tree with leaf set X can be uniquely represented by the set of bipartitions of X induced by its edges. Motivated by these considerations, given a multiset Σ of bipartitions corresponding to a phylogenetic tree on X, in this paper we introduce and study the set P(Σ) consisting of those multisets of partitions Π of X with ΣΠ = Σ. More specifically, we characterize when P(Σ) is non-empty, and also identify some partitions in P(Σ) that are of maximum and minimum size. We also show that it is NP-complete to decide when P(Σ) is non-empty in case Σ is an arbitrary multiset of bipartitions of X. Ultimately, we hope that by gaining a better understanding of the mapping that takes an arbitrary partition system Π to the multiset ΣΠ, we will obtain new insights into the use of median networks and, more generally, split-networks to visualize sets of partitions
Two-Level Rectilinear Steiner Trees
Given a set of terminals in the plane and a partition of into
subsets , a two-level rectilinear Steiner tree consists of a
rectilinear Steiner tree connecting the terminals in each set
() and a top-level tree connecting the trees . The goal is to minimize the total length of all trees. This problem
arises naturally in the design of low-power physical implementations of parity
functions on a computer chip.
For bounded we present a polynomial time approximation scheme (PTAS) that
is based on Arora's PTAS for rectilinear Steiner trees after lifting each
partition into an extra dimension. For the general case we propose an algorithm
that predetermines a connection point for each and
().
Then, we apply any approximation algorithm for minimum rectilinear Steiner
trees in the plane to compute each and independently.
This gives us a -factor approximation with a running time of
suitable for fast practical computations. The
approximation factor reduces to by applying Arora's approximation scheme
in the plane
- …