蒟蒻_william555

摘要： AI 概述 AI 的六大核心方向：计算机视觉、自然语言处理、机器学习、认知推理、多智能体、机器人 人工智能，是研究模拟、延伸和扩展人类智能的理论、方法技术以及应用系统的学科 四种可能定义：类人行为、类人思考、理性行为、理性思考 智能体（Agent）：任何通过传感器感知环境并通过执行器作用于该环境的事 阅读全文

摘要： 前情提要 中学时打过两场 THUPC 初赛，遗憾的是都没认真对待（都中途去吃午饭睡午觉了），一次都没进决赛。今年总算拉到两位室友组队（cyh_toby，Umqwq），一定要打进决赛！ 初赛时 cyh_toby 去参加团课，只打了大概一小时，做了一道题；我抽象发挥，勉强做出三道；Umqwq 咔咔带队， 阅读全文

摘要： 引言 学习了Haskell、学习了Agda，我们已经初步掌握了使用函数式编程进行编写程序、编写证明的方法。 但是目前我们使用Agda进行的证明还是十分规范的代数形式的证明。如果想要严格地证明两个算法的等价性（而不是像OI题解里一样各种画图、感性理解之类的），我们就需要一种方法把算法写成代数的形式，再 阅读全文

摘要： ## 6.6 ### [CF1830E] Bully Sort 很离谱的结论题！ 这个操作很奇怪，但是它有一个重要的性质：一个数永远只会向一个方向移动。考虑这个操作的过程，每次其实是将 $p_i \neq i$ 的最大的 $i$ 归位，所以如果一个数向右移，它以后就不会向左移。而一个数如果向右移，那 阅读全文

摘要： 今天还是打了号爸的模拟赛，T3 一个小时没调出来……只能说概率期望还是太抽象，而我又太缺少脑子了……（赛后5分钟发现T3就是个小细节错了）。 过程 花了 10 分钟看题，T1 是个简单数数题，讨论了一下，先写了个暴力验证正确性，再优化到 O(T(x+y))，大概在 8:40 搞定。 T2 要数旋转同 阅读全文

摘要： 简要题意 给定 $n$ 个边界与坐标轴平行的整点矩形，你可以画三条不同的平行于坐标轴的直线（$x=k \or y=k,k\in Z \cap [1,10^9]$)，使得每个矩形至少与一条直线相交，问方案数。 $n \le 1e5$。 题解 分类讨论，有两种情况：1、三条直线同向；2、有一条直线与另外 阅读全文

该文被密码保护。 阅读全文

摘要： Day1 T1 其实就是要问最多可以用银币买多少，那么把所有的按银币价格排序，买最小的那些，想都没想就冲了个树上莫队+分块，但是可以直接树上主席树做到一个log。 #include<bits/stdc++.h> using namespace std; typedef long long ll; i 阅读全文

摘要： 今天是来到南京外培的第一天，打了模拟赛，挂大分…… T1 从特殊情况入手：$f(m)$ 怎么求？ 首先 $f(m)$ 的上限是长度不小于 $m$ 的区间的数量，如果答案能达到上限就好了。怎么样才能达到上界？那就必须要每一个长度为 $m$ 的区间都是 $0 \sim m-1$ 的排列，如果 $s_i$ 阅读全文

摘要： T1 考虑从前往后一个一个填，如果要求 $a_1 \sim a_n$ 是一个排列 ，那么这题就很简单了：填 $a_i$ 的时候，我们根本不关心 $a_1 \sim a_{i-1}$ 分别是多少，我们只需要关心 $a_i$ 是前 $i$ 个中第几大的，然后就可以直接 $O(n)$ 算。但是 $a_1\ 阅读全文