20世紀中期以降、とくに発展した科学分野の1つである離散数学。離散数学はとびとびの対象物を扱い、アルゴリズムと呼ばれる問題解決の手順を作り出す。その中でも「ものを分ける問題」を取り上げ、具体的な問題解決のアルゴリズムを解説する。