Lý thuyết và thuật toán tối ưu không trơn