いう略記を使うことにする。大きい方から2つ」が欲しい。大きい方2つのみを残した集合」として定義する。これは結合則・交換則を満たすため高速ゼータ変換を施すことができる。高速ゼータ変換解法Tweet広告を非表示にするもっと読むコメントを書く2019-09-01高速ゼータ・メビウス変換アルゴリズムググれば大量の記事が出てくるが、知見の整理ということで自分でも書いてみる。ゼータ・メビウス変換とは「高速」ゼータ・メビウス変換とは名前の通りゼータ・メビウス変換を高速化したものなので、まずはそちらを理解する必要がある。加法が定義された集合1とする。求めることをゼータ変換という2。したものも同様にゼータ変換と呼ぶことにする3。求めることをメビウス変換という4。すると、上で包含関係の向きを逆にした場合のゼータ変換の逆変換になる。この変換がゼータ変換の逆変換であることは全く自明ではないが、この記事ではその証明は省略する5。