Supongamos que es un lenguaje parametrizado con respecto a algún alfabeto . La división de es , el conjunto de instancias en que tienen el parámetro . La clase de complejidad contiene los lenguajes parametrizados modo que para cada , posiblemente con un algoritmo diferente y un tiempo de ejecución polinómico limitado para cada . Cada idioma manejable de parámetros fijos está en , y hay idiomas enΣ k L L k = L ∩ { ( x , k ) ∣ x ∈ Σ ∗ } L k X P L L k ∈ P k k X P X Pque no están en ; Esta es la Proposición 27.1.1 del libro de texto Downey & Fellows 2013.
Sin embargo, parece tener una estructura no trivial más allá de esto, ya que uno puede estratificar esta clase en función de qué tan rápido crece el grado del polinomio delimitador con : para el grado es constante, mientras que para puede crecer arbitrariamente. Downey & Fellows no menciona nada sobre la estructura de más allá de la Proposición 27.1.1, y la discusión en el libro de texto de Flum & Grohe 2006 no es mucho más detallada. k F P T X P X P
Siguiendo con mi pregunta anterior ¿ Límites de variantes de conjunto independiente? ¿hay un nombre para la subclase de donde si hay un polinomio tal que cada instancia en pueda decidirse como máximo pasos?X P L ∈ Q g L ( x , k ) L | x | g L ( k )
En otras palabras, esta clase permite solo hasta tiempo en lugar de tiempo para alguna función arbitraria como para .| x | poli ( k ) | x | g ( k ) g X P
fuente
Respuestas:
No creo que esta subclase de haya sido estudiada en la literatura (y haya recibido un nombre).XP
Una de las razones por las cuales los investigadores podrían evitar estudiar esta subclase es que no está cerrada bajo fpt-reducciones (por lo que uno tendría que lidiar con un nuevo tipo de reducciones 'molestas'). Esto se debe a que las reducciones de fpt permiten que el valor del parámetro explote superpolinomialmente (siempre que esté limitado por alguna función computable del valor del parámetro anterior). Para obtener una noción restringida de fpt-reducciones bajo la cual su subclase de está cerrada, necesitará agregar la restricción de que fpt-reductions requiere que el nuevo valor del parámetro esté limitado por algún polinomio del valor del parámetro anterior.XP
fuente