G-92-37
The Construction of Normal Benzenoid Systems: Proof of Cyvin and Gutman's Conjecture
and BibTeX reference
A proof is given that any normal benzenoid system with h > 1 hexagons has two hexagons the removal of each of which results in a normal benzenoid system with h - 1 hexagons. This implies the truth of a conjecture due to Cyvin and Gutman and the correctness of a procedure for constructing all normal benzenoid systems they propose.
Published September 1992 , 20 pages