A pattern of logical, semantic or computational properties whose validity or resource bounds depend on particular parameters, instances, or encodings rather than on a single uniform bound or proof that holds across an entire class of objects.

Principle

Properties are nonuniform when they are secured by instance-specific information or parameters (for example, advice strings, instance encodings, or case-by-case constructions) instead of by a single algorithm, schema or bound that applies uniformly across the class.

Demonstration

In complexity theory, nonuniform circuits allow a different circuit for each input length; a family of circuits provides decision power that cannot be captured by a single uniform Turing machine program unless extra uniformity constraints are imposed.

Misapplication

Assuming a proof that inspects finitely many representatives extends uniformly to all instances; or treating the existence of instance-wise constructions as equivalent to a uniform algorithm without checking a uniform generation procedure.

Consequence

Recognising nonuniform behaviour leads to refined classifications (e.g., uniform versus nonuniform complexity classes), explicit parameter-dependent analyses, and the need for uniformity conditions in completeness or transfer results.

Reversal

Uniform behaviour: the same effective rule, bound or proof applies to every instance in the class without reliance on per-instance parameters.

Boundary

Applies to phenomena where instance-specific resources or encodings change outcomes; excludes cases where a single constructive procedure or uniform bound already covers all instances. It does not denote simple variability in numerical values where a uniform bound still exists.

Semantic Tension

Tension arises between treating an instance-wise construction as evidence of an inherent property of the class (a uniform claim) versus regarding it as an artefact of nonuniform resources that fails to generalise.

Synthesis

Nonuniform behaviour captures the distinction between instance-specific constructions and uniform, class-wide explanations: it flags when parameter- or instance-dependent elements are essential and when uniformity must be enforced to restore a single coherent account.