- 博客(20)
- 资源 (9)
- 收藏
- 关注
RSS订阅原创 流式图分割
承接自上文。本文大部分材料来自SIGMOD 19年Tamer Ozsu老师的一篇论文1。图分割算法的特性罗列如下(截图自原文):流式图分割 （SGP: Streaming Algorithms for Graph Partitioning）流式图分割在2012年KDD的一篇文章中给出了定义2。有别于传统的图分割，流式图分割一次处理部分图数据，并对于拿到的部分图数据分配到各个节点当中，之后不...
2019-10-28 15:36:27
1610
1
原创 C++图常用库boost graph library
接下来一段日子，会写一些跟bgl相关的内容。bgl是一个性能很不错的库，但是源码跟鬼畜一样…文档也写得很乱。因为最近做的论文需要比较好的性能，实在不得不硬着头皮重新用起bgl。所以尽可能的做一些总结，希望能给后面需要使用的同学能有点帮助。开始: 一个简单的小例子{% codeblock lang:Cpp %}#include // for std::cou...
2019-06-14 17:21:32
5256
原创 CSCI5320 回忆录
回忆一下今年CSCI5320的期末试题，方便以后的同学参考。期末考主要是题量太大了，满分50分的试卷最后两道大题15分全空了。→\rightarrow→ 题1：给出FPT和Kernelization的定义（4分）解：参照讲义→\rightarrow→ 题2：给出三种设计FPT算法的常用方法（6分）解：参照讲义→\rightarrow→ 题3：给定了一个图，求这个图里有多少个不同的MST（...
2019-04-22 00:27:56
400
原创 NPC 证明（二）
往期文章：NPC简介NP-hard问题证明NPC 证明（一）本文在前文的基础上进一步罗列了几个NPC问题的归约。大部分例子来自CSCI5320的课程材料或者作业题。例子Odd cycle transversal(OCT)问题1原问题：给定一个图，是否能移除不超过kkk个点，使得原图成为一个二分图。转化：Yannakakis2证明了一个图是二分图当且仅当图中没有...
2019-04-15 20:10:52
1683
原创 通过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
2736
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
2264
原创 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
6254
原创 npc介绍
楔子这学期选了中大的神课CSCI5320，授课老师是蔡雷震教授，香港一位很牛的搞算法的老师。蒟蒻被这门课虐得意识模糊，下周考试，复习之余写点心得。P问题 NP问题 NPC问题 NP-hard问题 区别几个问题介绍网络上很多，这里简单回顾一下：→\rightarrow→ P问题：多项式可以得到解→\rightarrow→ NP问题：多项式时间可以验证一个解的正确性→\rightarrow...
2019-02-21 21:39:23
1061
2
原创 tmux 批量操作
由于集群上的多台机器经常要简单的执行相同的命令或者增加简单的配置，单独写个脚本略显麻烦。可以用tmux的分屏和批量操作来解决这个问题。tmux安装：略tmux的分屏操作：tmux的命令都是ctrl+b开始的ctrl+b 再按" :垂直分割ctrl+b 再按% ：水平分割如果你有8台机器需要执行相同操作，那么分出8个窗口来即可。 那么你可以在8个窗口中登录不同的机器tmux批量操作：ctrl+b
2017-02-02 14:32:55
4829
翻译 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
688
翻译 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
1171
原创 学习计划
需要学习的东西太多，一一罗列以求事情能按部就班的完成。需要大致写个简单的技能树。先大致罗列一下目前想学的东西。Emacs目前使用spacemacs，只能入门够用。但一个好的编辑利器应该需要更深入的了解。需要学习Lisp。C++之前在参与grape的项目的时候，发现C++用得处处掣肘。主要还是不熟悉这门语言。得深入了解一下C++面向对象的设计。同时Boost这个库需要多点了解，这个库里面内置的一些图算
2016-12-01 14:08:27
955
原创 准确率(precision)和召回率(recall)
在做图查询或者关键词查询结果中，我们经常采用两个标准来衡量查询结果的优劣。准确率就是查询结果正确率的百分比。（正确性，多少结果是对的）召回率就是正确的查询数目所占总的正确数目的比例。（有效性，能检测出多少正确结果）两者没有必然的联系。比如正确的结果有2000个，对于一个查询Q，返回了500个结果，其中有200个是正确的，那么准确率precision就是200/5
2016-10-07 16:10:42
1654
原创 P NP NPC NP-hard问题的区别
P问题：能找到一个算法在多项式时间解决的问题叫P问题。NP问题：经常有人把NP问题作为P问题的补集，这种看法是错误的。NP问题指的是在多项式时间内能验证一个解是不是正确的。那么显然，P问题在多项式时间内能得到正确的解，当然也就能验证一个解是否正确，所以P问题是属于NP问题的一部分。NPC问题：论文当中经常提及NPC问题，中文叫NP完全问题。已知的NPC问题可以归约到当前问题
2016-10-04 14:50:29
852
原创 线性时间查找一个图中的所有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
892
翻译 Proxies for Shortest Path and Distance Queries
这篇paper是马帅老师发在TKDE 2016的一篇paper。这篇paper主要的思路就是选取原图的一部分代理点（proxies）来保存原图的距离信息，来进一步加快最短路查询的速度。本文主要是翻译这篇paper以及对这篇paper的理解，细节性的东西请移步马老师的论文。图的基本定义：cut-node: 对于图中的一个点，如果把这个点移除会增加原图联通分支的数量，那么我们称这个点为
2016-08-23 12:12:25
647
原创 spacemacs搭建C++环境
Spacemacs是一个集合了各种emacs插件的配置的文件。避免从头配置繁琐的文件。spacemacs传送门：https://github.com/syl20bnr/spacemacs简易安装：git clone https://github.com/syl20bnr/spacemacs ~/.emacs.d安装ycmd：sudo apt-get install build-
2016-08-18 17:03:45
7138
转载 欢迎使用CSDN-markdown编辑器
欢迎使用Markdown编辑器写博客本Markdown编辑器使用StackEdit修改而来，用它写博客，将会带来全新的体验哦：Markdown和扩展Markdown简洁的语法代码块高亮图片链接和图片上传LaTex数学公式UML序列图和流程图离线写博客导入导出Markdown文件丰富的快捷键快捷键加粗 Ctrl + B 斜体 Ctrl + I 引用 Ctrl
2016-08-18 17:00:10
212
原创 JDBC中的Statement和PreparedStatement
Statement和PreparedStatement两个接口是有区别的。前者是执行静态SQL语句，后者是执行动态SQL语句。这就涉及到静态SQL和动态SQL的区别：静态 SQL：静态 SQL 语句在程序运行前，SQL 语句必须是确定的，例如 SQL 语句中涉及的列名和表名必须是存在的。静态 SQL 语句的编译是在应用程序运行前进行的，编译的结果会存储在数据库内部。
2014-12-28 16:59:09
62363
1
原创 开篇
大学四年即将结束，回首这四年的历程，努力地码代码，回首发现却没有丝毫的文字滴留下来。首先就是遇到问题重复遇到，浪费了好多时间。其次就是好的想法没有及时记录下来。最后就是一些心得没有总结下来。大神推荐我要开个博客，记录下个人努力地历程，可以多交朋友，多分享经历，相互共勉。然！开篇勉励一下自己！
2014-12-28 15:29:05
58805
1
山东大学泰山学堂计算机网络实验
2014-07-01
OpenGL实现面片的选取与虚拟跟踪球
2014-04-21
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人