Let $G = (V,E)$ be a simple, undirected graph. We say that $v\neq w\in V$ lie on a common cycle if there is an integer $n\geq 3$ and an injective graph homomorphism $f: C_n\to V$ such that $v,w\in \text{im}(f)$.
We call a function $p:\omega\to V(G)$ an $\omega$-walk if for all $n\in \omega$ we have $\{p(n),p(n+1)\}\in E(G)$.
Let $(\omega,E)$ be a graph on the ground set $\omega$ such that for all $m\neq n\in \omega$ we have that $m$ and $n$ lie on a common cycle.
Questions.
- Is there necessarily an injective $\omega$-walk (also called an $\omega$-path) for $(\omega,E)$?
- If not, is there an $\omega$-walk $p:\omega\to\omega$ such that $p^{-1}(\{n\})$ is finite for all $n\in \omega$?