---
title: 'Edge Coalition Partition: Models & Applications'
url: https://www.emergentmind.com/topics/edge-coalition-partition
type: topic
---

# Edge Coalition Partition: Models & Applications

Edge coalition partition is a context-dependent term in contemporary research. In MEC-assisted blockchain networks, it denotes the organization of mobile users into overlapping coalitions that jointly offload proof-of-work mining to an edge computing service provider, jointly aggregate transaction sets, and jointly purchase nonce-hash computing resources under pricing and delay constraints [2508.06031]. In graph theory, it denotes a partition of the edge set \(\pi=\{E_1,\dots,E_k\}\) such that each part is either a singleton edge-dominating set or a non-edge-dominating set that forms an edge coalition with another part, where neither part is edge-dominating but their union is [2507.19871]. Adjacent literatures use related language for edge-valued coalition structure generation, weighted graph games, edge partitioning for distributed graph processing, and edge-device coalition formation, but these are not identical notions [1102.1747, 1108.5248, 1403.6270, 2502.16091].

## 1. Terminological scope

The phrase has at least three stable usages in the cited literature. This suggests that it should be interpreted contextually rather than as a single standardized object.

| Usage | Core object | Representative source |
|---|---|---|
| MEC-assisted blockchain | Overlapping coalition cover of mobile users, with membership matrix \(\beta_{n,m}\) and nonce allocations \(l_{n,m}\) | [2508.06031] |
| Graph theory | Edge partition \(\pi=\{E_1,\dots,E_k\}\) governed by edge domination and coalition partnership | [2507.19871] |
| Collaborative edge inference | Disjoint partition \(\mathcal{F}=\{\mathcal{F}_1,\dots,\mathcal{F}_M\}\) of mobile devices across edge servers, coupled with DNN layer partitioning | [2502.16091] |

In the MEC-assisted blockchain formulation, “partition” is not a disjoint partition in the classical set-theoretic sense: each miner may join multiple coalitions, so the resulting structure is a cover of the mobile-user set constrained by a collaboration factor \(J\) [2508.06031]. In the graph-theoretic formulation, by contrast, the object is explicitly an edge partition of \(E(G)\) into disjoint parts [2507.19871]. In edge inference, the partition is again disjoint, but the objects being partitioned are users rather than graph edges, and the coalition structure is coupled to model deployment and layer-wise model splitting [2502.16091].

## 2. MEC-assisted blockchain: overlapping edge coalition partition

In the MEC-assisted collaborative blockchain model, the network consists of mobile users \(\mathcal{N}=\{1,\dots,N\}\) acting as miners, and an edge computing service provider with computing capacity \(f_E\) and unit nonce-hash cost \(c\). Each mobile user \(n\) collects a transaction set \(\mathcal{T}_n=\{t_n^1,\dots,t_n^{|\mathcal{T}_n|}\}\). A coalition \(\mathcal{C}_m\) aggregates the transactions of its members into \(\mathcal{T}_m=\bigcup_{n\in\mathcal{N}_m}\mathcal{T}_n\), sorts them by fee, and packs the top \(I\) transactions into a block with total fee \(F(\boldsymbol\beta_m)\). If \(l_{n,m}\) is user \(n\)'s contributed nonce length to coalition \(m\), then \(l_m=\sum_{n\in\mathcal{N}_m} l_{n,m}\), the system-wide nonce length is \(l_{\mathcal N}=\sum_{m=1}^M l_m\), and the coalition reward is
\[
r_m=\frac{l_m}{l_{\mathcal N}}(B+F(\boldsymbol\beta_m))e^{-\lambda z I}2^{-\pi}.
\]
User \(n\)'s reward share in coalition \(m\) is
\[
r_{n,m}=\frac{l_{n,m}}{l_{\mathcal N}}(B+F(\boldsymbol\beta_m))e^{-\lambda z I}2^{-\pi}.
\]
The offloaded mining delay for coalition \(m\) is
\[
T_m=\frac{D_m}{W\log(1+\gamma_m)}+\frac{\omega l_m}{f_E},
\]
subject to the feasibility condition \(T_m\le T'\), which induces the upper bound
\[
\bar l_m=\frac{f_E\big(T'W\log(1+\gamma_m)-D_m\big)}{\omega W\log(1+\gamma_m)}.
\]
These definitions make coalition strength depend jointly on transaction aggregation, relative nonce length, offloading latency, and orphan probability [2508.06031].

The overlapping structure is encoded by binary variables \(\beta_{n,m}\in\{0,1\}\), where \(\beta_{n,m}=1\) iff user \(n\in\mathcal{C}_m\), together with the collaboration-factor constraint
\[
\sum_{m=1}^M \beta_{n,m}\le J,\qquad \forall n.
\]
When \(J=1\), the model reduces to a non-overlapping single-coalition regime. When \(J>1\), each miner may join multiple coalitions simultaneously. In this sense, the edge coalition partition is a coalition structure \(\mathcal C=\{\mathcal C_1,\dots,\mathcal C_M\}\) plus the membership matrix \(\beta_{n,m}\), such that every mobile user belongs to at least one coalition, some coalitions may share members, and the delay and resource constraints remain feasible. The pair \((\beta_{n,m},l_{n,m})\) determines not only which coalitions exist, but also their hashing power and their demand for edge resources [2508.06031].

## 3. Stackelberg, OCF, and ERC mechanisms

The blockchain formulation is solved as a two-stage Stackelberg game. In Stage I, the edge computing service provider chooses the price \(p\) for computing resources. In Stage II, mobile users form coalitions and coalitions choose edge nonce length. User \(n\)'s utility from coalition \(m\) is
\[
u_{n,m}=\frac{l_{n,m}}{l_{\mathcal N}}(B+F(\boldsymbol\beta_m))e^{-\lambda z I}2^{-\pi}-l_{n,m}p,
\]
and total user utility is \(u_n=\sum_m u_{n,m}\). Because the joint optimization over membership variables \(\beta_{n,m}\) and nonce allocations \(l_{n,m}\) is coupled and mixed discrete–integer, Stage II is decomposed into two nested games: an overlapping coalition formation game for membership choice and an edge resource competition game for coalition-level nonce purchases [2508.06031].

In the ERC game, the players are the coalitions \(\mathcal{C}_m\), the strategy of coalition \(m\) is \(l_m\in[0,\bar l_m]\), and the utility is
\[
u_m(l_m,\boldsymbol l_{-m})=\frac{l_m}{l_m+\sum l_{-m}}(B+F(\boldsymbol\beta_m))e^{-\lambda z I}2^{-\pi}-l_m p.
\]
Writing
\[
\theta_m=(B+F(\boldsymbol\beta_m))e^{-\lambda z I}2^{-\pi},
\]
the relaxed best response is
\[
b_m(\boldsymbol l_{-m})=
\left[
\sqrt{\frac{\theta_m \sum l_{-m}}{p}}-\sum l_{-m}
\right]_0^{\bar l_m}.
\]
The strategy sets are convex and compact and each \(u_m\) is continuous and concave in \(l_m\), so a Nash equilibrium exists. The relaxed equilibrium admits the closed form
\[
l_m^+=
\frac{M-1}{p\sum_{j=1}^M \frac{1}{\theta_j}}
\left(
1-\frac{M-1}{\theta_m\sum_{j=1}^M \frac{1}{\theta_j}}
\right),
\]
with integer equilibrium obtained by rounding to the better of \(\lfloor l_m^+\rfloor\) and \(\lceil l_m^+\rceil\), and with rounding loss bounded by
\[
|u_m(l_m^+)-u_m(l_m^{NE})|\le G,\qquad
G=\max_{l_m}|\nabla u_m(l_m)|.
\]
Within each coalition, the paper uses equal splitting,
\[
l_{n,m}^{NE}=\frac{l_m^{NE}}{N_m},\qquad
u_{n,m}^{NE}=\frac{u_m^{NE}}{N_m},
\]
which affects payoff sharing but not coalition best responses [2508.06031].

Coalition formation is governed by individual stability. A stable structure \(\mathcal C^S\) is one in which no mobile user can change memberships and strictly improve its utility, subject to acceptance conditions when joining existing coalitions. The local moves are five atomic strategies: Merge-preferred A, Merge-preferred B, Split-preferred A, Split-preferred B, and Leave-preferred. These respectively cover joining without leaving, swapping one coalition for another, creating an extra singleton coalition, leaving one coalition to form a singleton, and unilateral leaving. The OCF-based alternating algorithm nests this inner coalition-adjustment process inside an outer price search over \(p\), repeatedly computing the ERC equilibrium for each candidate structure. Because the number of coalition structures is finite and accepted moves never revisit an old structure, the coalition-formation procedure terminates in finite steps at an individually stable structure [2508.06031].

## 4. Performance profile and modeling assumptions in the MEC setting

The blockchain paper evaluates coalition partition through the average number of members per coalition,
\[
N_{\text{avg}}=\frac{\sum_{m=1}^M |\mathcal N_m|}{M},
\]
together with system utility, total nonce length, and provider utility. In multi-coalition mode, for example \(J=3\), users can belong to several coalitions, which increases \(N_{\text{avg}}\) relative to the single-coalition case \(J=1\). As the number of mobile users \(N\) increases, \(N_{\text{avg}}\) also increases, and overlapping structures become richer because users have stronger incentives to collaborate under reward and resource competition. Price acts as a direct structural control: at low \(p\), individual mining remains profitable and coalitions are smaller; at moderate \(p\), cooperation becomes more attractive and overlap intensifies; at high \(p\), mining becomes too expensive, so nonce investments shrink and coalitions contract or disappear [2508.06031].

Relative to a non-cooperative baseline, single-coalition collaboration improves system utility by about \(10.42\%\sim 12.48\%\), while multi-coalition collaboration, such as \(J=3\), improves it by about \(12.64\%\sim 17.63\%\). The multi-coalition regime also raises the edge provider’s utility, with increases up to \(\sim 40\%\) in some settings, and enlarges both total nonce length and average coalition membership. The reported gains are most pronounced when the block reward \(B\) or transaction volume \(I\) is high, edge capacity \(f_E\) is sufficient, and the price \(p\) is moderate rather than negligible or prohibitive [2508.06031].

The same study makes several restrictive assumptions explicit. It is a static snapshot model with quasi-static users and parameters; dynamic joins, leaves, and mobility are not represented. It assumes perfect information in the sense that users can evaluate payoffs for alternative coalition structures through message passing. Intra-coalition sharing follows a uniform equal-splitting rule rather than bargaining or fairness-aware allocation. Security and energy costs are not modeled; the focus is mining performance and resource pricing. These assumptions delimit the meaning of edge coalition partition in this setting: it is a joint mechanism for coalition overlap, edge-resource competition, and pricing, rather than a full model of mobile blockchain behavior [2508.06031].

## 5. Edge coalition partition in graph theory

In graph theory, an edge coalition is defined on a simple graph \(G=(V,E)\) in terms of edge domination. A set \(D\subseteq E(G)\) is edge-dominating if every edge not in \(D\) is adjacent to some edge in \(D\). Two disjoint edge sets \(E_1,E_2\subseteq E\) form an edge coalition if neither \(E_1\) nor \(E_2\) is edge-dominating, but \(E_1\cup E_2\) is edge-dominating. An edge coalition partition, or \(ec\)-partition, is then a partition \(\pi=\{E_1,\dots,E_k\}\) of the edge set such that every part is either a singleton edge-dominating set or a non-edge-dominating part that forms an edge coalition with another non-edge-dominating part. The edge coalition number \(EC(G)\) is the maximum possible cardinality of such a partition. The line-graph identity \(\gamma'(G)=\gamma(L(G))\) links edge domination in \(G\) to vertex domination in the line graph \(L(G)\), and underlies the transfer of several coalition-theoretic ideas from vertices to edges [2507.19871].

Every graph admits an \(ec\)-partition, so \(EC(G)\) is always well-defined, and the general bound
\[
1\le EC(G)\le m\le \frac{n(n-1)}{2}
\]
holds for a connected graph of order \(n\) and size \(m\). Several classes admit exact formulas. For stars,
\[
EC(K_{1,n})=n.
\]
For double stars \(S_{p,q}\),
\[
EC(S_{p,q})=p+q+1.
\]
For paths \(P_n\), the values are
\[
EC(P_n)=
\begin{cases}
n-1, & n\le 5,\\
4, & n=6,\\
5, & 7\le n\le 10,\\
6, & n\ge 11,
\end{cases}
\]
and for cycles \(C_n\),
\[
EC(C_n)=
\begin{cases}
n, & n\le 6,\\
5, & n=7,\\
6, & n\ge 8.
\end{cases}
\]
At the extremal dense end,
\[
EC(G)=\frac{n(n-1)}{2}
\]
if and only if \(G\in\{K_2,K_3,K_4,K_5\}\). The theory also introduces the edge coalition graph \(ECG(G,\pi)\), whose vertices are the parts of \(\pi\) and where adjacency records coalition partnership; this captures the interaction pattern induced by a fixed \(ec\)-partition [2507.19871].

This edge-based theory extends a vertex-based coalition-partition literature. In that predecessor line, a coalition consists of two disjoint vertex sets whose union is dominating although neither set is dominating individually, and a coalition partition is a partition of \(V(G)\) in which every non-dominating part participates in such a coalition. Recent work on cubic graphs shows that the general upper bound \(C(G)\le 9\) is sharp in the 3-regular case by constructing infinite families of cubic graphs with coalition number \(9\) [2404.06245]. The edge-coalition notion should therefore be read as an edge-domination analogue of an established vertex-domination framework, not as a variant of edge cut or clique partition.

## 6. Neighboring frameworks and non-equivalent uses

Several adjacent literatures study partitions or coalition structures that are edge-based but not edge coalition partitions in the domination-theoretic sense. Graph coalition structure generation over graphs asks for a partition of vertices into connected coalitions maximizing \(\sum_{C\in\mathcal C} v(C)\), usually under valuations independent of disconnected members; the edge-sum subclass uses
\[
v(C)=\sum_{(i,j)\in E:\ i,j\in C} v_{i,j}.
\]
This problem is NP-complete in general, remains NP-complete for planar graphs, admits polynomial-time algorithms on trees and on \(K_{2,3}\)- and \(K_4\)-minor-free graphs, and is linear-time on bounded-treewidth graphs [1102.1747, 1401.6428]. Weighted Graph Games adopt the same internal-edge valuation
\[
v(C)=\sum_{e\in E_C} w(e)
\]
and study optimal coalition structures under positive and negative edge weights; the resulting optimization is NP-complete and inapproximable in general, NP-complete on planar graphs, but has constant-factor approximations on planar, minor-free, and bounded-degree graphs [1108.5248].

Distributed graph processing uses yet another notion of edge partition. In the etsch framework, an edge partition is a disjoint decomposition \(E=\bigcup_{i=1}^K E_i\), each subgraph \(G_i=(V_i,E_i)\) is processed locally, and communication is mediated by frontier vertices with cost
\[
\mathit{MESSAGES}=\sum_{i=1}^K |F_i|.
\]
The distributed funding-based partitioner d-fep constructs connected edge partitions by propagating funding from vertices to edges and buying edges round by round [1403.6270]. In balanced graph edge partitioning, the objective is instead to minimize the replication factor
\[
RF(P)=\frac{1}{|V|}\sum_{i=1}^k |V(E_i)|
\]
under an \(\alpha\)-balance constraint on edge counts, and recent local-search algorithms use adjustable edges and blocks to improve existing partitions [2012.09451]. At much larger scale, StreamCPI combines streaming partitioners with run-length compression of block assignments; the framework reports that a graph with \(17\) billion nodes and \(1.03\) trillion edges can be partitioned on a Raspberry Pi [2410.07732].

Machine-learning and edge-systems papers introduce still different meanings. A variational edge partition model for supervised graph representation learning decomposes each observed edge into community-specific weighted edges \(A^{(k)}\) satisfying
\[
\sum_{k=1}^K A_{ij}^{(k)}=A_{ij},
\]
and uses those weighted partitions to define community-specific GNN channels [2202.03233]. Privacy-aware collaborative edge inference defines an edge coalition partition as a disjoint user–server coalition structure
\[
\mathcal F=\{\mathcal F_1,\dots,\mathcal F_M\},\qquad
\bigcup_{m=1}^M \mathcal F_m=\mathcal N,\quad
\mathcal F_i\cap \mathcal F_j=\emptyset,
\]
and jointly optimizes user–server association, model deployment, and DNN layer partitioning under a Lyapunov-controlled privacy budget [2502.16091]. Finally, edge clique partition studies whether \(E(G)\) can be partitioned into cliques. In the above-\(\alpha(G)\) regime, ECP/\(\alpha\) is fixed-parameter tractable, whereas ECC/\(\alpha\) is NP-complete for every fixed \(k\ge 2\) but polynomial-time solvable for \(k\in\{0,1\}\) [2506.21216].

Taken together, these strands indicate that edge coalition partition is best understood as a family of structurally related but non-equivalent formulations. In networked systems it typically denotes the organization of edge-side agents, tasks, or resources into coalitions under pricing, privacy, or deployment constraints. In graph theory it denotes an edge partition governed by domination and coalition partnership. In optimization and learning it often refers more broadly to decompositions whose objective or representation is determined by internal edges.

Source: https://www.emergentmind.com/topics/edge-coalition-partition