问题标签 [isomorphism]

我有两个无向图。

现在我想知道是否gbig包含一个与gsmall. 或者准确地说，我想要一个特定的映射（如果存在）。

在igraphR 包中，这可以通过subgraph_isomorphisms函数来​​完成。问题是这个函数给了我所有的同构，这在这个小例子中已经很昂贵了。

所以我尝试graph.subisomorphic.lad(gsmall, gbig, all.maps =F)了这给了我

因此。据说$map包含我需要的信息。但我不知道如何使用这些数字来生成节点的重命名，gsmall这样重命名的版本gsmall实际上是gbig. 我有同样的翻译问题，subgraph_isomorphisms根据帮助返回一个“顶点序列列表，对应于从第一个图到第二个图的所有映射”，我不明白。

谁能告诉我如何获得我想要的重命名？如果我假设$map结果的条目graph.subisomorphic.lad(gsmall, gbig, all.maps =F)包含我需要的内容是正确的，那么我如何才能从那时起进行重命名？如果不是如何以另一种方式实现它？

提前致谢。

Control.Lens.Iso包含许多出色的函数，用于将Isos 提升为有用抽象的各种类型参数。例如：

• mapping对于任意Functors
• contramapping对于Contravariant函子
• dimapping,对于s lmapping_rmappingProfunctor
• bimapping为Bifunctors

我正在寻找将 a 提升Iso到 a 的first参数的函数Bifunctor，但它似乎不存在。我目前正在这样定义它：

这个功能是否已经存在于某个地方，或者已经具备bimapping p (iso id id)了？

此问题类似于BGL：Example of isomorphism with vertex invariants

我正在编写Boost.Graph 教程，并且在两个没有属性的图上调用 boost::is_isomorphism 很容易。但是当顶点现在有名称时，我无法让它工作。

这段代码显示：

• 我如何创建具有命名顶点的路径图（不重要）
• 我的测试代码
• 我用命名顶点测试同构的函数

以下是我如何使用命名顶点创建路径图（这相当不重要，但显示为完成）：

这是我的测试：

我想is_named_vertices_isomorphic或多或少地编写函数（注意：这将编译，但测试失败，受BGL 启发：Example of isomorphism with vertex invariants ）：

看问题BGL: Example of isomorphism with vertex invariants让我想到了这个：

两种解决方案都失败了。谁能帮帮我？

假设给定的两个多重图是同构的。
如何找到它们之间的双射？

我知道很难找到同构图，因为它是一个 NP 问题。
但是如果它们已经是同构图呢？

来自互联网的许多解决同构问题的资源建议先找到最短路径，然后再找到规范形式。在我实施测试之后，证明图是同构的似乎没有必要且效率低下。但是如果没有这些功能，我找不到任何其他解决方案来分离双射和同构。

笔记：

1. 参考：http ://www.dharwadker.org/tevet/isomorphism/
2. 多图允许自循环和多边。

I'm trying to build my app with React and Node (Isomorphic Rendering Architecture). I found on github example project but i have problem. I would like to develop my project client and server together, that the same Component can gets data/actions whataever from client nad server simultaneously. For example:

You can see that, Component gets props from client and server together. How i can do this? I tryed 3 github projects but always i can't implement it. I dont know why. of course it's working when i render Component only by server or only by client but it's not working together.

For example when I render Component by server i can't make any actions specific for client (onclick alerting etc.) . So that's why it's important for me. Rendering some data from server and makes some client actions. But together, still on the same Component.

I'm sorry for my poor english!

我想计算完整的 3 节点子图的数量。原始图的节点具有名称。示例代码如下。

更新：我试过graph.get.isomorphisms.vf2(g, sbgDouble.graph[[1]])但结果是list().

有人可以告诉我如何输出 3 节点子图的节点名称/ID 列表吗？谢谢。

Fin n在 Idris 中，你能在和之间建立同构(x ** So (x < n))吗？（我实际上不知道 Idris，所以这些类型可能无效。一般的想法是我们有一个数据类型保证小于n构造，另一个保证小于n测试。）

有没有人实现过 Laszlo Babai 的准多项式图同构？

http://people.cs.uchicago.edu/~laci/

我不是这方面的专家。我想知道 为什么不直接实现他的算法并运行它来验证它的时间复杂度？

我似乎无法让 ExtractTextPlugin 正常工作。我从未见过 CSS 文件。在我尝试切换到这个插件之前，scss 文件被捆绑在一起没有问题。

SCSS 文件使 bundle.min.js 文件没有问题...

但我需要将 CSS 文本包含在服务器呈现的响应中。

给定两个图（A 和 B），我试图根据边权重的差异确定是否存在与给定某个阈值的 A 匹配的 B 的子图。也就是说，如果我取每对关联边之间的差值之和，它将低于指定的阈值。A 和 B 之间的顶点标签不一致，所以我只依赖边缘权重。

A 会有点小（例如最大 10），而 B 会更大（例如最大 200）。