Determination of Zhang-Zhang polynomials for various classes of benzenoid systems: Non-heuristic approach

Chien Pin Chou*, Henryk A. Witek

*Corresponding author for this work

Research output: Contribution to journalArticle

15 Scopus citations

Abstract

We employ a graphical proof-oriented tool, ZZDecomposer, to discover formal derivations of Zhang-Zhang (ZZ) polynomials for various families and subfamilies of benzenoid structures including tripods, zigzag-edge coronoids fused with a starphene, oblate rectangles Or (m,2), hexagons O(2,2,n), O(2,3,n) and O(3,3,n) and multiple zigzag chains Z(4,n), Z(5,n), Z(6,n), Z(7,n), Z(8,n) and Z(9,n). Current derivations are based on formal graph decompositions of the analyzed structures. The decompositions provide appropriate recurrence formulas, which are subsequently solved, yielding closed-form expressions for the ZZ polynomials. We hope that in addition to many new basic facts about ZZ polynomials of some important classes of benzenoids, the current study will provide the researchers who are interested in mathematical graph theory with a practical guide to the ZZDecomposer functionality and will enable and facilitate their research.

Original languageEnglish
Pages (from-to)75-104
Number of pages30
JournalMatch
Volume72
Issue number1
StatePublished - 1 Jan 2014

Fingerprint Dive into the research topics of 'Determination of Zhang-Zhang polynomials for various classes of benzenoid systems: Non-heuristic approach'. Together they form a unique fingerprint.

  • Cite this