Seja um polinômio simétrico , ou seja, um polinômio tal que para todo e todas as permutações . Por conveniência, podemos assumir que é um campo finito, para evitar problemas com o modelo de computação.x ∈ K n σ ∈ S n K
Vamos denotar a complexidade da computação , ou seja, a complexidade de um algoritmo que, dado , retorna . Podemos de alguma forma caracterizar , com base nas propriedades de ? Por exemplo, garantimos que é polinomial (em ) para todos os polinômios simétricos ?f x f ( x ) C ( f ) f C ( f ) n f
Como caso especial, parece que (a) podemos calcular os polinômios da soma de potência em tempo e (b) podemos calcular os polinômios simétricos elementares em tempo , usando as identidades de Newton . Como conseqüência, se é uma soma ponderada de monômios em que nenhuma variável é aumentada para uma potência maior que 1 (ou seja, se é multilinear), então pode ser calculado em tempo polinomial (já que pode ser expresso como uma soma ponderada polinômios simétricos elementares). Por exemplo, quandof f K = G F ( 2 ), todos os polinômios simétricos podem ser calculados em tempo polinomial. Alguém pode dizer algo mais do que isso?