Рассмотрены алгоритмы приближенных методов решения одноуровневой многомерной задачи унификации. Приведено обоснование алгоритма отбора переменных, использующего приближённые алгоритмы. Доказана точность получаемых решений, найденных с помощью алгоритма отбора переменных. Исследована эффективность ал...