[内容有误] 线段树页面部分的引入过于复杂

[RDFZchenyy]

请选择：

• 我正在着手修复这个问题

我正在访问这个页面

https://oi-wiki.org/ds/seg/

我发现页面有这样的问题

线段树作为一个经典的入门数据结构，被许多人选择作为进阶学习的开端。但在 OI-Wiki 上对应线段树的页面的开头，却使用了下面这段较为复杂的引入：

线段树维护的信息在很多时候可以认为是满足（幺）半群的性质的信息。

一个幺半群 $M=(S,\circ ,e)$，其中 $\circ$ 为在集合 $S$ 上定义的二元运算符，幺半群具有以下性质：

• 封闭性：$\forall x\in S$ 和 $\forall y\in S$ 有 $x\circ y\in S$。
• 结合律：$\forall x,y,z\in S$ 有 $(x\circ y)\circ z=x\circ (y\circ z)$。
• 存在幺元：即 $\exists e\in S$ 满足 $\forall x \in S$ 有 $e\circ x=x$，$e$ 为左幺元；或 $x\circ e=x$，$e$ 为右幺元。
  我们观察到线段树上的信息一般满足这样的性质，一些数域上的加法与乘法自然，考虑二元的 $\max(x,y)$ 运算，此时幺元为 $-\infty$ 也满足这样的性质（一般左右幺元相同时简称为幺元）。

从我一个 OIer 初学者的角度来看，第一次涉及线段树时，便看到“幺半群”“幺元”等概念，实属过于难为初学者了。

[welcome]

感谢你对 OI Wiki 的关注！记得在 Issue 中表达清楚自己的意思哦～

[dbxxx-ac]

这个算是内容有误吗？