Für sei die Menge der Eckpunkte des dimensionalen Würfels, skaliert in Richtung der ten Koordinate durch , dh .
Betrachten Sie das folgende Problem:
Enthält die Menge bei einer Menge von Punkten in und der Zahl eine dimensionale arithmetische Folge der Länge ?
Formeller,
Eingabe:
gegeben eine endliche Menge und eine positive ganze Zahl .Frage:
Gibt es und so dass für alle ganzen Zahlen ?
Informell betrachten wir die Eindämmung der Eckpunkte von skalierten dimensionalen achsenausgerichteten Würfeln, die bei zentriert sind .
Hat dieses Problem einen Namen? Was ist ihre Komplexität? Können wir es mit dynamischer Programmierung lösen?
cc.complexity-theory
reference-request
co.combinatorics
cg.comp-geom
time-complexity
Marzio De Biasi
quelle
quelle
Antworten:
Beispiel : Satz von Szemeredi
Wenn eine Teilmenge eine positive "Dichte" in Ihrem Gitter hat, hat sie unendlich viele arithmetische Progressionen beliebiger Länge.
Sei eine positive obere Dichte, dann hat eine nicht triviale terminale arithmetische Progression.E⊆N E k
Sie können sich durchaus vorstellen, nach Vektoren zu suchen, die in verschiedenen Mustern angeordnet sind, anstatt Ihre Aufmerksamkeit auf .Z
Das Buch vereinfacht die sehr technische Fourier-Analyse und Wahrscheinlichkeit und ersetzt sie durch weniger technische Fourier-Theorie und Wahrscheinlichkeit. 😐 Sie zerlegen die Hochleistungsmathematik in Lemma und Theorem, die für spezifischere Probleme nützlich sind. 😃
Beispiel Betrachten Sie eine Zufallsmengemit der Wahrscheinlichkeit. Alle 3 gleichmäßig verteilten Zahlenelementewerden inmit der Wahrscheinlichkeit, sodass wir in der Zufallsmengeviele arithmetische Progressionen erwarten können.E⊂[1,N] P[k∈E]=12 a,a+d,a+2d∈N E 18 E
Das andere Extrem ist die Verwendung der Bodenfunktion . Dies ist ungefähr so "geordnet" wie möglich und es wird auch viele arithmetische Abläufe beliebiger Länge geben.{[n7–√]:n∈Z}={[0,2,5,7,10,13,15,18,21,23,…}
Dann liegt es an Ihnen, die Laufzeitaspekte der Algorithmen zu berücksichtigen, die sie implizieren. Es muss nicht unbedingt einfach sein, arithmetische Folgen in den Primzahlen oder quadratfreien Zahlen zu finden, selbst wenn wir wissen, dass sie existieren.
quelle