Cited by 538Complexity and Algorithms in GraphsGame Theory and Voting SystemsOptimization and Search Problems

The DOI matches its Crossref record.

Best Algorithms for Approximating the Maximum of a Submodular Set Function

Nemhauser, G. L., Wolsey, L. A.·1978·Mathematics of Operations Research

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

Crossref · 10.1287/moor.3.3.177

Cites

Statistics

Recomputing p-values needs the paper’s full text.

Verification

Claims the paper makes

We couldn’t retrieve this paper’s full text, so its claims and self-check weren’t run. The registry and citation checks still apply.

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]:”
  • 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.”

Citations

Cited by

Sorted by citations

Metadata

Authors
Nemhauser, G. L., & Wolsey, L. A.
Affiliations
Cornell University (US)
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