Cornell University
Library
Cornell UniversityLibrary

eCommons

Help
Log In(current)
  1. Home
  2. Cornell Computing and Information Science
  3. Computer Science
  4. Computer Science Technical Reports
  5. Randomness-Optimal Unique Element Isolation, With Applications to Perfect Matching and Related Problems

Randomness-Optimal Unique Element Isolation, With Applications to Perfect Matching and Related Problems

File(s)
93-1359.pdf (2.4 MB)
93-1359.ps (479.04 KB)
Permanent Link(s)
https://hdl.handle.net/1813/6129
Collections
Computer Science Technical Reports
Author
Chari, Suresh
Rohatgi, Pankaj
Srinivasan, Aravind
Abstract

In this paper, we precisely characterize the randomness complexity of the unique element isolation problem, a crucial step in the RNC algorithm for perfect matching due to Mulmuley, Vazirani and Vazirani[21] and in several other applications. Given a set $S$ and an unknown family $\cal F \subseteq$ $2^{S}$ with $|\cal F| \leq$ $Z$, we present a scheme to assign polynomially bounded weights to the elements of $S$, using only $O(\log Z + \log |S|)$ ransom bits, such that the minimum weight set in $\cal F$ is unique with high probability. This generalizes and improves the results of Mulmuley, Vazirani and Vazirani who give a scheme which uses $O(S \log S)$ random bits independent of $Z$. We also prove a matching lower bound for the randomness complexity of this problem. This new weight assignment scheme yields a randomness-efficient $RNC^{2}$ algorithm for perfect matching which uses $O(\log Z + \log n)$ random bits where $Z$ is any given upper bound on the number of perfect matchings in the input graph. This generalizes the result of Grigoriev and Karpinski[11] who present an $NC^{3}$ algorithm when $Z$ is polynomially bounded and also gives an improvement on the running time in this case. The worst-case randomness complexity of our algorithm is $O(n \log (m/n))$ random bits, as opposed to the previous bound of $O(m \log n)$ bits. Our technique also gives randomness-efficient solutions for several problems in which the unique element isolation tool is used, such as $RNC$ algorithms for variants of matching and basic problems on linear matroids such as matroid intersection and matroid matching. We also obtain a randomness-efficient alternative to the random reduction from $SAT$ to $USAT$, the language of uniquely satisfiable formulas, due to Valiant and Vazirani[32]. This reduction can be derandomized in the case of languages in $F ew P$ to yield new proofs of the results $F ew P \subseteq \oplus P$ and $F ew P \subseteq C_{=} P$.

Date Issued
1993-06
Publisher
Cornell University
Keywords
computer science
•
technical report
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR93-1359
Type
technical report

Site Statistics | Help

About eCommons | Policies | Terms of use | Contact Us

copyright © 2002-2026 Cornell University Library | Privacy | Web Accessibility Assistance