Abstract: We study the problem of robust satisfiability of systems of nonlinear equations, namely, whether for a given continuous function f : K → Rn on a finite simplicial complex K and α>0, it holds that each function g : K → Rn such that ║ g−f ║∞ ≤ α , has a root in K . Via a reduction to the extension problem of maps into a sphere, we particularly show that this problem is decidable in polynomial time for every fixed n , assuming dim K ≤ 2 n −3. This is a substantial extension of previous computational applications of topologic...
(read more)
Topics: 
Combinatorics
Discrete mathematics