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

Chien Pin Chou, Henryk A. Witek

Research output: Contribution to journalArticle

14 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

Fingerprint

Zigzag
Polynomials
Polynomial
Tripod
Graph Decomposition
Decomposition
Recurrence Formula
Graph theory
Hexagon
Rectangle
Closed-form
Decompose
Class
Family
Graphics

ASJC Scopus subject areas

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

Cite this

Determination of Zhang-Zhang polynomials for various classes of benzenoid systems : Non-heuristic approach. / Chou, Chien Pin; Witek, Henryk A.

In: Match, Vol. 72, No. 1, 2014, p. 75-104.

Research output: Contribution to journalArticle

@article{f2326459bbf54219b8c60d7b816dac42,
title = "Determination of Zhang-Zhang polynomials for various classes of benzenoid systems: Non-heuristic approach",
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.",
author = "Chou, {Chien Pin} and Witek, {Henryk A.}",
year = "2014",
language = "English",
volume = "72",
pages = "75--104",
journal = "Match",
issn = "0340-6253",
publisher = "University of Kragujevac, Faculty of Science",
number = "1",

}

TY - JOUR

T1 - Determination of Zhang-Zhang polynomials for various classes of benzenoid systems

T2 - Non-heuristic approach

AU - Chou, Chien Pin

AU - Witek, Henryk A.

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84898740559&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84898740559&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84898740559

VL - 72

SP - 75

EP - 104

JO - Match

JF - Match

SN - 0340-6253

IS - 1

ER -