8.15 证明最大公共子图为NP-完全问题_GDY5的博客-程序员宅基地

题目:

证明如下问题是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)的解释一致的,得证。

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/guoday/article/details/53197401

智能推荐

利用 Qt 读取 XML 文件的方法_liyuanbhu的博客-程序员宅基地

XML 是可扩展标记语言(Extensible Markup Language)的缩写。XML 文件由内容和标记组成,通过以标记包围内容的方式将大部分内容包含在元素中。Qt 中提供了多种读取XML文件的方法,这里简单的记录一下用 QDomDocument 读取的步骤。为什么使用QDomDocument 呢,因为XML 本身就是一以树状结构组织数据的,而DOM 那是将数据组织为树状结构,最适合直

6个月IT培训就业艰难,行业乱象频发,9个月学习如何破解就业难题?_传智播客的博客-程序员宅基地

日前,IT教育机构传智播客正式对外发布聚焦培养高级软件工程师的课程,其课程容量、技术深度、项目广度均大幅提升50%以上,课程时长也率先在行业内由原来的6个月升级至9个月。高级软件工程师培..._it培训 乱象

界面画好了如何开发软件_如何用Rhino做出融球效果?-程序员宅基地

本篇文章教大家来制作出融球效果,这种效果在我们学习当代首饰、配饰,以及服装中都有可能出现或运用到,那么该如何利用我们熟悉的软件和工具来制作出这种熔融的效果呢?接下来为大家示范基础操作和步骤。教程所需软件:Rhino(TSpline)和Zbrush我们看到三张彩图当中的球体熔融效果,如果纯利用Rhino绘制,可能需要倒角、曲面衔接、或调整控制点等,操作起来繁琐,不适,且很难做到这样自然,熔接充分。这..._rhino如何画没气的气球

php集成广告SDK,PHP埋点SDK集成-程序员宅基地

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无法启动的9种解决方法...-程序员宅基地

一般遇到windows无法启动无法启动,一般是软件和硬件造成的,首先我们还是先确认硬件有没有问题,如果电脑能开机,只是windows系统有问题,那大部分原因是系统或者软件导致的了。下面和小土科技一起来看看windows无法启动怎么解决。1、使用Windows启动盘如果启动问题是由于活动分区的启动记录或者操作系统启动所使用的文件被破坏造成的,启动盘就能够解决问题。具体方法如下:创建Windows启动..._windows无法对计算机进行启动到下一个安装阶段

附代码|Java日志库Log4j2注入漏洞复现,看看它危害有多大_码农小胖哥的博客-程序员宅基地

上周Java日志库Log4j2的注入漏洞CVE-2021-44228,被定义为极高危漏洞,国外评分为10(满分为10)。让各厂的工程师忙的不可开交,加急通宵处理这个漏洞。为什么大家都这么重..._log注入漏洞

随便推点

代码:细化法+灰度重心法提取线激光条纹中心线(CPP+OpenCV)_opencv c++ 中心线提取_一叶孤舟渡的博客-程序员宅基地

先使用细化法去进行激光中心线的粗提取,在此基础上应用灰度重心法进行中心线的精提取。#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++ 中心线提取

报错:1130-host ... is not allowed to connect to this MySql server 开放mysql远程连接 不使用localhost_黄宝康的博客-程序员宅基地

内容转自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" ...

Java开发入门教程!手把手教会你,含答案解析_程序员伏地魔的博客-程序员宅基地

前言“大专人大专魂,大专都是人上人”当我看到这句话突然就在各个平台火了之后,又开始涌现出了一批又一批抨击专科的网友。其中有一条评论我记忆犹新:大专生努力做什么都行,就是别做程序员了,别祸害IT届拉低档次了。看完这条评论时我实在耐不住心情促使我敲出这篇文章。作为一个专科毕业成为程序员的人,我发现大家对专科生当程序员这件事恶意满满,不少人说大专能当程序员?大专能进大厂?大专出身,做Java程序员真的没有春天吗?MySQL为何不选择平衡二叉树既然平衡二叉树解决了普通二叉树的问题,那么mysql为何不选择

Elasticsearch学习---聚合查询之Pipeline aggregations_elasticsearch pipeline查询_码拉松的博客-程序员宅基地

前言Elasticsearch除搜索以外,还提供了针对数据统计分析的功能,通过各种API可以构建数据的复杂查询,不同类型的聚合查询都有自己的目的和输出,为了更好的理解这些类型,人们通常又会把它们分为四大类。聚合类型四大类Bucketing(桶聚合)每个桶都与一个键和一个文档标准相关联,通过桶的聚合查询,我们将得到一个桶的列表,即:满足条件的文档集合。Metric(指标)计算一组文档的某些指标项的聚合Matrix(矩阵)可以对多个字段进行操作,并根据从请求的文档字段中提取的值生成一个结果矩阵_elasticsearch pipeline查询

linux句柄数不足的java报错_解决linux 打开句柄太多的问题_weixin_39605326的博客-程序员宅基地

评:注意不用权限用户在运行时情况不一样root用户在句柄超过最大限制时,在同一shellsession中,会报错不能使用,但在不同shellsession能查到超过最大限制了,但仍然可以正常打开句柄使用非root用户,即使在不同shellsession中只要超过最大限制了就不能再打开句柄使用转 - 解决linux打开文件数1024限制的解决办法linux为redhat服务器版本(非个人版),必须设..._linux 非root用户 句柄不足

7 netsnmp安装window_NET SNMP|NET-SNMP windows版下载 v5.6.1.1 32位版 - 121下载站_陈嘉栋的博客-程序员宅基地

NET-SNMP是一款开源的网络管理辅助工具,支持NMP v1, SNMP v2c 与 SNMP v3等,这款软件的强大之处在于多种扩展方式,有了他可以轻松管理多个工具的源代码,软件安全免费开源,适用于linux、windows等操作系统,小编为大家带来的是NET-SNMP windows版。Net-SNMP不仅提供了管理工具,还提供了一些开发配置工具,这些工具一般使用perl语言的脚本提供:主要..._net-snmp下载

推荐文章

热门文章

相关标签