We introduce \emph{Begriffskodierung}, ein neuartiger Rahmen für die Analyse von Extremwerten
Probleme in der diskreten Mathematik, indem sie als endliche Systeme von kodiert werden
\emph{Termgleichungen} (Und, optional, \emph{Ungleichheitsbeschränkungen}). In
seine Grundform, Alle Variablen erstrecken sich über einen einzigen Bereich, und wir suchen ein
interpretation of the function symbols that \emph{maximiert} die Anzahl der
Lösungen für diese Einschränkungen. Diese Perspektive vereint klassische Fragestellungen in
Extremale Kombinatorik, Netzwerk-/Indexkodierung, und endliche Modelltheorie.
We further develop \emph{mehrfach sortierte Begriffskodierung}, ein allgemeinerer Ansatz
wobei Variablen unterschiedlicher Art sein können (z.B., Punkte, Linien, Blöcke,
Farben, Etiketten), möglicherweise ergänzt durch Variablenungleichheitsbeschränkungen zu
Unterscheidbarkeit erzwingen. Diese Erweiterung erfasst anspruchsvolle Strukturen wie z
Blockdesigns, endliche Geometrien, und gemischte Codierungsszenarien innerhalb eines einzigen
logischer Formalismus.
Unser Hauptergebnis zeigt, wie man es bestimmt (bis zu einer Konstante) die maximale Anzahl
von Lösungen \(\max_{\mathematisch{ICH}}(\Gamma,N)\) für jedes System von Termgleichungen
(möglicherweise einschließlich Ungleichheitsbeschränkungen) by relating it to \emph{Graph
Zahlen erraten} and \emph{Entropiemaße}.
Endlich, we focus on \emph{Ausbreitungsprobleme}, eine ausdrucksstarke Unterklasse von
diese Einschränkungen. Wir entdecken eine auffällige Dichotomie der Komplexität: entscheiden
ob, für eine gegebene ganze Zahl \(r\), die maximale Codegröße, die erreicht wird
\(n^{R}\) is \emph{unentscheidbar}, bei der Entscheidung, ob sie überschritten wird \(n^{R}\) Ist
\emph{polynomiell entscheidbar}.

Dieser Artikel untersucht Zeitreisen und deren Auswirkungen.

PDF herunterladen: