
arXiv: 1905.09462
A set $S\subseteq V$ is \textit{independent} in a graph $G=\left( V,E\right) $ if no two vertices from $S$ are adjacent. The \textit{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 called a \textit{K��nig-Egerv��ry graph }\cite{dem,ster}. The number $d\left( G\right) =\max\{\left\vert A\right\vert -\left\vert N\left( A\right) \right\vert :A\subseteq V\}$ is called the \textit{critical difference} of $G$ \cite{Zhang} (where $N\left( A\right) =\left\{ v:v\in V,N\left( v\right) \cap A\neq\emptyset\right\} $). It is known that $��(G)-��(G)\leq d\left( G\right) $ holds for every graph \cite{Levman2011a,Lorentzen1966,Schrijver2003}. In \cite{LevMan5} it was shown that $d(G)=��(G)-��(G)$ is true for every K��nig-Egerv��ry graph. A graph $G$ is \textit{(i)} \textit{unicyclic} if it has a unique cycle, \textit{(ii)} \textit{almost bipartite} if it has only one odd cycle. It was conjectured in \cite{LevMan2012a,LevMan2013a} and validated in \cite{Bhattacharya2018} that $d(G)=��(G)-��(G)$ holds for every unicyclic non-K��nig-Egerv��ry graph $G$. In this paper we prove that if $G$ is an almost bipartite graph of order $n\left( G\right) $, then $��(G)+��(G)\in\left\{ n\left( G\right) -1,n\left( G\right) \right\} $. Moreover, for each of these two values, we characterize the corresponding graphs. Further, using these findings, we show that the critical difference of an almost bipartite graph $G$ satisfies \[ d(G)=��(G)-��(G)=\left\vert \mathrm{core}(G)\right\vert -\left\vert N(\mathrm{core}(G))\right\vert , \] where by \textrm{core}$\left( G\right) $ we mean the intersection of all maximum independent sets.
12 pages, 5 figures. arXiv admin note: text overlap with arXiv:1102.4727
FOS: Computer and information sciences, critical set, critical difference, Discrete Mathematics (cs.DM), matching, core, G.2.2, independent set, Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.), Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.), bipartite graph, FOS: Mathematics, Mathematics - Combinatorics, 05C69 (Primary) 05C70 (Secondary), König-Egerváry graph, Combinatorics (math.CO), Computer Science - Discrete Mathematics
FOS: Computer and information sciences, critical set, critical difference, Discrete Mathematics (cs.DM), matching, core, G.2.2, independent set, Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.), Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.), bipartite graph, FOS: Mathematics, Mathematics - Combinatorics, 05C69 (Primary) 05C70 (Secondary), König-Egerváry graph, Combinatorics (math.CO), Computer Science - Discrete Mathematics
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
