The DOI matches its Crossref record.
Best Algorithms for Approximating the Maximum of a Submodular Set Function
Abstract
A real-valued function z whose domain is all of the subsets of N = {1, …, n) is said to be submodular if z(S) + z(T) ≥ z(S ∪ T) + z(S ∩ T), ∀S, T ⊆ N, and nondecreasing if z(S) ≤ z(T), ∀S ⊂ T ⊆ N. We consider the problem max S⊂N {z(S): |S| ≤ K, z submodular and nondecreasing, z(Ø) = 0}. Many combinatorial optimization problems can be posed in this framework. For example, a well-known location problem and the maximization of certain boolean polynomials are in this class. We present a family of algorithms that involve the partial enumeration of all sets of cardinality q and then a greedy selection of the remaining elements, q = 0, …, K − 1. For fixed K, the qth member of this family requires O(n q+1 ) computations and is guaranteed to achieve at least [Formula: see text] Our main result is that this is the best performance guarantee that can be obtained by any algorithm whose number of computations does not exceed O(n q+1 ).
Overview
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
Claims other papers make about this one
Each is checked against this paper’s own text: does it say what the citing paper says it does?
A greedy algorithm provides a solution within polynomial time and guarantees a near-optimal approximation for submodular maximization.
“It provides a solution within polynomial time and guarantees a near-optimal approximation, as detailed in the following theorem [29], [30]:”
From Post-Incorporating Code Structural Knowledge Into Pretrained Models via ICL for Code Translation (2025) · cites this paper as [29]
A greedy algorithm that iteratively maximizes the marginal gain offers a theoretical (1 - 1/e)-approximate solution in polynomial time for maximizing a non-negative, monotone, and submodular function.
“Although generally NP-hard, a greedy algorithm that iteratively maximizes the marginal gain offers a theoretical (1 -1 /e ) -approximate solution in polynomial time.”
From Post-Incorporating Code Structural Knowledge Into Pretrained Models via ICL for Code Translation (2025) · cites this paper as [29]
Citations
Cited by
Sorted by citations
Post-Incorporating Code Structural Knowledge Into Pretrained Models via ICL for Code Translation
Du, Y., Sun, H., & Li, M. (2025) · IEEE Transactions on Software Engineering · doi:10.1109/tse.2025.3605768
Metadata
- Authors
- Nemhauser, G. L., & Wolsey, L. A.
- Affiliations
- Cornell University (US)
- ORCID
- Wolsey, L. A.
- Venue
- Mathematics of Operations Research
- Published
- 1978-08
- Volume
- 3
- Issue
- 3
- Pages
- 177-188
- ISSN
- 0364-765X (ISSN-L)
- 1526-5471
- OpenAlex
- W1997783781
- Cited by
- 538
- References
- 0
- Citations by year
- 2026: 16 · 2025: 20 · 2024: 25 · 2023: 38 · 2022: 33 · 2021: 59 · 2020: 48 · 2019: 50 · 2018: 41 · 2017: 29 · 2016: 29 · 2015: 19 · 2014: 32 · 2013: 16 · 2012: 17
- FWCI
- 7.19
- Type
- journal article
- Language
- en
- Open access
- closed
- Locations
- Mathematics of Operations Research (publishedVersion)
- LIDAM Reprints CORE (submittedVersion)
- DIAL (Catholic University of Leuven) (submittedVersion)
- Topics
- Physical Sciences › Computer Science › Computational Theory and Mathematics › Complexity and Algorithms in Graphs
- Social Sciences › Economics, Econometrics and Finance › Economics and Econometrics › Game Theory and Voting Systems
- Physical Sciences › Mathematics › Theoretical Computer Science › Optimization and Search Problems
- Keywords
- submodular functions, approximation algorithms, greedy algorithm, partial enumeration, performance guarantees, combinatorial optimization, set selection, location problems
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review