Eigenvalues, traceability, and perfect matching of a graph
It is well known that the recognition problem of the existence of a perfect matching in a graph, as well as the recognition problem of its Hamiltonicity and traceability, is NP-complete. Quite recently, lower bounds for the size and the spectral radius of a graph that guarantee the existence of a perfect matching in it have been obtained. We improve these bounds, firstly, by using the available bounds for the size of the graph for existence of a Hamiltonian path in it, and secondly, by finding new lower bounds for the spectral radius of the graph that are sufficient for the traceability property. Moreover, we develop the recognition algorithm of the existence of a perfect matching in a graph. This algorithm uses the concept of a (κ,τ)-regular set, which becomes polynomial in the class of graphs with a fixed cyclomatic number.