---
title: Component Order Connectivity (COC)
url: https://www.emergentmind.com/topics/component-order-connectivity-coc
type: topic
---

# Component Order Connectivity (COC)

Component Order Connectivity (COC) is a graph-theoretic vulnerability measure centered on component order after deletions. In the standard unweighted formulation, given a graph \(G\) and integers \(k\) and \(\ell\), the question is whether there exists a vertex set \(S \subseteq V(G)\) with \(|S| \le k\) such that the size of the largest connected component in \(G-S\) is at most \(\ell\) [1610.04711; 1403.6331]. Closely related literature uses equivalent parameter language such as \(k\)-component order connectivity \(\kappa_k(G)\), where one asks for the minimum number of vertices whose removal results in an induced subgraph in which every component has order at most \(k-1\), and \(k\)-component order edge connectivity \(\lambda_k(G)\), where edge deletions play the analogous role [2308.00845]. Weighted, directed, exact-size, and lower-bounded-size variants extend the same basic idea by replacing vertex cardinality with weights, connected components with strongly connected components, the upper bound “at most \(\ell\)” with the exact requirement “exactly \(\ell\),” or by requiring each post-deletion component to have order at least a threshold [1403.6331; 2007.06896; 2605.19853; 2509.22538]. This suggests that COC functions both as a specific deletion problem and as a broader component-order-aware connectivity paradigm.

## 1. Definitions and terminological scope

The standard unweighted decision problem asks whether, for a graph \(G=(V,E)\) and integers \(k,\ell\in\mathbb{N}\), there exists \(S\subseteq V\) with \(|S|\le k\) such that every connected component of \(G-S\) has size at most \(\ell\) [1403.6331; 1610.04711]. Equivalently, \(S\) is a hitting set for all connected vertex sets of size \(\ell+1\) [1610.04711]. In optimization form, one minimizes \(|S|\) subject to the maximum component order of \(G-S\) being at most \(\ell\) [1403.6331].

A closely aligned notation defines the \(k\)-component order connectivity \(\kappa_k(G)\) as the minimum number of vertices whose removal results in an induced subgraph in which every component has order at most \(k-1\), and the \(k\)-component order edge connectivity \(\lambda_k(G)\) as the minimum number of edges whose removal results in a subgraph in which every component has order at most \(k-1\) [2308.00845]. The shift by one is purely notational: the parameter \(k\) in \(\kappa_k(G)\) or \(\lambda_k(G)\) corresponds to a maximum allowed component order of \(k-1\).

Several canonical special cases anchor the subject. When \(\ell=1\), the condition that every component in \(G-S\) has exactly one vertex means that \(G-S\) is an independent set, so COC reduces to Vertex Cover [2412.02511; 2605.19853]. When \(W=1\) in the notation used for weighted and unweighted COC kernelization, the problem is again Vertex Cover [2405.02378]. This identification is structurally important: many kernelization techniques for COC are explicit generalizations of crown-based reductions for Vertex Cover [1610.04711; 2605.19853].

The weighted formulation replaces cardinalities by vertex weights. If \(w:V(G)\to\mathbb{N}\) and \(w(X)=\sum_{v\in X} w(v)\), then the weight of a heaviest component of a graph \(H\) is
\[
wcc(H)=\max_i w(V(H_i)),
\]
where \(H_1,\dots,H_r\) are the connected components of \(H\) [1403.6331]. Weighted Component Order Connectivity (wCOC) asks whether there exists \(X\subseteq V(G)\) such that \(w(X)\le k\) and \(wcc(G-X)\le \ell\) [1403.6331]. The paper introducing wCOC explicitly describes it as a refined version of weighted vertex integrity [1403.6331].

## 2. Principal variants and related parameters

The literature does not restrict COC to a single formulation. Instead, it contains a family of component-order-aware deletion parameters that differ in what is constrained after deletion: the largest component, every component, the exact order of every component, the number of components, or the minimum order of each component.

| Variant | Post-deletion condition | Representative source |
|---|---|---|
| COC / \(\ell\)-COC | every connected component has size at most \(\ell\) | [1403.6331], [1610.04711] |
| wCOC | \(w(X)\le k\) and \(wcc(G-X)\le \ell\) | [1403.6331] |
| Component order edge connectivity | every component has order at most \(k-1\) after edge deletions | [2308.00845] |
| Directed COC (DCOC) | every strongly connected component of \(D-X\) has size at most \(\ell\) | [2007.06896] |
| \(\ell\)-Exact COC | every connected component in \(G-S\) has exactly \(\ell\) vertices | [2605.19853] |
| \(h\)-extra \(r\)-component connectivity | \(G-S\) has at least \(r\) components, each of order at least \(h+1\) | [2509.22538] |

The exact variant sharpens the usual upper-bound requirement. In \(\ell\)-Exact Component Order Connectivity, the question is whether one can delete at most \(k\) vertices so that every connected component in \(G-S\) has exactly \(\ell\) vertices [2605.19853]. This specializes to Vertex Cover when \(\ell=1\), and to Deletion to Induced Matching when \(\ell=2\) [2605.19853].

A different branch of the literature constrains component order from below rather than above. The \(h\)-extra \(r\)-component connectivity \(c\kappa_r^h(G)\) is the minimum number of vertices whose removal produces a disconnected graph with at least \(r\) components, where each component contains at least \(h+1\) vertices [2509.22538]. Likewise, \(g\)-good \(r\)-component connectivity \(c\kappa_{g,r}(G)\) requires at least \(r\) components and, in addition, every remaining vertex to have at least \(g\) neighbors in the remaining graph; this implies that every component of \(G-F\) has order at least \(g+1\) [2411.01854]. These lower-bounded-size formulations are not the same as standard COC, but they are explicitly component-order-aware.

Component connectivity, by contrast, constrains the number of components rather than their order. For a non-complete connected graph \(G\), a \(g\)-component cut is a set \(F\subseteq V(G)\) such that \(G-F\) has at least \(g\) connected components, and
\[
c\kappa_g(G)=\min\{|F|: F\subseteq V(G),\ \omega(G-F)\ge g\}
\]
[1803.01311]. The folded-hypercube paper explicitly states that in COC language, the basic COC without order constraints is exactly this notion [1803.01311]. This places component connectivity and COC in the same reliability family, but with different emphasis: number of components versus maximum or minimum component order.

## 3. Algorithmic complexity and kernelization

The algorithmic landscape of COC is sharply stratified by graph class, weighting, and parameterization. On arbitrary graphs, wCOC is weakly NP-complete already on complete graphs, COC is NP-complete on split graphs, and COC is W[1]-hard on split graphs when parameterized by \(k\) or by \(\ell\) [1403.6331]. For the combined parameter \(k+\ell\), however, wCOC is fixed-parameter tractable: it can be solved in
\[
2^{O(k\log \ell)}n
\]
time, and it admits a kernel with at most
\[
k\ell(k+\ell)+k
\]
vertices; moreover, there is no algorithm of time \(2^{o(k\log \ell)}n^{O(1)}\) for COC unless the Exponential Time Hypothesis fails [1403.6331].

On interval graphs the situation is more favorable. Weighted COC can be solved in
\[
O(\min\{k,\ell\}\cdot n^3)
\]
time, while the unweighted version can be solved in \(O(n^2)\) time on this class [1403.6331]. These algorithms use interval models, clique paths, and dynamic programming over separator structure [1403.6331].

Kernelization has been a central theme. A linear-programming-based kernel with at most \(2\ell k\) vertices was proved for \(\ell\)-COC, initially in \(n^{\mathcal{O}(\ell)}\) time for every constant \(\ell\), and then with a separation oracle implying running time \((3e)^{\ell}\cdot n^{O(1)}\) [1610.04711]. Later work on vulnerability measures improved the weighted COC kernel from \(\mathcal{O}(k^2W + kW^2)\) to
\[
3\mu(k + \sqrt{\mu}W),
\qquad \mu=\max(k,W),
\]
and also gave a combinatorial algorithm that provides a \(2kW\) vertex kernel in FPT-runtime when parameterized by \(r\), where \(r\le k\) is the size of a maximum \((W+1)\)-packing [2405.02378]. The same work shows that this \(2kW\) kernelization can be transformed into a polynomial algorithm for the special cases \(W=1\) and claw-free graphs [2405.02378].

The exact-size variant also admits linear kernels. \(\ell\)-Exact Component Order Connectivity has a kernel with
\[
(\ell+1)k+\ell-1
\]
vertices computable in \(|V(G)|^{O(\ell)}\) time [2605.19853]. This yields a \(2k\)-vertex kernel for Vertex Cover when \(\ell=1\), and a \((3k+1)\)-vertex kernel for Deletion to Induced Matching when \(\ell=2\), improving the previously known \(6k\)-vertex kernel for that case [2605.19853].

These kernelizations rely on generalized crown structures. The 2016 \(2\ell k\) kernel uses a linear programming relaxation together with a weighted generalization of the \(q\)-Expansion Lemma [1610.04711]. The 2024 work combines balanced crown decomposition, demanded balanced expansions, and weighted crown reductions to unify and extend earlier approaches for VI, wVI, and wCOC [2405.02378]. The 2026 exact-size kernel introduces ECOC crown decompositions in which the crown side consists of connected components of size exactly \(\ell\) rather than an independent set [2605.19853].

## 4. Degree conditions, extremal structure, and spectral viewpoints

COC also has a strong extremal side. For the vertex version, degree sequences can force lower bounds on \(k\)-component order connectivity. If \(2\le k\le n\) and \(1\le s<n-k+1\), then the degree-sequence condition
\[
d_{n-s+1}\ge k+s-2
\]
implies that every realization is forcibly \(k\)-component order \(s\)-connected [2308.00845]. For the edge version, if \(n>k\ge 2\) and \(1\le s\le (n+1)/2\), then
\[
d_{n-2s+2}\le k-2 \;\Rightarrow\; d_n\ge k+s-2
\]
implies that every realization is forcibly \(k\)-component order \(s\)-edge connected [2308.00845]. These statements are part of a broader program of best monotone theorems based on degree-sequence majorization and sink characterization [2308.00845].

The same paper shows that the complexity of optimal degree conditions grows rapidly. For \(k,s\ge 3\) and \(n\ge 2(s-1)\), there are at least \(p(s-1)\) sinks for “\(k\)-component order \(s\)-edge connected,” where \(p(\cdot)\) is the integer partition function [2308.00845]. This links optimal monotone criteria for COC-style edge connectivity to the combinatorics of integer partitions [2308.00845].

Spectral extremal graph theory has recently incorporated component-order-aware connectivity constraints. For graphs of order \(n\), minimum degree \(\delta\), and fixed \(g\)-good \(r\)-component connectivity \(c\kappa_{g,r}(G)=k\), the maximum adjacency spectral radius is attained by explicit join-of-cliques constructions, with six cases depending on inequalities among \(k,\delta,g\) [2411.01854]. The extremal graphs are described in the paper as having the general form of a “small clique representing the cut” joined to “one big clique” and \((r-1)\) equal cliques [2411.01854]. For \(h\)-extra \(r\)-component connectivity \(c\kappa_r^h(G)\), the corresponding extremal problem for the distance spectral radius likewise yields join constructions, with distinct optimal forms in the regimes \(\delta\le h\), \(h<\delta<c\kappa_r^h+h\), and \(\delta\ge c\kappa_r^h+h\) [2509.22538]. These results show that component-order constraints are compatible with sharp spectral extremal characterizations.

## 5. Reliability, interconnection networks, and other applications

A principal motivation for component-order-aware connectivity is network reliability. In interconnection networks, vertices model processors and edges model communication links; classical connectivity only detects the first disconnection threshold, whereas component-based measures quantify how rapidly the network fragments into many or small pieces under faults [1803.01311]. The folded-hypercube study explicitly argues that traditional connectivity “always underestimates the resilience of large networks,” while component connectivity “can more accurately evaluate the reliability and fault tolerance for large-scale parallel processing systems” [1803.01311].

For the \(n\)-dimensional folded hypercube \(FQ_n\), the paper determines the \((g+1)\)-component connectivity
\[
c\kappa_{g+1}(FQ_n)=g(n+1)-\frac{1}{2}g(g+1)+1
\]
for \(1\le g\le n+1\) and \(n\ge 8\) [1803.01311]. This formula generalizes ordinary connectivity, since \(c\kappa_2(FQ_n)=\kappa(FQ_n)=n+1\) [1803.01311]. The same work also states that the formula fails at \(g=n+2\), and that determining \(c\kappa_{g+1}(FQ_n)\) for \(g\ge n+2\) remains open [1803.01311].

Alternating group graphs and split-stars provide additional exact component-fragmentation thresholds. For \(AG_n\),
\[
\kappa_3(AG_n)=4n-10,\quad
\kappa_4(AG_n)=6n-16\ (n\ge 4),\quad
\kappa_5(AG_n)=8n-24\ (n\ge 5),
\]
and for \(S_n^2\),
\[
\kappa_3(S_n^2)=4n-8,\quad
\kappa_4(S_n^2)=6n-14,\quad
\kappa_5(S_n^2)=8n-20\ (n\ge 4)
\]
[1812.00617]. These formulas belong to component connectivity rather than upper-bounded-order COC, but they serve the same reliability objective of quantifying resistance to fragmentation.

COC also appears outside reliability theory. In the cops and robber game, the paper on 2-component order connectivity defines \(\ell\)-coc\((G)\) as the size of a smallest set \(U\) such that all the connected components of the induced graph on \(V\setminus U\) are of size at most \(\ell\) [2412.02511]. Specializing to \(\ell=2\), it proves the bound
\[
c(G)\le \frac{\mathrm{2\text{-}coc}(G)}{3}+4
\]
for the cop number \(c(G)\) [2412.02511]. This result turns a component-order deletion parameter into a pursuit-evasion bound.

## 6. Directed, exact, and open directions

The directed analogue replaces connected components by strongly connected components. Directed Component Order Connectivity (DCOC) asks, for a digraph \(D=(V,A)\) and integers \(k,\ell\), whether there exists \(X\subseteq V\) of size \(k\) such that the largest strongly connected component in \(D-X\) has at most \(\ell\) vertices [2007.06896]. For \(\ell=1\), DCOC reduces to Directed Feedback Vertex Set [2007.06896]. On general digraphs, parameter \(k+\ell\) admits an \(O^*(2^{O(k\log(k\ell))})\)-time algorithm, improving the previous \(O^*(2^{O(k\ell\log(k\ell))})\) bound [2007.06896]. On semicomplete digraphs, DCOC parameterized by \(k\) can be solved in time \(O^*(2^{16k})\), and there is no algorithm of time \(O^*(2^{o(k)})\) unless the Exponential Time Hypothesis fails; the same paper also gives matching lower bounds for parameter \(n-\ell\) [2007.06896].

Exact-size constraints form another frontier. \(\ell\)-Exact Component Order Connectivity asks whether every connected component in \(G-S\) can be forced to have exactly \(\ell\) vertices [2605.19853]. Its kernelization via ECOC crown decompositions generalizes both the classical Vertex Cover crown decomposition and the induced-matching case, and the paper identifies the running-time dependence on \(\ell\) as a limitation: obtaining an \(O(k\ell)\)-vertex kernel using time also polynomial in \(\ell\) is left open [2605.19853]. The same paper also identifies establishing non-trivial lower bounds on kernels for this exact variant as an open topic [2605.19853].

More broadly, current open directions arise at the interface between component order, component count, and application-specific constraints. For folded hypercubes, determining high-\(g\) component connectivity beyond the range \(1\le g\le n+1\) remains open [1803.01311]. For cops and robber, a natural next step is to bound the cop number by \(k\)-coc for a constant \(k\), possibly with a coefficient better than \(1/3\) [2412.02511]. The spectral literature suggests further extensions to signless Laplacian, Laplacian, directed analogues, and edge-based versions of component-order-aware connectivity, but the decisive structural fact already visible is that many extremal problems continue to produce join-of-cliques architectures under COC-type constraints [2411.01854; 2509.22538].

Taken together, these developments show that Component Order Connectivity is not a single invariant but a mature cluster of deletion parameters and decision problems. Its core question—how many failures are needed before all surviving components become small, or before multiple components of controlled order must appear—links parameterized complexity, crown-based kernelization, degree-sequence extremal theory, spectral graph theory, network reliability, and algorithmic graph decomposition.

Source: https://www.emergentmind.com/topics/component-order-connectivity-coc