Soma aproximada de uma lista classificada

21

Recentemente, trabalhei no problema para calcular a soma aproximada de uma lista de números não negativos classificados. Para qualquer fixo ϵ>0 , um Esquema do tempo de aproximação foi derivado de modo a que ele dá uma -approximation para a soma. O artigo está publicado em http://arxiv.org/abs/1112.0520 , que não foi finalizado.O(logn)(1+ϵ)

Eu estava procurando trabalhos existentes para esse problema, mas só consegui alguns artigos relacionados remotamente e os citei. Este problema foi estudado antes? Se alguém souber de alguma pesquisa existente sobre esse problema, entre em contato. Agradeço a ajuda e atualizo as citações de acordo. Se os resultados forem antigos, o papel será despejado em uma lata de lixo.

Bin Fu
fonte
2
Obrigado por compartilhar o artigo! Por favor, dê alguma motivação por que se preocupa em estudar o problema de soma aproximada para listas ordenadas ? Quero dizer, assumir que uma lista é classificada é uma suposição bastante forte.
Dai Le
5
@ DaiLe: presumivelmente porque a suposição adiciona um pouco de estrutura ao problema; tentar encontrar a soma aproximada de uma lista não classificada é obviamente intratável, porque você não tem absolutamente nenhuma informação sobre a lista além dos números específicos examinados.
Steven Stadnicki
2
@ Bin: O limite inferior na aproximação da soma, no caso não positivo, parece vir da "captura" de que não há uma boa maneira de se aproximar de zero; obviamente, esse é o esquema de aproximação padrão, mas aqui parece melhor medir o erro em termos do tamanho do maior componente, em vez do tamanho da soma resultante; isso apenas torna os resultados triviais?
Steven Stadnicki
4
Em matemática, geralmente vemos fórmulas para calcular as somas como f (1) + f (2) +… + f (n), onde f (n) é uma função. Muitas funções são monotônicas. Por exemplo, f (n) = n ^ k (log n). É natural perguntar se existe uma maneira eficiente de calcular esse tipo de soma para funções monotônicas f (.). Quando escrevi este artigo, fiquei preocupada se estava perdendo tempo fazendo algo que talvez já fosse conhecido. É por isso que vim a este site para pedir ajuda para referências relacionadas, já que muitas pessoas profissionais estão aqui. Obrigado pelos comentários. Bin Fu
Bin Fu
@ Bin Fu: Obrigado pela sua resposta. A suposição faz sentido!
Dai Le

Respostas:

1

Depois de ler os detalhes da prova do artigo do conjunto de cores de Har-Peled , agora entendo que seu método implica um algoritmo de tempo O (log n) para a soma aproximada de números não negativos classificados. O conjunto de cores é formado por um subconjunto de números na lista classificada e suas posições dependem apenas do tamanho da lista ne da razão de aproximação epsilon. Os pesos de todos os pontos no conjunto de cores são computáveis ​​no tempo O (log n). Assim, ele traz um algoritmo de tempo O (log n) para a soma aproximada de uma lista classificada, embora não seja claramente reivindicado no artigo. Como o algoritmo está oculto na prova da construção de núcleos em vez dos teoremas reivindicados no artigo de Har-Peled, não vi essa conclusão logo após verificar os resultados no artigo.

Revisei meu trabalho excluindo a seção 4 que contém um algoritmo de tempo O (log n). O artigo de Har-Peled é citado na versão atualizada. O primeiro algoritmo ainda é mantido, pois possui uma complexidade incomparável com o tempo O (log n). Por exemplo, ele é executado no tempo O (log log n) quando os números na lista classificada de entrada estão no intervalo de 0 a (log n) ^ {O (1)}. O algoritmo é baseado em uma pesquisa de região quadrática, que é muito diferente da construção do conjunto de cores. Os limites mais baixos de tempo também são mantidos, mas ligeiramente revisados.

Agora, tenho uma ideia melhor sobre os trabalhos nesta linha. Eu realmente aprecio a ajuda profissional dos colegas teóricos de ciência da computação deste site, que fornece um excelente feedback. Meu artigo revisado estará disponível no mesmo site de arquivamento nos próximos dias. Sinceramente, saúdo outros comentários sobre referências relacionadas que podem ser perdidas.

Bin Fu

Bin Fu
fonte
4
Ahem. Qual dos dez papéis da Har-Peled você quer dizer? Também o conjunto de cores (com dois e) não é o mesmo que o espartilho (com um e). Um usa amostragem aleatória; o outro usa ossos de baleia.
Jeffε
11
@ Jɛ ff E: Eu acho que ele quer dizer o papel mencionado na resposta de Sariel.
Tsuyoshi Ito
Talvez, mas quando publiquei meu comentário, essa resposta foi maior na página que a de Sariel. Eu adicionei um link.
Jeffε
Minha versão atualizada está agora disponível em arxiv.org/abs/1112.0520 .
Bin Fu
-3

O(logn)O(logn)

ε>00a1a2an

an,an1+ε,an(1+ε)2,,an(1+ε)k

kO(lognε)

O(logn)O(logn)O(logn)

O(logn)an(1+ε)jan(1+ε)jan(1+ε)(j+1)O((logn)2)

Bin Fu
fonte
11
Qual dos dez papéis da Har-Peled você quer dizer? Além disso, coresetespartilho !
Jeffε
Isso não deve ser publicado como resposta, pois não responde à sua pergunta. Seria o melhor se pudesse ser publicado como um comentário na resposta de Sariel, mas é muito longo para isso. Gostaria de publicá-lo como uma atualização para a pergunta.
Tsuyoshi Ito
Tsuyoshi: Você está certo. Meus comentários devem ser colocados no (a
Bin Fu
área de comentários em vez da área de resposta. Desculpe.
Bin Fu
2
Eu acho que você não entende meu papel. O que você escreveu acima está errado, e não o que está no meu artigo.
Sariel Har-Peled