Optimization Problems: Duality and Computational Models
by Prabhu Manyem
Abstract: In this talk, we will show a method by which optimization
problems can be solved by a single call to a "decision" Turing machine,
as opposed to multiple calls using a classical binary search setting.
We will use concepts from duality and descriptive complexity
(which is based on second order Logic).
For More Information: contact: David Wood. email: email@example.com