算法
文章平均质量分 53
骑士1992
欢迎访问我的个人主页,有事请发邮件。
http://www.comp.hkbu.edu.hk/~jxjian/ 或者个人博客 https://samjjx.site
展开
-
流式图分割
承接自上文。本文大部分材料来自SIGMOD 19年Tamer Ozsu老师的一篇论文1。图分割算法的特性罗列如下(截图自原文):流式图分割 (SGP: Streaming Algorithms for Graph Partitioning)流式图分割在2012年KDD的一篇文章中给出了定义2。有别于传统的图分割,流式图分割一次处理部分图数据,并对于拿到的部分图数据分配到各个节点当中,之后不...原创 2019-10-28 15:36:27 · 1658 阅读 · 1 评论 -
CSCI5320 回忆录
回忆一下今年CSCI5320的期末试题,方便以后的同学参考。期末考主要是题量太大了,满分50分的试卷最后两道大题15分全空了。→\rightarrow→ 题1:给出FPT和Kernelization的定义(4分)解:参照讲义→\rightarrow→ 题2:给出三种设计FPT算法的常用方法(6分)解:参照讲义→\rightarrow→ 题3:给定了一个图,求这个图里有多少个不同的MST(...原创 2019-04-22 00:27:56 · 417 阅读 · 0 评论 -
NPC 证明(二)
往期文章:NPC简介NP-hard问题证明NPC 证明(一)本文在前文的基础上进一步罗列了几个NPC问题的归约。大部分例子来自CSCI5320的课程材料或者作业题。例子Odd cycle transversal(OCT)问题1原问题:给定一个图,是否能移除不超过kkk个点,使得原图成为一个二分图。转化:Yannakakis2证明了一个图是二分图当且仅当图中没有...原创 2019-04-15 20:10:52 · 1704 阅读 · 0 评论 -
通过3SAT证明支配集是NPC问题
往期文章:NPC简介NP-hard问题证明NPC 证明(一)NPC 证明(二)本文介绍如何通过3SAT归约,进而证明支配集是NPC问题。3SAT问题→\rightarrow→ 3-Satisfiability (3Sat)给定一个有穷的布尔变量集合X={x1,x2,…,xn}X=\lbrace x_1,x_2,\ldots,x_n \rbraceX={x1,...原创 2019-04-15 20:08:59 · 2767 阅读 · 4 评论 -
NPC 证明(一)
要证明一个问题是NPC,通常是归约到一个相似且已知是NPC的问题上。卡普的二十一个NP-完全问题罗列了21个NPC问题,推进了NP,NPC问题以及P是否等于NP的研究。往期文章:NPC简介NP-hard问题证明例子Feedback Vertex Set问题:给定图GGG,正整数kkk,我们是否可以从图GGG移除不超过kkk个点,使得GGG中不存在回路。 &...原创 2019-02-23 22:15:14 · 2305 阅读 · 0 评论 -
NP-hard问题证明
NP-hard问题:比NPC更难,通常在多项式时间内无法验证一个解的正确性。几个复杂度的区别可以看NPC介绍。常见证明我们要证明一个问题A是NP-hard问题一般可以分为两步:1) 对问题A给定限制条件得到一个特例B问题 2)证明问题B是NPC问题。以下罗列四个较直观简单的例子:Dense Induced Subgraph问题:给定图GGG,正整数kkk和lll,是否存在kk...原创 2019-02-23 12:26:07 · 6312 阅读 · 0 评论 -
npc介绍
楔子这学期选了中大的神课CSCI5320,授课老师是蔡雷震教授,香港一位很牛的搞算法的老师。蒟蒻被这门课虐得意识模糊,下周考试,复习之余写点心得。P问题 NP问题 NPC问题 NP-hard问题 区别几个问题介绍网络上很多,这里简单回顾一下:→\rightarrow→ P问题:多项式可以得到解→\rightarrow→ NP问题:多项式时间可以验证一个解的正确性→\rightarrow...原创 2019-02-21 21:39:23 · 1108 阅读 · 2 评论 -
FG-Index: Towards Verification-Free Query Processing on Graph Databases
简介这篇paper是香港中文大学James Cheng 郑老师发在sigmod 2007上的一篇paper。这篇paper主要用频繁子图来建索引,来加速图同构算法。众所周知,图数据的查询因为涉及到子图同构的问题(NPC),所以非常消耗时间。图同构常见的步骤都是生成候选集合(candidate set)将不可能入选结果集的结果过滤掉,第二部就是对候选集合进行验证。假设现在存在一组频繁子图FG(Fre翻译 2017-01-06 16:58:55 · 700 阅读 · 0 评论 -
Blinks:Ranked Keyword Searches on Graphs
简介这篇paper主要的工作是在知识图谱上做关键字查询,是比较经典的一篇文章,基本做关键字查询的paper都有引这篇paper。这篇paper发在Sigmod 2007上。问题定义严格定义可以看论文Section 2. 直观上来看输入是一个有向图,查询是m个关键字。输出是一个根结点r和m个节点。必须满足两个条件,m个节点必须覆盖所有的关键字(覆盖),r节点可以到达m个节点(连通)。Top-k翻译 2016-12-27 19:20:02 · 1211 阅读 · 0 评论 -
线性时间查找一个图中的所有node-cut点分割
node-cut定义:对于一个无向图G,如果删除一个点v可以增加联通分支的数量,那么我们称点v是图G的一个node-cut,即点分割。(注意和最小割是有区别的,最小割是用移除最少了边使得原图不联通,可以用流算法去解决)node-cut的性质:对于点p,如果存在一个子节点q,在q点的DFS搜索树上如果没有存在反向边指向DFS搜索中p的祖先节点,那么对于这样的p点是原图的node-原创 2016-08-25 21:37:39 · 925 阅读 · 0 评论