deprecated_tzg-CSDN博客

原创 Announcement

后续全部迁移至 solotzg.github.io，本站停用

2022-03-24 09:54:37 570

原创论文注解《Query Languages for Graph Databases》graph数据库查询语法（III）

聚合聚合运算，例如：count,sum,min,maxcount, sum, min, max Figure 3...Figure\ 3... Figure 4...Figure\ 4...在GraphLogGraphLog中，聚合项可以是可区分的边或节点的标签，一个简单的countcount查询如Figure 3Figure\ 3所示：对于每个作者xx，计算其获yy奖的次数。ans

2015-08-09 22:52:28 622

原创论文注解《Query Languages for Graph Databases》graph数据库查询语法（II）

联合正则路径查询通过结合CQCQ和RPQRPQ得到CRPQCRPQ，形式如(2)(2)比较并返回路径在某些场景下（例如找出web上联通的数据），需要指定路径间的关系同时得到实际的路径作为查询结果ECRPQECRPQ提供以上两种特性，ECRPQECRPQ在两个层面上扩展了CRPQCRPQ 允许查询的头部存在自由路径变量允许校验查询体中路径间的关系而不是简单的令路径和正则语

2015-08-08 16:58:37 615

原创论文注解《Query Languages for Graph Databases》graph数据库查询语法（I）

概述这篇paper主要介绍了历史上的graph数据库查询语法的发展和用途，并从查询处理的表达能力和计算复杂性做出评估简介对于一个graph数据库 GG 最简单的形式为 (V,E)(V,E) ，其中 VV 是有限点集，EE 是连接点对的有限边集（有向|无向）。在大多数的应用场景中点和边往往以某种形式被打上标签（例如属性-值），且用字符 ∑\sum 表示打标签的过程，即 E⊆V

2015-08-08 11:26:44 915

原创 epoll源码分析

函数调用框架见思维导图接下来就是分析，doc编辑转换不便，已放网盘http://pan.baidu.com/s/1liQGe

2015-01-09 23:47:02 541

原创浅析内存事务

简介

2018-07-22 20:45:24 1760

原创 F1异步schema更新

aaaaa

2018-07-12 11:52:00 893 1

原创 Raft TLA+形式化验证

TLA+------------------------------- MODULE Raft -------------------------------EXTENDS Naturals, FiniteSets, Sequences, TLCCONSTANTS Server, Value, Follower, Candidate, Leader, Nil, RequestVot...

2018-06-14 11:12:59 3045

原创 PaxosCommit TLA+形式化验证

TLA+----------------------------- MODULE PaxosCommit ----------------------------EXTENDS IntegersCONSTANT RM, Acceptors, Majority, BallotVARIABLES rmState, aState, msgsCONSTANT prepared, aborted...

2018-06-12 15:56:48 1033

原创整数的幂分解

topcoder srm 669 level 3给定整数X（X>=1 && X 很明显首先需要将X按M进制分解，问题关键是状态转移。设 X = b0 * M^0 + b1*M^1 + ... + bn*M^n，bi = [0,M)。对于bi*M^i，可以视作与其他分开考虑。所以问题的核心变成如何计算bi*M^i的拆解数目。借鉴了别人的代码，有些状态矩阵的转移很微妙。

2016-01-04 09:50:33 1178 1

原创超大多重背包问题

TopCoder SRM 674 div 1 ClassicProblemProblem Statement This task is about a classic problem in computer science: the knapsack problem.There are n types of items. The types

2015-12-29 16:30:28 2320

原创据说是网易游戏面试题

据说是网易游戏面试题题意：一条直线上有n个小球，初始坐标及速度已知，且球的初始位置两两不相同。若任意两个球相遇后则两球均消失，找出最后还留在直线上的球。分析：题意很清楚明了，任意两个小球之间无非两种情况（一起消失、永不相遇）。那么最先相遇的必然是两个相邻的小球，排除掉这俩球后就又回到了最初的状态。所以把所有球按坐标从小到大排序，用带有排序功能

2015-10-25 19:20:35 1050

原创 TopCoder SRM 669 DIV 1

250Problem Statement The idols Ami and Mami like playing games. Today they bought a new game. At the beginning of the game a single slime appears on the screen. You are given

2015-10-03 21:52:00 1592 1

原创 Gambler's Ruin（赌徒破产问题概率论）

赌徒破产问题，做tc时遇到，顺便拿来好好研究下英文原版地址为：Gambler's Ruin问题如下：一个赌徒有h枚金币，每次有概率a获得一枚金币或者概率（1-a）丢掉一枚金币，直到其所有的金币总数达到N或0则游戏结束，求赌徒最终赢得N枚金币的概率P(N|h)。对于两个状态我们可以确定，即P(N|N)=1、P(N|0)=0。同时得出状态转移公式（概率的推导和普通的DP还是

2015-09-23 10:05:54 21479

原创 2-SAT合集

2-sat

2015-08-31 12:38:26 773

原创 TopCoder SRM 657 DIV 1

250Problem Statement Cat Snuke came up with some problems. He wants to construct as many problem sets as possible using those problems. Each problem set must contain exactly three

2015-05-01 14:47:28 1087

原创 TCO 2015 Round 1A DIV 1 1000

Problem Statement You have a weighted bipartite graph. Each partition contains n vertices numbered 0 through n-1. You are given the weights of all edges encoded into a vector A with n ele

2015-04-12 19:02:18 591

原创 Google Code Jam 2015

Google Code Jam

2015-04-12 11:59:57 1517

原创 DLX算法合集 I

DLX是一种相当神奇的数据结构，通常用于解决矩阵（多为稀疏矩阵）的重复|精确覆盖的问题。不过一般这类问题的难点是抽出转化关系，剩下的几乎就是套模板

2015-02-22 12:42:32 1201

原创 hdu 5120 Intersection（几何容斥）

hdu 5120 Intersection(a1 - b1) X (a2 - b2) = a1Xa2 - b1Xa2 - a1Xb2 + b1Xb2#include#include#include#include#include#include#includeusing namespace std;typedef long long LL;cons

2015-02-05 11:04:49 436

转载 hdu 5111 Alexandra and Two Trees（树链剖分+函数式线段树）

#include#include#include#include#include#include#includeusing namespace std;#define MID ( (l+r)>>1 )const int MAXN = 100005;map mp;int itp[MAXN];struct _edge{ int v, next; _edge(i

2015-01-28 00:41:54 601

原创 hdu 5110 Alexandra and COS（dp）

hdu 5110 Alexandra and COS虽然可以一眼看出是dp相关的，但题目给的数据量范围还是很容易把人吓住。题解的方法看来真是可行的。。。根据题意，所要统计的点在正北方向左右45°的扇区内。设dp[i][j][k]表示观察点坐标为i,j，值为k。若k dp[i][j][k] = dp[i-k][j-k][k] + dp[i-k][j+k][k] - d

2014-12-31 20:28:47 1100

原创 hdu 5093 Battle ships（最大二分匹配）

hdu 5093 Battle ships图中有三类点：水、浮冰、冰山船与其他在同一横纵轴内的船无法同时存在除非被冰山隔开船只能被放置在水中求最多能放多少船对于每块水域放置船只后会。因此很容易联想到最大二分匹配。由于任何在同一线上的水域只能放一艘船，可以视作一个整体。

2014-12-04 00:29:27 552

原创 hdu 5091 Beam Cannon（线段树）

hdu 5091 Beam Cannon实际上题目约等于在一条横坐标轴下有一系列的点，求用一个定长(L)的线段能覆盖的最大点数，且点可动态增减。对于可能覆盖的每个点x，线段的中心位置可以用一个区间表示[x-L/2,x+L/2]。那么最终结果就等于某一范围被重叠的最多次次数。由此再推广到二维坐标系#include #include #include #include

2014-11-25 20:56:23 608