Они встречаются во многих прикладных областях — проектирование микросхем, выравнивание последовательностей в биоинформатике, разбиение множеств и так далее.