摘要: 在二分图中,有结论:最小顶点覆盖数=最大匹配数 今天自己yy了一个证明: 首先,我们证明不存在小于最大匹配数的最小顶点覆盖数。 这是显然的,因为这些顶点根本无法覆盖所有的匹配边。 接下来证明存在等于最大匹配数的最小顶点覆盖数。 首先证明,在最大匹配中,每条匹配边连接的两个顶点a,b最多只有一个与非匹 阅读全文
posted @ 2017-03-11 18:23 Klaier 阅读(1857) 评论(2) 推荐(0) 编辑
摘要: Description Bessie wants to navigate her spaceship through a dangerous asteroid field in the shape of an N x N grid (1 <= N <= 500). The grid contains 阅读全文
posted @ 2017-03-11 18:04 Klaier 阅读(389) 评论(0) 推荐(0) 编辑
摘要: Description Linux用户和OSX用户一定对软件包管理器不会陌生。通过软件包管理器,你可以通过一行命令安装某一个软件包,然后软件包管理器会帮助你从软件源下载软件包,同时自动解决所有的依赖(即下载安装这个软件包的安装所依赖的其它软件包),完成所有的配置。Debian/Ubuntu使用的ap 阅读全文
posted @ 2017-03-11 16:35 Klaier 阅读(182) 评论(0) 推荐(0) 编辑