Вдосконалено метод оптимальної редукції схем стосовно задач встановлення ізоморфізму графів і функціональної декомпозиції схем радіоелектронної й електронно-обчислювальної апаратури. Запропоновано й обгрунтовано нові інваріанти встановлення ізоморфізму для графів. Наведено метод встановлення ізоморфізму простих графів шляхом введення процедури встановлення ізоморфізму для доповнень графів. Вперше запропоновано та реалізовано метод встановлення еквівалентності схем з використанням класифікаторів елементів і ланцюгів, що дозволяє встановити ступінь перекриття двох схем.