Inclusion--Exclusion Algorithms for Counting Set Partitions

  • Authors:

  • Andreas Bjorklund;Thore Husfeldt

  • Affiliations:

  • Lund University, Sweden;Lund University, Sweden

  • Venue:
  • FOCS '06 Proceedings of the 47th Annual IEEE Symposium on Foundations of Computer Science
  • Year:
  • 2006

Quantified Score

Hi-index 0.01

Visualization

Abstract

Given a set U with n elements and a family of subsets S\subseteq2^U we show how to count the number of k-partitions S_1 \cup· · · \cupS_k = U into subsets S_i \in S in time 2^{n}n^{O(1)}. The only assumption on S is that it can be enumerated in time 2^{n}n^{O(1)}.In effect we get exact algorithms in time 2^{n}n^{O(1)} for several well-studied partition problems including Domatic Number, Chromatic Number, Bounded Component Spanning Forest, Partition into Hamiltonian Subgraphs, and Bin Packing. If only polynomial space is available, our algorithms run in time 3^{n}n^{O(1)} if membership in S can be decided in polynomial time. For Chromatic Number, we present a version that runs in time O(2.2461^n ) and polynomial space. For Domatic Number, we present a version that runs in time O(2.8718^n ). Finally, we present a family of polynomial space approximation algorithms that find a number between \chi \left( G \right) and \left\lceil {\left( {1 +\in } \right)\chi \left( G \right)} \right\rceilin time O(1.2209^n + 2.2461^{e^{-\in}n ).