Я пытаюсь найти инструмент/алгоритм для поиска разделов, соответствующих указанному шаблону в ориентированном графе, например: A->B->C or or A<->B->C Пожалуйста, подскажите направление моих поисков. Я имею в виду сопоставление с образцом....

Короткий вопрос. Каково значение изоморфных функций в программировании (а именно в функциональном программировании)? Длинный вопрос: я пытаюсь провести некоторые аналогии между функциональным программированием и понятиями в теории категорий,...

Как определить классы изоморфизма в Coq? Допустим, у меня есть запись ToyRec: Record ToyRec {Labels : Set} := { X:Set; r:X->Labels }. И определение изоморфизмов между двумя объектами типа ToyRec, в котором говорится, что два объекта T1...

Я пытаюсь реализовать эвристическое решение для определения классов изоморфных графов из заданного набора графов. В настоящее время я помечаю каждый узел мультимножеством степеней его соседей (алгоритм WL). Это, очевидно, приводит к ложным...

Вдохновленный вопросом о полиморфной функции между АТД , я пытаюсь создать изоморфизмы между несколькими (а не только двумя) типами, поэтому что каждый раз, когда мне нужен изоморфный, но не такой же тип, я могу посыпать свой код каким-нибудь...

Предположим, у нас есть два изоморфных друг другу графа (G и H). У нас также есть биекция между вершинами этих двух графов. Теперь мы добавляем по одному ребру к каждому графу (G + e, H + e). Есть ли простой способ узнать, являются ли полученные...

Вступление Давайте поговорим об изоморфизме здесь. У меня есть класс, реализующий изоморфизм, и он называется классом ISO . У меня есть этот класс из решения ката в codewars. Ссылку на изоморфизм можно увидеть здесь . Этот класс имеет много...

Я изучаю алгоритм быстрого изоморфизма подграфов (QuickSI), и у меня возникла проблема с пониманием формул, касающихся расчета внутренней поддержки и средней внутренней поддержки, описанных на странице 6, (2) и (3). Если «v» означает вершину, а «e» —...

Как указать boost::isomorphism_map при использовании adjacency_list<vecS, vecS, undirectedS> ? То, что я пытаюсь выполнить, помечено ????????? : typedef adjacency_list<vecS, vecS, undirectedS> graph_t; graph_t g1(n),...

Итак, я создал два представления целых чисел: data ZZ : Type where PZ : Nat -> ZZ Zero : ZZ NZ : Nat -> ZZ -- Represent an integer as a difference of two Nats. data NatNat = NN Nat Nat и две функции преобразования:...

Я пытаюсь сравнить, изоморфны ли два графика, используя networkx . Однако я обнаружил очень странную проблему, которая несколько дней приводила меня в замешательство. У меня есть функция get_graph , которая принимает в качестве входных данных...