Un patrón de propiedades lógicas, semánticas o computacionales cuya validez o cotas de recursos dependen de parámetros, instancias o codificaciones particulares en lugar de una única cota o demostración uniforme que valga para toda la clase.

Principio

Las propiedades son no uniformes cuando se aseguran mediante información o parámetros específicos de la instancia (por ejemplo, cadenas de consejo, codificaciones de instancia o construcciones caso por caso) en lugar de por un único algoritmo, esquema o cota que se aplique de forma uniforme a la clase.

Demostración

En teoría de la complejidad, los circuitos no uniformes permiten un circuito distinto para cada longitud de entrada; una familia de circuitos así proporciona capacidad de decisión que no puede ser capturada por un único programa de máquina de Turing uniforme salvo que se impongan condiciones de uniformidad.

Aplicación incorrecta

Asumir que una prueba que inspecciona finitamente muchos representantes se extiende uniformemente a todas las instancias; o confundir la existencia de construcciones instancia a instancia con un algoritmo uniforme sin verificar un procedimiento de generación uniforme.

Consecuencia

Reconocer el comportamiento no uniforme conduce a clasificaciones más finas (por ejemplo, clases de complejidad uniformes vs no uniformes), análisis dependientes de parámetros y la necesidad de condiciones de uniformidad en resultados de completitud o transferencia.

Inversión

Comportamiento uniforme: la misma regla efectiva, cota o demostración se aplica a cada instancia de la clase sin depender de parámetros propios de la instancia.

Límite

Se aplica a fenómenos donde recursos o codificaciones específicas de la instancia cambian los resultados; excluye casos donde ya existe un procedimiento constructivo único o una cota uniforme que cubra todas las instancias. No describe una simple variabilidad numérica cuando existe una cota uniforme.

Tensión semántica

La tensión surge al tratar una construcción por instancia como evidencia de una propiedad inherente de la clase (una afirmación uniforme) frente a verla como un artefacto de recursos no uniformes que no se generaliza.

Síntesis

El comportamiento no uniforme distingue las construcciones dependientes de la instancia de las explicaciones uniformes a escala de clase: indica cuándo los elementos dependientes de parámetros son esenciales y cuándo debe imponerse la uniformidad para restablecer un relato único y coherente.