Matches in SemOpenAlex for { <https://semopenalex.org/work/W4310273453> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4310273453 abstract "Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results rely on reductions from a handful of undecidable problems, such as the halting problem, the tiling problem, the Post correspondence problem or the matrix mortality problem. All these problems have a common property: they have an NP-hard bounded version. This work establishes a relation between undecidable unbounded problems and their bounded NP-hard versions. Specifically, we show that NP-hardness of a bounded version follows easily from the reduction of the unbounded problems. This leads to new and simpler proofs of the NP-hardness of bounded version of the Post correspondence problem, the matrix mortality problem, the positivity of matrix product operators, the reachability problem, the tiling problem, and the ground state energy problem. This work sheds light on the intractability of problems in theoretical physics and on the computational consequences of bounding a parameter." @default.
- W4310273453 created "2022-11-30" @default.
- W4310273453 creator A5013390581 @default.
- W4310273453 creator A5015438781 @default.
- W4310273453 creator A5048415705 @default.
- W4310273453 creator A5052458923 @default.
- W4310273453 creator A5091091276 @default.
- W4310273453 date "2022-11-24" @default.
- W4310273453 modified "2023-09-24" @default.
- W4310273453 title "Many bounded versions of undecidable problems are NP-hard" @default.
- W4310273453 doi "https://doi.org/10.48550/arxiv.2211.13532" @default.
- W4310273453 hasPublicationYear "2022" @default.
- W4310273453 type Work @default.
- W4310273453 citedByCount "0" @default.
- W4310273453 crossrefType "posted-content" @default.
- W4310273453 hasAuthorship W4310273453A5013390581 @default.
- W4310273453 hasAuthorship W4310273453A5015438781 @default.
- W4310273453 hasAuthorship W4310273453A5048415705 @default.
- W4310273453 hasAuthorship W4310273453A5052458923 @default.
- W4310273453 hasAuthorship W4310273453A5091091276 @default.
- W4310273453 hasBestOaLocation W43102734531 @default.
- W4310273453 hasConcept C106487976 @default.
- W4310273453 hasConcept C111335779 @default.
- W4310273453 hasConcept C11413529 @default.
- W4310273453 hasConcept C114614502 @default.
- W4310273453 hasConcept C115988155 @default.
- W4310273453 hasConcept C118615104 @default.
- W4310273453 hasConcept C134306372 @default.
- W4310273453 hasConcept C153269930 @default.
- W4310273453 hasConcept C154945302 @default.
- W4310273453 hasConcept C159985019 @default.
- W4310273453 hasConcept C192034797 @default.
- W4310273453 hasConcept C192562407 @default.
- W4310273453 hasConcept C2524010 @default.
- W4310273453 hasConcept C2777669093 @default.
- W4310273453 hasConcept C33923547 @default.
- W4310273453 hasConcept C34388435 @default.
- W4310273453 hasConcept C41008148 @default.
- W4310273453 hasConcept C63584917 @default.
- W4310273453 hasConceptScore W4310273453C106487976 @default.
- W4310273453 hasConceptScore W4310273453C111335779 @default.
- W4310273453 hasConceptScore W4310273453C11413529 @default.
- W4310273453 hasConceptScore W4310273453C114614502 @default.
- W4310273453 hasConceptScore W4310273453C115988155 @default.
- W4310273453 hasConceptScore W4310273453C118615104 @default.
- W4310273453 hasConceptScore W4310273453C134306372 @default.
- W4310273453 hasConceptScore W4310273453C153269930 @default.
- W4310273453 hasConceptScore W4310273453C154945302 @default.
- W4310273453 hasConceptScore W4310273453C159985019 @default.
- W4310273453 hasConceptScore W4310273453C192034797 @default.
- W4310273453 hasConceptScore W4310273453C192562407 @default.
- W4310273453 hasConceptScore W4310273453C2524010 @default.
- W4310273453 hasConceptScore W4310273453C2777669093 @default.
- W4310273453 hasConceptScore W4310273453C33923547 @default.
- W4310273453 hasConceptScore W4310273453C34388435 @default.
- W4310273453 hasConceptScore W4310273453C41008148 @default.
- W4310273453 hasConceptScore W4310273453C63584917 @default.
- W4310273453 hasLocation W43102734531 @default.
- W4310273453 hasOpenAccess W4310273453 @default.
- W4310273453 hasPrimaryLocation W43102734531 @default.
- W4310273453 hasRelatedWork W1971160134 @default.
- W4310273453 hasRelatedWork W2529633050 @default.
- W4310273453 hasRelatedWork W2952426464 @default.
- W4310273453 hasRelatedWork W3016701145 @default.
- W4310273453 hasRelatedWork W3034838075 @default.
- W4310273453 hasRelatedWork W3037532811 @default.
- W4310273453 hasRelatedWork W3082263294 @default.
- W4310273453 hasRelatedWork W4210984521 @default.
- W4310273453 hasRelatedWork W4287866962 @default.
- W4310273453 hasRelatedWork W4294402683 @default.
- W4310273453 isParatext "false" @default.
- W4310273453 isRetracted "false" @default.
- W4310273453 workType "article" @default.