We introduce \emph{Codificazione dei termini}, un nuovo framework per l’analisi degli estremi
problemi di matematica discreta codificandoli come sistemi finiti di
\enfa{equazioni di termini} (E, facoltativamente, \enfa{vincoli di non uguaglianza}). In
la sua forma base, tutte le variabili spaziano su un singolo dominio, e cerchiamo un
interpretation of the function symbols that \emph{massimizza} il numero di
soluzioni a questi vincoli. Questa prospettiva unifica le questioni classiche
combinatoria estrema, codifica di rete/indice, e teoria dei modelli finiti.
We further develop \emph{Codifica dei termini multiordinata}, un approccio più generale
in cui le variabili possono essere di diverso tipo (per esempio., punti, linee, blocchi,
colori, etichette), possibilmente integrato da vincoli di disuguaglianza variabile
imporre la distinzione. Questa estensione cattura strutture sofisticate come
disegni a blocchi, geometrie finite, e scenari di codifica misti all'interno di uno stesso
formalismo logico.
Il nostro risultato principale mostra come determinare (fino ad una costante) il numero massimo
di soluzioni \(\massimo_{\matematica{IO}}(\Gamma,N)\) per qualsiasi sistema di equazioni di termini
(possibilmente includendo vincoli di non uguaglianza) by relating it to \emph{grafico
indovinare i numeri} and \emph{misure di entropia}.
Finalmente, we focus on \emph{problemi di dispersione}, una sottoclasse espressiva di
questi vincoli. Scopriamo una sorprendente dicotomia di complessità: decidere
se, per un dato numero intero \(r\), la dimensione massima del codice che raggiunge
\(n^{R}\) is \emph{indecidibile}, mentre si decide se supera \(n^{R}\) È
\enfa{decidibile in tempo polinomiale}.

Questo articolo esplora i giri e le loro implicazioni.

Scarica PDF: