- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
请告诉我我的证明是否正确
We have a connected graph, and specific vertex u in V(G).
Suppose we compute the dfs tree of G rooted at u and obtain tree T.
Now imagine we compute the bfs tree of G rooted at u and we obtain the same tree T.
Prove that the only way this is possible is if G=T
反证法。
假设dfs树和bfs树都等于T,但是G不等于T。
这意味着 G 至少包含一条不在 T 中的边。
我们也知道任何这样的边都是循环的一部分,否则它们就会在 T 中。
所以至少有一个 Cycle C= p1, p2, p3, p_{k}
且 p_{k} = p1
,由不同的节点 k> 组成= 3
,在 G.
假设dfs和bfs算法会在节点p1
处遇到循环。
Dfs 会将以下边添加到它的树 (p1, p2)
, ...., (p_{k-2}
,(p_{k- 1})
而 bfs 首先将边 (p1,p2)
, (p1,p_{k})
添加到它的树中。
我们已经看到 dfs 树不等于 bfs 树,因为 bfs 包含 (p1,p_{k})
而 dfs 不包含这条边。
这与我们假设 dfs 和 bfs 具有相同的树相矛盾,并且表明 G=T 一定是这种情况。
最佳答案
该定理只适用于无向图(以任意强连通圆有向图为例)。
回到无向图,对于直观的方法,请注意 dfs 最大化树的高度,而 bfs 最小化它。这意味着在第一个圆 C
命中时,覆盖 C
的子树将不同。
你的证明形式化了这个想法,所以总的来说我会说没问题。
你没有指定dfs的选择策略,所以有2个小错误:
代替 (p1,p2)
,dfs 可能包含 (p1,p_{k})
或根本不包含任何边 ( )。当然,dfs 永远不会包括两条边,而 bfs 总是会。
Dfs 不一定向T
添加k-1
个圆边。但是,在返回到p1
之前,它已经访问了所有的圆顶点,因此此时所有的圆顶点都已经添加到T
。因此 (p1,p_{k})
(dfs 选择 (p1,p2)
第一次点击 p1
)或 (p1,p2)
(else), resp., 不会被添加。
您可以通过证明一个小引理将后者形式化:
设 (v, w)
是 dfs 在步骤 n
中添加的边( wlog 假设 dfs 从 v
移动到w
), T(n)
是第(n
)步的部分dfs树。然后由 V(G)\V(T(n))
诱导的子图 G'
中的连通分量 [w]
的所有节点将在 E(G)
的另一条边 (w, x)
被添加之前被添加到 dfs 树中。
关于graph-theory - 证明如果 G 的深度优先搜索树等于 G 的广度优先搜索树则 G 是树,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/48552894/
我正在使用python 2.7 当我尝试在其上运行epsilon操作时出现此错误, 这是我的代码 import cv2 import numpy as np img = cv2.imread('img
1 很多程序员对互联网行业中广泛讨论的“35岁危机”表示不满,似乎所有的程序员都有着35岁的职业保质期。然而,随着AI技术的兴起,这场翻天覆地的技术革命正以更加残酷且直接的方式渗透到各行各业。程序员
我有一个包含多个子模块的项目,我想列出每个子模块的相对深度 该项目: main_project submodule1 submodule1\submodule1_1 submo
我有一张彩色图像及其深度图,它们都是由 Kinect 捕获的。我想将它投影到另一个位置(以查看它在另一个视角下的样子)。由于我没有 Kinect 的内在参数(相机参数);我该如何实现? P.S:我正在
给出了这三个网址: 1) https://example.com 2) https://example.com/app 3) https://example.com/app?param=hello 假
这个着色器(最后的代码)使用 raymarching 来渲染程序几何: 但是,在图像(上图)中,背景中的立方体应该部分遮挡粉红色实体;不是因为这个: struct fragmentOutput {
我希望能够在 ThreeJS 中创建一个房间。这是我到目前为止所拥有的: http://jsfiddle.net/7oyq4yqz/ var camera, scene, renderer, geom
我正在尝试通过编写小程序来学习 Haskell...所以我目前正在为简单表达式编写一个词法分析器/解析器。 (是的,我可以使用 Alex/Happy...但我想先学习核心语言)。 我的解析器本质上是一
我想使用像 [parse_ini_file][1] 这样的东西。 例如,我有一个 boot.ini 文件,我将加载该文件以进行进一步的处理: ;database connection sett
我正在使用 Mockito 来测试我的类(class)。我正在尝试使用深度 stub ,因为我没有办法在 Mockito 中的另一个模拟对象中注入(inject) Mock。 class MyServ
我试图在调整设备屏幕大小时重新排列布局,所以我这样做: if(screenOrientation == SCREEN_ORIENTATION_LANDSCAPE) { document
我正在 Ubuntu 上编写一个简单的 OpenGL 程序,它使用顶点数组绘制两个正方形(一个在另一个前面)。由于某种原因,GL_DEPTH_TEST 似乎不起作用。后面的物体出现在前面的物体前面
static FAST_FUNC int fileAction(const char *pathname, struct stat *sb UNUSED_PARAM, void *mo
我有这样的层次结构: namespace MyService{ class IBase { public: virtual ~IBase(){} protected: IPointer
我正在制作一个图片库,需要一些循环类别方面的帮助。下一个深度是图库配置文件中的已知设置,因此这不是关于无限深度循环的问题,而是循环已知深度并输出所有结果的最有效方法。 本质上,我想创建一个 包含系统中
如何以编程方式在树状结构上获取 n 深度迭代器?在根目录中我有 List 每个节点有 Map> n+1 深度。 我已修复 1 个深度: // DEPTH 1 nodeData.forEach(base
我正在构建一个包含大量自定义元素的 Polymer 单页界面。 现在我希望我的元素具有某种主样式,我可以在 index.html 或我的主要内容元素中定义它。可以这样想: index.html
我正在尝试每 25 秒连接到配对的蓝牙设备,通过 AlarmManager 安排,它会触发 WakefulBroadcastReceiver 以启动服务以进行连接。设备进入休眠状态后,前几个小时一切正
假设有一个有默认值的函数: int foo(int x=42); 如果这被其他人这样调用: int bar(int x=42) { return foo(x); } int moo(int x=42)
是否可以使用 Javascript 获取 url 深度(级别)? 如果我有这个网址:www.website.com/site/product/category/item -> depth=4www.w
我是一名优秀的程序员,十分优秀!