老师好：我有点不太明白SMO算法中，选择第一个变量的时候说的违反KKT条件，这个KKT条件是怎么来的？

我知道原始SVM问题是一个二次优化问题，通过KKT条件来求解，优化空间从w与b变换到了α空间进行优化，此时仍然带着原始问题的KKT条件。接着对α的求解我们采用SMO算法，虽然SMO的求解思路是大二次优化问题花间为多个二元的小二次优化问题，但是求解的思路是直接对二元目标函数直接求导来寻找最优解，并通过约束条件对求导找到的最优解进行剪裁，来得到满足约束条件的最优解。

但是对于优化参数选择中第一个参数的选择上，说找到第一个违反KKT条件的参数α，这里所说的KKT条件是怎么一会事？是指SMO算法所要求解的目标函数的KKT条件吗？如果是这样，在视频中并未提及这个KKT是怎么来的，只是直接给出，我自己试着退了一下，并未得到对应结果，所以想请教老师，在SMO算法选择第一个参数α，所说的KKT条件是怎么来的？