English

Greedy can beat pure dynamic programming

Computational Complexity 2019-11-21 v2

Abstract

Many dynamic programming algorithms for discrete 0-1 optimizationproblems are "pure" in that their recursion equations only use min/max and addition operations, and do not depend on actual input weights. The well-known greedy algorithm of Kruskal solves the minimum weight spanning tree problem on nn-vertex graphs using only O(n2logn)O(n^2\log n) operations. We prove that any pure DP algorithm for this problem must perform 2Ω(n)2^{\Omega(\sqrt{n})} operations. Since the greedy algorithm can also badly fail on some optimization problems, easily solvable by pure DP algorithms, our result shows that the computational powers of these two types of algorithms are incomparable.

Keywords

Cite

@article{arxiv.1803.05380,
  title  = {Greedy can beat pure dynamic programming},
  author = {Stasys Jukna and Hannes Seiwert},
  journal= {arXiv preprint arXiv:1803.05380},
  year   = {2019}
}

Comments

The first structural claim of the Forest lemma (that the sets of vertices in the connected components of all forests from one side must be the same) in the previous version is just wrong. We now use entirely different arguments to prove a slightly weaker version of the numerical claim of the Forest lemma. The resulting lower bound is weaker, but still exponential

R2 v1 2026-06-23T00:53:10.964Z