Group for Research in Decision Analysis


The Construction of Normal Benzenoid Systems: Proof of Cyvin and Gutman's Conjecture


A proof is given that any normal benzenoid system with h &gt 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.

, 20 pages