NTU-Exam 板


LINE

課程名稱︰資訊工程理論基礎 課程性質︰選修 課程教師:呂育道 開課學院:電資學院 開課系所︰資工所 考試日期(年月日)︰2016.11.29 考試時限(分鐘): 試題 : Theory of Computation Midterm Examination on November 29, 2016 Fall Semester, 2016 Problem 1 (25 points) Show that for n > 3, n-sat is NP-complete. (You don't need to show that n-sat is in NP.) Ans: We reduce 3-sat to n-sat as follows. Let ψ be an instance of 3-sat. For any clause (a V b V c) of ψ, replace it with (a V b V c V … V c). ╰──n-2 ─╯ By repeating this procedure for all clauses of ψ, we derive a new boolean expression ψ' for n-sat. Then ψ is satisfiable if and only if ψ' is satisfiable. Problem 2 (25 points) Let G = (V, E) be a graph and K be a positive integer. LONGEST PATH ask if there is a simple path which contains at least K edges in G. Show that LONGEST PATH is NP-complete. (You need to show that LONGEST PATH is in NP.) Ans: First we show that Longest Path is in NP. Given an instance G, we guess a set of edges of size at least K and at most |G| and examine if it is a simple path in G. This can be done in polynomial time. We now proceed to show that LONGEST PATH is NP-hard by reducing HAMILTONIAN PATH to LONGEST PATH. Given an instance G of HAMILTONIAN PATH, we create an instance (G', K) of LONGEST PATH as follows: Take G' = G and set K = |V| - 1. Then there exists a simple path of length K in G' if and only if G contains a Hamiltonian path. Problem 3 (25 points) Prove that the language Ψ is NP-complete, where Ψ = {(N, x, 1^t)│a nondeterministic Turing Machine N that accepts x within time t}. Recall that 1^k denotes the string consisting of k 1s. Do not forget to show Ψ is in NP. Ans: We first show that Ψ is in NP. With the input (N, x, 1^t), we simulate N nondeterministically on x up to t steps and accept if N accepts x. The algorithm obviously runs in polynomial time. Furthermore, (N, x, 1^t) is in Ψ if and only if there is a path such that N(x) = "yes" within t steps. We next show that Ψ is NP-hard. Let L ∈ NP be accepted by a nondeterministic Turing Machine N that runs in polynomial time n^c for some constant c. To reduce L to Ψ, simply map the input x to the triple (N, x, 1^(n^c)). The reduction can evidently be performed in polynomial time. It is clear that x ∈ L iff (N, x, 1^(n^c)) ∈ Ψ. Problem 4 (25 points) DNF NON-TAUTOLOGY asks if a DNF is not a tautology. Prove that this problem is NP-complete. (You need to show that DNF NON-TAUTOLOGY in NP.) Ans: The problem is equivalent to asking if there exists a truth assignment that makes the DNF false. This problem is in NP because one can nondeterministically guess a truth assignment and accept the input DNF formula if it is not satisfied by the truth assignment. We shall reduce the NP-complete SAT to it. The reduction applies de Morgan's laws to convert the input CNF formula ψ into a DNF φ of about the same length. Then ψ is satisfiable if and only if φ is not a tautology. --



※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 61.228.166.1
※ 文章網址: https://webptt.com/m.aspx?n=bbs/NTU-Exam/M.1480735069.A.BE2.html ※ 編輯: rod24574575 (61.228.166.1), 12/03/2016 11:18:54
1F:→ rod24574575 : 已收資訊系! 12/03 11:20
2F:推 raysbuck : 推育道! 12/03 18:17







like.gif 您可能會有興趣的文章
icon.png[問題/行為] 貓晚上進房間會不會有憋尿問題
icon.pngRe: [閒聊] 選了錯誤的女孩成為魔法少女 XDDDDDDDDDD
icon.png[正妹] 瑞典 一張
icon.png[心得] EMS高領長版毛衣.墨小樓MC1002
icon.png[分享] 丹龍隔熱紙GE55+33+22
icon.png[問題] 清洗洗衣機
icon.png[尋物] 窗台下的空間
icon.png[閒聊] 双極の女神1 木魔爵
icon.png[售車] 新竹 1997 march 1297cc 白色 四門
icon.png[討論] 能從照片感受到攝影者心情嗎
icon.png[狂賀] 賀賀賀賀 賀!島村卯月!總選舉NO.1
icon.png[難過] 羨慕白皮膚的女生
icon.png閱讀文章
icon.png[黑特]
icon.png[問題] SBK S1安裝於安全帽位置
icon.png[分享] 舊woo100絕版開箱!!
icon.pngRe: [無言] 關於小包衛生紙
icon.png[開箱] E5-2683V3 RX480Strix 快睿C1 簡單測試
icon.png[心得] 蒼の海賊龍 地獄 執行者16PT
icon.png[售車] 1999年Virage iO 1.8EXi
icon.png[心得] 挑戰33 LV10 獅子座pt solo
icon.png[閒聊] 手把手教你不被桶之新手主購教學
icon.png[分享] Civic Type R 量產版官方照無預警流出
icon.png[售車] Golf 4 2.0 銀色 自排
icon.png[出售] Graco提籃汽座(有底座)2000元誠可議
icon.png[問題] 請問補牙材質掉了還能再補嗎?(台中半年內
icon.png[問題] 44th 單曲 生寫竟然都給重複的啊啊!
icon.png[心得] 華南紅卡/icash 核卡
icon.png[問題] 拔牙矯正這樣正常嗎
icon.png[贈送] 老莫高業 初業 102年版
icon.png[情報] 三大行動支付 本季掀戰火
icon.png[寶寶] 博客來Amos水蠟筆5/1特價五折
icon.pngRe: [心得] 新鮮人一些面試分享
icon.png[心得] 蒼の海賊龍 地獄 麒麟25PT
icon.pngRe: [閒聊] (君の名は。雷慎入) 君名二創漫畫翻譯
icon.pngRe: [閒聊] OGN中場影片:失蹤人口局 (英文字幕)
icon.png[問題] 台灣大哥大4G訊號差
icon.png[出售] [全國]全新千尋侘草LED燈, 水草

請輸入看板名稱,例如:Soft_Job站內搜尋

TOP