All Questions
1 question
1
vote
1
answer
126
views
Quantifier elimination and where is this quantified convex program in the polynomial hierarchy?
I have a quantified convex program of the form that I need to solve
$$\exists(x_{1,1},\dots,x_{1,n})\in\mathbb R^n\quad\forall(x_{2,1},\dots,x_{2,n})\in\mathbb R^n$$
$$\vdots$$
$$\exists(x_{2t-1,1},\...
- 1,826