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

Мат. linear decidability