摘要：
#include<bits/stdc++.h> using namespace std; const int maxn = 1e5+5; const int INF = 1e9; struct node{ node *ch[2]; int val,size; node(int v=0,int siz 阅读全文
摘要：
@ 前言 彩笔作者最开始以为是真分块。。。 作者接触到这玩意是因为这道题：luogu2261 [CQOI2007]余数求和 题目简洁明了，一看就是推式子的题： 给出正整数 \(n\) 和 \(k\)，请计算 \(G(n, k) = \sum_{i = 1}^n k \bmod i\) 其中 \(k\ 阅读全文
摘要：
A 题面 JSOI 交给队员 ZYX 一个任务，编制一个称之为“文本生成器”的电脑软件：该软件的使用者是一些低幼人群，他们现在使用的是 GW 文本生成器 v6 版。 该软件可以随机生成一些文章——总是生成一篇长度固定且完全随机的文章。 也就是说，生成的文章中每个字符都是完全随机的。如果一篇文章中至少 阅读全文
摘要：
A 题面 对于一个仅含小写字母的字符串 \(a\) ，若 \(p\) 为 \(a\) 的前缀且 \(p\ne a\) ，那么我们称 \(p\) 为 \(a\) 的 \(proper\) 前缀。 规定字符串 \(Q\)（可以是空串）表示 \(a\) 的周期，当且仅当 \(Q\) 是 \(a\) 的 \ 阅读全文
摘要：
本人的证明并不是非常严谨 证明1 感性理解 把这个问题翻译成人话：（如果 \(\alpha\) 是真的，那么 \(\beta\) 是真的）说明（如果 \(\beta\) 是假的，那么 \(\alpha\) 是假的） 其实是显然的，我们考虑 \(\alpha\) 和 \(\beta\) 的真假情况： 阅读全文
摘要：
命题逻辑公理系统 概念 从一些公理出发，根据演绎法，推导出一系列定理，形成的演绎体系叫做公理系统。 命题逻辑的重言式1可以组成一个公理系统 初始命题是重言式 从公理出发，利用推理规则，可以推导出定理，定理都是重言式 该系统推出的都是重言式，而且能推出所有重言式 初始符号 命题符号：\(\alpha, 阅读全文
摘要：
参考：https://www.luogu.com.cn/problem/solution/SP1110 https://blog.csdn.net/a_bright_ch/article/details/81950224 A 题目 B 解题 想想我们 9*9 的数独是怎么做的？ 我们加了一个搜索顺序 阅读全文
摘要：
1.「POJ1475」Pushing Boxes 题目：推箱子，求推动次数最少的路径，有推动次数相同方案时输出走路次数最少的路径。 思路：bfs 套 bfs 定义五元组 (bx,by,mx,my,route) 表示箱子在 (bx,by) 位置，人在 (mx,my) ，路程 route 的状态。注意细 阅读全文