linear decidability

Мат. линейная разрешимость