PhD in Computer Science

ABSTRACT

The talk introduces a general framework establishing the principal
features of "decision problems" from an algorithmic point of view. The framework
basically analyses the primitives necessary in order to handle a decision problem
and the potential outcomes of the "solving procedure". We show that very few
parameters distinguish decision problems among them.
We then analyse more in details one of such features: the problem statement.
We show that, under an algorithmic perspective, any decision problem boils down
to an optimisation procedure.

AUTHORS: Alexis Tsoukias

WHEN: Tuesday, April19th, 2011, 13:00

WHERE: Sala Congressi Pier della Francesca

DATE-TAG:2011