Conditioning, Stability & Backward Error Analysis

the conditioning of a problem

Imagine you weigh out a recipe but your kitchen scale is off by a gram. For a stew, nobody notices. For a delicate meringue, that one gram ruins it. The recipe itself decides how forgiving it is to a small slip in the input. Conditioning is exactly this idea for a mathematical problem: how much the answer moves when the data you feed in wobble a little.

Be careful about what conditioning is attached to. It is a property of the PROBLEM (the map from input to output), not of any algorithm you use to solve it. Formally, a problem takes some input x and produces an output f(x). If a tiny relative change in x — say replacing x by x plus delta-x — forces only a tiny relative change in f(x), the problem is well-conditioned. If a tiny change in x can produce a wildly different f(x), the problem is ill-conditioned. The number that measures this sensitivity is the condition number; the smaller it is, the better.

This matters because conditioning sets a hard floor on accuracy that no clever programming can beat. Your inputs are almost never exact: they come from measurements, or from rounding a real number into floating-point. If the problem itself amplifies those unavoidable input errors by a factor of, say, a million, then your answer carries at least that million-fold error baked in — and that is the problem's fault, not your code's. Distinguishing 'the problem is intrinsically hard' from 'my algorithm is bad' is the first move in reliable computing.

Solving the linear system A x = b where A is nearly singular (rows almost parallel) is ill-conditioned: nudge b by 0.1% and the solution x can swing by 100%. Evaluating sin(x) for x near 1 is well-conditioned: a 0.1% change in x barely moves the answer.

Same arithmetic precision, opposite fates — the problem, not the machine, decides.

Conditioning is about the problem, never the algorithm. An ill-conditioned problem solved by a flawless algorithm still yields an inaccurate answer; that is not instability.

Also called
conditioning問題的良態與病態