Devil's Games and $\text{Q}\mathbb{R}$: Continuous Games complete for the First-Order Theory of the Reals
We introduce the complexity class Quantified Reals ($\text{Q}\mathbb{R}$). Let FOTR be the set of true sentences in the first-order theory of the reals. A language $L$ is in $\text{Q}\mathbb{R}$, if there is a polynomial time reduction from $L$ to FOTR. This seems the first time this complexity clas...
Guardado en:
| Autores principales: | , , , , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2512.02779 http://arxiv.org/abs/2512.02779 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|