Some structural complexity results for $\exists\mathbb R$
Fuente:
arXiv
Saved in:
| Main Authors: | Meer, Klaus, Wurm, Adrian |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Representing Matroids over the Reals is $\exists \mathbb R$-complete
by: Kim, Eun Jung, et al.
Published: (2023)
by: Kim, Eun Jung, et al.
Published: (2023)
$\exists\mathbb{R}$-Completeness of Tensor Degeneracy and a Derandomization Barrier for Hyperdeterminants
by: Majumdar, Angshul
Published: (2026)
by: Majumdar, Angshul
Published: (2026)
Tensor Spectral Threshold is $\exists\mathbb{R}$-Hard
by: Majumdar, Angshul
Published: (2026)
by: Majumdar, Angshul
Published: (2026)
Constrained Nonnegative Gram Feasibility is $\exists\mathbb{R}$-Complete
by: Majumdar, Angshul
Published: (2026)
by: Majumdar, Angshul
Published: (2026)
Training Fully Connected Neural Networks is $\exists\mathbb{R}$-Complete
by: Bertschinger, Daniel, et al.
Published: (2022)
by: Bertschinger, Daniel, et al.
Published: (2022)
Framework for $\exists \mathbb{R}$-Completeness of Two-Dimensional Packing Problems
by: Abrahamsen, Mikkel, et al.
Published: (2020)
by: Abrahamsen, Mikkel, et al.
Published: (2020)
Scheme-theoretic Approach to Computational Complexity II. The Separation of P and NP over $\mathbb{C}$, $\mathbb{R}$, and $\mathbb{Z}$
by: Çivril, Ali
Published: (2021)
by: Çivril, Ali
Published: (2021)
Fourier growth of structured $\mathbb{F}_2$-polynomials and applications
by: Błasiok, Jarosław, et al.
Published: (2021)
by: Błasiok, Jarosław, et al.
Published: (2021)
On the complexity of the word problem of the R. Thompson group V
by: Birget, J. C.
Published: (2022)
by: Birget, J. C.
Published: (2022)
The complexity of computing in continuous time: space complexity is precision
by: Blanc, Manon, et al.
Published: (2024)
by: Blanc, Manon, et al.
Published: (2024)
On the complexity of Multipacking
by: Das, Sandip, et al.
Published: (2026)
by: Das, Sandip, et al.
Published: (2026)
Extractors for Polynomial Sources over $\mathbb{F}_2$
by: Chattopadhyay, Eshan, et al.
Published: (2023)
by: Chattopadhyay, Eshan, et al.
Published: (2023)
Centrality of shortest paths: Algorithms and complexity results
by: Phosavanh, Johnson, et al.
Published: (2024)
by: Phosavanh, Johnson, et al.
Published: (2024)
Some conditions implying if P=NP then P=PSPACE
by: Rodriguez, Ismael
Published: (2026)
by: Rodriguez, Ismael
Published: (2026)
Tractability results for integration in subspaces of the Wiener algebra
by: Dick, Josef, et al.
Published: (2024)
by: Dick, Josef, et al.
Published: (2024)
Instance complexity of Boolean functions
by: Liu, Alison Hsiang-Hsuan, et al.
Published: (2023)
by: Liu, Alison Hsiang-Hsuan, et al.
Published: (2023)
Unambiguous parity-query complexity
by: Gavinsky, Dmytro
Published: (2024)
by: Gavinsky, Dmytro
Published: (2024)
Some results of topological genericity
by: Pandis, C.
Published: (2023)
by: Pandis, C.
Published: (2023)
Closure under factorization from a result of Furstenberg
by: Bhattacharjee, Somnath, et al.
Published: (2025)
by: Bhattacharjee, Somnath, et al.
Published: (2025)
Determining unit distance graphs with coordinates in $\mathbb{Z}^2$ is NP-complete
by: Binnendyk, Eric
Published: (2025)
by: Binnendyk, Eric
Published: (2025)
On complexity of restricted fragments of Decision DNNF
by: Calí, Andrea, et al.
Published: (2025)
by: Calí, Andrea, et al.
Published: (2025)
New results in canonical polyadic decomposition over finite fields
by: Yang, Jason
Published: (2025)
by: Yang, Jason
Published: (2025)
Towards Solving NP-Complete and Other Hard Problems Efficiently in Practice
by: Digulescu, Mircea-Adrian
Published: (2026)
by: Digulescu, Mircea-Adrian
Published: (2026)
Minimum Selective Subset on Some Graph Classes
by: Manna, Bubai
Published: (2025)
by: Manna, Bubai
Published: (2025)
Between the deterministic and non-deterministic query complexity
by: Gerbner, Dániel
Published: (2019)
by: Gerbner, Dániel
Published: (2019)
Unconventional complexity classes in unconventional computing (extended abstract)
by: Porreca, Antonio E.
Published: (2024)
by: Porreca, Antonio E.
Published: (2024)
The complexity of convexity number and percolation time in the cycle convexity
by: Lima, Carlos V. G. C., et al.
Published: (2024)
by: Lima, Carlos V. G. C., et al.
Published: (2024)
Devil's Games and $\text{Q}\mathbb{R}$: Continuous Games complete for the First-Order Theory of the Reals
by: Meijer, Lucas, et al.
Published: (2025)
by: Meijer, Lucas, et al.
Published: (2025)
A new metric for evaluating the performance and complexity of computer programs: A new approach to the traditional ways of measuring the complexity of algorithms and estimating running times
by: Folea, Rares, et al.
Published: (2025)
by: Folea, Rares, et al.
Published: (2025)
Some results related to Macaulay's Theorem about Hilbert functions and applications
by: Gao, Yun
Published: (2025)
by: Gao, Yun
Published: (2025)
A primer on the closure of algebraic complexity classes under factoring
by: Bhargav, C. S., et al.
Published: (2025)
by: Bhargav, C. S., et al.
Published: (2025)
Communication complexity of pointer chasing via the fixed-set lemma
by: Viola, Emanuele
Published: (2025)
by: Viola, Emanuele
Published: (2025)
Polynomial and analytic methods for classifying complexity of planar graph homomorphisms
by: Cai, Jin-Yi, et al.
Published: (2024)
by: Cai, Jin-Yi, et al.
Published: (2024)
On the complexity of embedding in graph products
by: Biedl, Therese, et al.
Published: (2023)
by: Biedl, Therese, et al.
Published: (2023)
Positive Univariate Polynomials: SOS certificates, algorithms, bit complexity, and T-systems
by: Bender, Matías, et al.
Published: (2025)
by: Bender, Matías, et al.
Published: (2025)
On one-way functions and the average time complexity of almost-optimal compression
by: Zimand, Marius
Published: (2024)
by: Zimand, Marius
Published: (2024)
Average-case deterministic query complexity of boolean functions with fixed weight
by: Li, Yuan, et al.
Published: (2024)
by: Li, Yuan, et al.
Published: (2024)
Does there exist a quantum fingerprinting protocol without coherent measurements?
by: Hasegawa, Atsuya, et al.
Published: (2025)
by: Hasegawa, Atsuya, et al.
Published: (2025)
Monitoring graph edges via shortest paths: computational complexity and approximation algorithms
by: Colli, Giordano
Published: (2025)
by: Colli, Giordano
Published: (2025)
Circuit metaconstruction in logspace for Rice-like complexity lower bounds in ANs and SGRs
by: Goubault-Larrecq, Aliénor, et al.
Published: (2025)
by: Goubault-Larrecq, Aliénor, et al.
Published: (2025)
Similar Items
-
Representing Matroids over the Reals is $\exists \mathbb R$-complete
by: Kim, Eun Jung, et al.
Published: (2023) -
$\exists\mathbb{R}$-Completeness of Tensor Degeneracy and a Derandomization Barrier for Hyperdeterminants
by: Majumdar, Angshul
Published: (2026) -
Tensor Spectral Threshold is $\exists\mathbb{R}$-Hard
by: Majumdar, Angshul
Published: (2026) -
Constrained Nonnegative Gram Feasibility is $\exists\mathbb{R}$-Complete
by: Majumdar, Angshul
Published: (2026) -
Training Fully Connected Neural Networks is $\exists\mathbb{R}$-Complete
by: Bertschinger, Daniel, et al.
Published: (2022)