Aplicações combinatórias aditivas no projeto de algoritmos

12

Estou lendo pesquisas de Trevisan e Lovett sobre aplicações de aditivos combinatórios no TCS. A maioria desses aplicativos se enquadra na complexidade computacional , por exemplo, limites mais baixos. Gostaria de saber se a combinatória aditiva também encontrou aplicações no design de algoritmos .

A motivação para minha pergunta é a seguinte: embora a conexão entre combinatória aditiva e complexidade pareça um tanto natural, estou curioso para ver como a estrutura algébrica descoberta pela combinatória aditiva pode ser explorada no design de algoritmos eficientes, se houver. Ponteiros para a literatura seriam apreciados.

user32373
fonte
Eu acho que 'aceitação' para esse tipo de perguntas é inútil, pois o objetivo é compilar uma lista de indicadores relevantes. Mas aceitei o de Ryan, já que o resultado referenciado é definitivamente o tipo de conexão que eu estava procurando: o uso de combinatória aditiva é explícito no design do algoritmo, e a resolução é intrigante porque o BSG não conseguiu quebrar o infame 3SUM.
user32373

Respostas:

17

Timothy Chan e Moshe Lewenstein têm um artigo sobre 3SUM e problemas relacionados no próximo STOC, que aplica uma versão eficaz do teorema BSG da combinatória aditiva para resolver variantes do 3SUM mais rapidamente que n ^ 2.

Veja este link para os documentos de Chan .

Ryan Williams
fonte
A possibilidade de implicação do é possível? 3SAT
T ....
1
Acho que não poderíamos usar isso para resolver o mais rápido que os algoritmos conhecidos - o já pode ser resolvido em tempo. 3 S A T 1,308 n3SAT3SAT1.308n
Ryan Williams
8

O algoritmo DC3 para calcular uma matriz de sufixos aproveita as combinações aditivas. Ele usa capas de diferença em uma parte essencial do algoritmo. As idéias são muito legais e acessíveis. O algoritmo também possui excelente desempenho na prática e é amplamente ensinado.

GSgGs,tSg=stGn

Aqui está a citação:

Juha Kärkkäinen, Peter Sanders e Stefan Burkhardt. Construção de matriz de sufixo de trabalho linear . Revista da ACM, 2006.

DW
fonte
5

Se você incluir testes no design de algoritmos, Samorodnitsky usa combinatória aditiva para mostrar que transformações lineares são eficientemente testáveis [aqui] .

Manu
fonte