A set S ⊆ V is independent in a graph G = V , E if no two vertices from S are adjacent. The independence number α ( G ) is the cardinality of a maximum independent set, while μ ( G ) is the size of a maximum matching in G . If α ( G ) + μ ( G ) equals the order of G , then G is a König–Egerváry graph (Deming, 1979; Gavril, 1977; Sterboul, 1979). The number d G = max { A − N A : A ⊆ V } is the critical difference of G (Zhang, 1990) (where N A = v : v ∈ V , N v ∩ A ≠ 0̸ ). It is known that the inequality α ( G ) − μ ( G ) ≤ d G holds for every graph (Levit and Mandrescu, 2012; Lorentzen, 1966; Schrijver, 2003). A graph G is (i) unicyclic if it has a unique cycle, (ii) almost bipartite if it has only one odd cycle. Let ker ( G ) = ⋂ { S : S is a critical independent set of G } , core G be the intersection of all maximum independent sets, and corona G be the union of all maximum independent sets of G . It is known that ker ( G ) ⊆ core ( G ) for every graph (Levit and Mandrescu, 2012), while the equality holds for bipartite graphs (Levit and Mandrescu, 2013), and for unicyclic non-König–Egerváry graphs (Levit and Mandrescu, 2014). In this paper, we prove that if G is an almost bipartite non-König–Egerváry graph, then ker ( G ) = core ( G ) , corona ( G ) ∪ N (core( G )) = V ( G ) , and corona ( G ) + core ( G ) = 2 α ( G ) + 1 .

Let $G=(V,E)$ be a graph. A set $S\subseteq V$ is independent if no two vertices from S are adjacent, while $\mathrm{core}(G)$ is the intersection of all maximum independent sets [V. E. Levit and E. Mandrescu, Discrete Appl. Math., 117 (2002), pp. 149–161]. The independence number $\alpha(G)$ is the cardinality of a largest independent set, and $\mu(G)$ is the size of a maximum matching of G. The neighborhood of $A\subseteq V$ is $\mathcal{N}(A)=\{v\in V:\mathcal{N}(v)\cap A\neq\emptyset\}$. The number $d_{c}(G)=\max\{\vert X\vert -\vert \mathcal{N}(X)\vert :X\subseteq V\}$ is called the critical difference of G, and A is critical if $\vert A\vert -\vert \mathcal{N}% (A)\vert =d_{c}(G)$ [C. Q. Zhang, SIAM J. Discrete Math., 3 (1990), pp. 431–438]. We define $\mathrm{\ker}(G)$ as the intersection of all critical sets. In this paper we prove that if $d_{c}(G)\geq1$, then $\mathrm{\ker}(G)\subseteq\mathrm{core}(G)$ and $\vert \mathrm{\ker}(G)\vert >d_{c}(G) \geq\alpha(G) -\mu(G)$.