摘要：
2-SAT 什么是 2-SAT？ 首先，把「2」和「SAT」拆开。SAT 是 Satisfiability 的缩写，意为可满足性。即一串布尔变量，每个变量只能为真或假。要求对这些变量进行赋值，满足布尔方程。 举个例子：假设一群 $\texttt{OIer}$ 在同一个机房里（其实根本不用假设），其中 阅读全文
posted @ 2023-10-13 20:28
tsqtsqtsq
阅读(30)
评论(0)
推荐(0)
摘要：
离散化 引入 离散化，就是当我们只关心数据的大小关系时，用排名代替原数据进行处理的一种预处理方法。离散化把无限空间中有限的个体映射到有限的空间中去，以此提高算法的时空效率，即：在不改变数据相对大小的条件下，对数据进行相应的缩小。本质上是一种哈希，它在保持原序列大小关系的前提下把其映射成正整数。当原数 阅读全文
posted @ 2023-10-13 19:15
tsqtsqtsq
阅读(108)
评论(0)
推荐(0)
摘要：
双指针 引入 双指针是一种简单而又灵活的技巧和思想，单独使用可以轻松解决一些特定问题，和其他算法结合也能发挥多样的用处。 顾名思义，双指针就是同时使用两个指针，在序列、链表结构上指向的是位置，在树、图结构中指向的是节点，通过或同向移动，或相向移动来维护、统计信息。 实现 首先来看一道题。 洛谷 P1 阅读全文
posted @ 2023-10-13 15:08
tsqtsqtsq
阅读(24)
评论(0)
推荐(0)
浙公网安备 33010602011771号