General partitioning on random graphs

  • Authors:
  • C. R. Subramanian;C. E. Veni Madhavan

  • Affiliations:
  • The Institute of Mathematical Sciences, C.I.T. Campus, Taramani, Chennai, 600 113, India;Department of Computer Science and Automation, Indian Institute of Science, Bangalore, 560 012, India

  • Venue:
  • Journal of Algorithms
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

Consider the general partitioning (GP) problem defined as follows: Partition the vertices of a graph into k parts W1, ..., Wk satisfying a polynomial time verifiable property. In particular, consider properties (introduced by T. Feder, P. Hell, S. Klein, and R. Motwani, in "Proceedings of the Annual ACM Symposium on Theory of Computing (STOC '99), 1999" and) specified by a pattern of requirements as to which Wi forms a sparse or dense subgraph and which pairs Wi, Wj form a sparse or dense or an arbitrary (no restriction) bipartite subgraph. The sparsity or density is specified by upper or lower bounds on the edge density d ∈ [0, 1], which is the fraction of actual edges present to the maximum number of edges allowed. This problem is NP-hard even for some fixed patterns and includes as special cases well-known NP-hard problems like k-coloring (each d(Wi) = 0; each d(Wi, Wj) is arbitrary), bisection (k = 2; |W1| = |W2|; d(W1, W2) ≤ b), and also other problems like finding a clique/independent set of specified size. We show that GP is solvable in polynomial time almost surely over random instances with a planted partition of desired type, for several types of pattern requirement. The algorithm is based on the approach of growing BFS trees outlined by C. R. Subramanian (in "Proceedings of the 8th Annual European Symposium on Algorithms (ESA '00), 2000," pp. 415-426).