题目:
证明如下问题是NP-完全的:
输入:两个图G1=(V1,E1)和G2=(V2,E2)
输出:两个节点集合V1’和V2'分别是V1和V2的子集,它们被移除后,将在两图中分别留下至少b个节点,且图的剩余部分完全一样
解:
我们需要找到一个NP-完全问题规约到该问题上,从而证明出该问题是NP-完全的。我们选择团问题规约到该问题中。
考虑这个问题,当我们在图G1中找到一个规模为b的团,便可以得到一个子图G2,其中该子图G2有b个顶点,且它是一个完全图。那么反过来说给出G1,G2,如果我们能求解它们的最大公共子图,如果该子图的顶点数为b,便能得到一个规模为b的团,从而将团问题的实例(G1,b)便能规约到在G1,G2(其中G2是规模为b的完全图)求解最大公共子图实例(G1,G2,b)的问题
证明:
设团问题的某个实例(G1,b),构造一个完全图G2,顶点数为b,因此能通过团问题实例(G1,b)映射到最大公共子图(G1,G2,b)上。
①如果最大公共子图有一个解,则由于该公共子图实例要求顶点数≥b,且G2的顶点数为b,故该公共子图的顶点数必为b。
由于G2的顶点数为b,则该公共子图为G2,且由于G2为团,所以G1所得的公共子图是规模为b的团,故可求得团问题的实例(G1,b)是有解的。
②如果团问题的实例(G1,b)有解,则G1中存在一个规模为b的团G',由于G2也是规模为b的团,则G'=G2,则可求得最大公共子图(G1,G2,b)的解
因此,团问题(G1,b)和最大公共子图(G1,G2,b)的解释一致的,得证。
XML 是可扩展标记语言(Extensible Markup Language)的缩写。XML 文件由内容和标记组成,通过以标记包围内容的方式将大部分内容包含在元素中。Qt 中提供了多种读取XML文件的方法,这里简单的记录一下用 QDomDocument 读取的步骤。为什么使用QDomDocument 呢,因为XML 本身就是一以树状结构组织数据的,而DOM 那是将数据组织为树状结构,最适合直
日前,IT教育机构传智播客正式对外发布聚焦培养高级软件工程师的课程,其课程容量、技术深度、项目广度均大幅提升50%以上,课程时长也率先在行业内由原来的6个月升级至9个月。高级软件工程师培..._it培训 乱象
本篇文章教大家来制作出融球效果,这种效果在我们学习当代首饰、配饰,以及服装中都有可能出现或运用到,那么该如何利用我们熟悉的软件和工具来制作出这种熔融的效果呢?接下来为大家示范基础操作和步骤。教程所需软件:Rhino(TSpline)和Zbrush我们看到三张彩图当中的球体熔融效果,如果纯利用Rhino绘制,可能需要倒角、曲面衔接、或调整控制点等,操作起来繁琐,不适,且很难做到这样自然,熔接充分。这..._rhino如何画没气的气球
PHP埋点SDK集成 PHP SDK2.将SDK加入到您的产品代码中。参考如下Demo程序:/***GrowingIOPHPSDKDemo*User:tianyi*Date:2018-12-28*Time:13:34*/include_once"GrowingIO.php";//请在您调试前,将accountID修改为您的项目AccountID//所有自定义事件需要提前在...
一般遇到windows无法启动无法启动,一般是软件和硬件造成的,首先我们还是先确认硬件有没有问题,如果电脑能开机,只是windows系统有问题,那大部分原因是系统或者软件导致的了。下面和小土科技一起来看看windows无法启动怎么解决。1、使用Windows启动盘如果启动问题是由于活动分区的启动记录或者操作系统启动所使用的文件被破坏造成的,启动盘就能够解决问题。具体方法如下:创建Windows启动..._windows无法对计算机进行启动到下一个安装阶段
上周Java日志库Log4j2的注入漏洞CVE-2021-44228,被定义为极高危漏洞,国外评分为10(满分为10)。让各厂的工程师忙的不可开交,加急通宵处理这个漏洞。为什么大家都这么重..._log注入漏洞
先使用细化法去进行激光中心线的粗提取,在此基础上应用灰度重心法进行中心线的精提取。#include<opencv2/core/core.hpp>#include<opencv2/calib3d/calib3d.hpp>#include<opencv2/highgui/highgui.hpp>#include<opencv2/imgproc/imgproc.hpp>#include<iostream>#include<fstre._opencv c++ 中心线提取
内容转自https://blog.csdn.net/Prety_Boy/article/details/53307766在项目中遇到了如下错误:java.sql.SQLException: null, message from server: "Host '192.168.254.137' is not allowed to connect to this MySQL server" ...
前言“大专人大专魂,大专都是人上人”当我看到这句话突然就在各个平台火了之后,又开始涌现出了一批又一批抨击专科的网友。其中有一条评论我记忆犹新:大专生努力做什么都行,就是别做程序员了,别祸害IT届拉低档次了。看完这条评论时我实在耐不住心情促使我敲出这篇文章。作为一个专科毕业成为程序员的人,我发现大家对专科生当程序员这件事恶意满满,不少人说大专能当程序员?大专能进大厂?大专出身,做Java程序员真的没有春天吗?MySQL为何不选择平衡二叉树既然平衡二叉树解决了普通二叉树的问题,那么mysql为何不选择
前言Elasticsearch除搜索以外,还提供了针对数据统计分析的功能,通过各种API可以构建数据的复杂查询,不同类型的聚合查询都有自己的目的和输出,为了更好的理解这些类型,人们通常又会把它们分为四大类。聚合类型四大类Bucketing(桶聚合)每个桶都与一个键和一个文档标准相关联,通过桶的聚合查询,我们将得到一个桶的列表,即:满足条件的文档集合。Metric(指标)计算一组文档的某些指标项的聚合Matrix(矩阵)可以对多个字段进行操作,并根据从请求的文档字段中提取的值生成一个结果矩阵_elasticsearch pipeline查询
评:注意不用权限用户在运行时情况不一样root用户在句柄超过最大限制时,在同一shellsession中,会报错不能使用,但在不同shellsession能查到超过最大限制了,但仍然可以正常打开句柄使用非root用户,即使在不同shellsession中只要超过最大限制了就不能再打开句柄使用转 - 解决linux打开文件数1024限制的解决办法linux为redhat服务器版本(非个人版),必须设..._linux 非root用户 句柄不足
NET-SNMP是一款开源的网络管理辅助工具,支持NMP v1, SNMP v2c 与 SNMP v3等,这款软件的强大之处在于多种扩展方式,有了他可以轻松管理多个工具的源代码,软件安全免费开源,适用于linux、windows等操作系统,小编为大家带来的是NET-SNMP windows版。Net-SNMP不仅提供了管理工具,还提供了一些开发配置工具,这些工具一般使用perl语言的脚本提供:主要..._net-snmp下载