摘要： 数学证明：proof 命题：proposition 逻辑推理：logical deduction $\to$ 推理规则：inference rule 公理：axiom 良序原理：Well Ordering Principle 归纳法：induction 定义：命题的数学证明是指基于一系列公理，经过一 阅读全文

摘要： 2022/7/4 给定一张 $n$ 个点的有权无向图和 $m$ 个关键点，求其生成树满足每个点到离它最近的关键点的距离之和最小。 输出该生成树边权和。 加强一下： 给出一个 $N$ 个点 $M$ 条边的加权无向连通图，并将其划分为 $k$ 个子图 $V_{1}$ 至 $V_{k}$。这 $k$ 个子 阅读全文

摘要： FFT const double PI=acos(-1.0); struct Complex { double R,I; Complex(){} Complex(double _R,double _I) { R=_R; I=_I; } }; Complex operator + (Complex x 阅读全文

摘要： ARC143 考试情况：一眼订正，鉴定为做出前三题。 A - Three Integers 以前做过 $n$ 个数的版本，当时还被某人嘲讽说“堆，贪心，这都做不出来？”。 $3$ 个数就考虑最大数怎么消掉。 如果最大数比其它两个数之和还大，就无解。 否则每次都让最大值减一，使得操作次数为最大值的大小 阅读全文

摘要： by 0htoAi 于 2021.7.31 早年作品不保证可靠。 1.关于线段树合并： 多棵大小相同的线段树，对应节点相加组成的新线段树。 新线段树既可以单独成树，也可以附在一棵参与合并的旧线段树上。 附1：大多数时候线段树合并都是权值线段树合并。 附2：大多数时候合并都是附在一棵参与合并的线段树上 阅读全文

摘要： by 0htoAi，写于2021.8.14 Problem Description There are n×n cells on a grid, the top-left cell is at (1,1) while the bottom-right cell is at (n,n). You st 阅读全文

摘要： CF1477E&大户爱的送分题题解 （CF1477E为我出的校内模拟赛的一道题——《大户爱的送分题》的待修版本） 大户爱的送分题 文件名OhtoAiFirst.cpp/.in/.out，时间限制 \(1\) 秒，空间限制 \(256MB\)。 注意第一个字母是O而不是0。 题目背景 大户爱去参加一个 阅读全文

摘要： ARC142 考试情况：一眼订正，鉴定为做出前三题。 A - Reverse and Minimize 分析题目性质可得三种情况： \(K\) 末尾有 \(0\) 最多只有 \(K\) 本身一个答案。 \(K\) 是回文数 去掉翻转的情况。 其它 考虑 \(K\) 翻转之后的数比它大还是小。 翻转过 阅读全文

摘要： 老早之前写的，修了一些 bug，随便看看就好。 观前提示： 此算法是不完备算法，仅适用于随机数据或想不出其它更好的方法时骗分。 目录： 一、Beam Search算法简介 例题 1 二、Beam Search算法框架 三、适用范围+例题 例题 2 例题 3 四、算法小结 一、Beam Search 阅读全文

摘要： 部分题目见洛谷题单 动态更新。 标 * 为想做的题。 hdhd: CF1214G Feeling Good CF1305F Kuroni and the Punishment AGC016F Games on DAG CF1292E Rin and The Unknown Flower AGC002 阅读全文