Counterexample to a conjecture of Szymanski on hypercube routing
Information Processing Letters
Journal of Computer and System Sciences - 30th annual ACM symposium on theory of computing
Journal of Combinatorial Theory Series A
Monotonicity testing over general poset domains
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
Improved Testing Algorithms for Monotonicity
RANDOM-APPROX '99 Proceedings of the Third International Workshop on Approximation Algorithms for Combinatorial Optimization Problems: Randomization, Approximation, and Combinatorial Algorithms and Techniques
FOCS '98 Proceedings of the 39th Annual Symposium on Foundations of Computer Science
On the strength of comparisons in property testing
Information and Computation
On the capacity of information networks
SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm
Information theory in property testing and monotonicity testing in higher dimension
Information and Computation
Testing monotonicity over graph products
Random Structures & Algorithms
SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
Hi-index | 0.00 |
We study the problem of monotonicity testing over the hypercube. As previously observed in several works, a positive answer to a natural question about routing properties of the hypercube network would imply the existence of efficient monotonicity testers. In particular, if any set of source-sink pairs on the directed hypercube (with all sources and all sinks distinct) can be connected with edge-disjoint paths, then monotonicity of functions f : {0, 1}n → Rcan be tested with O(n/ε) queries, for any totally ordered range R. More generally, if at least a µ(n) fraction of the pairs can always be connected with edge-disjoint paths then the query complexity is O(n/(εµ(n))). We construct a family of instances of Ω(2n) pairs in n-dimensional hypercubes such that no more than roughly a 1/√n fraction of the pairs can be simultaneously connected with edge-disjoint paths. This answers an open question of Lehman and Ron [LR01], and suggests that the aforementioned appealing combinatorial approach for deriving query-complexity upper bounds from routing properties cannot yield, by itself, query-complexity bounds better than ≅ n3/2. Additionally, our construction can also be used to obtain a strong counterexample to Szymanski's conjecture about routing on the hypercube. In particular, we show that for any δ 0, the n-dimensional hypercube is not n1/2-δ-realizable with shortest paths, while previously it was only known that hypercubes are not 1-realizable with shortest paths. We also prove a lower bound of Ω(n/ε) queries for one-sided non-adaptive testing of monotonicity over the n-dimensional hypercube, as well as additional bounds for specific classes of functions and testers.