Полуинвариант (комбинаторика) — Википедия
Полуинвариант — характеристика объекта которая изменяется монотонно в некотором определённом смысле при заданных преобразованиях. Например, числовой полуинвариант обычно не убывает или не возрастает. Обычно полуинвариант используется при доказательстве того, что применение данного алгоритма приводит к определённому состоянию.
Примеры[править | править код]
- Солдаты Конвея — одна из классических задач на полуинвариант.
Ссылки[править | править код]
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |