Parallel Greedy Submodular Maximization in Logarithmic Adaptivity and Nearly-Linear Time via Poly-Logarithmic Batch Filtering
Algorithms AIMech:ParallelGreedySubmodularMaximizationInLogarithmicAdaptivityAndNearlyLinearTime DRAFT
Aliases: Ene-Nguyen Nearly-Linear-Time Low-Adaptivity Submodular Maximization, Poly-Logarithmic Batch Filtering for Adaptive Submodular Maximization, Nearly-Optimal Adaptivity and Query Complexity Submodular Greedy Algorithm
Parallel Greedy Submodular Maximization in Logarithmic Adaptivity and Nearly-Linear Time is a randomized parallel value-oracle algorithm introduced by Ene and Nguyen (2018, 2019) for maximizing a monotone non-negative submodular function f : 2^V -> R_{>=0} subject to a cardinality constraint |S| <= k. Operating over O(1/epsilon) outer phases (each increasing f(S) by at least epsilon*M/100) and O(ln n / epsilon) inner iterations per phase with block size ell = epsilon^2 * k / (100 ln n), the algorithm samples only m = O((ln n)^2 / epsilon^4) random subsets R_1, ..., R_m ~ U(U_t, ell): if max_j f(R_j | S) >= (1 - 10*epsilon)*(ell/k)*(M - Old), it adds R_max to S; otherwise it draws Theta(ln n / epsilon) batches of m random subsets, selects a batch i satisfying avg_i <= (1 - 8*epsilon)*(ell/k)*(M - Old) and sum_{e in U_t} v_{i,e} <= |U_t|*(1 - 8*epsilon)*(M - Old)/k, and filters out U_t^- = {e in U_t : v_{i,e} < (1 - 7*epsilon)*(M - Old)/k}, achieving a (1 - 1/e - O(epsilon)) approximation in O(ln n / epsilon^2) adaptive rounds and O(n poly(log n, 1/epsilon)) total oracle queries.
Identity Notes & Concept Scope
Distinct from AIMech:AmortizedFilteringForLogarithmicAdaptivitySubmodularMaximization (Round 360), which requires a polynomial number O(n * (k + log n)^2) of random set samples per adaptive round to concentrate every individual element's marginal gain to within O(OPT/k); Ene and Nguyen (2019) instead sample only poly-logarithmically many random sets m = O((ln n)^2 / epsilon^4) and bound the aggregate loss of OPT deterministically against the empirical batch average avg_i (Claim 9), reducing total oracle queries and running time to nearly-linear O(n poly(log n, 1/epsilon)). Also distinct from AIMech:RandGreeDiRandomizedDistributedSubmodularMaximization (Round 361), which is a two-round MapReduce partitioning algorithm with Omega(k) sequential adaptivity per machine.
Claims & Grounded Evidence
3 Claims
Mechanism
#r362-claim-expected-block-density-and-polylog-batch-filtering
For any monotone submodular function f, current solution S, unfiltered pool U_t, and block size ell <= |U_t|, submodularity and random-permutation coupling imply E_{R~U(U_t, ell)}[f(e | S union (R\{e})) | e in R] >= E_{R~U(U_t, ell)}[f(e | S union (R\{e})) | e notin R], which establishes the deterministic expectation inequality E_{R~U(U_t, ell)}[f(R | S)] >= (ell / |U_t|) * sum_{e in U_t} E[f(e | S union R)] (Claim 6); consequently, if E[f(R | S)] >= (1 - 9*epsilon)*(ell/k)*(M - Old), sampling m = Theta((ln n)^2 / epsilon^4) sets finds R_max with f(R_max | S) >= (1 - 10*epsilon)*(ell/k)*(M - Old) with probability at least 1 - 1/n^2 (Lemma 4), whereas if E[f(R | S)] <= (1 - 9*epsilon)*(ell/k)*(M - Old), then with probability at least 1 - 1/n^3 at least one of Theta(ln n / epsilon) batches satisfies the empirical density conditions and filters out at least an epsilon-fraction |U_t^-| >= epsilon*|U_t| of elements (Lemma 5).
Mechanism
#r362-claim-deterministic-aggregate-opt-survival-invariant
Without requiring per-element marginal gain estimates v_{i,e} to concentrate individually, conditioning on successful batch selection guarantees by deterministic submodularity and monotonicity that in every filtering step t, f(OPT intersect U_{t+1} | S) >= f(OPT intersect U_t | S) - (ell/k)*(M - Old) - |OPT intersect U_t^-|*(1 - 7*epsilon)*(M - Old)/k, maintaining the phase invariant f((OPT intersect U_t) union S) >= M - ((t - 1)*ell/k)*(M - Old) - (|OPT \ (U_t union S)| / k)*(1 - 7*epsilon)*(M - Old) (Claim 9); combined with at most 6*ln(n)/epsilon gain iterations per phase (Claim 8), this invariant forces f((OPT intersect U_t) union S) - f(S) > 0 and bounds the number of filtering iterations per phase by at most 2*ln(n)/epsilon (Claim 10, Lemma 7).
Mechanism
#r362-claim-nearly-optimal-adaptivity-and-nearly-linear-query-complexity
Across O(1/epsilon) outer phases and 2*epsilon^{-1}*ln(n) parallel geometric guesses for M in [f(OPT)/(1 + epsilon), f(OPT)], every gain step satisfies M - f(S union R_max) <= (M - f(S))*exp(-(1 - 11*epsilon)*|R_max|/k), inductively ensuring M - f(S) <= M*exp(-(1 - 11*epsilon)*|S|/k) and feasibility |S| <= k (Lemma 12), achieving a (1 - 1/e - epsilon) approximation with high probability in O(ln(n)/epsilon^2) adaptive rounds and O(n*poly(log n, 1/epsilon)) total function evaluations and additional running time (Theorem 2, Lemma 11).
⚠️ Curated Limitations & Negative Results
- Restricted to monotone non-negative submodular functions under a cardinality constraint |S| <= k, and the poly(log n, 1/epsilon) query overhead per element involves O((ln n)^3 / epsilon^5) samples per filtering step across 2*epsilon^{-1}*ln(n) parallel guesses for M (Section 2, pp. 4-5).
Artificial Intelligence Ontology (AIO) Grounding
Mapped AIO Classes
| AIO Target Class | Mapping Relation | Mapping Rationale |
|---|---|---|
AIO:Clustering
Clustering
|
related_match | Enables nearly-linear-time, logarithmic-adaptivity parallel exemplar clustering and experimental design. |
AIO:DimensionalityReduction
Dimensionality Reduction
|
related_match | Selects cardinality-constrained representative subsets in O(ln n / epsilon^2) adaptive rounds with nearly-linear query complexity. |
Evidence Sources & Primary Literature
3 Sources| Source ID | Publication / Document | Type / Access | Reference & Checksum |
|---|---|---|---|
r362-primary-pdf
|
Alina Ene, Huy L. Nguyen
|
primary paper
full_text
|
ID: https://api.crossref.org/works/10.1137/1.9781611975482.18
sha256:f5bd35bad545…
|
r362-arxiv-abs
|
Alina Ene, Huy L. Nguyen
|
primary paper
abstract_only
|
ID: https://arxiv.org/abs/1804.05379
sha256:0be4afd6f9d3…
|
r362-metadata-cr
|
Alina Ene, Huy L. Nguyen
|
primary paper
abstract_only
|
ID: https://api.crossref.org/works/10.1137/1.9781611975482.18
sha256:c6b5174e31cd…
|
Ontology & Grounding Topology
Open in interactive network graph →Curation Provenance
Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T07:25:00Z
Updated: 2026-10-19T07:25:00Z
Explore across X-Mech
Related computational & biological Mechs:
Embedding Map
Network Graph
ProteinTraitsMech (ESM-2 pLM)
DUFMech (Domain pLM)
TraitMech
CultureMech
All 14 X-Mech Repositories