2021-10-27から1日間の記事一覧
TODO: バグっているし読みづらいので書き直す TODO: 問題例追加 Editorial - AtCoder Regular Contest 132 を集合、 を要素数 の全順序有限集合 、 を写像とします。 この が写像族 の合成 で表し、さらに各 が写像族 の直積(すなわち (for )が成り立つ)…
TODO: バグっているし読みづらいので書き直す TODO: 問題例追加 Editorial - AtCoder Regular Contest 132 を集合、 を要素数 の全順序有限集合 、 を写像とします。 この が写像族 の合成 で表し、さらに各 が写像族 の直積(すなわち (for )が成り立つ)…