MathDB
IMO LongList 1992 - Graph problem

Source:

September 2, 2010
combinatoricsgraph theorypathsIMO ShortlistIMO Longlist

Problem Statement

A directed graph (any two distinct vertices joined by at most one directed line) has the following property: If x,u,x, u, and vv are three distinct vertices such that xux \to u and xvx \to v, then uwu \to w and vwv \to w for some vertex ww. Suppose that xuyzx \to u \to y \to\cdots \to z is a path of length nn, that cannot be extended to the right (no arrow goes away from zz). Prove that every path beginning at xx arrives after nn steps at z.z.