2020年11月19日
3-colorability
摘要： ##1.1 3-colorability 一个图的三着色问题：要使得边两头的结点颜色互不相同。 ###1.1.1 3元可满足规约到3着色 首先文法中的每一个变量和它自己的"非"连接。创建3个新结点分别为T,F,B并且将他们连接在一个三角形中。然后每一个文法都连接到B结点，对于每一个子句添加6个结点和 阅读全文
posted @ 2020-11-19 20:12 西伯利亚爱学习的狼 阅读(472) 评论(0) 推荐(0)
2020年11月14日
一少年独坐屋中突然顿悟！-回溯
摘要： 朋友们很快啊！我pa一下就打开博客赶紧记下来了！ 接下来就是一个for,一个递归。 这时候传统编程就点到为止了 //对每一个元素进行回溯 for(int i=first;i<=length;i++){ list.add(i); backtrack(i+1,length,list,k); //进行回溯 阅读全文
posted @ 2020-11-14 21:26 西伯利亚爱学习的狼 阅读(124) 评论(0) 推荐(0)
Hamilton cycle
摘要： ##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 西伯利亚爱学习的狼 阅读(600) 评论(0) 推荐(0)
NP-complete
摘要： ##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 西伯利亚爱学习的狼 阅读(724) 评论(0) 推荐(0)
P VS NP
摘要： ##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 西伯利亚爱学习的狼 阅读(282) 评论(0) 推荐(0)
Satisfiability
摘要： ##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 西伯利亚爱学习的狼 阅读(325) 评论(0) 推荐(0)
Vertex cover reduces to set cover
摘要： ##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 西伯利亚爱学习的狼 阅读(344) 评论(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 西伯利亚爱学习的狼 阅读(614) 评论(0) 推荐(0)
2020年9月22日
回溯算法小细节
摘要： 看下面这个题： 无重复字符串的排列组合。编写一种方法，计算某字符串的所有排列组合，字符串每个字符均不相同。 示例1: 输入：S = "qwe" 输出：["qwe", "qew", "wqe", "weq", "ewq", "eqw"] 示例2: 输入：S = "ab" 输出：["ab", "ba"] 阅读全文
posted @ 2020-09-22 14:22 西伯利亚爱学习的狼 阅读(120) 评论(0) 推荐(0)
2020年9月20日
linux操作指南-03
摘要： ##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 西伯利亚爱学习的狼 阅读(264) 评论(0) 推荐(0)