We introduce \emph{Codage des termes}, un nouveau cadre pour analyser les phénomènes extrêmes
problèmes en mathématiques discrètes en les codant sous forme de systèmes finis de
\emph{équations de termes} (et, en option, \emph{contraintes de non-égalité}). Dans
sa forme de base, toutes les variables s'étendent sur un seul domaine, et nous cherchons un
interpretation of the function symbols that \emph{maximise} le nombre de
des solutions à ces contraintes. Cette perspective unifie les questions classiques dans
combinatoire extrême, codage réseau/index, et théorie des modèles finis.
We further develop \emph{Codage de termes multi-triés}, une approche plus générale
dans lequel les variables peuvent être de différentes sortes (par ex., points, lignes, blocs,
couleurs, étiquettes), éventuellement complété par des contraintes d’inégalité variable pour
faire respecter la distinction. Cette extension capture des structures sophistiquées telles que
dessins de blocs, géométries finies, et des scénarios de codage mixtes au sein d'un même
formalisme logique.
Notre résultat principal montre comment déterminer (jusqu'à une constante) le nombre maximum
de solutions \(\max_{\mathématique{je}}(\Gamma,n)\) pour tout système d'équations de termes
(éventuellement inclure des contraintes de non-égalité) by relating it to \emph{graphique
deviner des chiffres} and \emph{mesures d'entropie}.
Enfin, we focus on \emph{problèmes de dispersion}, une sous-classe expressive de
ces contraintes. Nous découvrons une dichotomie de complexité frappante: décider
si, pour un entier donné \(r\), la taille maximale du code qui atteint
\(n^{r}\) is \emph{indécidable}, tout en décidant s'il dépasse \(n^{r}\) est
\emph{décidable en temps polynomial}.

Cet article explore les excursions dans le temps et leurs implications.

Télécharger PDF: