問題タブ [isomorphism]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
haskell - 同形を一般化するにはどうすればよいですか?
だから私は同形を扱いたいだけで、手を使うことができます。
私はテキスト エディターを作成しています。タスクに応じて、(行、列) のタプルとして、またはテキスト オブジェクトへの単一の整数オフセットとして、カーソルの位置を 2 つの異なる方法で考えたいと思います。
私はレンズを使用して全体を構築しているので、これは ISO について学ぶのに適した場所のように思えました。
もともと私はBufferオブジェクトを持っていました:
しかし、カーソルが (row, col) タプルになる可能性があるので、次のように変更しました。
Buffer Intバッファのコンテキスト内では to からto への同形Buffer (Int, Int)があるので (この制約は、変換を行うためにテキストとオフセットが必要なためです)、バッファを使用するすべての関数に、 「ただ働く」。
現在、定義でポリモーフィックにする方法にこだわっています。
できます：
しかし、もちろん、カーソルは完全に型指定されていないため、実際にはまったく使用できません。
私が見つけることができた大まかに関連するライブラリは、このtype-isoライブラリだけで、あまり人気がないようです。ブログの投稿が見つからなかったという考えで、これが人々のすることなのかどうか疑問に思いますか？
これが良いライブラリである場合、 Isomorphic のインスタンスを作成する必要があると考えており、 Injectiveの各インスタンスを作成すると無料で取得できるようですが、ドキュメントや例が見つかりませんすぐに理解できるので、これが慣用的な方法であるかどうかを確認したかったのです。これが正しければ、Isomorphic 制約または Injective 制約のどちらを使用しますか?
編集：少しいじりましたが、実際にInjectiveを実装してIsoを無料で入手できるようですが、このライブラリは人気がないようですので、慣用的なアプローチを探しています。
最後に、レンズ isos の場合、次のように記述する必要があります。
または、より良い/より簡単な方法はありますか? これらは私のインスタンスから派生できますか?
良いレンズ同形の例やチュートリアルを知っている人はいますか? Google はあまり役に立ちません :/
助けてくれてありがとう！私が慣用的にすべてを行っていることを確認するためにチェックインしたいだけです。
graph - Julia と naty のインターフェース
(二部) グラフ (LightGraphs パッケージを使用して作成されたオブジェクト) の自己同形群を見つけたいと思います。これを行うには、Julia で naty を呼び出したいと思います。出来ますか？はいの場合、どのようにしますか？
ドキュメントを読んだところ、Julia には C インターフェイスがあるようです... http://docs.julialang.org/en/release-0.5/manual/calling-c-and-fortran-code/
ご協力いただきありがとうございます。
haskell - 2 つのストリーム タイプ間の変換
Haskell での 2 つのデータ型の変換について質問があります。
次の 2 つのデータ型を検討してください。
Q2: 書く
ストリームの 2 つの表現間で変換する
私が最初に問題を抱えているのは Stream データ型です。これは再帰的なデータ型であることがわかりますが、基本的なケースがないため、これがどういうわけか無限であり、どうすればストリーム データ型を作成できるのか疑問に思います。さらに、Stream2 のコンストラクターは、フィールドの 1 つが Stream2 型のものでもあるレコード構文で指定されます。のような質問があったことは理解しています。
しかし、この質問からの答えを私の特定の混乱にどのように適用できるかわかりません。
python - サブグラフ同型を見つけるための QuickSI アルゴリズム
Quick Subgraph Isomorphism (QuickSI) アルゴリズムを研究していますが、6 ページの (2) および (3) で説明されている内部サポートと平均内部サポートの計算に関する式を理解するのに問題があります。"v" が頂点を表し、"e" がエッジを表す場合、f(v) と f(e) は何をしますか? 6 ページから表 2 の値を取得するにはどうすればよいですか? 5 ページの定義 4 は、理解するのにあまり役に立ちません。クエリ グラフからデータ グラフへの同形マッピングにより、クエリ グラフからさまざまなコンポーネントを取得し、それらがデータ グラフで見つかるかどうかを確認します。しかし、これの計算時間は、大規模なグラフにはあまり適していないようです。
元の記事はこちら: http://www.cse.unsw.edu.au/~lxue/10papers/vldb08_haichuan.pdf
前もって感謝します！