在讨论《站外题求助》回复：

是不是可能输出的东西会带有 `!` 啊 这个离谱题的题面一直在混用陈述和命题这两个概念 比如这个数据 ```plain 2 !a a ``` 要输出的是 `a` 还是 `!a` 呢

在讨论《求助数列入门（数学非OI）》回复：

@[FutureThx](/user/355559) 大致用数学归纳法和高斯函数的相关性质是能证出来 $\forall_{n\ge1},x_n>\lfloor n \rfloor$ 的，但是不好证。 我上一个回复的最后一句话写错了，应为 > > 也就是说，现在只需要证对于任意 $n$，都有 $x_n\ge\lfloor…

在讨论《求助数列入门（数学非OI）》回复：

第二问已经有人给出了证明，那我给出第一问的证明吧。 若有 $$ \left\lfloor\frac{x+\lfloor\frac{a}{x}\rfloor}{2}\right\rfloor\ge x $$ 则有 $$ \frac{x+\lfloor\frac{a}{x}\rfloor}{2} \ge x $$ 即 $$…

在讨论《求助数列入门（数学非OI）》回复：

@[FutureThx](/user/355559) 这题跟数列的一般解法关系不大 首先是一个笔误，我怀疑你的第一问写错了，应该是 $x_k=\lfloor\sqrt a\rfloor$。 实际上可以直观理解：当 $x>\sqrt n$ 时，则 $\frac{a}{x}$ 一定小于 $x$，于是 $\frac{x+\l…

在讨论《建议将难度调整为普及+/提高》回复：

@[东方澂](/user/161223) 当时没注意到有循环矩阵和它的幂乘性质…… 算上这个的话，应该是紫没错了。 不过我大致觉得 $O(n^3\log k)$ 的时间复杂度应该卡卡常也能过…… 要真想卡这个做法的话 $n$ 怎么说也得开到 3e3 去吧？

在讨论《建议将难度调整为普及+/提高》回复：

@[东方澂](/user/161223) wc什么洛阳铲式时空警察……退役一年被人 @ 系列……

在讨论《关于数学》回复：

@[Technablode](/user/575802) 应该没什么用吧

在讨论《如何在双向链表上做 $O(n\lg n)$ 的原地排序》回复：

@[Terrible](/user/195942) 什么神奇条件

在讨论《如何在双向链表上做 $O(n\lg n)$ 的原地排序》回复：

@[OneZzz6174](/user/368107) @[cxy2022](/user/203008) 有道理 所以为什么不直接放到数组上然后 sort 呢

在讨论《蒟蒻关于二进制的问题》回复：

@[WATERYGRAVES](/user/712061) 挺好，直接换了个题 FMT 快速莫比乌斯变换 可以在 $O(n \log n)$ 时间内做到。

在讨论《如何在双向链表上做 $O(n\lg n)$ 的原地排序》回复：

@[ppip](/user/374433) 显然不行 放到数组上然后快排再给塞回去。 快排要求能够随机访问，像链表这种访问中间某一个数都需要 $O(n)$ 的东西还是算了吧

在讨论《带负权边的图如何最短路计数》回复：

@[liqingyang](/user/272088) 你这东西太离谱了，基本没看着有谁专门卡，我也不会卡 这篇[教案](https://courses.engr.illinois.edu/cs498374/fa2014/notes/26-sssp.pdf)课后 Exercise…

在讨论《求助站外题》回复：

不是说正确性不对，而是我不会证。

在讨论《求助站外题》回复：

@[我不是sb我是bs](/user/482254) 不知道这个题是怎么搞出来的，看样子是某个 OIer 出的题，然后不会 std 就来洛谷问 这个题我的贪心正确性不能保证，如果没有已知的 std 的话，这题有没有 std 都不能保证。

在讨论《求助站外题》回复：

@[我不是sb我是bs](/user/482254) 草 不一定对哦！

在讨论《带负权边的图如何最短路计数》回复：

@[liqingyang](/user/272088) 这种算法可以卡到指数级

在讨论《求助站外题》回复：

@[我不是sb我是bs](/user/482254) 对 我打错了

在讨论《带负权边的图如何最短路计数》回复：

@[Graygoo](/user/535714) 那这多松弛的几轮跟最短路计数也没任何关系啊 反正这东西只在最后一次更新的时候确定

在讨论《带负权边的图如何最短路计数》回复：

@[liqingyang](/user/272088) 复杂度能给妮妮姆退到指数级去 正确性也得寄

在讨论《题面建议》回复：

@[retep](/user/438957) 很好的建议 那这和直接让审核来干这事有啥区别

在讨论《求助站外题》回复：

@[我不是sb我是bs](/user/482254) 就是破环为链之后 $q$ 的位置 我没说清楚 

在讨论《带负权边的图如何最短路计数》回复：

@[liqingyang](/user/272088) 显然不行 下一个

在讨论《带负权边的图如何最短路计数》回复：

@[Graygoo](/user/535714) 没有问题罢 哪有后效性啊 只要没有负环，这跟全都是正权有啥区别

在讨论《题面建议》回复：

@[retep](/user/438957) 其实最大的问题并不在于你谷想不想加这个功能，而是出题人懒不懒……

在讨论《题面建议》回复：

@[retep](/user/438957) 好建议。 超，你谷居然有 8000+ 题啊……那么就谁提议谁来办罢！（雾

在讨论《请大佬帮忙挑错（膝盖*3）》回复：

好！

在讨论《请大佬帮忙挑错（膝盖*3）》回复：

@[CmsMartin](/user/461426) 你这跟写惯了 lct 懒得写倍增 lca 差不多的罢……

在讨论《请大佬帮忙挑错（膝盖*3）》回复：

@[RevolutionBP](/user/233839) 你试试在第 $i$ 个数后加入数 $x$

在讨论《请大佬帮忙挑错（膝盖*3）》回复：

@[CmsMartin](/user/461426) ？ 学平衡树不就是为了动态序列吗，~~普通平衡树板子题谁还用平衡树做啊~~（小声

在讨论《请大佬帮忙挑错（膝盖*3）》回复：

@[CmsMartin](/user/461426) 确实，动态序列的话线段树就不行了 那也没听说谁不学线段树直接学 fhq 的啊，一个静态的东西上推标记可比动态的简单多了