Graphical properties of polyhexes: Perfect matching vector and forcing

From the viewpoint of graph theory and its applications, subgraphs of the tiling of the plane with unit squares have long been studied in statistical mechanics, In organic chemistry, a much more relevant case concerns subgraphs of the tiling with unit hexagons. Our purpose here is to take a mathematical view of such polyhex graphsG and study two novel concepts concerning perfect matchingsM. First, the forcing number ofM is the smallest number of edges ofM which are not contained in any other perfect matching ofG. Second, the perfect matching vector ofM is written (n ₃,n ₂,n ₁,n ₀), wheren _k is the number of hexagons with exactlyk edges inM. We establish some initial results involving these two concepts and pose some questions.