typoverflow / sync-issue Goto Github PK

LUG User Group
—— 151250184@smail

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

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

万恶的群地位概念出现了

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

明天就是520啦
祝各位群友
都能找到自己心仪的发行版

——@atXYblip

Ubunju
——@jjppp

Ubunju 可还行
就跟女朋友一样，都不存在

——@typoverflow

NJU-RAID1，群号1147324657，旨在收容LUG的划水成员，宗旨是“群+1，认识的人+0”。

这个群的名字不应该是RAIG吗

-- @michael

问个问题，独立群组冗余阵列的简称不应该是RAIG吗

-- @atXYblip

是的，我也说过

把之前的问题重复一次，你已经掌握RAID的精髓了啊！

-- @michael

RAID1镜像嘛，估计就是复读群，每句话都有人复读一下

-- @yaoge123

　　那RAID0群难道每个人说一半吗

　-- @wtf

另一半另一个人说

-- @yaoge123

RAID5,6 算哈希的那个人要累死了

-- @yaoge123

这孩子能算哈希，没准能拿来挖矿

-- @BetaGo

你们还有什么理由不努力？？？—— @yaoge123

https://leetcode-cn.com/u/zcgzcgzcg/

你们要是把这个劲用在研究上，我们早就超越清北了，中华民族也已经伟大复兴了。

-- @yaoge123 ,2021.4.7

天天玩玩玩 怎么实现第一个南大
——@yaoge123

mc . windows $ manjaroKDE 21:08:17

建议LUG开发国产系统

在校庆前与Linux、Windows形成鼎足之势

wtf@Windows/Ubuntu 21:10:36

那看来lug得5.21以后再成立

这样还能赶上明年校庆(x

17 物理学 赵懿晨 21:11:14

5.20成立

《格局》

mc . windows $ manjaroKDE 21:11:34

不错

假意解散

还能赶上整年份

Iori@Arch 21:11:58

做个发行版，然后自称自主研发国产操作系统

错了，应该叫微内核分布式全场景自主研发的国产开源操作系统

大忍崛起@Arch/WSL/Debian 23:41:36

zzy manjaro20.一直在变 23:46:20

这个是怎么做到的！

俺也想整一个！

小鸟(kottory)@Arch 23:46:47

俺也想整一个！

大忍崛起@Arch/WSL/Debian 23:47:16

手动修改neofetch文件[滑稽][心碎]

Iori@Arch 00:00:15

这个我记得之前不是弄过吗

ubunju

typoverflow@Arch 00:21:55

来了

我刚才看到电脑里有个文件夹，名字是NJUThesis2021-master
然后我想了一下我什么时候下了硕士论文的模板

@myandeg

LadderOperator@Docker 23:01:18

咋就跑了，我还是不知道machrow是怎么拼出来的……``

myand@Centach 23:01:49

大概是mac arch windows

In'Maldrerah@Darkwin 23:03:15

那我也来

Iori@ArchSE 23:04:14

那用深度和Docker的干脆叫DeepDockFantasy

mc . windows $ manjaroKDE 23:04:52

kde+Windows就是kwin

In'Maldrerah@Darkwin 23:06:08

那我是不是应该叫darkwin

LadderOperator@Docker 23:06:44

DeepDarchFantasy

In'Maldrerah@Darkwin 23:06:50

(Darwin + Arch + KDE Plasma + Windows)

In'Maldrerah@Darkwin 23:07:41

搞得像盗版Windows一样（）

Halcyon@ArchBSD 23:08:32

Darwin和Windows准备合并

Darwin认为应该取各自的前一个音节称作DarWin

Windows认为应该取各自的后一个音节称作WinDows

typoverflow@Arch 23:21:13

速速加入lug joke collections

求问Linux没有360大家都用什么杀毒软件啊😓

-- @iori_ichinose

Java的垃圾回收需要用到lib360

-- @michael