算法作業：證明題（2）-- 8.8

原創 林晓健 2018-08-23 02:48

問題描述：



證明：

∵ EXACT 4SAT是NP問題，且可通過對於任一個EXACT 3SAT的實例，當其包含了某變量的否定或者肯定，去除該變量；或者當其某一個子句多次包含了某一個文字，將所有包含文字數縮減爲一次

∴EXACT 3SAT的每一個子句都可以讓其包含的文字拓展爲4個，即將3SAT實例轉換爲4SAT實例

∵EXACT 3SAT可以規約爲EXACT 4SAT問題，可證4SAT具有NP完全性

發表評論
所有評論
還沒有人評論，想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章

算法作業HW14：Leetcode20 Valid Parentheses

Description: Given a string containing just the characters '(', ')', '{', '}', '[' and ']', determine if the input s

林晓健 2020-07-07 21:38:41

算法設計與分析HW4：LeetCode5

Description: Given a string s, find the longest palindromic substring in s. You may assume that the maximum le

林晓健 2020-07-07 21:38:41

算法設計與分析HW3：LeetCode3

Description:   Given a string, find the length of the longest substring without repeating characters. Note:   N

林晓健 2020-07-07 21:38:41

算法設計與分析HW1：LeetCode7

Description: Reverse digits of an integer. Example 1: Input:123 Output:321 Example 2: Input:-123 Output:-321 Note:

林晓健 2020-07-07 21:38:30

算法作業_28(2017.6.8第十六週)

64. Minimum Path Sum Given a m x n grid filled with non-negative numbers, find a path from top left to bottom right wh

原帅原帅 2020-07-04 07:16:34

算法作業_22(2017.5.18第十三週)

232. Implement Queue using Stacks Implement the following operations of a queue using stacks. push(x) -- Push element

原帅原帅 2020-07-04 07:16:34

算法作業_29(2017.6.12第十七週)

343. Integer Break Given a positive integer n, break it into the sum of at least two positive integers and maximize th

原帅原帅 2020-07-04 07:16:34

算法作業_27(2017.6.8第十六週)

120. Triangle Given a triangle, find the minimum path sum from top to bottom. Each step you may move to adjachttp://wr

原帅原帅 2020-07-04 07:16:34

算法作業_24(2017.5.23第十四周)

563. Binary Tree Tilt Given a binary tree, return the tilt of the whole tree. The tilt of a tree node is defined as th

原帅原帅 2020-07-04 07:16:34

4-2三值排序 貪心

題目： 排序是一種很頻繁的計算任務。一個實際的例子是，當我們給某項競賽的優勝者按金銀銅牌排序的時候。在這個任務中可能的值只有三種1，2和3。我們用交換的方法把他排成升序的。 寫一個程序計算出，計算出的一個包括1、2、3三種值的數字序

大大的梦_小小的步伐 2020-06-21 09:43:46

4-3 法師康工人 貪心

題目： 三個法師康的工人每天早上6點到工廠開始到三條產品生產線上組裝桔子手機。第一個工人在200時刻開始（從6點開始計時，以秒作爲單位）在生產線上開始生產，一直到1000時刻。第二個工人，在700時刻開始，在1100時刻結束。第三個工

大大的梦_小小的步伐 2020-06-21 09:05:40

計蒜客 -光合作用-二分查找

題目：https://nanti.jisuanke.com/t/38 蒜頭是個愛學習的孩子，他總喜歡在生活中做一些小實驗，這次蒜頭想研究一下光合作

大大的梦_小小的步伐 2020-06-21 09:05:40

沙子的質量

題目： 設有N堆沙子排成一排，其編號爲1，2，3，…，N（N< =300）。每堆沙子有一定的數量，可以用一個整數來描述，現在要將這N堆沙子合併成爲一堆，每次只能合併相鄰的兩堆，合併的代價爲這兩堆沙子的數量之和，合併後與這兩堆沙子相鄰的

大大的梦_小小的步伐 2020-06-21 09:05:39

3-10 分禮物

題意：給你一個整數W，代表每組的最大價值，n表示紀念品數，然後給你n個紀念品的價值，每組紀念品不超過2個，求最少的紀念品組數。 思路：貪心。先按照價值從小到大排列。每次取最大價值和最小价值，若小於W， 則i++,j--，

大大的梦_小小的步伐 2020-06-21 09:05:39

計蒜客 園藝佈置 01規劃二分

題目：https://nanti.jisuanke.com/t/90 近期，法師康採納了員工們的提議，計劃在總部大樓內部種植園藝，以提供更加溫馨的工作環境。公司將園藝設計的任務交給了曉萌同學。 公司總部大樓內部的構造可以分爲n個區域

大大的梦_小小的步伐 2020-06-21 09:05:39