[算法分析与设计] 每周一题: "算法概论" Exercise 8.3
2018-01-10 15:06
274 查看
中英文版书上的题目截图分别如下所示:
解答过程:
1. 首先要说明 STINGY SAT 是一个 NP问题, 显然这是成立的, 我们可以在 多项式时间内验证其解的正确性 ;
2. 然后考虑将一个 NP完全问题 归约到 STINGY SAT, 显然可以考虑 归约 SAT, 而 SAT 显然是 STINGY SAT 在 k = n 时的特例, 其中 n 即为所有变量的总数 ;
3. 综上可知, STINGY SAT 确是 NP完全 的 ;
解答过程:
1. 首先要说明 STINGY SAT 是一个 NP问题, 显然这是成立的, 我们可以在 多项式时间内验证其解的正确性 ;
2. 然后考虑将一个 NP完全问题 归约到 STINGY SAT, 显然可以考虑 归约 SAT, 而 SAT 显然是 STINGY SAT 在 k = n 时的特例, 其中 n 即为所有变量的总数 ;
3. 综上可知, STINGY SAT 确是 NP完全 的 ;
相关文章推荐
- [算法分析与设计] leetcode 每周一题: Kth Smallest Element in a BST
- [算法分析与设计] leetcode 每周一题: Set Matrix Zeroes
- [算法分析与设计] leetcode 每周一题: Copy List with Random Pointer
- [算法分析与设计] leetcode 每周一题: 201. Bitwise AND of Numbers Range
- [算法分析与设计] leetcode 每周一题: 078. Subsets
- [算法分析与设计] leetcode 每周一题: 542. 01 Matrix
- [算法分析与设计] leetcode 每周一题: Find Right Interval
- [算法分析与设计] leetcode 每周一题: 328. Odd Even Linked List
- [算法分析与设计] leetcode 每周一题: 053. Maximum Subarray
- [算法分析与设计] leetcode 每周一题: Non-overlapping Intervals
- [算法分析与设计] leetcode 每周一题: 007. Reverse Integer
- [算法分析与设计] leetcode 每周一题: 162. Find Peak Element
- [算法分析与设计] leetcode 每周一题: 030. Substring with Concatenation of All Words
- [算法分析与设计] leetcode 每周一题: UTF-8 Validation
- [算法分析与设计] leetcode 每周一题:Longest Substring Without Repeating Characters
- [算法分析与设计] leetcode 每周一题: 467. Unique Substrings in Wraparound String
- [算法分析与设计] leetcode 每周一题: 62. Unique Paths
- [算法分析与设计] leetcode 每周一题: Validate Binary Search Tree
- [算法分析与设计] leetcode 每周一题: 126. Word Ladder II
- [算法分析与设计] leetcode 每周一题: 312. Burst Balloons