这该死的群友的数理基础竟然如此扎实20210510

[typoverflow]

Q群管家 12:42:18

@美好的事情总会悄然发生 进群就别想恢复数据了哦(⁎⁍̴̛ᴗ⁍̴̛⁎)

晓@ubuntu/arch/windows 12:42:57

呜呜呜，减了减了，群地位又跌了

apxy@machrow 12:45:44

呜呜呜，减了减了，群地位又跌了

...以下省略12个呜呜呜

千明@ubuntu 20.04 13:17:41

已知新人入群后所有老人的群地位都降低了，证明新人的群地位最高。
若群地位不会上升，证明群地位可以用一个栈模拟。

Forewing@Windows 13:18:05

有人退群咋办

千明@ubuntu 20.04 13:19:28

先暂且排除退群的情况

上善若水 13:43:23

@千明@ubuntu 20.04
已知新人入群后所有老人的群地位都降低了，证明新人的群地位最高。
若群地位不会上升，证明群地位可以用一个栈模拟。

堆排序

如来@wisdomShouldLoad@ctOS 13:45:24

群地位不会上升

可是

假如新人入群的时候地位最高

此时其他所有人地位--

这意味着群地位可以是从最高0,之后-1,-2,...

从而假如新人入群时候地位最低，那么新人群地位<min(本群群员的群地位）

因而不会影响其他人的群地位

于是也满足群地位不会上升

Iori@ArchSE 13:48:44

入群一个人就要把所有人的rank都减一效率太低了吧（

不如直接用堆算了

千明@ubuntu 20.04 13:49:54

嗯，对，所以需要把群地位定义成偏序关系。因为加人的时候人数也变多了，所以这是一个关系的扩张过程。新人e加入群时，对群里所有人k，扩展关系(e,k)

Halcyon@ArchBSD 13:50:26

直接定义群地位=负的入群时间

（或者正的）

就好了

上善若水 13:51:33

不如以拥有女友的时间早晚排序（doge）

别跟我抢最后一名

千明@ubuntu 20.04 13:52:15

其实我最初只是想，新人入群的时候，“所有人都说群地位降低了，那么新人的群地位应该是最高的，该怎样证明呢”

证明倒是不难，但是形式化的过程出现了不少问题。

我想的是定义S(m)是群地位大于m的人的集合，如果S(m)变大了n，那么就称群地位降低n

如来@wisdomShouldLoad@ctOS 2021-5-10 13:53:01

群地位定义为偏序

是指群地位的比较定义为偏序吧

那么群友的群地位都<=新群员

这偏序吗

如来@wisdomShouldLoad@ctOS 2021-5-10 13:55:29

是不是得有S(m)包括m

千明@ubuntu 20.04 2021-5-10 13:56:08

确实，偏序满足自反，那按照定义得包括自己

jjppp@ubuntu 2021-5-10 13:56:19

严格大于吧

这个也是自反的嘛？

千明@ubuntu 20.04 2021-5-10 13:56:54

严格大于就不包括了

jjppp@ubuntu 2021-5-10 13:57:11

造一棵avl，新人一直走rson插入

这个是支持删除和求rank的吧

如来@wisdomShouldLoad@ctOS 2021-5-10 13:57:39

但是这合理吗（

我比我自己群地位高

千明@ubuntu 20.04 2021-5-10 13:58:37

我的群地位大于等于自己的群地位。

如来@wisdomShouldLoad@ctOS 2021-5-10 13:59:59

那么一开始定义也得加上等于

然后既然允许等于，那么按照群地位不减的顺序排列栈

那么栈尾就是群地位最高的成员之一

此时放一个新成员，确实有所有成员的（群地位不低于自己）的集合size++

狗敦子@kubuntu 14:06:05

--- 分割线 ---

Halcyon@ArchBSD 14:07:14

所以这个结构，不是跟一个实数集的子集是同构的么

千明@ubuntu 20.04 14:07:59

如果这个群地位关系是从零构建的就是，但如果不是从零构建则不一定

如来@wisdomShouldLoad@ctOS 14:14:06

初始情况有无举例

千明@ubuntu 20.04 14:15:58

因为新人大于所有老人，归纳可证

万恶的群地位概念出现了

后记：总结君数理逻辑和离散数学学得很烂，以上笑话的报道出了偏差也概不负责（逃