算法概论8.3

最新推荐文章于 2024-07-12 16:15:47 发布
最新推荐文章于 2024-07-12 16:15:47 发布
阅读量130 收藏
点赞数
分类专栏： 算法作业 算法 文章标签： 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_40149887/article/details/78942643
版权

中文翻译题目

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

题目思路

要证明吝啬SAT是NP-完全问题，需要证明吝啬SAT是NP问题，并将SAT归约到吝啬SAT即可

证明过程

  1. 证明吝啬SAT是NP问题

    NP问题是：一个问题的解可以在多项式的时间内被证true或证false。
    由于吝啬 SAT 的解是可在多项式时间内验证的，因此属于 NP。

  2. 将SAT归约到吝啬SAT

    SAT问题是：给定一系列布尔变量以及它的约束集，是否存在一个解使得它的输出为真。

    将 k 设为所有变量的总个数，即可将 SAT 归约到吝啬SAT。

综上，吝啬 SAT 为 NP 完全问题。

参考链接：1. 怎么理解 P 问题和 NP 问题？ - 李大雷的回答 - 知乎
https://www.zhihu.com/question/27039635/answer/83771163

楼主再看我一眼
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
算法导论 基数排序 习题8.3-4
臻舍
05-17 932
问题： 在O(n)时间内，对0到n^3-1区间内的n个整数进行排序 思路：线性时间，考虑使用基数排序，基数排序时间为，要使时间为O(n)，，即k=n， 即把每个整数写成3位n进制数 代码：
算法概论.pdf
08-27
8．3Thereductions（归约） Exercises（习题） 9CopingwithNP-completeness（处理NP完全问题） 9．1Intelligentexhaustivesearch（智能穷举搜索） 9．2Approximationalgorithms（近似算法） 9．3...
吝啬SAT问题是NP完全的证明
hyj1996cake的博客
12-28 215
吝啬SAT问题的定义： 给定一组子句和整数k，求一个最多有k个变量为true的满足赋值。 而我们已知SAT是NP完全的. 现在我们只需要证明他们一方可以推出另一方即可。 我们归约，假设吝啬SAT不是NP完全的，那么一个有n个变量的SAT问题有多项式时间的算法，显然矛盾，所以，吝啬SAT是NP完全的
算法概论 练习8.3
qq_32281533的博客
12-30 159
题目STINGY SAT 指的是：给定一组子句（每个子句都是文字的析取）和整数k，如果存在，求一个最多有 k 个变量为 true 的满足赋值。证明 STINGY SAT 是 NP 完全问题。证明
算法概论 8.3
wxhpg的博客
01-01 280
题目：STINGY SAT is the following problem:  given a set of clauses (each a disjunction of literals) and an interger k, find a satisfying assignment in which at most k variables are true, if such an as
统计学习方法_李航
11-03
8.3 adaboost算法的解释 8.3.1前向分步算法 8.3.2前向分步算法与ad9boost 8.4提升树 8.4.1提升树模型 8.4.2提升树算法 8.4.3梯度提升 本章概要 继续阅读 习题 参考文献 第9章em算法及其推广 9.1em算法的引入 9.1.1em...
编译原理中文版
12-01
第1章 概论 1 1.1 为什么要用编译器 2 1.2 与编译器相关的程序 3 1.3 翻译步骤 5 1.4 编译器中的主要数据结构 8 1.5 编译器结构中的其他问题 10 1.6 自举与移植 12 1.7 TINY样本语言与编译器 14 1.7.1 TINY语言 15 ...
分布式系统设计 [美]jie wu著 高传善 译
06-11
第1章 概论 1.1 推动因素 1.2 基本计算机组成 1.3 分布式系统的定义 1.4 我们的模型 1.5 互连网络 1.6 应用与标准 1.7 范围 1.8 参考资料来源 参考文献 习题 第2章 分布式程序设计语言 2.1 分布式程序...
《编译原理及实践》电子书下载
03-25
第1章 概论 1 1.1 为什么要用编译器 2 1.2 与编译器相关的程序 3 1.3 翻译步骤 5 1.4 编译器中的主要数据结构 8 1.5 编译器结构中的其他问题 10 1.6 自举与移植 12 1.7 TINY样本语言与编译器 14 1.7.1 TINY语言 15 ...
利用快速排序找到第k大的数字
weixin_40149887的博客
09-16 3452
概念快速排序 - 维基百科中文 快速排序 - 维基百科中文具体思路及代码快排的思路就是把数字分成两边，小的放左边，大的放右边，相等的要么都放左边要么都放右边。 快排基本版 我这里是以最右边的元素为基准，从左往右找大于基准的数字和从右往左找小于或等于基准的数字并进行交换。 int partition1(int *arr, int left, int right) { int pivot =
逆元求组合数
weixin_40149887的博客
04-09 2816
题目 给一个歌单固定长度为K 有两种歌：X首长度为A，Y首长度为B的歌，A!=B 问有几种组合搭配 如： 输入 K = 5，A = 2 X = 3 B = 3 Y = 3 输出 9 由于结果比较大，因此输出结果取1000000007的余数。 思路 腾讯春招实习笔试题……用自己的方法瞎做最后发现除数那里的取余不知道怎么取。 问了yz大佬，给我一篇博客，大概是“逆元...
雷德算法
weixin_40149887的博客
09-15 1369
雷德算法前言 今天老师讲了快速傅里叶变换，查了一些资料了解到快速傅里叶变换需要用到雷德算法，于是看了一下雷德算法的相关介绍和代码，发现道理我都懂就是看不懂别人的代码，自己写了一个雷德算法的代码，测了几个数据都和别人的代码结果一样。还是没理解别人的代码……不清楚为什么需要判断i < j？QAQ 把我自己的代码放上来和大家探讨探讨。算法思路具体来说，就是数字j的下一个数字是在j的最高位加一，高位向地
字符移位【大小写字母相对位置不变】
weixin_40149887的博客
04-05 540
题目 将字符串的所有大写字母排在小写字母的后面，相对位置保持不变。 即：asfFdfADaFsdC ====&gt; asfdfasdFADFC 上周的网易笔试题，我想了很久都没有头绪，今晚想了一下发现知道怎么做了qaq 又发现也是腾讯17年秋招实习的题目。 题目思路 例如：asfFdfADaFsdC 从后往前找大写字母，如果大写字母在字符串最后一位就不用管，往前看； 如果遇到...
连续最大子字符串 Longest Common Substring
weixin_40149887的博客
04-05 457
题目 LintCode 79. Longest Common Substring 子字符串和子序列相比，需要连续，因此和上一道题会有一些不同，需要取每个连续子串长度的最大值。 代码 class Solution { public: /** * @param A: A string * @param B: A string * @return: th...
[编程题] 构造回文
weixin_40149887的博客
04-05 109
前言 记不太住学过的东西……还是写个博客方便以后复习。 题目描述 给定一个字符串s，你可以从中删除一些字符，使得剩下的串是一个回文串。如何删除才能使得回文串最长呢？ 输出需要删除的字符个数。 输入例子1: abcda google 输出例子1: 2 2 题目来源：腾讯17年求暑期实习笔试[编程题] 构造回文 思路 将字符串反转，再和原来的字符串找到最大(不连续)公共字符串...
【代码随想录_Day27】509 斐波那契数 70 爬楼梯 746 使用最小花费爬楼梯
qq_43671872的博客
07-08 865
509 斐波那契数70 爬楼梯746 使用最小花费爬楼梯今天的题目难度不低，尽量还是写一些简洁代码 ^ _ ^
函数模板与类模板
程序员_小兵
07-12 1274
/交换int数据a = b;b = temp;//交换char数据a = b;b = temp;//问题：如果我要交换double类型数据，那么还需要些一个double类型数据交换的函数//繁琐，写的函数越多，当交换逻辑发生变化的时候，所有的函数都需要修改，无形当中增加了代码的维护难度//如果能把类型作为参数传递进来就好了，传递int就是Int类型交换，传递char就是char类型交换//我们有一种技术，可以实现类型的参数化---函数模板。
基于Big-Bang-Big-Crunch(BBBC)算法的目标函数最小值计算matlab仿真
最新发布
熟悉python,matlab,C,C++,JAVA等
07-12 252
BBBC算法的核心思想模拟了宇宙从大爆炸（Big Bang）开始，经历扩张，再到可能的大收缩（Big Crunch）的过程，以此类比于在解空间中从初始分散的解集出发，通过一系列搜索过程逐步集中并接近最优解的过程。：一个简化的聚集方法可以是xi′′​=xbest​+β⋅(xi′​−xbest​)，其中xbest​是最优解，β是一个小于1的收缩因子，控制收缩速度。：每个解xi​依据一定的规则在解空间中移动，这个移动可以是随机的，也可以基于某种策略，比如基于目标函数梯度的方向或者利用当前解与其他解的相对位置。
算法概论 sanjoy dasgupta
09-12
《算法概论》是由Sanjoy Dasgupta, Christos Papadimitriou和Umesh Vazirani合著的一本经典教材。这本书是计算机科学领域中最系统和权威的算法入门教材之一。 《算法概论》的主要目标是教授学生算法设计和分析的...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值