1
Uno spazio topologico legato al SAT: è compatto?
Il problema della soddisfazione è, ovviamente, un problema fondamentale nella CS teorica. Stavo giocando con una versione del problema con infinite variabili. \newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Configurazione di base. Sia XXX un insieme di variabili non vuoto e forse infinito . Un letterale è una variabile x ∈ XX∈Xx \in X o …