AIMech AI

RandGreeDi and NMRandGreeDi Randomized Distributed Submodular Maximization under Hereditary Constraints

Algorithms AIMech:RandGreeDiRandomizedDistributedSubmodularMaximization DRAFT
Aliases: RandGreeDi Algorithm, NMRandGreeDi Non-Monotone Randomized Distributed Greedy Algorithm, Randomized GreeDi via Lovasz Extension Decomposition
RandGreeDi and NMRandGreeDi are two-round randomized distributed MapReduce algorithms introduced by Barbosa, Ene, Nguyen, and Ward (2015) for maximizing monotone and non-monotone non-negative submodular functions f : 2^V -> R_{>=0} subject to any hereditary constraint family I subseteq 2^V (including cardinality, matroid, knapsack, and p-system constraints). In Round 1, each element e in V is assigned independently and uniformly at random to one of m machines (forming V_i ~ V(1/m)), and each machine i runs the standard greedy algorithm Greedy(V_i) to produce S_i (or two sequential disjoint greedy runs S_i^1 = Greedy(V_i) and S_i^2 = Greedy(V_i \ S_i^1) in NMRandGreeDi); in Round 2, a single reducer collects S = union_i S_i (or union_i (S_i^1 union S_i^2)), runs a beta-approximation algorithm Alg(S) to obtain T, and returns the best solution among T and all Round 1 machine solutions.
Identity Notes & Concept Scope Distinct from AIMech:GreeDiTwoStageDistributedSubmodularMaximization (Round 359), which analyzes arbitrary deterministic partitions (yielding worst-case 1/Theta(min(sqrt(k), m)) approximation) and metric-space Lipschitz/density conditions rather than proving worst-case constant-factor alpha*beta/(alpha+beta) and alpha*beta/(alpha+2*beta) approximations for all hereditary constraints and non-monotone objectives via the Lovasz extension decomposition f^-(1_OPT - p) + f^-(p) >= f(OPT). Also distinct from AIMech:AmortizedFilteringForLogarithmicAdaptivitySubmodularMaximization (Round 360), which targets O(log n) adaptive query rounds in the centralized parallel oracle model.

Claims & Grounded Evidence

3 Claims
Mechanism #r361-claim-lovasz-extension-decomposition-and-monotone-hereditary-bound
For any hereditary constraint I subseteq 2^V and monotone submodular function f where Greedy is an alpha-approximation and Alg is a beta-approximation, defining p_e = Pr_{A~V(1/m)}[e in Greedy(A union {e})] for e in OPT and 0 otherwise, greedy stability (Lemma 2: Greedy(V_i) = Greedy(V_i union O_i) for O_i = {e in OPT : e notin Greedy(V_i union {e})}) and Lovasz extension convexity/homogeneity (Lemma 1) imply E[f(S_i)] >= alpha * f^-(1_OPT - p) (Lemma 3) and E[f(Alg(S))] >= beta * f^-(p) (Lemma 4); combining these via f^-(p) + f^-(1_OPT - p) >= f^-(1_OPT) = f(OPT) proves that RandGreeDi achieves an expected (alpha*beta)/(alpha + beta) approximation (Theorem 5), and alpha/2 when Alg = Greedy (Corollary 6: (1 - 1/e)/2 for cardinality, 1/4 for matroid, ~0.17 for knapsack, and 1/(2(p+1)) for p-systems, Table 1).
Mechanism #r361-claim-nonmonotone-nmrandgreedi-hereditary-approximation
For non-negative non-monotone submodular maximization subject to a hereditary constraint I where Greedy satisfies the greedy property (GP) f(Greedy(V)) >= alpha * f(Greedy(V) union S) for all S in I, running two disjoint greedy passes S_i^1 = Greedy(V_i) and S_i^2 = Greedy(V_i \ S_i^1) on each machine i satisfies f(S_i^1) + f(S_i^2) >= alpha * f(O_i) and E[max{f(S_i^1), f(S_i^2)}] >= (alpha/2) * f^-(1_OPT - p) (Lemma 7), while the second-round reducer satisfies E[f(Alg(S))] >= beta * f^-(p) (Lemma 8), yielding an expected (alpha*beta)/(alpha + 2*beta) approximation for NMRandGreeDi (Theorem 9) and alpha/(4 + 2*alpha) when Alg combines two Greedy passes with Buchbinder et al.'s 1/2-approximate Double Greedy algorithm (Corollary 10: ~0.12 for cardinality, 1/10 for matroid, and 1/(2 + 4(p+1)) for p-systems, Table 1).
Mechanism #r361-claim-tight-deterministic-greedi-analysis-and-lower-bound
Regardless of how elements are partitioned across m machines, the union E = union_{j in M} E_j of machine-level greedy solutions under cardinality constraint k contains a k-element subset OPT_tilde subseteq E satisfying f(OPT) <= 2*sqrt(k)*f(OPT_tilde) (Theorem 11, Lemmas 12-13), proving that deterministic GreeDi achieves a worst-case ((1 - 1/e)/(2*sqrt(k))) approximation (and 1/Theta(min{sqrt(k), m}), Corollary 14); this bound is tight up to constants via an explicit Max k-Coverage family on m = ell^2 + 1 machines with k = ell + ell^2 where deterministic GreeDi achieves at most (2*ell^2)/(ell^2 + ell^3) = 2/(1 + ell) approx 1/sqrt(k) of OPT (Appendix B).

⚠️ Curated Limitations & Negative Results

Artificial Intelligence Ontology (AIO) Grounding

Mapped AIO Classes
AIO Target Class Mapping Relation Mapping Rationale
AIO:Clustering
Clustering
related_match Directly accelerates distributed exemplar-based k-medoid clustering and matroid coverage on massive datasets.
AIO:DimensionalityReduction
Dimensionality Reduction
related_match Selects representative and diverse subsets from massive collections under hereditary constraints.

Evidence Sources & Primary Literature

3 Sources
Source ID Publication / Document Type / Access Reference & Checksum
r361-primary-pdf
Rafael da Ponte Barbosa, Alina Ene, Huy L. Nguyen, Justin Ward
primary paper
full_text
ID: https://proceedings.mlr.press/v37/barbosa15.html
sha256:66a2959ea76e…
r361-arxiv-abs
Rafael da Ponte Barbosa, Alina Ene, Huy L. Nguyen, Justin Ward
primary paper
abstract_only
ID: https://arxiv.org/abs/1502.02606
sha256:1b76eddf63d0…
r361-metadata-cr
Rafael da Ponte Barbosa, Alina Ene, Huy L. Nguyen, Justin Ward
primary paper
abstract_only
ID: https://proceedings.mlr.press/v37/barbosa15.html
sha256:56c4896ce730…

Ontology & Grounding Topology

Open in interactive network graph →
CONCEPT KIND Algorithms AIMech:RandGreeDiRandomizedDistributedSubmodularMaximization RandGreeDi and... 3 claims · 3 sources AIO GROUNDING AIO:Clustering (2)

Curation Provenance

Curator: Antigravity
Method: ai_assisted
Model: Gemini
Created: 2026-10-19T07:24:00Z
Updated: 2026-10-19T07:24:00Z
Source File: data/curated/RandGreeDiRandomizedDistributedSubmodularMaximization.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