Utoрia

2018年10月26日

摘要：非流图论主要包括tarjan、最短路、生成树、2 sat、Kruskal重构树、优化建图、差分约束系统、邻接矩阵、最长畈链。 tarjan tarjan的应用是建出SCCDAG、BCC树、 "双连通分量树" 、 "割顶树" 。在这些结构基础上做其他算法。最短路最短路主要应用是最短路建模（拆点、枚阅读全文

posted @ 2018-10-26 18:25 Utoрia 阅读(157) 评论(0) 推荐(0) 编辑

割顶树 BZOJ1123 BLO

摘要：无向图中，求去掉点x[1,n]后每个联通块的大小。考虑tarjan求bcc的dfs树，对于每个点u及其儿子v，若low[v] 阅读全文

posted @ 2018-10-26 15:44 Utoрia 阅读(82) 评论(0) 推荐(0) 编辑

双联通分量树

摘要： \ from FromATP 阅读全文

posted @ 2018-10-26 14:43 Utoрia 阅读(112) 评论(0) 推荐(0) 编辑

2018年10月25日

论一类每次修改log个结点更新的线段树标记方法

摘要：楼房重建（BZOJ2957）多次询问一个区间中大于区间内这个数之前所有数的数的数量。每个线段树结点维护该节点的答案c和区间内最大值m。假设有函数get(x,cm)=结点x中答案 cm的长度。则有c[x]=c[ls[x]]+get(rs[x],m[ls[x]])。考虑计算get(x,cm)。若c 阅读全文

posted @ 2018-10-25 18:26 Utoрia 阅读(128) 评论(0) 推荐(0) 编辑

环长图

摘要：环长图中，一条环的长度等于环上的边权之和。且边权有如下性质。 \ from 《集合问题》题解阅读全文

posted @ 2018-10-25 11:05 Utoрia 阅读(121) 评论(0) 推荐(0) 编辑

2018年10月24日

论一类化乘除为加减的方法

摘要：如果等式两边都是乘除，取对数即可。另：可用指标将幂转化为积。阅读全文

posted @ 2018-10-24 17:27 Utoрia 阅读(458) 评论(0) 推荐(0) 编辑

2018年10月23日

差分约束系统

摘要：概述差分约束系统用于解决：给定一些不等式，不等式$i$形如$x_{u_i}\le x_{v_i}+k_i$，求是否有解。考虑最短路问题，若最短路问题有解，则最后的dis数组对于所有相邻的u、v满足$dis[v]\le dis[u]+w_{u\rightarrow v}$。这个可以与不等式的条件做阅读全文

posted @ 2018-10-23 23:08 Utoрia 阅读(149) 评论(0) 推荐(0) 编辑

BZOJ1997 平面图判定平面图性质 2-sat

摘要：相交的两条边不能在同一侧，用2 sat即可。平面图点数边数关系 $E\le 3V 6$ 写这篇文章我只是想说明，知乎一小时，题解一分钟。 lb Zhihu, gos langar Qarwet con Nii Owenoicuukoanimacionihlimo. mn gos log ab d 阅读全文

posted @ 2018-10-23 21:01 Utoрia 阅读(134) 评论(0) 推荐(0) 编辑

2018年10月22日

BZOJ1283 序列网络流区间覆盖模型

摘要：就是区间覆盖模型的费用流版。 "区间覆盖模型" 阅读全文

posted @ 2018-10-22 20:23 Utoрia 阅读(129) 评论(0) 推荐(0) 编辑

BZOJ4289 Tax 最短路建模

摘要：给定一个带边权的无向图，求1到n的最小代价路径。经过一个点的代价是路径上这个点的入边和出边的较大权值。 $n \le 100000, m \le 200000$。一般的建图是考虑每个点，其入边和出边之间两两连边，边权为较大值。这样菊花图就是$O(n^2)$的。考虑“较大值”这个过程，考虑用前缀和阅读全文

posted @ 2018-10-22 20:06 Utoрia 阅读(165) 评论(0) 推荐(0) 编辑

Which is bigger, Mars or a shoe box?

公告