Real-life motivation. My eldest son attended a football (soccer) class with $17$ other students, so $18$ students in total. There were 6 students with year of birth (yob) $n$, then 6 more with year of birth $n+1$ and the rest hat yob $n-1$. In the evening, my son told me that at some point, all $18$ students sat in a circle such that for every student $x$, the years of birth of $x$ and his/her two neighbors covered all $3$ possible years of birth. I found this amazing until I found a trivial solution.

Formalization. Let $G= (V, E)$ be a simple, undirected graph. For $v\in V$ let $N(v) = \{w\in V: \{v,w\} \in E\}$ be the set of neighbors of $v$. For a positive integer $k>1$, we call a graph $k$-regular if $|N(v)| = k$ for all $v\in V$. We call a $k$-regular graph satisfying if there is a map $f:V\to \{1,\ldots,k+1\}$ such that $$f\big(N(v)\cup\{v\}\big) = \{1,\ldots,k+1\} \text{ for all } v\in V.$$

Obviously, for any integer $k>1$ the complete graph $K_{k+1}$ is satisfying.

Question. (Only the first needs to be answered for acceptance.)

1. If $k>1$ is an integer, is there a non-complete satisfying connected $k$-regular graph $G=(V,E)$?

2. If $k>1$ is an integer and $G=(V,E)$ is $k$-regular and satisfying, is $|V|$ necessarily a multiple of $k+1$?

Real-life motivation. My eldest son attended a football (soccer) class with $17$ other students, so $18$ students in total. There were $6$ students with year of birth (yob) $n$, then $6$ more with yob $n+1$ and the remaining $6$ had yob $n-1$. In the evening, my son told me that at some point, all $18$ students sat in a circle such that for every student $x$, the years of birth of $x$ and his/her two neighbors covered all $3$ possible years of birth. I found this amazing until I found a trivial solution.

Formalization. Let $G= (V, E)$ be a simple, undirected graph. For $v\in V$ let $N(v) = \{w\in V: \{v,w\} \in E\}$ be the set of neighbors of $v$. For a positive integer $k>1$, we call a graph $k$-regular if $|N(v)| = k$ for all $v\in V$. We call a $k$-regular graph satisfying if there is a map $f:V\to \{1,\ldots,k+1\}$ such that $$f\big(N(v)\cup\{v\}\big) = \{1,\ldots,k+1\} \text{ for all } v\in V.$$

Obviously, for any integer $k>1$ the complete graph $K_{k+1}$ is satisfying.

Question. (Only the first needs to be answered for acceptance.)

1. If $k>1$ is an integer, is there a non-complete satisfying connected $k$-regular graph $G=(V,E)$?

2. If $k>1$ is an integer and $G=(V,E)$ is $k$-regular and satisfying, is $|V|$ necessarily a multiple of $k+1$?