Ильяшенко, Матвей БорисовичГолдобин, А. А.Ільяшенко, Матвій БорисовичГолдобін, О. О.Il’yashenko, M. B.Goldobin, A. A.2026-06-052026-06-052012https://eir.zp.edu.ua/handle/123456789/29241Ильяшенко М. Б. Решение задачи поиска изоморфизма графов для проектирования специализированных вычислителей / М. Б. Ильяшенко, А. А. Голдобин // Радіоелектроніка, інформатика, управління. – 2012. – № 1 (26). – C. 31-36.RU: Предлагается усовершенствованный алгоритм поиска изоморфизма графов и результаты исследования его эффективности. Объектом исследования является множество граф-схем алгоритмов достижения цели, полученная после обхода заданной семантической сети абстрактной машиной Уоррена. UK: Пропонується вдосконалений алгоритм пошуку ізоморфізму графів та результати дослідження його ефективності. Об’єктом дослідження є множина граф-схем алгоритмів досягнення мети, що була отримана після обходу семантичної мережі, яка задана, за допомогою абстрактної машини Уоррена. EN: An advanced algorithm for solving graphs isomorphism problem is proposed and experimental results of its efficiency are presented. Object of investigation is set of control flow graphs of solutions achieved, that were received after circumvent of the semantic network by Warren abstract machine.ruдекларативная логикапредикатдерево выводапрологрекурсивный обход с возвратомграф-подграф изоморфизмадекларативна логікапредикатдерево виводупрологрекурсивний обхід із поверненнямграф-підграф ізоморфізмаdeclarative logicpredicateO-TreePrologrecursively returninggraph-subgraph isomorphismArticle