AIMech AI

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

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 →
CONCEPT KIND Algorithms AIMech:ParallelGreedySubmodularMaximizationInLogarithmicAdaptivityAndNearlyLinearTime Parallel Greedy... 3 claims · 3 sources AIO GROUNDING AIO:Clustering (2)

Curation Provenance

Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T07:25:00Z
Updated: 2026-10-19T07:25:00Z
Source File: data/curated/ParallelGreedySubmodularMaximizationInLogarithmicAdaptivityAndNearlyLinearTime.yaml · Schema: curated_concept.yaml

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