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/cn.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灯, 水草

请输入看板名称,例如:Gossiping站内搜寻

TOP