The extended k-tree algorithm

  • Authors:
  • Lorenz Minder;Alistair Sinclair

  • Affiliations:
  • University of California, Berkeley CA;University of California, Berkeley CA

  • Venue:
  • SODA '09 Proceedings of the twentieth Annual ACM-SIAM Symposium on Discrete Algorithms
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

Consider the following problem: Given k = 2q random lists of n-bit vectors, L1, ..., Lk, each of length m, find x1 ∈ L1, ..., xk ∈ Lk such that x1 + ... + xk = 0, where + is the XOR operation. This problem has applications in a number of areas, including cryptanalysis, coding theory, finding shortest lattice vectors, and learning theory. The so-called k-tree algorithm, due to Wagner, solves this problem in Õ(2q+n/(q+1)) expected time provided the length m of the lists is large enough, specifically if m ≥ 2n/(q+1). In many applications, however, it is necessary to work with lists of smaller length, where the above algorithm breaks down. In this paper we generalize the algorithm to work for significantly smaller values of the list length m, all the way down to the threshold value for which a solution exists with reasonable probability. Our algorithm exhibits a tradeoff between the value of m and the running time. We also provide the first rigorous bounds on the failure probability of both our algorithm and that of Wagner.