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