Does there exist a graph $G = \{ V, E \}$ with the following properties:
- for every node $v_i \in V$ there is an automorphism $\varphi$ for which $\varphi(v_i) \neq v_i$
- $G$ has no fixed-point-free automorphism (i.e. an automorphism $\varphi'$ in which for all $i$ $\varphi'(v_i) \neq v_i$)
If the answer is yes is there a small example?
... this seems a good example: at least one automorphism for each vertex such that $\varphi(v_i) \neq v_i$, but no FPF automorphism: