■

• Kernel化。サンプルに依存して正確に feasible region を求めようと考えましたが、できていません。
• 正確でなければ、緩和の一種とかんがえられるような簡単な方法でよいと思います。定数項も入れて SMO が使える形になりました。
• Consistency の証明はできそうです。Consistency が制約を課すタイミングに依らない条件など、出そうです。