arXiv++ Combinatorics

This paper is an exploration of simple four-regular graphs in the plane (i.e. loopless and with no more than one edge between any two nodes). Such graphs are fundamental to the theory of knots and links in three dimensional space, and their planar diagrams. We dedicate this paper to Frank Harary (1921 -- 2005) whose fascination with graphs of knots inspired this work and with whom we had the pleasure of developing this paper. We prove that for v (the number of nodes) greater than or equal to 8 there always exist such knot-graphs. Our proof gives rise to a class of "tight" graphs that do not submit to the recursive procedure that generates graphs with v+2 nodes from "admissible" graphs with v nodes. We then classify such tight graphs.

Given a graph $G$, we consider a game where two players, $A$ and $B$, alternatingly color edges of $G$ in red and in blue respectively. Let $l(G)$ be the maximum number of moves in which $B$ is able to keep the red and the blue subgraphs isomorphic, if $A$ plays optimally to destroy the isomorphism. This value is a lower bound for the duration of any avoidance game on $G$ under the assumption that $B$ plays optimally. We prove that if $G$ is a path or a cycle of odd length $n$, then $Ω(\log n)\le l(G)\le O(\log^2 n)$. The lower bound is based on relations with Ehrenfeucht games from model theory. We also consider complete graphs and prove that $l(K_n)=O(1)$.