--- title: Edge-Critical Equimatchable Graphs url: https://www.emergentmind.com/topics/edge-critical-equimatchable-graphs type: topic --- # Edge-Critical Equimatchable Graphs An edge-critical equimatchable graph (ECE-graph) is a finite, simple graph in which every maximal matching has the same cardinality (i.e., the graph is equimatchable), but the removal of any edge destroys this property. The study of ECE-graphs arises from the combinatorial theory of matchings and is intimately connected to the structure theory of well-covered line graphs and factor-criticality. Beyond their intrinsic structural interest, ECE-graphs are central to the resolution of open problems on well-covered graphs without shedding vertices, notably the Levit–Mandrescu problem [2202.07929]. ## 1. Foundational Definitions and Properties A matching in a graph \(G\) is a set of edges no two of which share an endvertex. The matching is maximal if it is not properly contained in any other matching. A graph is **equimatchable** if every maximal matching has the same cardinality, which coincides with its matching number \(\nu(G)\): for every maximal matching \(M\subseteq E(G)\), \(|M|=\nu(G)\). An edge \(e\in E(G)\) is called **critical** if \(G-e\) is not equimatchable. A graph is **edge-critical equimatchable** (ECE-graph) if every edge of \(G\) is critical. Equimatchable graphs are equivalent to well-covered line graphs, providing a direct link to well-coveredness: for such \(G\) (with no \(K_2\)-components), \(L(G)\) is well-covered and has no shedding vertex. Consequently, classifying ECE-graphs provides large, explicit classes of well-covered graphs lacking any shedding vertex—a key unresolved topic. ## 2. Structure and Global Classification Every ECE-graph is necessarily 2-connected (Deniz–Ekim Lemma 3.6). They are classified into the following exclusive types (Deniz–Ekim Theorem 3.7): - **Type (i): Factor-Critical**—\(G\) is factor-critical and 2-connected. - **Type (ii): Bipartite**—\(G\) is bipartite and 2-connected. - **Type (iii): Even Clique**—\(G\cong K_{2t}\) for some \(t\ge1\). With the exception of bipartite ECE-graphs and even cliques, all ECE-graphs are factor-critical. The characterization of bipartite ECE-graphs is as follows: let \(G=(U\cup W,E)\) be a connected bipartite graph with \(|U|\le|W|\), \(|U|>1\); then \(G\) is ECE if and only if for every \(u\in U\) and every nonempty \(S\subseteq N(u)\), \(|N(S)|>|S|\), with equality only when \(S=N(u)\) [2202.07929]. ## 3. Factor-Critical ECE-Graphs with Connectivity Two If \(G\) is a factor-critical ECE-graph with connectivity 2, its structure admits a complete classification via Favaron’s theorem and a precise case analysis. Given such a graph with a 2-cut \(S=\{s_1,s_2\}\), \(G-S\) has exactly two components \(A\) and \(B\) with the following isomorphism types: - \(A\setminus\{a_1,a_2\}\cong K_{2q-2}\) or \(K_{q-1,q-1}\) - \(B\cong K_{2p+1}\) or \(K_{p,p+1}\) Here, 2-cut vertices are adjacent to designated \(a_i\in A\) and \(b_i\in B\). Central to the classification is the notion of "partial-completeness" to a component: for \(S\) partially-complete to \(B\), there exists a partition such that \(s_i\) is complete to one part and nonadjacent to the other. The complete family \(F\) of 2-connected, factor-critical ECE-graphs consists of five types: | Type | Structure of \(A\) and \(B\) | Notable adjacency | |------|--------------------------------------------|------------------------------| | I | \(A\cong K_{2q}\), \(B\cong K_{2p+1}\) | \(S\) complete to \(A\); partial to \(B\) | | II | \(A\cong K_{q,q}\), \(B\cong K_{2p+1}\) | Each \(s_i\) complete to a \(q\)-part of \(A\); partial to \(B\) | | III | \(A\cong K_{2q}\), \(B\cong K_{p,p+1}\) | \(S\) complete to \(A\); partial to large part of \(B\) | | IV | \(A\cong K_{q,q}\), \(B\cong K_{p,p+1}\) | Each \(s_i\) complete to part of \(A\); partial to large part of \(B\)| | V | \(A-\{a_1,a_2\}\cong K_{2q-2}\), \(B\cong K_1\) | Special \(w\in A\); complex local join conditions | A factor-critical graph of connectivity 2 is ECE if and only if it belongs to this family (Deniz–Ekim Theorem 4.11) [2202.07929]. ## 4. Higher Connectivity ECE-Graphs The structural understanding of factor-critical ECE-graphs with connectivity at least three is partial. For 3-connected graphs where deletion of a 3-cut leaves two components, each of size at least three, the components are complete, and edges to the cut set induce three additional types (termed VI–VIII). The case where one component has size two is also addressed [2202.07929]. For connectivity \(k\ge4\) and \(|G|\ge2k+3\) with minimum degree \(\delta(G)>k\), factor-critical ECE-graphs are those with independence number two and no dominating edge. Equivalently, such a \(G\) is an ECE-graph if and only if its complement \(\overline{G}\) is a maximal triangle-free graph of diameter 2 (Eiben–Kotrbcík, Lemma 4.2 in [2202.07929]). Cases with \(\delta(G)=k\) or small order (\(|G|\le2k+1\)) are left open. ## 5. Connections to Well-Covered Graphs and Open Problems A well-covered graph is 1-well-covered if every vertex is a shedding vertex. The complete structural description of well-covered graphs without any shedding vertex—posed by Levit and Mandrescu—is a recognized open problem. Since an ECE-graph \(G\) with no \(K_2\)-component satisfies that \(L(G)\) is well-covered and has no shedding vertex, a full classification of ECE-graphs would resolve the problem for the class of line graphs. These results, especially the explicit 2-connected, factor-critical, and bipartite ECE-graph classifications, provide the first full families of well-covered line graphs without shedding vertices and furnish explicit instances for further investigation [2202.07929]. ## 6. Relationship with Related Equimatchable Graph Classes ECE-graphs are one subclass within the broader category of equimatchable graphs. There are also vertex-critical equimatchable graphs (VCE-graphs), where removal of any vertex destroys equimatchability. The relationships among these subclasses, and their further characterization, are discussed in the context of equimatchable, well-covered, and factor-critical graphs, illuminating how edge-criticality imposes strong structural restrictions compared to the general equimatchable case. The ongoing development of ECE-graph theory continues to impact the structural theory of matchings, the characterization of well-covered line graphs, and the combinatorics of factor-criticality, with multiple open directions related to connectivity and extremal structure still to be resolved [2202.07929]. Source: https://www.emergentmind.com/topics/edge-critical-equimatchable-graphs