1回答
有没有人可以给我介绍一下Coq中的图论库，里面有可以使用的check a graph是否是Cycle Graph。如果上面没有现有的实现，一个具有顶点度和连通性实现的库也可以。我一直在探索下面的链接库，它有图实现和连通性，我找不到check on cyclic或degree of Vertex相关的实现。
浏览 12提问于2020-06-06得票数 0
2回答
这里作者提到
对称属性:如果a# b，那么b# a.对于强连通性，这遵循于定义的对称性。传递性质:如果a#b和b# c，那么a# c，让我们把它扩展到强连通性:如果a~b和b~
浏览 3提问于2015-06-23得票数 2
4回答
我试图将一个有向(无圈)图分裂成方向连通的路径，依赖于连通性：当我测试弱连通子图和强连通子图时，我得到了以下内容：['16', '17'], ['3', '41', '39', '42']['17'], ['16'], ['39'
浏览 0提问于2019-04-16得票数 2
回答已采纳
1回答
我想将顶点和边的现有数据分成两个或更多不相连的图。我想举几个例子：
想象两个六边形在彼此的顶部，但它们位于不同的Z轴上。六边形1有如下顶点A(0,0,1)，B(1,0,2)，C(2,1,2)，D(1,2,1)，E(0,2,1)，F(-1,2,1)。连通性如下: A-B，B-C，C-D，D-E，E-F，F-A。图1的这一部分，因为所有的顶点在这一层中都是连接的。连通性</em
浏览 0提问于2012-10-25得票数 1
回答已采纳
1回答
我想说明的是，对于一个示例图族，连通子图的数量随着n的增加而增加。n(n-1)/2 =n/22^(n超过2)但让我们假设，例如，我们想要显示3-或4-
浏览 0提问于2016-03-18得票数 0
3回答
很抱歉这个简单的问题，但是有什么方法可以确定一个完全连通的图吗？我读过一些论文，指出图的完全连通性是图分析的前提。我在Matlab的一些图形分析工具箱中搜索确定连通性的函数，但这些工具箱中似乎至少没有提供任何功能。你能在这方面给我一些建议吗？非常感谢！
浏览 13提问于2013-04-01得票数 0
1回答
边缘连通性是将图划分为2个或更多个组件时要删除的最小边数。到目前为止，我已经找到了一种边界连通性的算法，而不考虑顶点：。如果在图G中切割任何边/边，则生成两个分量G1 & G2。
这里( v1∈G1和v2∈G2 ) OR ( v2∈G1和v1∈G2 )
浏览 1提问于2015-05-09得票数 1
回答已采纳
1回答
我有一组点(x，y)坐标和邻接矩阵，它给出了连通性的细节。我想绘制具有给定连通性的物理坐标。我知道在创建连通性图和散点图绘制物理坐标方面很有用。但我想要的是两者兼得。
浏览 4提问于2016-02-09得票数 1
1回答
将网络分解为具有相同顶点数的组件
、、、、
我需要将一个简单的图分解成具有相同固定顶点数的分量。对于每个组件，所有的顶点都应该连接起来。
例如，对于上面的网络，如果我们用n=3 (每个组件中的顶点数)将这个网络分解成组件，那么结果应该是125;123;124;234。最简单的解决办法是列出所有可能的组合(C(n，m)，m是网络中的顶点数，n是每个组件中的顶点数)，然后测试每个组合的连通性。然而，当网络是稀疏的时候，它
浏览 1提问于2014-06-25得票数 2
回答已采纳
我正在为Erdos-Renyi图编写C代码。我希望创建边的“if条件”是正确的(为了满足图的连通性，我需要考虑一个统一的分布)。但是，我收到了这样的消息：“循环最多运行一次(循环增量从未执行”)(请在我的代码中查看(*) )：
浏览 5提问于2017-04-12得票数 0
回答已采纳
2回答
在处理网络时，还有哪些更有趣的？我对在遍历网络、寻找随机节点、内存中的大小或节点的插入/删除/临时隐藏等方面可能提供一些特殊优势的结构感兴趣。注意:我对解决外部内存问题的数据库之类的设计不是很感兴趣。
浏览 0提问于2011-01-26得票数 3
2回答
设S是一组10位数的数字。给定v和w在S中的任意两个数字，我想知道是否有一个数字序列v=u_0，u_1，.，u_k=w，这样：
作为一个加号，它将更好地找到一个算法，以找到最短的这样的序列。理想情况下，我更喜欢C(或伪代码)解决方案，但我非常非常感谢关于这个方案的任何和所有建议！谢谢!
浏览 5提问于2011-03-23得票数 4
回答已采纳
2回答
有没有一种算法，当给定一个图时，计算该图的顶点连通性(为了将该图分成两个连接的图而要删除的最小顶点数)。(请注意，该图可能已断开连接)。谢谢!
浏览 1提问于2013-04-14得票数 2
回答已采纳
1回答
我想找出一个多项式时间算法，它以图G和整数K的形式输入，并确定G是否是K-顶点连通的。我认为这可能会利用深度优先搜索。我可以看到，如果有一个无多项式的解，就可以是none，也就是删除K个随机顶点，运行DFS来检查连通性，然后再用不同的顶点组来完成它。但是，运行时间~O(n^K)有点大，显然有可能将其降到多项式时间。我想这与我们在运行DFS之后得到的非树顶点有关，但我不完全确定我在寻找什么？提前感谢！
编辑:为了清楚起见，我不想确定图形的连通性<
浏览 4提问于2012-04-11得票数 3
我使用VMTK来查找vessel中的中心线，这是一个使用vtk数据的工具。在字典结构中，有两种类型的数据，点和单元。根据字典结构的介绍，点是由N个顶点和x，y，z位置组成的Nx3数组，这是我能理解的。但是，关于单元格数据，引言中说cells is Mx3数组定义了单元格到点索引的连通性。我不明白这一点。下面的图是Python语言的数据结构截图。谢谢！
浏览 13提问于2018-08-14得票数 0
回答已采纳
1回答
时间感知社会图DS/查询
、、、、
经典的社会网络可以表示为一个图/矩阵。是否有一种理想的数据结构(或对图/矩阵的修改)能够在时间感知的同时方便地计算上面的内容例如,T=0.100
A <-> B(t=0.10)B <-> C</em
浏览 1提问于2010-09-12得票数 7
回答已采纳
1回答
我有一个形式为A^n*b =e= c的方程，其中A是一个矩阵，b&c是列向量。如何在gams中表示A^n*b =e= c？可选:将我引向这一点的模型是，我有一个图，图中有一个连接矩阵con(x，x2)，表示当x和x2连接时x和x2之间的连接性。我想计算两个任意节点
浏览 11提问于2017-01-22得票数 0
1回答
我只是想知道双边连通性和强连通性是不是同一个概念。出于某种原因，我可以将这两者联系起来，但仍然感到困惑，因为它们有不同的名称。
浏览 0提问于2016-12-13得票数 0
在Prolog中，我们可以引入一个关于边方向的谓词来表示上面的图：edge(a,b).我们进一步介绍一个关于节点连通性的谓词：connected(X,Y) :- edge(X,Z), connected(Z,Y).现在，我们希望使用谓词path(X,Y,P)进一步扩展我们的程序，它将使用变量P来保存节点列表，这些节点列表构成了从节点X到节点Y的有效路径。实现路径谓词，并将Prolog系统
浏览 4提问于2019-09-22得票数 0
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
腾讯会议
对象存储
云直播活动推荐
腾讯云开发者
