問題タブ [isomorphism]

Rのigraphライブラリを使用してサブグラフ同型を行っています。

私は2つのグラフを持っていp1ますp2:

graph.subisomorphicを適用すると結果が得られました:

2 つのマッピングを含むこの結果を理解できます。

しかし、すべての亜同型を取得したいので、graph.get.subisomorphism という別の関数を適用しました。R のドキュメントによると、結果は名前付き数値ベクトルのリストです。

「graph.get.subisomorphisms.vf2 は数値ベクトルのリストを返します。各数値ベクトルは、グラフ 2 からグラフ 1 のサブグラフへの同形マッピングです。」

誰かが結果を説明するのを手伝ってくれますか? < NA >数値ベクトルの名前にa があるのはなぜですか?

特定のプログラミング言語で書かれたプログラムを、他の言語で同等の機能を持つプログラムにコンパイルすることは常に可能ですか?

.txt ( http://pastebin.com/g4cgaHJBのようなもの) ファイルからグラフを読み取り、それらを作成してベクターに入れるプログラムを作成しようとしています。（この部分は完全に機能します）

アイデア: 最初のエッジから始めて (そしてそこからグラフを作成し、それを testg と呼びます)、グラフを繰り返し処理しようとしています。 dataG ベクトルを計算し、時間が長い場合は true の回数を数え、次に 2 であるため testg が頻繁に発生します)、testg が頻繁に発生する場合は、別の隣接するエッジを追加します (サブグラフ同型テストを再度実行します)。 testg が頻繁に行われなくなった場合は、最後に追加されたエッジ (バックトラック) を削除し、別のエッジに変更します (サブグラフ同型テストを再度実行します)。追加するエッジがこれ以上ない場合は、testg が閉じていると言います。それをベクトルに入れて、closedG と呼びましょう。

私はこれを行うことでアイデアを始めました：

しかし、それはうまくいきません！エラーは次のとおりです。

私は現在、ストアフロント、非常に反応性の高いユーザー ダッシュボード、およびストアフロントを介して提供される個々の製品 (高度にインタラクティブなミニアプリ) で構成される新しいプロジェクトの計画段階にあります。私たちは、プラットフォーム全体を SPA にすることを避け、フロントエンド ビューに React を使用して Flux アーキテクチャ全体を設計しようとしています。

1 つの問題は、ほとんどの SPA と同様に SEO です。私は este.js 開発スタックに基づいて同型ソリューションのプロトタイプを作成しました。1 つの問題は、アプリが、SPA を提供する Web サーバーとは別の RESTful サーバーからほとんどすべてのデータを消費することです。これは、HTML スナップショットを同形で生成するために、Web サーバーが RESTful サーバーからかなりの量のデータをフェッチする必要があることを意味します。

私は、独自のクローラー プロセスでストアフロント全体を定期的にクロールし、Web サーバーが検索エンジンのクローラーに遭遇したときに提供できるページの HTML スナップショットを同形で生成することを検討しました。ただし、これが良いアプローチであるかどうかはわかりません。追加のメンテナンスが必要になる可能性が高く、率直に言って、少し壊れやすいようです。Web サーバーにその場で同形的に HTML を生成させることもできますが、サーバーが REST API からかなりのデータを取得するため、通常のユーザーにとってはサーバーが停止するのではないかと心配しています...

そのような場合を処理するためのより良い方法はありますか?

2 つの単純なグラフがあるとします。

次のようになります。

なぜそれらは同型ではないのでしょうか?

間違い

そして最も重要なことは、これが同形でない場合、どうすれば 内でこの種の同等性を検出できるigraphでしょうか?

特定のグラフのセットから同形グラフのクラスを識別するヒューリスティック ソリューションを実装しようとしています。現在、各ノードに隣接ノードの次数のマルチセット (WL アルゴリズム) をラベル付けしています。

これは、次数規則グラフなどの場合、明らかに誤検知を引き起こします。私は、WL アルゴリズムのコーナー ケースを横断できる、安価に実装できる (時間とスペースの制約がある) 別のヒューリスティックを見つけたいと考えていました。基本的に、私は、それらの間でわずかな誤検知を与える、簡単に実装できるヒューリスティックのペアを探しています。

WL アルゴリズム以外のどのヒューリスティックを調べる必要がありますか?

ありがとう！

リストに関するいくつかの定理を証明し、それらからアルゴリズムを抽出しました。ルックアップと連結がより高速であるため、代わりにヒープを使用したいと考えています。これを達成するために私が現在行っていることは、抽出されたリストの種類にカスタム定義を使用することです。これをより正式な方法で行いたいと考えていますが、理想的には、すべての証明をやり直す必要はありません。私がタイプを持っているとしましょう

と同型

さらに、私は関数 H_app と H_nth を持っています。

と

一方では、すべてのリスト再帰を、リスト再帰を模倣する特殊な関数に置き換える必要があります。一方、事前に++andnthをH_appandH_nthで置き換えたいと思うので、抽出されたアルゴリズムはより高速になります。simpl問題は、いくつかの場所でandのような戦術を使用していることcomputeです。証明コードのすべてを置き換えると、おそらく失敗します。後で関数を「オーバーロード」する可能性があるとよいでしょう。

このようなことは可能ですか？

編集: 明確にするために、同様の問題が数値で発生します: を使用する古い証明がいくつかnatありますが、数値が大きくなりすぎています。使っBinNatたほうがいいのですが、古い証明でもあまり手を加えずにBinNat代わりに使うことはできますか？(特に、 の非効率的な使用法を ?のより効率的な定義にnat置き換えます)+BinNat

ブースト ライブラリを使用してグラフ マイニングのコードを書いていますが、テスト方法を知りたいです。

• 2 つのグラフが同形を使用して等しい場合 (グラフが同じ構造と同じラベルを持つ場合にのみ true を返します)

• グラフが別のサブグラフである場合

これはグラフ ファイルです: 3test.txt

私が作成したソースコードの一部を次に示します。

残念ながら、実行すると次のエラーが発生しました。