The Multivariable Zhang–Zhang Polynomial of Phenylenes.

The Zhang–Zhang polynomial of a benzenoid system is a well-known counting polynomial that was introduced in 1996. It was designed to enumerate Clar covers, which are spanning subgraphs with only hexagons and edges as connected components. In 2018, the generalized Zhang–Zhang polynomial of two variables was defined such that it also takes into account 10-cycles of a benzenoid system. The aim of this paper is to introduce and study a new variation of the Zhang–Zhang polynomial for phenylenes, which are important molecular graphs composed of 6-membered and 4-membered rings. In our case, Clar covers can contain 4-cycles, 6-cycles, 8-cycles, and edges. Since this new polynomial has three variables, we call it the multivariable Zhang–Zhang (MZZ) polynomial. In the main part of the paper, some recursive formulas for calculating the MZZ polynomial from subgraphs of a given phenylene are developed and an algorithm for phenylene chains is deduced. Interestingly, computing the MZZ polynomial of a phenylene chain requires some techniques that are different to those used to calculate the (generalized) Zhang–Zhang polynomial of benzenoid chains. Finally, we prove a result that enables us to find the MZZ polynomial of a phenylene with branched hexagons. [ABSTRACT FROM AUTHOR]