为了使用算法练习非线性分类，我愿意创建一个假设的非凸约束。我想到了以下形式的约束：$x^TAx + Bx \leq c$.

我很好奇这是否符合非凸约束条件，如果矩阵$A$和$B$必须是PSD。或者我可能有更多的限制？

如果有人对此进行解释或向我推荐我可以阅读的任何文本/论文，我想知道。我的数学现在有点生疏了。