spacer
EDP Sciences Journals List
Home arrow Document
   
Issue RAIRO-Theor. Inf. Appl.
Volume 43, Number 3, July-September 2009
Page(s) 585 - 613
DOI 10.1051/ita/2009012
Published online 04 April 2009

RAIRO-Theor. Inf. Appl. 43, 585-613 (2009)
DOI: 10.1051/ita/2009012

Measuring the problem-relevant information in input

Stefan Dobrev1, Rastislav Královič2 and Dana Pardubská2

1  Institute of Mathematics, Slovak Academy of Sciences, Slovakia; Stefan.Dobrev@savba.sk
2  Department of Computer Science, Comenius University, Bratislava, Slovakia; kralovic@dcs.fmph.uniba.sk;pardubska@dcs.fmph.uniba.sk


Received August 1, 2007. Accepted January 19, 2009. Published online 4 April 2009

Abstract
We propose a new way of characterizing the complexity of online problems. Instead of measuring the degradation of the output quality caused by the ignorance of the future we choose to quantify the amount of additional global information needed for an online algorithm to solve the problem optimally. In our model, the algorithm cooperates with an oracle that can see the whole input. We define the advice complexity of the problem to be the minimal number of bits (normalized per input request, and minimized over all algorithm-oracle pairs) communicated by the algorithm to the oracle in order to solve the problem optimally. Hence, the advice complexity measures the amount of problem-relevant information contained in the input. We introduce two modes of communication between the algorithm and the oracle based on whether the oracle offers an advice spontaneously (helper) or on request (answerer). We analyze the Paging and DiffServ problems in terms of advice complexity and deliver upper and lower bounds in both communication modes; in the case of DiffServ problem in helper mode the bounds are tight.


Mathematics Subject Classification. 68Q25, 68W40, 68Q10, 68Q17

Key words: Online algorithms -- communication complexity -- advice complexity -- paging.


© EDP Sciences 2009


What is OpenURL?