原创 FG-Index: Towards Verification-Free Query Processing on Graph Databases
簡介 這篇paper是香港中文大學James Cheng 鄭老師發在sigmod 2007上的一篇paper。這篇paper主要用頻繁子圖來建索引，來加速圖同構算法。 衆所周知，圖數據的查詢因爲涉及到子圖同構的問題（NPC），所
2020-07-04 04:34:34
原创 流式圖分割
承接自上文。本文大部分材料來自SIGMOD 19年Tamer Ozsu老師的一篇論文1。 圖分割算法的特性羅列如下(截圖自原文): 流式圖分割 （SGP: Streaming Algorithms for Graph Parti
2020-07-04 04:34:33
原创 準確率(precision)和召回率(recall)
在做圖查詢或者關鍵詞查詢結果中，我們經常採用兩個標準來衡量查詢結果的優劣。 準確率就是查詢結果正確率的百分比。（正確性，多少結果是對的） 召回率就是正確的查詢數目所佔總的正確數目的比例。（有效性，能檢測出多少正確結果） 兩者沒有必然
2020-07-04 04:34:33
原创 C++圖常用庫boost graph library
接下來一段日子，會寫一些跟bgl相關的內容。bgl是一個性能很不錯的庫，但是源碼跟鬼畜一樣…文檔也寫得很亂。因爲最近做的論文需要比較好的性能，實在不得不硬着頭皮重新用起bgl。所以儘可能的做一些總結，希望能給後面需要使用的同學能有
2019-06-15 12:54:57
原创 CSCI5320 回憶錄
回憶一下今年CSCI5320的期末試題，方便以後的同學參考。期末考主要是題量太大了，滿分50分的試卷最後兩道大題15分全空了。 →\rightarrow→ 題1：給出FPT和Kernelization的定義（4分） 解：參照講義 →\
2019-04-23 12:54:43
13
原创 NPC 證明（二）
往期文章： NPC簡介 NP-hard問題證明 NPC 證明（一） 本文在前文的基礎上進一步羅列了幾個NPC問題的歸約。大部分例子來自CSCI5320的課程材料或者作業題。 例子 Odd cycle transver
2019-04-16 12:55:03
33
原创 通過3SAT證明支配集是NPC問題
往期文章： NPC簡介 NP-hard問題證明 NPC 證明（一） NPC 證明（二） 本文介紹如何通過3SAT歸約，進而證明支配集是NPC問題。 3SAT問題 →\rightarrow→ 3-Satisfiabi
2019-04-16 12:55:03
原创 NPC 證明（一）
要證明一個問題是NPC，通常是歸約到一個相似且已知是NPC的問題上。卡普的二十一個NP-完全問題羅列了21個NPC問題，推進了NP，NPC問題以及P是否等於NP的研究。 往期文章： NPC簡介 NP-hard問題證明 例子
2019-02-24 00:36:30
原创 NP-hard問題證明
NP-hard問題：比NPC更難，通常在多項式時間內無法驗證一個解的正確性。幾個複雜度的區別可以看NPC介紹。 常見證明 我們要證明一個問題A是NP-hard問題一般可以分爲兩步： 1) 對問題A給定限制條件得到一個特例B問題 2）
2019-02-24 00:36:30
原创 線性時間查找一個圖中的所有node-cut點分割
node-cut定義： 對於一個無向圖G，如果刪除一個點v可以增加聯通分支的數量，那麼我們稱點v是圖G的一個node-cut，即點分割。（注意和最小割是有區別的，最小割是用移除最少了邊使得原圖不聯通，可以用流算法去解決） node-cu
2018-08-31 17:28:23
原创 Blinks:Ranked Keyword Searches on Graphs
簡介 這篇paper主要的工作是在知識圖譜上做關鍵字查詢，是比較經典的一篇文章，基本做關鍵字查詢的paper都有引這篇paper。這篇paper發在Sigmod 2007上。 問題定義 嚴格定義可以看論文Section 2. 直觀上來看
2018-08-31 17:28:22
2
原创 學習計劃
需要學習的東西太多，一一羅列以求事情能按部就班的完成。需要大致寫個簡單的技能樹。先大致羅列一下目前想學的東西。 Emacs 目前使用spacemacs，只能入門夠用。但一個好的編輯利器應該需要更深入的瞭解。需要學習Lisp。 寫pape
2018-08-31 17:28:22
4
原创 spacemacs搭建C++環境
Spacemacs是一個集合了各種emacs插件的配置的文件。避免從頭配置繁瑣的文件。 spacemacs傳送門：https://github.com/syl20bnr/spacemacs 簡易安裝： git clone https:/
2018-08-31 17:28:22
原创 P NP NPC NP-hard問題的區別
P問題：能找到一個算法在多項式時間解決的問題叫P問題。 NP問題：經常有人把NP問題作爲P問題的補集，這種看法是錯誤的。NP問題指的是在多項式時間內能驗證一個解是不是正確的。那麼顯然，P問題在多項式時間內能得到正確的解，當然也就能驗證一
2018-08-31 17:28:22
6
原创 Proxies for Shortest Path and Distance Queries
這篇paper是馬帥老師發在TKDE 2016的一篇paper。這篇paper主要的思路就是選取原圖的一部分代理點（proxies）來保存原圖的距離信息，來進一步加快最短路查詢的速度。本文主要是翻譯這篇paper以及對這篇paper的理解
2018-08-31 17:28:21