2-SAT 问题
摘要:
SAT 问题 SAT: Satisfiability 满足 给出很多个包含多个命题的条件,给出命题的真假方案,使得所有条件成立 如:对于命题 x1,x2,x3,x4,x5…x1,x2,x3,x4,x5… 使得 x1∨¬x2∨x5x1∨¬x2∨x5 成立 2-SAT问题 每个条件包含两个命题的SAT问题 如:对于 $x_1,
爬山法
摘要:
什么是爬山法? 爬山法是向值增加的方向持续移动到简单循环过程,算法在到达一个“峰顶”时终止,此时相邻状态中没有比该“峰顶”更高的值。爬山法不维护搜索树,当前节点只需要记录当前状态及其目标函数值;爬山法不会前瞻与当前状态不直接相邻的状态的值——“就像健忘的人在大雾中试图登顶珠峰一样”。爬山法从来不会“
模拟退火
摘要:
模拟退火 模拟退火有什么用? 模拟退火是模拟物理上退火方法,通过N次迭代(退火),逼近函数的上的一个最值(最大或者最小值)。 比如逼近这个函数的最大值C点:(非常大的概率找到最优解) 什么是模拟退火?(基于物理模型) 模拟退火算法的思想借鉴于固体的退火原理,当固体的温度很高的时候,内能比较大,固体的
2022.7.22 模拟赛
摘要:
前言 第一次和学长们模拟赛切掉 T1,真的不容易啊。。。。。 T1 数正方体 题目描述 众所周知,正方形有 44 个点,44 条边;正方体有 44 个点,1212 条边,66 个面,定义点为零维基础图形,线段为一维基础图形,正方形为二维基础图形,正方体为三维基础图形...,那么请问,一个 $
扫描线
摘要:
关于扫描线 基础是求周长并和面积并的算法。 注意,扫描线是一条不存在的线。 假设有一条扫描线从一个图形的下方扫向上方(或者左方扫到右方),那么通过分析扫描线被图形截得的线段就能获得所要的结果。 实现扫描线 这里将出现的所有矩形以横坐标为分割线划分成一个个竖直的长条,计算每个长条的面积,相加就可以得到
2022.7.15 jiazhaopeng 讲课纪要
摘要:
前言 由于难度仍然过高,难度再次下调,这节课主要在水绿。这节课讲的是并查集,之所以是以绿题为主是因为上了绿之后的题有一大半都要结合别的东西,初中生不会,所以只能讲的简单一点。 ORZ%%% jzp学长 正文 这节课以普通并查集和边带权并查集为主,并区分了什么时候可以路径压缩,什么时候不可以。 P15
2022.7.16 lhm_ 讲课纪要
摘要:
前言 啊好的,这节课又是对牛弹琴课。。。。。。 虽说题给的不难,以黄绿为主,,穿插了一个蓝一个紫,但是给一群不知道什么是树什么是DAG的人讲树形dp和dag上dp有点。。。。 顺便讲了讲拓扑排序和记忆化搜索 ORZ%%% lhm学长 正文 P6419 [COCI2014-2015#1] Kamp 应
2022.7.14 单南松 讲课纪要
摘要:
前言 7.14 初中班搞了一场模拟赛,天天被高中学长们虐都快被虐炸了,就去初中班参加考试去了。 考前 ghc 学长跟我说“T3 2048”。2048是啥?不知道,就去查了一下,是个游戏,然后学了学怎么玩(话说这种游戏还有人玩)。 下午就去玩去了,上来秒切T1,然后T2写了个dp,T3真考了2048,
2022.7.12 thecold 讲课纪要
摘要:
前言 上午刚学完平衡树,听学长说下午讲 LCTLCT ,想了想就我这种蒟蒻平衡树还写不明白就搞 LCTLCT ,绝对会挂,就打算下午去初中集训班摸摸鱼。 一进去就看见了 thecold 学长,真的好帅啊!!! 后来就开始自我介绍,才知道是一个当年铜牌的巨佬,因为一个小失误遗憾退役。后来也给我们讲了,说他
2022.7.13 tongyf 讲课纪要
摘要:
前言 这个笔记记晚了,主要是都在跟 LCTLCT 进行殊死搏斗,所以博客这方面就挂了很久。 tongyf 学长当年是拿到省一之后省选炸了,之后暴切高考。ORZ%%% 这节课讲的是线性dp和背包dp,也属于对牛弹琴了,,,比 thecold 学长讲的还离谱。那些初中生连dp是什么都不知道,上来就20mi