We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.CC

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Computational Complexity

Title: Greedy can beat pure dynamic programming

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 $n$-vertex graphs using only $O(n^2\log n)$ operations. We prove that any pure DP algorithm for this problem must perform $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.
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
Subjects: Computational Complexity (cs.CC)
Journal reference: Inf. Proc. Letters 142 (2019) 90-95
DOI: 10.1016/j.ipl.2018.10.018
Cite as: arXiv:1803.05380 [cs.CC]
  (or arXiv:1803.05380v2 [cs.CC] for this version)

Submission history

From: Stasys Jukna [view email]
[v1] Wed, 14 Mar 2018 16:16:10 GMT (8kb)
[v2] Tue, 29 May 2018 16:38:27 GMT (11kb)

Link back to: arXiv, form interface, contact.