Проверка графов на изоморфизм имеет важное значение в теории графов и её прикладных областях, особенно по отношению к изоморфизму ориентированных графов, нахождение биекции которого представляет собой NP-трудную задачу. Задача нахождения наибольшего общего подграфа двух ориентированных графов является сужением задачи изоморфизма предикатных формул, когда в элементарной конъюнкции содержится только один двухместный предикат. Ранее алгоритм был разработан для нахождения наибольшей общей подформулы двух элементарных конъюнкций. В данной работе представлены псевдокоды алгоритмов нахождения наибольшего общего подграфа для ориентированных графов и их пример использования. С. 5-13.