2025年1月18日
中学数学的公理化探索
摘要： 前言 笔者高一。退役oier。痛苦的补文化课中。此处是一些游离于课堂之外的探索。全文 4500 字。 感觉我的 Markdown 比之前好多了！！！ 看到课本定理十分杂乱（其实高中课本还好），只在部分地方给出了证明。因此无法仅由简单的公理演绎推理出体系。 数学的公理化。实际上，这也是 阅读全文
posted @ 2025-01-18 19:30 hhhhhua 阅读(61) 评论(0) 推荐(0) 编辑
2024年12月25日
AFO 记
摘要： Introduction: 2022.7.20 ~ 2024.11.30。 谨以此文记我短暂的 OI 生涯。AFO 即 Away From OI。现高一。高二可能短暂在役，事实是已经结束了。刚刚月考结束。 https://www.cnblogs.com 阅读全文
posted @ 2024-12-25 23:05 hhhhhua 阅读(71) 评论(0) 推荐(0) 编辑
2024年11月26日
关联速度模型的数学本质探究
摘要： 今天做题的时候突然发现哈。关联速度这个物理模型的数学诠释。只能向量分解吗？向量分解在这里本质是啥。 前置： 有一个函数 y=f(x)。 变化率: f(x+Δx)−f(x)Δx 瞬时变化率(f′(x) 或 \(\frac{dy 阅读全文
posted @ 2024-11-26 13:28 hhhhhua 阅读(107) 评论(0) 推荐(0) 编辑
2024年7月31日
20240731的神秘小屋
该文被密码保护。 阅读全文
posted @ 2024-07-31 19:18 hhhhhua 阅读(20) 评论(0) 推荐(0) 编辑
2024年7月24日
20240724总结
摘要： 上午模拟赛100+50+0+0. T3本来能拿更高的分数，但是预处理放到里面了。 T1(kruskal+lca) 最小瓶颈生成树/最短路。 其实仔细想想，让他们之间最大边最短，其实就是最短的代价连通。据此得到解决。 T2 构造序列a： i&1：a[i]=i+1/2\ 阅读全文
posted @ 2024-07-24 21:44 hhhhhua 阅读(17) 评论(0) 推荐(0) 编辑
2024年7月11日
Kosaraju算法简记
摘要： 求SCC。 dfs一次。回溯序找出来。 回溯序从大到小，开始dfs遍历，所有遍历到的点组成SCC。 这里浅证： 这么干是为了避免dfs重复。这样可以直接标记了。 阅读全文
posted @ 2024-07-11 11:11 hhhhhua 阅读(3) 评论(0) 推荐(0) 编辑
2024年6月22日
树链剖分笔记
摘要： 树链剖分： 可以把路径分割成logn个区间。 概念： 重/轻儿子：当前节点的子节点中子树最大的子结点称为该节点的 重儿子，其余都为 轻儿子 重/轻边：当前节点到 重儿子 的边称为 重边，到 轻儿子 的边称为 轻边 重链：由 重边 构成的 极大路径 ->区间问题好解决，考虑序列化，链不就变成区 阅读全文
posted @ 2024-06-22 17:55 hhhhhua 阅读(22) 评论(0) 推荐(1) 编辑
树的序列化笔记
摘要： dfs序 以DFS（先根遍历）⾸次访问顺序将节点重新排列。 特征： 每个顶点在序列中出现恰好⼀次（废话） ⽗节点排在⼦节点前⾯（废话） 每棵⼦树都占据序列的⼀个区间 欧拉序 记录DFS递归/回溯时依次经过的所有点。 特征： 每个点出现次数=度数（根多1次） 相邻点深度差1 \ 阅读全文
posted @ 2024-06-22 14:20 hhhhhua 阅读(42) 评论(0) 推荐(1) 编辑
2024年6月18日
中考后刷题补题合集
摘要： T1（莫队，增量式维护答案） https://www.luogu.com.cn/problem/P1494 1731。 看上一篇总结的莫队。双倍经验。 QAQ #include <iostream> #include <cstdio> #include <cstring> #include <alg 阅读全文
posted @ 2024-06-18 20:17 hhhhhua 阅读(22) 评论(0) 推荐(1) 编辑
2024年6月15日
2024wf中考数学难题tj
摘要： 睿频：中考量太大，太折磨人了。 凭记忆口胡。 多选最后一个： 条件：AE//GC,EF垂直平分线。 平行+垂直平分线，A证弧其实就是证角，D证菱形也差不多。 A：弧DA = 弧AG 。 证：ΔAEH≅ΔEHC , 平行加等腰，直接ac平分角，o。 \ 阅读全文
posted @ 2024-06-15 17:48 hhhhhua 阅读(189) 评论(0) 推荐(1) 编辑
下一页
点击右上角即可分享
微信分享提示