Оценка на ширину для принципа Дирихле на графе. Игровая интерпретация ширины. Связь ширины и памяти (clause space) резолюционных доказательств.