Seja uma função. Queremos estimar a média de ; ou seja: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )
NOTE: In the OP, the range of f was [0,1]. I changed this a bit for technical reasons. (This should simplify the problem; if not, forget it!)
Seja o algoritmo estimador (randomizado). Suponha que tenha acesso à caixa preta para . Denotamos isso por .E f E f
Existem duas condições:
1) tempo de funcionamento da Estimador: Existe um único polinómio de tal modo que para todos os e todos , o tempo de execução do é delimitada por .n f E f ( 1 n ) p ( n )
2) Precisão do estimador com confiança : q ( ⋅ ) n f 1 existe um único polinômio , tal que para todo e todo , temos com probabilidade de pelo menos .δ
NOTE: The confidence δ was not in the OP. The parameter δ is in (0,1), and may depend on n. For instance, it may be 1-1/2^n.
Existem tais estimadores?
Antecedentes e Motivação
Eu não mencionei minha motivação no início, pois requer muito conhecimento prévio. De qualquer forma, para os entusiastas, descrevo-o brevemente: A necessidade de tais estimadores surge no contexto de "Provas de capacidade", conforme definido no seguinte artigo:
Mihir Bellare, Oded Goldreich. Proving Computational Ability , 1992. Manuscrito não publicado.
Especificamente, na parte inferior da página 5, os autores assumiram implicitamente a existência de tais estimadores (não há menção à precisão e o tempo de execução não é definido com precisão; ainda assim, o contexto define tudo claramente).
Minha primeira tentativa foi ler " Uma amostra de amostradores - uma perspectiva computacional sobre amostragem ". Pertence a um problema muito semelhante, mas a probabilidade de erro definida é aditiva, enquanto a nossa é multiplicativa. (Eu não li completamente o artigo, talvez ele mencione o que eu preciso em algum lugar.)
EDIT (conforme solicitação de Tsuyoshi): De fato, a definição de "Provas de Habilidade Computacional" requer a existência de um "extrator de conhecimento" cujo tempo de execução (esperado) seja . Como não conhecemos , queremos estimar isso; no entanto, isso não deve alterar o tempo de execução consideravelmente: deve ser alterado para um fator polinomial. A condição de precisão tenta capturar esse requisito. E[f(n)]