Connected Coalition in Graph Theory
- Connected Coalition is a graph-based notion where feasibility is defined by the connectivity of the induced subgraph, a criterion used across various cooperative game formulations.
- It serves as a core concept in graph-constrained coalition formation, connected domination, and partially connected D2D networks, enabling efficient coalition structure generation.
- Algorithmic approaches like dynamic programming, QUBO formulations, and edge contraction techniques underpin methods to efficiently solve NP-hard connected coalition problems.
Searching arXiv for relevant papers on connected coalitions and graph-constrained coalition formation. I’ll use the available arXiv search capability to ground the article in current literature. Connected coalition is a graph-based notion whose meaning depends on the surrounding theory. In graph-constrained coalition formation, coalition structure generation, and interaction-graph cooperative games, a coalition is feasible or viable exactly when the induced subgraph is connected. In graph domination, by contrast, a connected coalition is a pair of disjoint vertex sets whose union is a connected dominating set, while neither set alone is a connected dominating set. In partially connected device-to-device networks, the same graph-induced connectivity condition is imposed on subsets of devices, and coalition formation is used to coordinate instantly decodable network coding transmissions (Bistaffa et al., 2016, Voice et al., 2011, Bousquet et al., 2015, Alikhani et al., 2023, Al-Abiad et al., 2019).
1. Terminological scope and formal definitions
The literature uses connected coalition in more than one non-equivalent way. The common substrate is an undirected graph whose vertices are agents, devices, or graph vertices; connectivity of an induced subgraph is then used either as a feasibility condition for a single coalition or as a property that emerges only after two non-dominating parts are combined (Bistaffa et al., 2016, Alikhani et al., 2023).
| Setting | Connected coalition condition | Canonical object |
|---|---|---|
| Graph-constrained coalition formation | is feasible iff is connected | coalition structure |
| Interaction-graph cooperative games | is viable iff is connected | core, covering LP, packing LP |
| Connected-domination theory | disjoint with a connected dominating set, but neither nor alone is | connected coalition partition, 0 |
| Partially connected D2D networks | 1 is connected iff the induced subgraph 2 is connected | coalition-formation game over disjoint connected coalitions |
For graph-constrained coalition formation, let 3 be the set of agents and 4 an undirected graph whose vertices are agents and whose edges encode allowable pairwise relationships. A subset 5 is feasible iff the induced subgraph 6 is connected, and a coalition structure is a partition of 7 into disjoint feasible coalitions (Bistaffa et al., 2016). Equivalent formulations appear in coalition-structure generation over graphs, where a connected coalition structure 8 is any partition such that each 9 induces a connected subgraph of 0 (Rahwan et al., 2014, Voice et al., 2011).
For connected-domination theory, let 1 be a simple graph. Two disjoint subsets 2 form a connected coalition if neither 3 nor 4 is a connected dominating set, yet 5 is a connected dominating set. A connected coalition partition is then a vertex partition in which each part is either a singleton full vertex or forms such a coalition with another part; the connected coalition number 6 is the maximum cardinality of such a partition (Alikhani et al., 2023, Guan et al., 2024).
2. Connected coalitions as feasible sets on interaction graphs
In graph-constrained coalition formation, the basic optimization problem is to maximize the value of a partition subject to connectivity. With 7 denoting the family of feasible coalitions and 8 the set of all feasible coalition structures, a characteristic function 9 is extended to coalition structures by
0
and the objective is
1
This is the standard GCCF formulation (Bistaffa et al., 2016).
The same connectivity restriction appears in coalition-structure generation over graphs. Given an undirected graph 2 and a valuation function 3, the problem is to find a partition of 4 into connected subsets that maximizes the sum of coalition values: 5 Voice, Polukarov, and Jennings formalized this as Graph Coalition Structure Generation (GCSG) and analyzed it under valuation functions that are independent of disconnected members (IDM), including the edge-sum subclass
6
The IDM condition can be stated either through marginal contributions across vertex separators or, equivalently, by the additivity relation 7 for disconnected coalitions 8 and 9 (Voice et al., 2011, Voice et al., 2014).
A closely related cooperative-game formulation uses Myerson’s connectivity viability condition: a coalition 0 is viable exactly when 1 is connected, and 2 if 3 is disconnected. In this setting, the graph is an interaction graph constraining which coalitions can realize positive value (Bousquet et al., 2015). This suggests that, across these literatures, connectivity acts not as an auxiliary regularizer but as the primitive feasibility condition that defines the admissible coalition space.
3. Connected coalitions in connected-domination theory
In graph theory, the connected-coalition literature studies a different object. A set 4 is a connected dominating set if 5 is connected and every vertex in 6 has a neighbor in 7. Two disjoint sets form a connected coalition when neither is a connected dominating set but their union is. A connected coalition partition 8 is valid when each part is either a singleton 9 with 0 or a non-connected-dominating set that forms a connected coalition with another part. The connected coalition number 1 is the maximum number of parts in such a partition (Alikhani et al., 2023).
The early structural theory identifies the graphs that admit no connected coalition partition. If 2 is the family obtained by including all disconnected graphs of order at least 3 and then repeatedly taking the join 4, then 5 if and only if 6. For connected graphs outside 7, one has 8; equality 9 occurs only for 0. The same work proves that if 1 and 2 has no full vertex, then 3, and that for any tree 4, 5 (Alikhani et al., 2023).
Subsequent work refines the theory. For a connected graph 6 of order 7 with no full vertex, let
8
be the set of cut-vertices. Then
9
Exact values were also obtained for unicycle graphs, the corona product, and the join of two graphs, together with lower bounds for the Cartesian and lexicographic products (Guan et al., 2024). For example, if 0 are any graphs, then
1
The partition perspective also induces a secondary graph object. Given a connected coalition partition 2, the coalition graph 3 has vertices corresponding to the parts of 4, with an edge between 5 and 6 exactly when 7 is a connected dominating set in 8. For subcubic graphs, every such coalition graph is either a star 9 with 0 or one of 1 explicitly listed small graphs of order at most 2; among the 3 resulting types, exactly nine are finitely realized by subcubic graphs (Dobrynin et al., 4 Sep 2025).
A notable literature issue is that the reported values of 4 are not uniform across the supplied sources. The exposition of “Connected coalitions in graphs” gives 5 (Alikhani et al., 2023), whereas “On the connected coalition number” states
6
(Guan et al., 2024). This discrepancy should be read as a difference within the current literature rather than as a settled identity.
4. Computational complexity and algorithmic methods
Connectivity restrictions do not remove the essential hardness of coalition-structure generation. GCSG is NP-complete on general graphs even when the valuation is edge-sum, and it remains NP-complete on planar graphs; hence it is NP-complete on 7-minor-free classes for 8 (Voice et al., 2011, Voice et al., 2014). Voice et al. also give positive results: on trees, GCSG is solvable in 9, and on 0-minor-free or 1-minor-free graphs it is solvable in 2 (Voice et al., 2011).
For bounded-treewidth graphs, dynamic programming yields exact linear-time algorithms in the number of vertices for fixed width. Given a tree decomposition of width 3, the tree-DP algorithm of Voice et al. solves the connected coalition-structure generation problem in time 4. More generally, separator theorems lead to subexponential algorithms on sparse hereditary classes; for planar graphs the resulting bound is
5
An alternative exact approach for Graph-Constrained Coalition Formation is CFSS, which represents the search space through edge contraction on a 2-coloured graph and traverses a rooted CF-tree by depth-first branch-and-bound. CFSS is particularly efficient for characteristic functions of the form 6, where 7 with 8 superadditive and 9 subadditive. The method is anytime, admits a parallel variant P-CFSS, and, on the reported benchmarks, is up to 00 faster than DyCE on sparse networks, explores on average at most 01 or 02 of the full search tree in two benchmark families, and provides approximate solutions with quality guarantees for instances with more than 03 agents (Bistaffa et al., 2016).
Rahwan and Michalak develop a hybrid algorithm 04 that combines dynamic programming with depth-first tree search on a pseudotree. The worst-case time remains 05 on a clique, matching DyPE, but the hybrid is empirically reported to significantly outperform both constituent parts when the subset-evaluation function has certain intuitive properties (Rahwan et al., 2014).
Recent work also formulates connected coalition formation as repeated graph splitting via QUBO. In GCS-Q, a connected weighted graph 06 is partitioned top-down, each split being accepted only if it increases the total sum of intra-coalition weights, and connectivity is guaranteed by construction because each accepted part is replaced by its connected components. In the reported LEO-satellite experiments, the D-Wave Advantage annealer significantly outperforms Gurobi in runtime while maintaining solution quality, and the full clustering pipeline yields a 07–08 reduction in total communication links in the Starlink instances listed in the paper (Venkatesh et al., 2024).
5. Cooperative-game formulations on interaction graphs
When connected coalitions are treated as viable coalitions of a cooperative game, the central objects are the core, covering LPs, and packing LPs. Let 09 be an interaction graph, and let 10 be superadditive and satisfy the viability condition that 11 only if 12 is connected. A payoff vector 13 lies in the core if
14
and
15
Core non-emptiness is tested by a covering LP, and the dual is a fractional packing of viable coalitions (Bousquet et al., 2015).
The covering-packing duality induces several graph parameters. If 16 is the value of the fractional packing LP and 17 the maximum integral packing, then the primal integrality gap is 18, the dual integrality gap is 19, and the packing-covering ratio is
20
For graphical coalition games, 21, where 22 is the treewidth (Bousquet et al., 2015).
The same paper introduces the thicket number 23, defined as the maximum hitting size over thickets, and the vine-width 24, defined via vine decompositions. The central min-max theorem is
25
Moreover,
26
The packing-covering ratio is characterized exactly by the thicket number: for every interaction graph 27, there exists a coalition game whose packing-covering ratio equals 28, and every game on 29 satisfies 30. The worst-case primal gap satisfies
31
while the worst-case dual gap satisfies
32
for some constants 33. The graphical set family of connected subsets also links the theory to VC-dimension: if 34 is the VC-dimension of 35, then 36 and therefore 37 (Bousquet et al., 2015).
These results place connected coalitions inside a broader combinatorial framework. They show that once connectivity is encoded as viability, the main quantitative questions become covering, packing, integrality gaps, and decomposition width rather than only coalition enumeration.
6. Connected coalitions in partially connected D2D networks
In IDNC-assisted D2D communications, connected coalition appears in a directly operational form. The network is modeled by an undirected graph 38 over 39 wireless devices, where 40 if and only if 41 lies in the coverage zone of 42 and vice versa. For any subset 43, the induced subgraph 44 determines coalition feasibility: 45 is a connected coalition exactly when 46 is connected, meaning that for every pair 47 there exists a path in 48 linking them (Al-Abiad et al., 2019).
The original optimization is an NTU coalition game for D2D completion-time minimization. At transmission round 49, a coalition 50 may elect a subset 51 of simultaneous transmitters, each sending an XOR of packets 52. With 53 the set of packets still wanted by user 54, 55 the cumulative decoding delay, and
56
the individual payoff is
57
Because the coalition payoff is vector-valued and non-transferable, the coalition’s overall payoff is 58, and a scalar value function may be defined by
59
The grand-coalition version is intractable, and the paper states that finding the grand coalition and its optimal encoding policy is NP-hard (Al-Abiad et al., 2019).
The relaxation is a coalition-formation game over a partition 60 of disjoint, connected coalitions. Each coalition selects one transmitting device 61 and an IDNC packet 62 by solving
63
where 64 are members of 65 still wanting packets, 66 are critical users, and 67 are the users targeted by 68 (Al-Abiad et al., 2019).
Coalition updates are driven by Pareto preferences through classical merge-and-split rules. A collection 69 may merge into 70 if at least one member strictly improves without hurting any other member and 71 remains connected. A coalition 72 may split into connected subcoalitions 73 if at least one member in each 74 strictly improves without hurting others and each 75 allows a non-zero number of targeted users. Starting from any initial partition 76, successive merge/split steps lead in a finite number of steps to a final partition 77 in which no further Pareto-improving move exists. The terminal partition is Nash-stable, and equivalently both 78-stable and 79-stable (Al-Abiad et al., 2019).
In this application, connected coalition is neither only a graph-theoretic partition concept nor only an abstract feasibility condition. It is the local communication structure within which simultaneous transmissions, packet combinations, decoding delay, and convergence guarantees are jointly defined.