Existence of Solutions to Systems of Polynomial Inequalities I was wondering whether there is a general method to deciding if a system of polynomial inequalities has a solution. If there was such an algorithm this could be used to solve questions such as the sphere packing question. (The kissing number). Simply find all the inequalities for each sphere and determine if a solution can be found. To skip to the end it turns out that all systems of polynomial inequalities can be put in the following form: {A nm x n x m +B n x n +C ≥ 0} or using the notation X ={x1,x2,x3,...,1} {Q nm X n X m ≥ 0} Thus all conditions are built up from matrices, A , vectors B and constants C. We must deal with all the special cases where various components are zero. For the sphere packing problem we can set all the { B =0} which makes it much simpler. Simplest Case The simplest case is a single linear equation A x +B ≥ 0 This has no solution when A=0 & B<0 Star...
Comments
Post a Comment