ex.8.3

最新推荐文章于 2021-11-05 11:23:18 发布
最新推荐文章于 2021-11-05 11:23:18 发布
阅读量172 收藏
点赞数 1
分类专栏： LeetCode 算法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/hling_so/article/details/78946795
版权

题目

STINGY SAT is the following problem:given a set of clauses(each a disjunction of literals) and an integer k, find a satisfy assignment in which at most k variables are true, if such an assignment exists. Prove that STINGY SAT is NP-complete.

题意

STINGY SAT 问题是这样的:给定一组子句(每个子句都是其中文字的析取)和整数k, 求一个最多有k个变量为true的满足赋值–如果该赋值存在.
证明STINGY SAT是NP-完全问题.

证明

  1. 易证STINGY SAT的解可以在多项式时间内验证,因此STINGY SAT问题是NP问题.
  2. 通过将k设为所有变量的总数,可以将sat问题规约到STINGY SAT问题,而且这个规约过程也是多项式时间内可以完成的,所以STINGY SAT是NP-完全问题.
hling_so
关注
  • 1
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
hedging_trading.rar_Hedging EA_ea_hedging_trading_暴利EA_网格EA
07-14
网格加码暴利ea，数值设置正确盈利相当可观，建议先模拟试试
【算法概论】ex.8.3
LadyCaro的博客
01-02 211
8.3 STINGY SAT
1. Docker概述
qq_41826542的博客
11-05 813
(1)基本介绍 Docker 可以让开发者打包他们的应用以及依赖包到一个轻量级、可移植的容器中，然后发布到任何流行的 Linux 机器上，也可以实现虚拟化。 Docker 从 17.03 版本之后分为 CE（Community Edition: 社区版） 和 EE（Enterprise Edition: 企业版）。用社区版 官网：https://docs.docker.com/ (2)应用场景 Web 应用的自动化打包和发布。自动化测试和持续集成、发布。 在服务型环境中部署和调整数据库或其他的后
算法NP－complete Ex8.3
Susie的博客
01-11 202
Ex8.3 题目： In the HITTING SET problem, we are given a family of sets{S1,S2,...,SnS_{1},S_{2},...,S_{n}} and a budget b, and we wish to find a set H of size ≤\le b which intersects every SiS_{i}, if s
Ghost 8.3 Enterprise
04-15
Ghost 使用详解 　-------------------------------------------------------------------------------- 　一、分区备份 　使用Ghost进行系统备份，有整个硬盘（Disk）和分区硬盘（Partition）两种方式。...
抓图软件FSCapture8.3
11-01
超级好用抓图软件破解，请于个人，用于商业用途请购置正版软件
cscript.exe自动启动解决方法分享
01-10
【VPS系统环境】 系统：windows2003 R2 SP2 软件：360安全卫士8.3 1、【cscript.exe自动启动问题】 开机自运行cscript.exe无法清除，如图 2、【cscript.exe解决办法】 在C:\WINDOWS\system32找到cscript.exe，右击...
Ghost 8.3 系统备份软件
11-13
Ghost 使用详解 -------------------------------------------------------------------------------- 一、分区备份 　使用Ghost进行系统备份，有整个硬盘（Disk）和分区硬盘（Partition）两种方式。...
685. Redundant Connection II
hling_so的博客
10-27 365
问题描述 题意理解 算法分析 具体实现问题描述In this problem, a rooted tree is a directed graph such that, there is exactly one node (the root) for which all other nodes are descendants of this node, plus every node has exa
215. Kth Largest Element in an Array
hling_so的博客
09-18 350
Find the kth largest element in an unsorted array.
638. Shopping Offers
hling_so的博客
12-24 346
题目题意不同的商品i有不同需求needs[i] 有些特价组合special[],对应每一种商品i有相应的数量,买相应的数量就可以用组合价(但是有一些组合未必会比单买便宜) 求恰好买够需求needs[]的的最低总价.分析用动态规划+DFS 每一次调用遍历一次组合special[i], 看剩余的需求里面能不能用组合i的方式购买,如果可以,则使用组合i,并且减去相应的need的数量,剩余的数量再调用
240. Search a 2D Matrix II
hling_so的博客
09-18 345
240. Search a 2D Matrix II Search a 2D Matrix II 题目描述 题意 分治法 算法描述 具体实现 复杂度 题目描述 Write an efficient algorithm that searches for a value in an m x n matrix. This matrix has the follow
712. Minimum ASCII Delete Sum for Two Strings
hling_so的博客
11-08 271
Given two strings s1, s2, find the lowest ASCII sum of deleted characters to make two strings equal.Example 1:Input: s1 = "sea", s2 = "eat" Output: 231 Explanation: Deleting "s"
377. Combination Sum IV
hling_so的博客
11-25 244
题目Given an integer array with all positive numbers and no duplicates, find the number of possible combinations that add up to a positive integer target.Example:nums = [1, 2, 3] target = 4The possible c
23. Merge k Sorted Lists
hling_so的博客
01-07 232
题目 Merge k sorted linked lists and return it as one sorted list. Analyze and describe its complexity. 题意 合并k个有序链表成1个有序链表 分析 将合并k个成1个链表 分解为: k个链表两两合并, 之后得到的k’链表再两两合并,直到最后只剩下一个链表 实现 class S
53.Maximum Subarray
hling_so的博客
09-11 230
最大子串 Kadane算法
338. Counting Bits
hling_so的博客
11-03 202
Given a non negative integer number num. For every numbers i in the range 0 ≤ i ≤ num calculate the number of 1’s in their binary representation and return them as an array.Examp
746. Min Cost Climbing Stairs
hling_so的博客
12-24 197
题目题意cost数组存放了每一级楼梯的花费, 要经过这一级就要付出相应的花费, 每次可以走1~2级, 可以选择从第0级和第1级开始走, 问走到顶(n)的最少花费是多少?(级数从0开始编号,对应开销cost[0])分析一些转化: 可以选择从第0级和第1级开始走->加一个第-1级,cost为0,从-1级出发 走到顶(n)->加一个第n级, cost为0, 走到第n级才算走完(前一步可以是n-1或者n
File "C:\Users\Dell\PycharmProjects\pythonProject2\venv\ex.8.3.py", line 10, in find path=join(now,subPath) File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.10_3.10.3056.0_x64__qbz5n2kfra8p0\lib\ntpath.py", line 116, in join result_drive, result_path = splitdrive(path) File "C:\Program Files\WindowsApps\PythonSoftwareFoundation.Python.3.10_3.10.3056.0_x64__qbz5n2kfra8p0\lib\ntpath.py", line 169, in splitdrive p = os.fspath(p) RecursionError: maximum recursion depth exceeded while calling a Python object
最新发布
05-05
这个错误是递归深度超过了Python的最大递归深度所导致的。这通常是因为代码中存在无限递归的情况，导致程序无限循环调用自身，直到递归深度达到Python的最大限制。您可以尝试增加Python的最大递归深度来解决这个问题...

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

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

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值