摘要: ##1.1 3-colorability 一个图的三着色问题:要使得边两头的结点颜色互不相同。 ###1.1.1 3元可满足规约到3着色 首先文法中的每一个变量和它自己的"非"连接。创建3个新结点分别为T,F,B并且将他们连接在一个三角形中。然后每一个文法都连接到B结点,对于每一个子句添加6个结点和 阅读全文
posted @ 2020-11-19 20:12 西伯利亚爱学习的狼 阅读(351) 评论(0) 推荐(0) 编辑
摘要: 朋友们很快啊!我pa一下就打开博客赶紧记下来了! 接下来就是一个for,一个递归。 这时候传统编程就点到为止了 //对每一个元素进行回溯 for(int i=first;i<=length;i++){ list.add(i); backtrack(i+1,length,list,k); //进行回溯 阅读全文
posted @ 2020-11-14 21:26 西伯利亚爱学习的狼 阅读(104) 评论(0) 推荐(0) 编辑
摘要: ##1.1 Hamilton cycle HAMILTON-CYCLE. Given an undirected graph G = (V, E), does there exist a cycle Γ that visits every node exactly once? 一个有解的图,一个没有 阅读全文
posted @ 2020-11-14 15:38 西伯利亚爱学习的狼 阅读(501) 评论(0) 推荐(0) 编辑
摘要: ##1.1 NP-complete NP-complete: A problem Y ∈ NP with the property that for every problem X ∈ NP, X ≤ P Y NPC问题指的是一个问题首先它是一个NP问题其次所有的NP问题都可以规约到这个问题。 Pr 阅读全文
posted @ 2020-11-14 14:52 西伯利亚爱学习的狼 阅读(605) 评论(0) 推荐(0) 编辑
摘要: ##1.1 P Def. Algorithm A runs in polynomial time if for every string s, A(s) terminates in ≤ p( ⎢s⎢) “steps,” where p(⋅) is some polynomial function. 阅读全文
posted @ 2020-11-14 14:20 西伯利亚爱学习的狼 阅读(262) 评论(0) 推荐(0) 编辑
摘要: ##1.1 SAT SAT. Given a CNF formula Φ, does it have a satisfying truth assignment? 可满足性要求的是结果为TRUE! ###1.1.1 3-SAT SAT: where each clause contains exac 阅读全文
posted @ 2020-11-14 13:59 西伯利亚爱学习的狼 阅读(272) 评论(0) 推荐(0) 编辑
摘要: ##1.1 Vertex cover 例子: U = { 1, 2, 3, 4, 5, 6, 7 } Sa = { 3, 7 } Sb = { 2, 4 } Sc = { 3, 4, 5, 6 } Sd = { 5 } Se = { 1 } Sf= { 1, 2, 6, 7 } k = 2(Sc和S 阅读全文
posted @ 2020-11-14 13:25 西伯利亚爱学习的狼 阅读(256) 评论(0) 推荐(0) 编辑
摘要: ##1.1 Theorem. INDEPENDENT-SET ≡ P VERTEX-COVER. Pf. We show S is an independent set of size k iff V − S is a vertex cover of size n – k. 如果图S有一个顶点个数为 阅读全文
posted @ 2020-11-14 13:02 西伯利亚爱学习的狼 阅读(500) 评论(0) 推荐(0) 编辑
摘要: 看下面这个题: 无重复字符串的排列组合。编写一种方法,计算某字符串的所有排列组合,字符串每个字符均不相同。 示例1: 输入:S = "qwe" 输出:["qwe", "qew", "wqe", "weq", "ewq", "eqw"] 示例2: 输入:S = "ab" 输出:["ab", "ba"] 阅读全文
posted @ 2020-09-22 14:22 西伯利亚爱学习的狼 阅读(107) 评论(0) 推荐(0) 编辑
摘要: ##1.1 Linux 系统常见的压缩命令 原文:http://cn.linux.vbird.org/linux_basic/0240tarcompress.php *.Z compress 程序压缩的文件; *.gz gzip 程序压缩的文件; *.bz2 bzip2 程序压缩的文件; *.tar 阅读全文
posted @ 2020-09-20 19:21 西伯利亚爱学习的狼 阅读(253) 评论(0) 推荐(0) 编辑