Some rigorous results and statistics of the solution space of Vertex-Covers on bipartite graphs are given in this paper. Based on the König’s theorem, an exact solution space expression algorithm is proposed and statistical analysis of the nodes’ states is provided. The statistical results fit well with the algorithmic results until the emergence of the unfrozen core, which makes the fluctuatio...