Lectures related to FPTAS for Knapsack

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

Explores optimization methods, including unconstrained problems, linear programming, and heuristic approaches.

Explores optimization in energy system modeling, covering decision variables, objective functions, and different strategies with their pros and cons.

Explores optimal transport in heat equations and metric spaces.

Covers semi-definite programming and optimization over positive semidefinite cones.

Covers the Zig Zag Lemma and the long exact sequence of relative homology.

Introduces Manopt, a toolbox for optimization on manifolds, covering gradient and Hessian checks, solver calls, and manual caching.

Explores VC dimension, gradient descent, convex sets, and Lipschitz functions in convex optimization.