Skip to main content
2 of 3
added 556 characters in body
Fedor Petrov
  • 108.9k
  • 9
  • 264
  • 459

For $n>2$ this is true. Consider a directed graphs with arrows from $a$ to $S_a\setminus a$. If it has arrows $a\to b$, $b\to a$, take $i=j=a$, $k=b$. If not, consider a vertex $a$ with maximal indegree, it is at least $n-1$ (all outdegrees are equal to $n-1$). Let $B=\{i\ne a:a\in S_i\}$, $C=S_a\setminus a$. Now $B,C$ are disjoint and each of them contains at least $n-1$ vertices. If there are arrows from $C$ to $B$, we find a triangle. If not, all arrows from $C$ go to $D=V\setminus (B\cup a)$, but this set contains at most $n$ elements and this may happen only if $S_c=D$ for all $c\in C$, this gives two opposite edges if $n>2$.

Fedor Petrov
  • 108.9k
  • 9
  • 264
  • 459