Пожалуй. Хотя тут все средства хороши - можно, действительно, делить число матриц n x k полного ранга на порядок того, что сохраняет данную точку. Можно понять, что q-аналог рекурренты для треугольника Паскаля есть и для клеток Шуберта, и для явной формулы. Можно ещё что-то.
Куда более интригующий вопрос - какое самое дешёвое доказательство унимодальности этого полинома от q?
no subject
Date: 2007-02-01 08:51 pm (UTC)Куда более интригующий вопрос - какое самое дешёвое доказательство унимодальности этого полинома от q?