Untergrenzen für die Berechnung einer Funktion einer Menge

9

Einen Satz Having von n Elementen, lassen Sie uns sagen , dass ich eine Funktion berechnet werden soll f ( A ) , die für alle Teile des Eingangs empfindlich ist, hängt also auf sehr Mitglied von A (dh es ist möglich , jedes Mitglied zu ändern A zu etwas sonst, um einen neuen Eingang zu erhalten, sind A ' st Wert von f auf A und A ' unterschiedlich).Anf(A)AAAfAA

Zum Beispiel könnte die Summe oder der Durchschnitt sein.f

Gibt es ein Ergebnis, das beweist, dass unter bestimmten Bedingungen die Zeit, die eine deterministische Turing-Maschine zur Berechnung von , Ω ( n ) beträgt ?fΩ(n)

Виталий Олегович
quelle
Beachten Sie, dass wenn eine Sequenz mit wahlfreiem Zugriff ist und die Empfindlichkeitsannahme geschwächt ist, dies nicht immer gilt. Zum Beispiel kann ( i , x 1 , , x n ) x i mit zwei Abfragen berechnet werden, obwohl es keine Junta ist. A(i,x1,,xn)xi
SDCVVC
@sdcvvc Ihr Beispiel erinnert mich an die C-Sprachanweisung V[i]. Was ist die Definition von Junta ?
Виталий Олегович
2
kkA{1,2,,n}kxyxyAf(x)=f(y)
Wenn Sie versuchen, Unterstützung für Ihre Antwort auf das Problem mit der durchschnittlichen Entfernung auf math.se zu finden, reicht dies leider nicht aus.
Aryabhata
nΩ(n)

Antworten:

7

f

MAAAiMfAAAfAA

AAfMMf

MfΩ(n)

O(lgn)Mf

Kaveh
quelle
Entschuldigung, ich habe vergessen zu schreiben, dass mein Rechenmodell die deterministische Turing-Maschine war.
Виталий Олегович
+1 für das Argument des Gegners, was eine gute Möglichkeit ist, die unteren Grenzen zu verstehen.
Joe