Charging Argument

In computer science, a charging argument is used to compare the output of an optimization algorithm to an optimal solution. It is typically used to show that an algorithm produces optimal results by proving the existence of a particular injective function. For profit maximization problems, the function can be any one-to-one mapping from elements of an optimal solution to elements of the algorithm's output. For cost minimization problems, the function can be any one-to-one mapping from elements of the algorithm's output to elements of an optimal solution.

Read more about Charging Argument:  Correctness, Variations

Famous quotes containing the words charging and/or argument:

    You must neither add anything to what I command you nor take away anything from it, but keep the commandments of the LORD your God with which I am charging you.
    Bible: Hebrew, Deuteronomy 4:2.

    Mistakes are made on two counts: an argument is either based on error or incorrectly developed.
    Thomas Aquinas (c. 1225–1274)