图论-强连通分量 - 随笔分类 - suxxsfe

2-sat

摘要：k sat sat 是 Satisfiability 的缩写，就是对一串 bool 量进行赋值，使其满足布尔方程具体来说，k sat 就是给出若干个限制：

a_{p_{1}} \oplus a_{p_{2}} \oplus \dots \oplus a_{p_{k}} = x

$a_{p_1}\oplus a_{p_2}\oplus \cdots\oplus a_{p_k}=x$ 求的一组满足所有限制合法解，\o 阅读全文

posted @ 2020-05-04 21:04 suxxsfe 阅读(148) 评论(0) 推荐(0) 编辑

P3119 [USACO15JAN]Grass Cownoisseur G

摘要："P3119 [USACO15JAN]Grass Cownoisseur G" tarjan缩点+分层图上跑 spfa最长路约翰有

n

$n$ 块草场，编号

1

$1$ 到

n

$n$ ，这些草场由若干条单行道相连。奶牛贝西是美味牧草的鉴赏家，她想到达尽可能多的草场去品尝牧草。贝西总是从

1

$1$ 号草场出发，阅读全文

posted @ 2020-04-20 16:51 suxxsfe 阅读(156) 评论(0) 推荐(0) 编辑

[bzoj2427]P2515 [HAOI2010]软件安装（树上背包）

摘要：tarjan+树上背包题目描述现在我们的手头有

N

$N$ 个软件，对于一个软件

i

$i$ ，它要占用

W_{i}

$W_i$ 的磁盘空间，它的价值为

V_{i}

$V_i$ 。我们希望从中选择一些软件安装到一台磁盘容量为

M

$M$ 计算机上，使得这些软件的价值尽可能大（即

V_{i}

$V_i$ 的和最大）。但是现在有个问题：软件之间存在阅读全文

posted @ 2020-04-20 14:18 suxxsfe 阅读(112) 评论(0) 推荐(0) 编辑

[bzoj1924]P2403 [SDOI2010]所驼门王的宝藏

摘要：tarjan+DAG 上的 dp 难点在于建图和连边，其实也不难，就是细节挺恶心 ~~我和正解对拍拍出来 3 个错误。。。~~ 传送门： "luogu" "bzoj" 题目描述有座宫殿呈矩阵状，由

R \times C

$R\times C$ 间矩形宫室组成，其中有

N

$N$ 间宫室里埋藏着宝藏，称作藏宝宫室。宫殿里外、阅读全文

posted @ 2020-04-18 20:15 suxxsfe 阅读(133) 评论(0) 推荐(1) 编辑

tarjan 算法应用

摘要：主要讲证明，流程倒是也有 ~~然后发现自己并不会严谨证明~~ 其实后面一些部分流程还是挺详细本来这篇blog叫做“图论部分算法证明”，~~然后发现OI中的图论想完全用数学上的方法证明完全超出我能力范围~~ 而且只写了一个 tarjan 相关的内容长度就爆了，所以别的算法就令开blog吧各个用途的阅读全文

posted @ 2020-04-17 15:33 suxxsfe 阅读(341) 评论(1) 推荐(0) 编辑

公告

昵称： suxxsfe
园龄： 5年1个月
粉丝： 41
关注： 9

2025年3月

日

一

二

三

四

五

六

随笔分类 - 图论-强连通分量

友链

公告

搜索

最新随笔

积分与排名

随笔分类 (684)

随笔档案 (299)

文章档案 (6)

阅读排行榜

评论排行榜

推荐排行榜

最新评论

suxxsfe

这是子标题

随笔分类 - 图论-强连通分量

公告