Empfindlichkeit der Diagrammeigenschaften

16

In [1] zeigt Turan, dass die Empfindlichkeit (im Artikel als "kritische Komplexität" bezeichnet) einer Grapheneigenschaft streng größer als wobei die Anzahl der Eckpunkte im Graphen ist. Er geht weiter zu der Vermutung, dass jede nicht-triviale Grapheneigenschaft eine Sensitivität . Er erwähnt, dass dies für verifiziert wurde . Wurden bei dieser Vermutung Fortschritte erzielt?mm-1m514mmm1m5

Hintergrund

Sei eine binäre Zeichenkette in . Definiere für als die Zeichenkette, die aus durch Umkehren des -Bits erhalten wird. Definieren Sie für eine boolesche Funktion \ bis die Empfindlichkeit von bei als. Definieren Sie schließlich die Empfindlichkeit von als .{ 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 ) } | f s ( fx{0,1}nxi1inxithf:{0,1}n{0,1}fxs(f;x):=|{i:f(x)f(xi)}|fs(f):=maxxs(f;x)

Eine Graph Eigenschaft ist eine Sammlung solcher Grafiken , dass , wenn und isomorph zu dann . Wir können uns eine Grapheneigenschaft als die Vereinigung von Eigenschaften wobei die Teilmenge von die aus Graphen mit Eckpunkten besteht. Weiterhin können wir uns eine Grapheneigenschaft als eine Boolesche Funktion für wobei . Wir können einen Graphen auf Vertices in einem binären Längenvektor kodieren G P G ' G G 'P P P m P m P m P m { 0 , 1 } nPGPGGGPPPmPmPmPm{0,1}nn=(m2)mn ; Jeder Eintrag im Vektor entspricht einem Paar von Eckpunkten, und der Eintrag ist wenn diese Kante im Diagramm vorhanden ist. Somit ist die Empfindlichkeit einer Graphen Eigenschaft seine Empfindlichkeit qua Boolesche Funktion.1

  1. Turan, G., Die kritische Komplexität von Grapheneigenschaften, Information Processing Letters 18 (1984), 151-153.
mhum
quelle
Haben Sie die Umfrage 2002 von Buhrman und de Wolf gesehen ( homepages.cwi.nl/~rdewolf/publ/qc/dectree.ps )? Es beantwortet Ihre Frage nicht direkt, enthält jedoch weitere Informationen zur Empfindlichkeit von Funktionen im Allgemeinen sowie zu den Eigenschaften von monotonen Diagrammen.
Suresh Venkat
Die Codierungsanforderungen Bits((m2)+1)logm
Diego de Estrada

Antworten:

2

Die Umfrage, auf die Suresh verwies, bringt einen Aufsatz von Wegener [1] zum Vorschein, der die Vermutung teilweise bestätigt. Es gilt für alle monotonen Diagrammeigenschaften und die Ungleichung ist eng (berücksichtigen Sie die Eigenschaft "Hat keine isolierten Eckpunkte"). Jüngste Ergebnisse sind ebenfalls willkommen.

  1. Wegener, L. Die kritische Komplexität aller (monotonen) Booleschen Funktionen und monotonen Grapheneigenschaften. Information and Control , 67: 212 & ndash; 222, 1985.
mhum
quelle