You are here
Homeconjugate gradient algorithm
Primary tabs
conjugate gradient algorithm
The conjugate gradient algorithm is used to solve the quadratic minimization problem:
$\min\left(\frac{1}{2}x^{T}Qxb^{T}x\right)$ 
or equivalently to solve the linear system $Qxb=0$, where $Q$ is a given $n$ by $n$ symmetric positive definite matrix and $b$ is a given $n$ vector.
The algorithm requires n iterations, starting from an arbitrary initial guess $x_{0}$ (often $x_{0}=0$ is used). We will use the following notation:

$i$ — iteration number;

$x_{i}$ — solution approximation;

$d_{i}$ — search direction;

$r_{i}$ — residual, which is defined as $bQx_{i}$.
Algorithm
1. 2. For $i=0$ to $n1$ compute
$\alpha=\frac{r_{i}^{T}d_{i}}{d_{i}^{T}Qd_{i}}$ $x_{{i+1}}=x_{i}+\alpha d_{i}$ $r_{{i+1}}=r_{i}\alpha Qd_{i}$ If $\r_{i}\<\varepsilon$ or $i=n1$ Stop, the solution has been found. Otherwise, continue:
$\beta=\frac{r_{{i+1}}^{T}Qd_{i}}{d_{i}^{T}Qd_{i}}$ $d_{{i+1}}=r_{{i+1}}+\beta d_{i}$ (In each iteration the solution estimate is set to the previous estimate plus a multiple of the previous search direction. The next search direction is then set to the gradient plus a multiple of the previous search direction).
Discussion
The conjugate gradient method was developed in 1952 by Hestenes and Stiefel as an improvement to the steepest descent method. Whereas steepest descent approaches the solution asymptotically, the conjugate gradient method will find the solution in n iterations (assuming no roundoff error).
Why the name? The search directions $d_{i}$ are conjugate in the sense that $d_{j}^{T}Qd_{i}=0$ for $j<i$. In addition these directions are computed from (but are not equal to) the gradient.
The conjugate gradient method has been generalized to the case where the function being minimized is only approximately quadratic. In that case the explicit formula for $\alpha$ given above is replaced by a linesearch procedure; this is a trial and error method in which various values of $\alpha$ are tried, and the value that leads to the smallest value of the objective is chosen. Well known generalized c.g. methods include the FletcherReeves method and the PolakRibiere method.
Example
Solve
$\left(\begin{array}[]{rr}1&2\\ 2&1\end{array}\right)x=\left(\begin{array}[]{rr}3\\ 0\end{array}\right)$ 
We have
$x_{0}=\left(\begin{array}[]{rr}0\\ 0\end{array}\right)$ 
then
$x_{1}=\left(\begin{array}[]{rr}3\\ 0\end{array}\right)$ 
and finally
$x_{2}=\left(\begin{array}[]{rr}1\\ 2\end{array}\right)$ 
which is the solution.
References
Luenberger: Introduction to Linear and Nonlinear Programming, AddisonWesley, 1973
Jonathan Richard Shewchuk: An Introduction to the Conjugate Gradient Method Without the Agonizing Pain, August 1994. http://www2.cs.cmu.edu/ jrs/jrspapers.html [A detailed derivation of the method from first principles].
Press, et al.: Numerical Recipes in C, Cambridge University Press, 1995 [Chapter 10.6 contains an implementation of the generalized conjugate gradient method of Polak and Ribiere].
Mathematics Subject Classification
15A06 no label found90C20 no label found Forums
 Planetary Bugs
 HS/Secondary
 University/Tertiary
 Graduate/Advanced
 Industry/Practice
 Research Topics
 LaTeX help
 Math Comptetitions
 Math History
 Math Humor
 PlanetMath Comments
 PlanetMath System Updates and News
 PlanetMath help
 PlanetMath.ORG
 Strategic Communications Development
 The Math Pub
 Testing messages (ignore)
 Other useful stuff
Recent Activity
new correction: Error in proof of Proposition 2 by alex2907
Jun 24
new question: A good question by Ron Castillo
Jun 23
new question: A trascendental number. by Ron Castillo
Jun 19
new question: Banach lattice valued Bochner integrals by math ias
Jun 13
new question: young tableau and young projectors by zmth
Jun 11
new question: binomial coefficients: is this a known relation? by pfb
Jun 6
new question: difference of a function and a finite sum by pfb