Instance complexity is a measure of goodness of an algorithm in which the performance of one algorithm is compared to others per input. This is in sharp contrast to worst-case and average-case complexity measures, where the performance is compared either on the worst input or on an average one, respectively. We initiate the systematic study of instance complexity and optimality in the query model (a.k.a. the decision tree model). In this model, instance optimality of an algorithm for computing a function is the requirement that the complexity of an algorithm on any input is at most a constant factor larger than the complexity of the best correct algorithm. That is we compare the decision tree to one that receives a certificate and its complexity is measured only if the certificate is correct (but correctness should hold on any input). We study both deterministic and randomized decision trees and provide various characterizations and barriers for more general results. We introduce a new measure of complexity called unlabeled-certificate complexity, appropriate for graph properties and other functions with symmetries, where only information about the structure of the graph is known to the competing algorithm. More precisely, the certificate is some permutation of the input (rather than the input itself) and the correctness should be maintained even if the certificate is wrong. First we show that such an unlabeled certificate is sometimes very helpful in the worst-case. We then study instance optimality with respect to this measure of complexity, where an algorithm is said to be instance optimal if for every input it performs roughly as well as the best algorithm that is given an unlabeled certificate (but is correct on every input). We show that instance optimality depends on the group of permutations in consideration. Our proofs rely on techniques from hypothesis testing and analysis of random graphs.
|Original language||American English|
|Title of host publication||11th Innovations in Theoretical Computer Science Conference, ITCS 2020|
|Publisher||Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing|
|State||Published - Jan 2020|
|Event||11th Innovations in Theoretical Computer Science Conference, ITCS 2020 - Seattle, United States|
Duration: 12 Jan 2020 → 14 Jan 2020
|Name||Leibniz International Proceedings in Informatics, LIPIcs|
|Conference||11th Innovations in Theoretical Computer Science Conference, ITCS 2020|
|Period||12/01/20 → 14/01/20|
Bibliographical noteFunding Information:
Funding Tomer Grossman: Israel Science Foundation (no. 950/16). Ilan Komargodski: AFOSR grant FA9550-15-1-0262, Israel Science Foundation (no. 950/16), and a Levzion Fellowship. Moni Naor: Israel Science Foundation (no. 950/16).
© Tomer Grossman, Ilan Komargodski, and Moni Naor.
- Decision tree complexity
- Instance complexity
- Instance optimality
- Query complexity
- Unlabeled certificates