Nesterov-Todd Self-Concordant Barrier applied Hamilton's Equations in Canonical Coordinates applied Recession Cone Criterion for Level-Boundedness of a Convex Program applied Deterministic Time Hierarchy Theorem applied Generating Function Criterion applied Bohr-Sommerfeld Quantization Rule applied Conservation of Autonomous Hamiltonians applied Polynomial-Time Reduction from Independent Set to Clique applied