SkyFairy - 博客园

2021年2月8日

摘要：【定义】： \(SAT\) 是适定性 \((Satisfiability)\) 问题的简称。一般形式为 \(k\) -适定性问题，简称 \(k-SAT\) 这个描述来自于百度，没什么意义，主要是下面的概念【问题描述】： \(k-SAT\) 的问题描述如下：一般有 \(x_1 , x_2 , 阅读全文

posted @ 2021-02-08 10:55 SkyFairy 阅读(134) 评论(0) 推荐(0)

图论专讲 Day2

该文被密码保护。阅读全文

posted @ 2021-02-08 10:31 SkyFairy 阅读(1) 评论(0) 推荐(1)

2021年2月7日

图论专讲 Day 1

摘要：头一天听懂但不会做题的一天。阅读全文

posted @ 2021-02-07 09:18 SkyFairy 阅读(0) 评论(0) 推荐(0)

2021年2月6日

最长公共上升子序列（未完成）

摘要：最长上升子序列【题目描述】：给定一个长度为$N$的数列，求数值严格单调递增的子序列的长度最长是多少第一阶段 \(1\leq N \leq 1000\) 做法：我们可以考虑直接暴力求解。 \(Code\): /* by : Zmonarch 知识点；最长上升子序列做法： force */ 阅读全文

posted @ 2021-02-06 21:45 SkyFairy 阅读(191) 评论(0) 推荐(1)

摘要：先言 \(ll\) ： “有空给你们讲讲。 ” \(nj\) ：“自己整理下学的。 ” 闲话不多说，只先谈一下斜率优化。个人对于斜率优化浅显的理解就是以 \(DP\) 方程为基础，建立坐标系，同时通过以 \(DP\) 方程建立的函数，通过斜率以其单调性对这个状态进行精简，从而达到优化的目的我们阅读全文

posted @ 2021-02-06 14:41 SkyFairy 阅读(156) 评论(3) 推荐(1)

摘要：先言来一写一下莫队，最近 \(YJK\) 一直在给我拍砖，导致我和一个 \(SB\) 一样，我决定写一篇找不出毛病的博文。 ###普通莫队：算法简介算的上是一个暴力美学，排序加分块，所以准确的来说，会了分块的思想和 \(sort\) 一些基础知识，你就可以手玩莫队了。莫队解决的是离线区间问题。阅读全文

posted @ 2021-02-06 10:24 SkyFairy 阅读(130) 评论(0) 推荐(1)

DP 专讲 Day 3

该文被密码保护。阅读全文

posted @ 2021-02-06 09:05 SkyFairy 阅读(0) 评论(0) 推荐(0)

2021年2月5日

DP 专讲 Day 2

该文被密码保护。阅读全文

posted @ 2021-02-05 08:58 SkyFairy 阅读(2) 评论(0) 推荐(0)

2021年2月3日

SP15577 STC10 - Blockade 题解

摘要：写在前面这几天一直在做 \(Tarjan\) 算法，也恰好遇上这一个题目，那就做一做吧，看了一些题解也不多，就交一下题面大意和3469雷同了，这里也还是说一下吧，给定一张无向图，求每个点被封锁之后有多少个有序点对 \((x,y)\ (x\not =y,1<=x,y<=n)\) 满足 \(x\) 阅读全文

posted @ 2021-02-03 19:12 SkyFairy 阅读(95) 评论(0) 推荐(0)

2021年2月2日

摘要：写在前面趁$caq，szt$不在，速来$rank1$，图论那一部分倒是都没学完，反倒是没考，我就$Tarjan$写的博客好，（出了Tarjan就睡觉吧）,要是早看一下$szt$博客，就$260$了，真的是，害期望得分： 200 ，实际得分160 \(T1\ \ transprt\) ###【阅读全文

posted @ 2021-02-02 21:02 SkyFairy 阅读(107) 评论(8) 推荐(0)