解法: 符号付き超立方体隣接行列によるホァンの感度予想の証明(2019年)
ざっくり言うと
ブール関数 は ビットの入力を受け取り1ビットを出力する。その感度 は最悪の入力で1ビットの反転が何回出力を変えうるかを測り、次数 は を多項式として書いたときの複雑さを測る。ニサンとセゲディは1992年、 が小さい関数は も小さくなければならないかを問うた。
詳しい解説
Huang(2019年、序論)は 次元超立方体グラフ を研究する。その 個の頂点は の二進文字列であり、辺はちょうど1座標だけ異なる文字列を結ぶ。1988年、チャン、フューレディ、グラハム、セイモアは の頂点の半分より多い上の任意の誘導部分グラフが少なくとも の最大次数を持つことを証明し、ちょうど 個の頂点からなり最大次数がわずか である誘導部分グラフを構成した。Huangの論文はこの2つの評価の間の差を完全に埋める:定理1.1は、 の少なくとも 個の頂点上の任意の誘導部分グラフ が を満たすと述べており、これは先の構成と正確に一致する。
- ブール関数
- ビットを入力とし1ビットを出力する関数 のこと。
- 感度
- ある入力 で の値を変える1ビット反転の最大個数を、すべての入力 について最大化したもの。
- 次数
- すべてのブール関数は 個の入力ビットに関する一意な多重線形実多項式に等しく、 はその多項式の次数である。
- 誘導部分グラフ
- グラフ の頂点部分集合 が与えられたとき、誘導部分グラフは両端点が に属する の辺だけをちょうど保持する。