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

Chien Pin Chou, Henryk A. Witek

Research output: Contribution to journalArticlepeer-review

16 Citations (Scopus)

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
Publication statusPublished - 2014
Externally publishedYes

ASJC Scopus subject areas

  • Chemistry(all)
  • Computer Science Applications
  • Computational Theory and Mathematics
  • Applied Mathematics

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