My home page
Biography
Research
Publications
My group
Courses
Professional activities
FAQ
Personal
Papers

Daphne Koller Publications

(De)randomized construction of small sample spaces in NC (1994)

by D.R. Karger and D. Koller
[newer version, 1997]

Abstract: Koller and Megiddo introduced the paradigm of constructing compact distributions that satisfy a given set of constraints, and showed how it can be used to efficiently derandomize certain types of algorithm. In this paper, we significantly extend their results in two ways. First, we show how their approach can be applied to deal with more general expectation constraints}. More importantly, we provide the first parallel (NC) algorithm for constructing a compact distribution that satisfies the constraints up to a small relative error. This algorithm deals with constraints over any event that can be verified by finite automata, including all independence constraints as well as constraints over events relating to the parity or sum of a certain set of variables. Our construction relies on a new and independently interesting parallel algorithm for converting a solution to a linear system into an almost basic approximate solution to the same system. We use these techniques in the first NC derandomization of an algorithm for constructing large independent sets in d-uniform hypergraphs for arbitrary d. We also show how the linear programming perspective suggests new proof techniques which might be useful in general probabilistic analysis.


Download Information

D.R. Karger and D. Koller (1994). "(De)randomized construction of small sample spaces in NC." Proceedings of the 35nd Annual Symposium on the Foundations of Computer Science (FOCS) (pp. 252-263). pdf ps.gz

Bibtex citation

@inproceedings{Karger+Koller:FOCS94,
  author = {D.R. Karger and D. Koller},
  title = {(De)randomized construction of small sample spaces in NC},
  booktitle = {Proceedings of the 35nd Annual Symposium on the Foundations of Computer Science (FOCS)},
  year = 1994, 
  pages = {252--263},
}

full list
Click to go to robotics Click to go to theory Click to go to CS Stanford Click to go to Stanford's Webpage
home | biography | research | papers | my group
courses | professional activities | FAQ | personal