Heuristics for Semirandom Graph Problems
β Scribed by Uriel Feige; Joe Kilian
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 243 KB
- Volume
- 63
- Category
- Article
- ISSN
- 0022-0000
No coin nor oath required. For personal study only.
β¦ Synopsis
We consider semirandom graph models for finding large independent sets, colorings, and bisections in graphs. These models generate problem instances by blending random and adversarial decisions. To generate semirandom independent set problems, an independent set S of an vertices is randomly chosen. Each edge connecting S with S Β―is chosen with probability p, and an adversary is then allowed to add new edges arbitrarily, provided that S remains an independent set. The smaller p is, the greater the control the adversary has over the semirandom graph. We give a heuristic that with high probability recovers an independent set of size an whenever p > (1+e) ln n/an, for any constant e > 0. We show that when p < (1 -e) ln n/an, an independent set of size |S| cannot be recovered, unless NP Δ± BPP. We use our result for maximum independent sets to obtain greatly improved heuristics for the model of k-colorable semirandom graphs introduced by Blum and Spencer. For constant k, our results are optimal up to constant factors in the edge probabilities. In the semirandom model for graph bisection, a random bisection (S, S Β―) of the vertices is chosen. Each edge (u, v) Β₯ S Γ S Β―is independently chosen with probability q and each edge (u, v) Β¨S Γ S Β―is independently chosen with probability p > q. The adversary may then arbitrarily remove edges in S Γ S Β―and add edges not in S Γ S Β―.
Extending the work of Boppana, we give a heuristic that recovers this bisection with high probability when p -q \ c `p log n/n, for c a sufficiently large constant.
π SIMILAR VOLUMES
The computation of good, balanced graph colorings is an essential part of many algorithms required in scientific and engineering applications. Motivated by an effective sequential heuristic, we introduce a new parallel heuristic, PLF, and show that this heuristic has the same expected runtime under
## Abstract A central cycle problem requires a cycle that is reasonably short and keeps the maximum distance from any node not on the cycle to its nearest node on the cycle reasonably low. The objective may be to minimize maximum distance or cycle length. Most classes of central cycle problems are