In graph theory, a Harris graph is defined as an Eulerian, tough, non-Hamiltonian graph. Harris graphs were introduced in 2013 when, at the University of Michigan, Harris Spungen conjectured that any graph which is both tough and Eulerian is sufficiently Hamiltonian. However, Douglas Shaw disproved this conjecture, discovering a counterexample with order 9 and size 14. Currently, there are 241,375 known Harris graphs. The minimal Harris graph, the Hirotaka graph, has order 7 and size 12.
Harris graphs can be constructed by adding barnacles or grafting smaller Harris graphs, enabling larger graphs while preserving their properties. Notable types include the minimal Hirotaka graph, the barnacle-free Lopez graph, and the Shaw graph, each showcasing unique structural features in graph theory. Harris graphs are valuable for teaching graph theory due to their accessible methods for finding and verifying them. They offer a balanced challenge, fostering creativity, teamwork, and problem-solving as students collaborate to explore solutions.