体 上のベクトル空間 について。 線形独立な集合 とする。このとき、任意の に対して もまた線形独立になる。ただし、 である。また、線形独立な集合の部分集合もまた線形独立である。線形代数で基本的なことだけど、これらにより次がわかる。 線形独立で大…

ARC145 C - Split and Maximize の公式解説があっさりしていて説明不足だと思ったので、行間を埋めていたら結構たいへんだった。 スコアが最大となる構造の分析 のとき、 が成り立つのは公式解説の通りです。 〜 を使った ペアの作り方が任意に与えられたと…