摘要：
【定义】： \(SAT\) 是适定性 \((Satisfiability)\) 问题的简称 。一般形式为 \(k\) -适定性问题，简称 \(k-SAT\) 这个描述来自于百度，没什么意义，主要是下面的概念 【问题描述】 ： \(k-SAT\) 的问题描述如下 ： 一般有 \(x_1 , x_2 , 阅读全文
该文被密码保护。 阅读全文
摘要：
头一天听懂但不会做题的一天 。 阅读全文
摘要：
最长上升子序列 【题目描述】： 给定一个长度为$N$的数列，求数值严格单调递增的子序列的长度最长是多少 第一阶段 \(1\leq N \leq 1000\) 做法：我们可以考虑直接暴力求解。 \(Code\): /* by : Zmonarch 知识点 ； 最长上升子序列 做法： force */ 阅读全文
摘要：
先言 \(ll\) ： “有空给你们讲讲 。 ” \(nj\) ：“自己整理下学的。 ” 闲话不多说，只先谈一下斜率优化。 个人对于斜率优化浅显的理解就是以 \(DP\) 方程为基础，建立坐标系，同时通过以 \(DP\) 方程建立的函数，通过斜率以其单调性对这个状态进行精简，从而达到优化的目的 我们 阅读全文
摘要：
先言 来一写一下莫队，最近 \(YJK\) 一直在给我拍砖，导致我和一个 \(SB\) 一样，我决定写一篇找不出毛病的博文。 ###普通莫队： 算法简介 算的上是一个暴力美学，排序加分块，所以准确的来说，会了分块的思想和 \(sort\) 一些基础知识，你就可以手玩莫队了。莫队解决的是离线区间问题。 阅读全文
该文被密码保护。 阅读全文
摘要：
写在前面 这几天一直在做 \(Tarjan\) 算法，也恰好遇上这一个题目，那就做一做吧，看了一些题解也不多，就交一下 题面大意 和3469雷同了，这里也还是说一下吧，给定一张无向图，求每个点被封锁之后有多少个有序点对 \((x,y)\ (x\not =y,1<=x,y<=n)\) 满足 \(x\) 阅读全文