Na definição de tratabilidade de parâmetro fixo (forte), o tempo limite é uma expressão da forma onde a instância de entrada é ( x , k ) com o parâmetro k , p é um polinômio ef é uma função computável .
É possível substituir o requisito de computabilidade para por outras classes de funções, desde que a noção de redução seja igualmente restrita. (Por exemplo, Flum e Grohe cobrem famílias exponenciais e subexponenciais nos capítulos 15–16 do livro, com as reduções associadas a erf e servf.)
Alguém já estudou a família de funções elementares para o parâmetro vinculado ?
Uma função elementar pode ser delimitada acima por uma torre fixa de exponenciais, portanto essa classe é fechada sob composição. O crescimento do parâmetro em uma redução também deve ser limitado acima por uma função elementar.
Existem problemas interessantes na teoria dos autômatos que são tratáveis por parâmetros fixos, mas onde o limite de parâmetros não é elementar (a menos que P = NP, veja Frick e Grohe, doi: 10.1016 / j.apal.2004.01.007 ). Pergunto-me se alguém examinou os problemas tratáveis de parâmetros fixos que excluem valores fixos do parâmetro que leva a essas constantes "galácticas" (para usar o termo de Richard Lipton e Ken Regan). Especulando descontroladamente, essa restrição pode ter conexões úteis com a teoria finita dos modelos, como ser caracterizada por um fragmento da lógica monádica de segunda ordem que não leva a constantes não elementares que podem surgir da aplicação do Teorema de Courcelle a um fragmento com alternância ilimitada do quantificador.