[1]、グラフプロパティの(紙の「臨界複雑さ」と呼ばれる)感度がより厳密に大きいことトゥランショーグラフの頂点の数です。彼は、自明ではないグラフのプロパティには感度があると推測しています。彼は、これが検証されたことに言及しています。この推測について進展はありましたか?M≥M-1、M≤5
バックグラウンド
ましょにバイナリ文字列である。ビットを反転してから取得した文字列になるように、を定義します。ブール関数のための \に、規定の感度におけるとして。最後に、の感度をとして定義します。{ 0 、1 } nはX I 1 ≤ I ≤ N X I T H F :{ 0 、1 } nは { 0 、1 } F X S (F 、X ):= | { i :f (x )≠ f (x i)} |s (f ):= 最大 x
グラフプロパティは、およびが同型である場合、ようなコレクショングラフです。グラフのプロパティは、プロパティの結合と考えることができます。ここで、は、頂点が個あるグラフで構成されるサブセットです。さらに、グラフプロパティは、(n = {m \ choose 2}のブール関数)とことができます。長さのバイナリベクトルでm頂点のグラフをエンコードできます。 ; ベクトル内の各エントリは頂点のペアに対応し、グラフにエッジが存在する場合、エントリはです。したがって、グラフプロパティの感度は、その感度quaブール関数です。
- Turan、G。、グラフプロパティの重要な複雑性、情報処理レター 18(1984)、151-153。
Buhrman and de Wolf(homepages.cwi.nl/~rdewolf/publ/qc/dectree.ps)による2002年の調査を見ましたか?それはあなたの質問に直接答えるわけではありませんが、一般的な関数の感度に関する情報と、単調なグラフのプロパティに関する情報を持っています。
—
Suresh Venkat
エンコードの必要性ビット
—
ディエゴデエストラダ