Salvato in:
| Autori principali: | Meijer, Lucas, Miltzow, Tillmann |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | https://arxiv.org/abs/2212.01211 |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Beyond Bits: An Introduction to Computation over the Reals
di: Miltzow, Tillmann
Pubblicazione: (2026)
di: Miltzow, Tillmann
Pubblicazione: (2026)
Devil's Games and $\text{Q}\mathbb{R}$: Continuous Games complete for the First-Order Theory of the Reals
di: Meijer, Lucas, et al.
Pubblicazione: (2025)
di: Meijer, Lucas, et al.
Pubblicazione: (2025)
Framework for $\exists \mathbb{R}$-Completeness of Two-Dimensional Packing Problems
di: Abrahamsen, Mikkel, et al.
Pubblicazione: (2020)
di: Abrahamsen, Mikkel, et al.
Pubblicazione: (2020)
A Practical Algorithm with Performance Guarantees for the Art Gallery Problem
di: Hengeveld, Simon, et al.
Pubblicazione: (2020)
di: Hengeveld, Simon, et al.
Pubblicazione: (2020)
Towards Space Efficient Two-Point Shortest Path Queries in a Polygonal Domain
di: de Berg, Sarita, et al.
Pubblicazione: (2023)
di: de Berg, Sarita, et al.
Pubblicazione: (2023)
On Classifying Continuous Constraint Satisfaction Problems
di: Miltzow, Tillmann, et al.
Pubblicazione: (2021)
di: Miltzow, Tillmann, et al.
Pubblicazione: (2021)
The Nesting Bird Box Problem is ER-complete: Sharp Hardness Results for the Hidden Set Problem
di: Meijer, Lucas, et al.
Pubblicazione: (2026)
di: Meijer, Lucas, et al.
Pubblicazione: (2026)
Recognition of Unit Segment and Polyline Graphs is $\exists\mathbb{R}$-Complete
di: Hoffmann, Michael, et al.
Pubblicazione: (2024)
di: Hoffmann, Michael, et al.
Pubblicazione: (2024)
The Existential Theory of the Reals as a Complexity Class: A Compendium
di: Schaefer, Marcus, et al.
Pubblicazione: (2024)
di: Schaefer, Marcus, et al.
Pubblicazione: (2024)
Oracle Separations for RPH
di: Hamm, Thekla, et al.
Pubblicazione: (2025)
di: Hamm, Thekla, et al.
Pubblicazione: (2025)
Geometric Thickness of Multigraphs is $\exists \mathbb{R}$-complete
di: Förster, Henry, et al.
Pubblicazione: (2023)
di: Förster, Henry, et al.
Pubblicazione: (2023)
On Equivalent Characterizations of NP in Abstract Models of Computation
di: Kirn, Jeremy C., et al.
Pubblicazione: (2025)
di: Kirn, Jeremy C., et al.
Pubblicazione: (2025)
Guarding Terrains with Guards on a Line
di: Kang, Byeonguk, et al.
Pubblicazione: (2025)
di: Kang, Byeonguk, et al.
Pubblicazione: (2025)
Contiguous Boundary Guarding
di: Biniaz, Ahmad, et al.
Pubblicazione: (2024)
di: Biniaz, Ahmad, et al.
Pubblicazione: (2024)
Robustly Guarding Polygons
di: Das, Rathish, et al.
Pubblicazione: (2024)
di: Das, Rathish, et al.
Pubblicazione: (2024)
M-Guarding in K-Visibility
di: Bahoo, Yeganeh, et al.
Pubblicazione: (2025)
di: Bahoo, Yeganeh, et al.
Pubblicazione: (2025)
The Very General Verra Fourfold is Irrational
di: Fay, Aideen
Pubblicazione: (2026)
di: Fay, Aideen
Pubblicazione: (2026)
Representing Matroids over the Reals is $\exists \mathbb R$-complete
di: Kim, Eun Jung, et al.
Pubblicazione: (2023)
di: Kim, Eun Jung, et al.
Pubblicazione: (2023)
Unfolding Polycubes with Orthogonally Convex Layers
di: Damian, Mirela, et al.
Pubblicazione: (2024)
di: Damian, Mirela, et al.
Pubblicazione: (2024)
Clustering with Few Disks to Minimize the Sum of Radii
di: Abrahamsen, Mikkel, et al.
Pubblicazione: (2023)
di: Abrahamsen, Mikkel, et al.
Pubblicazione: (2023)
Super Guarding and Dark Rays in Art Galleries
di: MIT CompGeom Group, et al.
Pubblicazione: (2024)
di: MIT CompGeom Group, et al.
Pubblicazione: (2024)
Dispersive Vertex Guarding for Simple and Non-Simple Polygons
di: Fekete, Sándor P., et al.
Pubblicazione: (2024)
di: Fekete, Sándor P., et al.
Pubblicazione: (2024)
Training Fully Connected Neural Networks is $\exists\mathbb{R}$-Complete
di: Bertschinger, Daniel, et al.
Pubblicazione: (2022)
di: Bertschinger, Daniel, et al.
Pubblicazione: (2022)
Guarding Offices with Maximum Dispersion
di: Fekete, Sándor P., et al.
Pubblicazione: (2025)
di: Fekete, Sándor P., et al.
Pubblicazione: (2025)
Irrationality of the general smooth quartic $3$-fold using intermediate Jacobians
di: Farb, Benson
Pubblicazione: (2024)
di: Farb, Benson
Pubblicazione: (2024)
Who Needs Crossings?: Noncrossing Linkages are Universal, and Deciding (Global) Rigidity is Hard
di: Abel, Zachary, et al.
Pubblicazione: (2025)
di: Abel, Zachary, et al.
Pubblicazione: (2025)
Irrational components of the Hilbert scheme of points
di: Farkas, Gavril, et al.
Pubblicazione: (2024)
di: Farkas, Gavril, et al.
Pubblicazione: (2024)
Guarding Polyominoes Under $k$-Hop Visibility
di: Filtser, Omrit, et al.
Pubblicazione: (2023)
di: Filtser, Omrit, et al.
Pubblicazione: (2023)
Two Tiling is Undecidable
di: Stade, Jack
Pubblicazione: (2025)
di: Stade, Jack
Pubblicazione: (2025)
Square Packing with Asymptotically Smallest Waste Only Needs Good Squares
di: Bui, Hong Duc
Pubblicazione: (2025)
di: Bui, Hong Duc
Pubblicazione: (2025)
Two-Disk Compound Symmetry Groups
di: Hearn, Robert A., et al.
Pubblicazione: (2023)
di: Hearn, Robert A., et al.
Pubblicazione: (2023)
Terrain prickliness: theoretical grounds for high complexity viewsheds
di: Acharyya, Ankush, et al.
Pubblicazione: (2021)
di: Acharyya, Ankush, et al.
Pubblicazione: (2021)
Irrationality of degenerations of Fano varieties
di: Birkar, Caucher, et al.
Pubblicazione: (2024)
di: Birkar, Caucher, et al.
Pubblicazione: (2024)
Dihedral sign patterns in $\mathcal{M}_{0,n}$
di: Cortes, Veronica Calvo, et al.
Pubblicazione: (2025)
di: Cortes, Veronica Calvo, et al.
Pubblicazione: (2025)
Constrained Two-Line Center Problems
di: Ahn, Taehoon, et al.
Pubblicazione: (2024)
di: Ahn, Taehoon, et al.
Pubblicazione: (2024)
Simultaneous Embedding of Two Paths on the Grid
di: Kobourov, Stephen, et al.
Pubblicazione: (2026)
di: Kobourov, Stephen, et al.
Pubblicazione: (2026)
The Degree of Irrationality of del Pezzo Surfaces
di: Logan, Adam, et al.
Pubblicazione: (2025)
di: Logan, Adam, et al.
Pubblicazione: (2025)
Optimal Algorithm for the Planar Two-Center Problem
di: Cho, Kyungjin, et al.
Pubblicazione: (2020)
di: Cho, Kyungjin, et al.
Pubblicazione: (2020)
Maximum-Weight Two Boxes Symmetric Difference Problem
di: Goycoolea, José Fernández, et al.
Pubblicazione: (2026)
di: Goycoolea, José Fernández, et al.
Pubblicazione: (2026)
Subquadratic Approximation Algorithms for Separating Two Points with Objects in the Plane
di: Lynch, Jayson, et al.
Pubblicazione: (2025)
di: Lynch, Jayson, et al.
Pubblicazione: (2025)
Documenti analoghi
-
Beyond Bits: An Introduction to Computation over the Reals
di: Miltzow, Tillmann
Pubblicazione: (2026) -
Devil's Games and $\text{Q}\mathbb{R}$: Continuous Games complete for the First-Order Theory of the Reals
di: Meijer, Lucas, et al.
Pubblicazione: (2025) -
Framework for $\exists \mathbb{R}$-Completeness of Two-Dimensional Packing Problems
di: Abrahamsen, Mikkel, et al.
Pubblicazione: (2020) -
A Practical Algorithm with Performance Guarantees for the Art Gallery Problem
di: Hengeveld, Simon, et al.
Pubblicazione: (2020) -
Towards Space Efficient Two-Point Shortest Path Queries in a Polygonal Domain
di: de Berg, Sarita, et al.
Pubblicazione: (2023)