Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles

2016 ◽  
Vol 145 (3) ◽  
pp. 229-242 ◽  
Author(s):  
Dmitry Itsykson ◽  
Vsevolod Oparin ◽  
Mikhail Slabodkin ◽  
Dmitry Sokolov
Author(s):  
V. I. Benediktovich

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.


Author(s):  
Parinya CHALERMSOOK ◽  
Hiroshi IMAI ◽  
Vorapong SUPPAKITPAISARN

2020 ◽  
Vol 148 (2) ◽  
pp. 321-327
Author(s):  
Rodolfo Gutiérrez-Romo ◽  
Carlos Matheus
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document