算法概论8.3题解

最新推荐文章于 2024-03-17 14:29:41 发布
最新推荐文章于 2024-03-17 14:29:41 发布
阅读量280 收藏
点赞数
分类专栏： 学习篇 文章标签： 算法概论 NPC
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/chender_sysu/article/details/53409147
版权

题目：吝啬SAT是这样一种问题：给定一组子句（每个子句都是其中文字的析取）和一个整数k，求一个最多有k个变量为true的满足赋值，如果这样的赋值存在的话。证明吝啬SAT问题是NP完全问题。

要证明一个问题是NP完全问题，就要证明它是NP的和NP-Hard的

首先证明吝啬SAT是NP的

很明显，给定一组文字的赋值，我们能在多项式时间内验证该解，因此是NP的。

然后证明吝啬SAT是NP-Hard的

我们可以将SAT问题归约到吝啬SAT问题

假设存在一个SAT实例I和一个吝啬SAT实例(I,k)且k为SAT中所有变量个数的总和

=>假设S为I的一个满足性赋值，因此在S中必定是不超过k个变量的值为true，因此S也是(I,k)的一个满足性赋值

<=假设S'为(I,k)的一个满足性赋值且S'中赋值为true的变量个数不超过k，很明显S也是I 的一个满足性赋值

故综上，吝啬SAT是NP完全问题


chender_sysu
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
常见典型算法题解
weixin_44602725的博客
11-13 1469
一、动态规划 1、斐波那契数列 题 斐波那契数，通常用F(n) 表示，形成的序列称为 斐波那契数列 。该数列由0 和 1 开始，后面的每一项数字都是前面两项数字的和。也就是： F(0) = 0，F(1)= 1 F(n) = F(n - 1) + F(n - 2)，其中 n > 1 给你 n ，请计算 F(n) 。 解 public class Solution { int fib(int N) { if(N==0){ return 0...
【算法概论】习题8.3答案
蜗牛君的奋斗史
07-03 1120
【算法概论】习题8.3答案题目8.3 吝啬SAT问题是这样的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。证明吝啬SAT是NP-完全问题。解答要证明一个问题是NP-完全问题，需要证明以下两点： 1. 它是一个NP问题，且 2. 其他属于NP的问题都可归约成它。第一点的证明很简单：为了找到一个最多有k个变量为t
算法概论习题8.3题解
FeizChong的博客
07-06 369
题目：     8.3. STINGY SAT is the following problem: given a set of clauses (each a disjunction of literals) and an integer k, find a satisfying assignment in which at most k variables are true, if
算法笔记练习 题解合集
Gorgeoustray
03-27 3844
说明 带链接的小节标题是该链接对应的 codeup 地址 第 3 章 入门篇（1）——入门模拟 3.6 字符串处理 问题 A: 字符串连接 问题 B: 首字母大写 问题 C: 字符串的查找删除 问题 D: 单词替换 问题 E: 字符串去特定字符 问题 F: 数组逆置 问题 G: 比较字符串 问题 H: 编排字符串 问题 I: 【字符串】回文串 第 4 章 入门篇（2）——算法初步 4.1 ...
【刷题节】美团2024年春招第一场笔试【算法策略】题解
最新发布
weixin_62517188的博客
03-17 6346
目前，我所搜索到的代码都是超时或答案错误。鉴于目前官方也没有发布题解，遂写此篇博客供大家交流学习
Leetcode算法题解
weixin_46765849的博客
11-07 3256
范围求和 II 简单题 一、描述 给定一个初始元素全部为 0，大小为 m*n 的矩阵 M 以及在 M 上的一系列更新操作。 操作用二维数组表示，其中的每个操作用一个含有两个正整数 a 和 b 的数组表示，含义是将所有符合 0 <= i < a 以及 0 <= j < b 的元素 M[i][j] 的值都增加 1。 在执行给定的一系列操作后，你需要返回矩阵中含有最大整数的元素个数。 二、示例 输入: m = 3, n = 3 operations = [[2,2],[3,3]] 输.
李煜东算法进阶指南打卡题解
m0_50435987的博客
04-05 2154
算法竞赛进阶指南一、0x00 基本算法1)位运算2)递推与递归3)前缀和与差分4)二分5)排序6)倍增7)贪心8)习题二、0x10 基本数据结构1)栈2)队列3)链表与邻接表4)Hash5)字符串6)Trie字典树7)二叉堆8)习题三、0x20 搜索1)树与图的遍历2)DFS3)剪枝4)迭代加深5)BFS6)广搜变形7)A*8)IDA*9)习题四、0x30 数学知识1)质数2)约数3)同余4)矩阵乘法5)高斯消元与线性空间6)组合计数7)容斥原理与Mobius函数8)概率与数学期望9)0/1分数规划10)博
算法导论题解索引
zslomo的博客
04-15 992
关于题解顺利被复旦大学拟录取之后，终于结束了漫长的考研生涯，开始静下心来学一些东西，算法导论之前看过一些，但是走马观花没有学到什么，主要问题就是没有好好的做后面的习题。 然而，当我想好好做做习题后才发现，作者声明为了培养学生的自主思考能力，不会发布任何题解，只有教师手册上有部分题解，而且网上发布的题解非常非常少并且不全，大多要翻墙去搜英文题解，非常不便。 所以，这里准备随着自己的学习，慢慢把自己
LeetCode学习篇二十一——Interge Break
chender_sysu的博客
11-09 1040
题目：Given a positive integer n, break it into the sum of at least two positive integers and maximize the product of those integers. Return the maximum product you can get.For example, given n = 2, retur
LeetCode学习篇二——分治法
chender_sysu的博客
09-11 549
这星期学习了分治法，所以在leetcode上打算做一些相关的题，随便打开了一道相关算法题，题目如下： Find the contiguous subarray within an array (containing at least one number) which has the largest sum. For example, given the array [-2,1,-3,4,-1,
算法概论8.15题解
chender_sysu的博客
11-30 473
题目：证明以下问题是NP完全问题 最大公共子图 输入：两个图G1=(V1,E1)和G2=(V2,E2);预算b 输出：两个节点集合V1'⊆V1且V2'⊆V2，它们被移除后，将在两图中剩下至少b个节点，且图的剩余部分完全一样。 首先证明该问题是NP问题 给定一组解，即两个节点集合，我们可以在多项式时间内验证该解 然后证明该问题是NP难问题 考虑将最大独立集问题归约到最大公共子图
LeetCode学习篇一——Counting Bits
chender_sysu的博客
09-04 310
LeetCode学习篇一——Counting Bits
LeetCode学习篇二十五——Balanced Binary Tree
chender_sysu的博客
11-22 306
题目：Given a binary tree, determine if it is height-balanced.For this problem, a height-balanced binary tree is defined as a binary tree in which the depth of the two subtrees of every node never differ
LeetCode学习篇九——Coin Change
chender_sysu的博客
10-26 228
题目：You are given coins of different denominations and a total amount of money amount. Write a function to compute the fewest number of coins that you need to make up that amount. If that amount of mone
LeetCode学习篇十一——Range Sum Query - Immutable
chender_sysu的博客
10-30 226
题目：Given an integer array nums, find the sum of the elements between indices i and j (i ≤ j), inclusive. Example: Given nums = [-2, 0, 3, -5, 2, -1] sumRange(0, 2) -> 1 sumRange(2, 5) -> -1
LeetCode学习篇十四——House Robber
chender_sysu的博客
11-01 223
题目：You are a professional robber planning to rob houses along a street. Each house has a certain amount of money stashed, the only constraint stopping you from robbing each of them is that adjacent hou
LeetCode学习篇二十七——Maximum Subarray
chender_sysu的博客
12-05 221
题目：Find the contiguous subarray within an array (containing at least one number) which has the largest sum.For example, given the array [-2,1,-3,4,-1,2,1,-5,4], the contiguous subarray [4,-1,2,1] has
leetcode学习篇五——Add Digits
chender_sysu的博客
10-06 216
题目如下： Given a non-negative integer num, repeatedly add all its digits until the result has only one digit.For example: Given num = 38, the process is like: 3 + 8 = 11, 1 + 1 = 2. Since 2 has only one
JAVA编程：算法经典题解
"JAVA经典算法40题，包括计算兔子繁殖数量、判断素数以及寻找水仙花数等算法问题" 在编程领域，算法是解决问题的关键，尤其是在Java这样的面向对象编程语言中。以下是对给定的三道Java算法题目的详细解释： **程序...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值