An approximation algorithm is a type of algorithm used for optimization problems, where finding an exact solution is computationally expensive or impossible. It provides a solution that is close to the optimal one, with a provable guarantee on the distance from the optimal solution, often expressed as an approximation ratio or factor.