The claim is that there exists digraph with order two or bigger such that for every two distinct vertices they have unequal outdegree and indegree
This is obviously true for small orders but how to show that generally?
The claim is that there exists digraph with order two or bigger such that for every two distinct vertices they have unequal outdegree and indegree
This is obviously true for small orders but how to show that generally?
Build them recursively:
the order 2 graph is just one directed edge, and the set of out/indegree are $(0,1), (1,0)$.
Once you have an order $n$ graph that satisfies the condition, add one node and connect it with an edge to every other node, directed such that the new node is the starting point. It's easy to see that the out/indegree are $$(0,n),(1,n-1),(2,n-2),\dots,(n-1,1),(n,0)$$
See the full graph withoot cycles.
indegee and outdegree of ith vertice is $i-1$ and $n-i-1$