DOI
https://doi.org/10.25772/ERNP-AN80
Defense Date
2016
Document Type
Thesis
Degree Name
Master of Science
Department
Mathematical Sciences
First Advisor
C. E. Larson
Second Advisor
J. P. Brooks
Third Advisor
R. H. Hammack
Abstract
Benzenoids are graphs representing the carbon structure of molecules, defined by a closed path in the hexagonal lattice. These compounds are of interest to chemists studying existing and potential carbon structures. The goal of this study is to conjecture and prove relations between graph theoretic properties among benzenoids. First, we generate conjectures on upper bounds for the domination number in benzenoids using invariant-defined functions. This work is an extension of the ideas to be presented in a forthcoming paper. Next, we generate conjectures using property-defined functions. As the title indicates, the conjectures we prove are not thought of on our own, rather generated by a process of automated conjecture-making. This program, named Cᴏɴᴊᴇᴄᴛᴜʀɪɴɢ, is developed by Craig Larson and Nico Van Cleemput.
Rights
© The Author
Is Part Of
VCU University Archives
Is Part Of
VCU Theses and Dissertations
Date of Submission
12-14-2016
Included in
Artificial Intelligence and Robotics Commons, Discrete Mathematics and Combinatorics Commons