How to test in subexponential time whether two points can be connected by a curve in a semialgebraic set

Author(s):  
D. Y. Grigoriev
2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Yinglei Song

Abstract In this paper, we study the parameterized complexity of the induced matching problem in hamiltonian bipartite graphs and the inapproximability of the maximum induced matching problem in hamiltonian bipartite graphs. We show that, given a hamiltonian bipartite graph, the induced matching problem is W[1]-hard and cannot be solved in time n o ⁢ ( k ) {n^{o(\sqrt{k})}} , where n is the number of vertices in the graph, unless the 3SAT problem can be solved in subexponential time. In addition, we show that unless NP = P {\operatorname{NP}=\operatorname{P}} , a maximum induced matching in a hamiltonian bipartite graph cannot be approximated within a ratio of n 1 / 4 - ϵ {n^{1/4-\epsilon}} , where n is the number of vertices in the graph.


2012 ◽  
Vol 23 (04) ◽  
pp. 1250031 ◽  
Author(s):  
JOSÉ F. FERNANDO ◽  
J. M. GAMBOA

In this work we define a semialgebraic set S ⊂ ℝn to be irreducible if the noetherian ring [Formula: see text] of Nash functions on S is an integral domain. Keeping this notion we develop a satisfactory theory of irreducible components of semialgebraic sets, and we use it fruitfully to approach four classical problems in Real Geometry for the ring [Formula: see text]: Substitution Theorem, Positivstellensätze, 17th Hilbert Problem and real Nullstellensatz, whose solution was known just in case S = M is an affine Nash manifold. In fact, we give full characterizations of the families of semialgebraic sets for which these classical results are true.


2017 ◽  
Author(s):  
Alexandre de Castro

Recently, we showed that the controlled NOT function is a permutation that cannot be inverted in subexponential time in the worst case [Quantum Information Processing. 16:149 (2017)]. Here, we show that such a condition can provoke biased interpretations from Bell’s test experiments.


Sign in / Sign up

Export Citation Format

Share Document