摘要: 好题,虽然看着像期望DP,但是装压好写。 〇、题目 题目描述 小林在玩一个抽卡游戏,其中有 \(n\) 种不同的卡牌,编号为 \(1\) 到 \(n\)。每一次抽卡,她获得第 \(i\) 种卡牌的概率为 \(p_i\)。如果这张卡牌之前已经获得过了,就会转化为一枚硬币。可以用 \(k\) 枚硬币交换 阅读全文
posted @ 2021-10-08 16:22 cyx001 阅读(1899) 评论(2) 推荐(2)
摘要: 笔者于 6.21 入坑了这个神奇的形式化证明小游戏,发现现在已有的内容太多了,于是决定记录一下一些东西。 层 几何层 游戏在双曲面上进行,所以地图比较混乱,很容易迷路。建议前期先解锁指南针功能。 解锁方法:“欢迎来到游戏 Deductrium!……”→“已解锁推理层与符号……”→“a>(a>a)”→ 阅读全文
posted @ 2026-06-24 09:27 cyx001 阅读(69) 评论(0) 推荐(1)
摘要: 前段时间写了个作文,得到的点评大意是废话太多(参考下文加粗句),所以我感觉可能需要多写点随笔来感受一下怎么少写废话。 先挂一下作文原文,也欢迎大家提建议(可以直接在底下评论,也可以洛谷/qq 私信联系我): 关于朱子读书法的感受 朱子读书法是一种重要的读书方法论。虽说当时对书的看法与现在有很大不同, 阅读全文
posted @ 2026-06-14 21:50 cyx001 阅读(207) 评论(0) 推荐(0)
摘要: 本来很想写的,打完标题突然不想写了。 阅读全文
posted @ 2026-05-19 15:15 cyx001 阅读(44) 评论(0) 推荐(0)
摘要: 最近还在水知乎,看了一些 HP 相关的内容。里面有一个回答很有趣,它说 HP 的世界是唯心的。魔杖释放出来的结果只取决于主人心中所想,这就是为什么哈利天天对着老伏喊除你武器,最后还是能把他干掉。还有一些例子但是我忘了。 这让我想到一些现实中的例子,很多时候导致你失败的也许并不是你考前失眠或者赛前状态 阅读全文
posted @ 2026-01-30 19:24 cyx001 阅读(213) 评论(0) 推荐(3)
摘要: 前几天哭了好久,终于决定把这篇写出来了。 邓布利多说过,爱是世界上最伟大的魔法。不过这里的爱可不只是指的男女之间的爱,亲情、友情甚至对生活的爱我认为都可以算入其中。我常常被这些爱所感动。 亲情自然不必多说。每次在网易云的一些歌的评论区中看到那些与爷爷奶奶相关的故事,虽然可能看过很多次,但每次看到的时 阅读全文
posted @ 2026-01-24 20:36 cyx001 阅读(245) 评论(1) 推荐(3)
摘要: 怎么才第三天写鲜花就已经进入不知道写什么的阶段了。 倒不是没东西写,有太多想写的,反而不知道写啥了。其实好像也不多,有很多零散的想法。 容斥 昨天模拟赛两个容斥题,感觉有的时候其实容斥是有点反直觉的,就像打块的时候打 t-spin 一样,明明你可以直接拿一个 t 填上去消掉再放别的块,但是你要先放别 阅读全文
posted @ 2026-01-20 18:40 cyx001 阅读(200) 评论(3) 推荐(0)
摘要: 让一个猴子随机在键盘上按键,总有一天它能够打出莎士比亚的巨著。 于是我想到这样一个问题:如果我开一个直播让一个 bot 一直随机在键盘上按键,它是会先敲出一个能以 c++ 正常编译的子串还是直播间会先因为涉及违法内容被封? 然后我又想到,如果是在键盘上按键的话,其实是不是有可能因为连续按太多次 Sh 阅读全文
posted @ 2026-01-19 20:04 cyx001 阅读(324) 评论(0) 推荐(0)
摘要: 近期心情不好,阅读了大量多头鲜花以及多头在鲜花中推荐阅读的文章(一篇谈一部乒乓球的番带来的启示的文章,以及一些知乎上 Anlin 写的日寄),有很多的感触与自己的思考,因此也来尝试自己写一点。 感觉鲜花写什么确实是一个很好的问题。其实有的时候就算有一些想要表达的内容,但是有可能因为找不到比较好的引入 阅读全文
posted @ 2026-01-18 19:55 cyx001 阅读(254) 评论(1) 推荐(4)
摘要: from 刘一平 2023 年的论文 前言 在测试自己程序的正确性时,常用的方法有自己构造小数据和直接对拍。而在对拍或者为题目造数据的时候,数据的强度会成为一个很大的问题,强度不够可能会导致无法查出自己代码的错误或者让一些复杂度错误的代码通过较大的数据。 本文介绍了几种常见的数据生成方式以及如何生成 阅读全文
posted @ 2025-11-30 12:18 cyx001 阅读(64) 评论(0) 推荐(0)
摘要: from 虞皓翔 2021 年的论文 0 引言 图论是组合数学中一个历史悠久的分支,以图为研究对象。图的连通性是图论中基础且重要的理论,更是图论中的奠基石。 OI 种的图论主要以数据结构为主,对连通性等的考察并不多。本文结合图论、dfs 树、网络流等多种算法,使用传统和较现代的图论理论来对这些基本问 阅读全文
posted @ 2025-11-30 12:17 cyx001 阅读(70) 评论(0) 推荐(0)