拟阵与拟阵交学习笔记

2019-09-27

本文以矩阵交相关内容为主,忽略掉了大部分证明,感兴趣的读者请自行阅读集训队论文。

拟阵的定义

M=(S,L)M = (S, L) 表示一个定义在有限集 SS 上,独立集的集合为 LL 的拟阵。其中 LLSS 的一些子集构成的集合。拟阵 MM 满足以下公理:

  • (遗传性). 如果 IL,JII \in L, J \subseteq I,那么 JLJ \in L
  • (交换性). 如果 I,JLI,J \in LI<J|I| < |J|,那么 xJI\exists x \in J \setminus I 满足 I{x}LI \cup \{x\} \in L

如果 ILI \in L,我们称 II 是独立的,也称 II 是独立集;否则,我们称 II 是不独立的,也成 II 是非独立集。通常,我们认为 \varnothing 是独立的。

2019-07-20

给定长度为 nn 的序列 {ai}\{a_i\},满足 a0a1an10a_0 \geq a_1 \geq \cdots \geq a_{n - 1} \geq 0,求出在 nn 维空间中从点 (0,0,,0)(0, 0, \ldots, 0) 随机游走到点 (a0,a1,,an1)(a_0, a_1, \ldots, a_{n - 1}),满足经过的所有点 (x0,x1,,xn1)(x_0, x_1, \ldots, x_{n - 1}) 都有 x0x1xn1x_0 \geq x_1 \geq \cdots \geq x_{n - 1} 的概率,随机方式是每一步均匀随机一个 i[1,n]N+i\in [1,n]\cup \mathbb N_+ 并令 xi:=xi+1x_i:=x_i+1

1n,ai5×1051\le n, a_i \leq 5\times 10^5。答案对 10045358091004535809 取模。