PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
tournament (Definition)

A tournament is a directed graph obtained by choosing a direction for each edge in an undirected complete graph. For example, here is a tournament on 4 vertices:

\begin{displaymath}\begin{xy} *!C\xybox{ \xymatrix{ 1 \ar[dr] \ar[r] &2 \ar[d]\ 3 \ar[u] \ar[ur] &4 \ar[l]} } \end{xy}\end{displaymath}

Any tournament on a finite number $n$ of vertices contains a Hamiltonian path, i.e., directed path on all $n$ vertices. This is easily shown by induction on $n$: suppose that the statement holds for $n$, and consider any tournament $T$ on $n+1$ vertices. Choose a vertex $v_0$ of $T$ and consider a directed path $v_1,v_2,\ldots,v_n$ in $T\setminus \{v_0\}$. Now let $i \in \{0,\ldots,n\}$ be maximal such that $v_j \rightarrow v_0$ for all $j$ with $1 \leq j \leq i$. Then
\begin{displaymath}v_1,\ldots,v_i,v_0,v_{i+1},\ldots,v_n \end{displaymath}

is a directed path as desired.

The name “tournament” originates from such a graph's interpretation as the outcome of some sports competition in which every player encounters every other player exactly once, and in which no draws occur; let us say that an arrow points from the winner to the loser. A player who wins all games would naturally be the tournament's winner. However, as the above example shows, there might not be such a player; a tournament for which there isn't is called a $1$-paradoxical tournament. More generally, a tournament $T=(V,E)$ is called $k$-paradoxical if for every $k$-subset $V'$ of $V$ there is a $v_0 \in V \setminus V'$ such that $v_0 \rightarrow v$ for all $v \in V'$. By means of the probabilistic method Erdős showed that if $\vert V\vert$ is sufficiently large, then almost every tournament on $V$ is $k$-paradoxical.

A transitive tournament is a tournament in which, for all vertices $v_0$, $v_1$ and $v_2$, if there is an edge from $v_0$ to $v_1$ and an edge from $v_1$ to $v_2$ then there is also an edge from $v_0$ to $v_2$.



"tournament" is owned by yark. [ full author list (3) | owner history (2) ]
(view preamble)

View style:

See Also: complete graph, graph theory

Other names:  directed complete graph
Also defines:  paradoxical tournament, transitive tournament
Keywords:  complete graph
Log in to rate this entry.
(view current ratings)

Cross-references: probabilistic method, games, points, arrow, player, outcome, interpretation, graph's, vertex, induction, path, Hamiltonian path, contains, finite, vertices, complete graph, edge, directed graph
There are 4 references to this entry.

This is version 4 of tournament, born on 2002-10-11, modified 2007-01-06.
Object id is 3518, canonical name is Tournament.
Accessed 5722 times total.

Classification:
AMS MSC05C20 (Combinatorics :: Graph theory :: Directed graphs , tournaments)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)