isomorphism

0熱

1答えて

Idrisでは、Fin nと(x ** So (x < n))の間に同形を確立できますか？（私は実際にIdrisを知らないので、これらの型は有効ではないかもしれません。一般的な考え方は、構造によってn未満であることが保証されているデータ型と、テストによってn未満であることが保証されている）

0熱

2答えて

与えられたグラフが別のグラフのサブグラフであるかどうかをチェックするアルゴリズム

私は2つのラベル付きグラフGとTを持っていると仮定し、アルゴリズムはTのサブグラフとメイングラフTとサブグラフGの対応する頂点同じラベル

1熱

1答えて

サブグラフ同型を求めるためのQuickSIアルゴリズム

クイックサブグラフ同型（QuickSI）アルゴリズムを研究しており、6ページ、（2）、（3）で説明した内部サポートと平均内部サポート計算に関する式を理解する上で問題があります。。「v」が頂点を表し、「e」がエッジを表す場合、f（v）およびf（e）は何をするか？ 6ページの表2の値はどのように取得できますか？ 5ページの定義4は、私の理解を助けるのにあまり効果がありません。クエリグラフからデータ

0熱

1答えて

サブグラフ同型化のためのNetworkXマッチャー

NetworkX経由でサブグラフ同型写像を検索するときにノードのマッピングを見つける方法はありますか？例えば、 import numpy as np from networkx.algorithms import isomorphism import networkx as nx B = [[0, 2, 1, 0, 0], [2, 0, 1, 0, 1], [1, 1,

2熱

1答えて

多面体グラフ（平面3連結グラフ）同型写像のアルゴリズムですか？

私は、平面3連結グラフのグラフ同型写像のトピックについていくつかの研究をしましたが、異なる制限、理論複雑性、および使用頻度のアルゴリズムが豊富にあり、目立つものを見つけるのは困難ですよう：簡単に理解することがは（数十の頂点まで）小さなグラフ上の最大の明快良い実用的な性能を持つを実装することができますそれはせずに知ることは難しいですこの問題のためのより古い、より特殊化されたアルゴリズム、または

-1熱

1答えて

2つのグラフをチェックする複雑さは同形ですか？

複雑さを計算する - （i）2つのグラフを与え、グラフが同形であるかどうかを確認しますか？（ii）サブグラフマッチング。

0熱

1答えて

NetworkX：間違った重み付きグラフの近似/不正確な部分グラフ同型図

2つのグラフ（AとB）が与えられたとき、エッジ重みの差に基づいてAに一致するBの部分グラフが存在するかどうかを調べようとしています。つまり、関連するエッジの各ペアの差の合計をとると、指定されたしきい値を下回ります。頂点のラベルはAとBの間で一貫していないので、私はエッジの重さに頼っています。 Aは多少小さく（たとえば最大10）、Bは大きく（たとえば最大200）です。