Heran Yang
Heran Yang
我还是不认可这个行文思路。 1. SAT 问题建立在 CNF 的前置知识上，修改中还是没介绍 CNF 到底是个啥 2. 为啥要那么建图，没有说明，所以我在 #6470 中写「更类似于一种题解」 3. 整体思路还是从实际问题到抽象问题，而不是抽象问题到实际问题。可以用实际问题来补充抽象问题，而不是通过解实际问题过渡到抽象问题 如果您是要添加内容，我觉得还是留到整体页面重构后再考虑。
这其中 [莫比乌斯反演](https://oi-wiki.org/math/number-theory/mobius) 页面的 heading 设置也不合理，公式太长了，解释和公式混杂，参考资料无法访问，感觉需要重新规划一下内容
Link to #6579
欢迎贡献
搜了一下，好像没有文章中提到了「划分树」的英文资料，但可以搜到一些 Merge-Sort Tree 的资料。OI Wiki 中提到的划分树是根据中位数按层划分为线段树结构（k-D Tree 的二维情况，但是有一维是 1 到 n 的下标的特殊情况），而 Merge-Sort Tree 是将归并排序的过程存储为线段树的结构，但两者解决的问题是一致的。 「划分树」一词的来源似乎已经不可考，百度百科是 2011 年建立的词条，但是看不到历史版本。打算再看看有没有其他书籍介绍这种结构的。
实际上在读最小值时也会产生问题，只不过最终结果是相等的，正在考虑如何修改
这个实现确实很好，我可以按照这个来补充上，但是 `std::signed_integral` 和 `std::unsigned_integral` 等均是 C++20 才有，如果能兼容 ~~C++11（蓝桥杯）或者~~ C++14（OI）就更好了
这样写感觉也很别扭，不如把后一行的结论提前？ 其实我感觉不改也行，这段的符号是暗示在一个上下文中的，不太会造成歧义？
UPD: Added a minimal reproduction.
It's quite reasonable for me. We cannot operate on the same extern register in both ingress and egress, IIUC. Otherwise, we do not bother Ghost Thread. So this should be...