MathDB
O 26

Source:

May 25, 2007
algorithm

Problem Statement

A set of three nonnegative integers {x,y,z}\{x, y, z \} with x<y<zx<y<z is called historic if {zy,yx}={1776,2001}\{z-y, y-x\}=\{1776,2001\}. Show that the set of all nonnegative integers can be written as the union of pairwise disjoint historic sets.