Algorithms: Difference between revisions
(88 intermediate revisions by the same user not shown) | |||
Line 8: | Line 8: | ||
=<span id='Algorithm'></span><span id='Algorithms'></span><span id='Computational_Problem'></span><span id='Instance_of_the_problem'>Algorithm Definition= | =<span id='Algorithm'></span><span id='Algorithms'></span><span id='Computational_Problem'></span><span id='Instance_of_the_problem'>Algorithm Definition= | ||
An '''algorithm''' is any well-defined computational procedure consisting in a sequence of steps, which takes some value or set of values, called '''input''' and produces a value, or a set of values, called '''output'''. | {{Note|An '''algorithm''' is any well-defined computational procedure consisting in a sequence of steps, which takes some value or set of values, called '''input''' and produces a value, or a set of values, called '''output'''. The algorithm solves a well-specified '''computational problem'''.}} | ||
In this context, a specific set of input values provided to the algorithm is called an '''instance of the problem'''. Algorithms manipulate [[Data_Structures#Overview|data structures]] in various ways. | |||
Algorithms should be considered a '''technology''', the same as computer hardware or object-oriented programming. Total system performance depends on choosing efficient algorithms as much as on choosing fast hardware. Having a solid base of algorithmic knowledge and techniques is one of the factors that separates a skilled programmer from a novice. | Algorithms should be considered a '''technology''', the same as computer hardware or object-oriented programming. Total system performance depends on choosing efficient algorithms as much as on choosing fast hardware. Having a solid base of algorithmic knowledge and techniques is one of the factors that separates a skilled programmer from a novice. | ||
Line 15: | Line 16: | ||
==Algorithm Correctness== | ==Algorithm Correctness== | ||
One of the most important characteristics of an algorithm is its '''correctness'''. An algorithm is said to be '''correct''' if, for every input instance, it halts with the correct output. It is almost always desirable for an algorithm to be correct. However, in some cases, even incorrect algorithms are useful if we can control the error rate. An example of such algorithm is [[ | One of the most important characteristics of an algorithm is its '''correctness'''. An algorithm is said to be '''correct''' if, for every input instance, it halts with the correct output. It is almost always desirable for an algorithm to be correct. However, in some cases, even incorrect algorithms are useful if we can control the error rate. An example of such algorithm is [[Miller-Rabin Primality Test Algorithm|Miller-Rabin primality test]]. <span id='Loop_Invariant'></span>One of the techniques that can be used to demonstrate that an algorithm is correct is the [[Loop_Invariant#Overview|loop invariant]] method. | ||
==Algorithm Efficiency== | ==Algorithm Efficiency== | ||
Another characteristic of algorithms is '''efficiency'''. The obvious reason to analyze the efficiency of an algorithm is that the computing time and the space in memory, are bounded resources and they must be utilized efficiently. [[#Algorithm_Complexity|Algorithm complexity]] analysis provides good predictions of an algorithm's efficiency. | Another characteristic of algorithms is '''efficiency'''. The obvious reason to analyze the efficiency of an algorithm is that the computing time and the space in memory, are bounded resources and they must be utilized efficiently. [[#Algorithm_Complexity|Algorithm complexity]] analysis provides good predictions of an algorithm's efficiency. | ||
===Algorithm Complexity=== | ===Algorithm Complexity=== | ||
The efficiency of an algorithm can be analyzed through formal methods and expressed using a special notation called [[Algorithm_Complexity#Asymptotic_Notation|asymptotic notation]]. The asymptotic notation uses functions that bound the algorithm's running time from above and from below. To say that the running time is asymptotically bounded from above by a specific function, say n<sup>2</sup>, we use the "big-O" notation: O(n<sup>2</sup>). | The efficiency of an algorithm can be analyzed through formal methods and expressed using a special notation called [[Algorithm_Complexity#Asymptotic_Notation|asymptotic notation]]. The asymptotic notation uses functions that bound the algorithm's running time from above and from below. To say that the running time is asymptotically bounded from above by a specific function, say n<sup>2</sup>, we use the "big-O" notation: O(n<sup>2</sup>). For more details see:<span id='v7K9ly'></span>{{Internal|Algorithm Complexity#Overview|Algorithm Complexity}} | ||
=Algorithm Paradigms= | =Algorithm Paradigms= | ||
Individual algorithms may belong to a number of paradigms, which are general techniques that apply to different problems from different domains. Example of such paradigms are [[#Divide_and_Conquer|divide and conquer]], [[#Randomized_Algorithms|randomized algorithms]], [[#Greedy_Algorithms|greedy algorithms]] and [[#Dynamic_Programming_Algorithms|dynamic programming]]. | Individual algorithms may belong to a number of paradigms, which are general techniques that apply to different problems from different domains. Example of such paradigms are [[#Divide_and_Conquer|divide and conquer]], [[#Randomized_Algorithms|randomized algorithms]], [[#Greedy_Algorithms|greedy algorithms]] and [[#Dynamic_Programming_Algorithms|dynamic programming]]. | ||
=Iterative vs. Recursive Algorithms= | |||
Algorithms can be coarsely categorized in [[#Iterative_Algorithm|iterative]] and [[#Recursive_Algorithms|recursive]]. | |||
=<span id='Iterative_Algorithm'></span>Iterative Algorithms= | ==<span id='Iterative_Algorithm'></span>Iterative Algorithms== | ||
Iterative algorithms are also called "incremental". | Iterative algorithms are also called "incremental". | ||
==Recursive Algorithms== | |||
<span id='Recursive_Algorithm'></span>A '''recursive''' algorithm solves a problem by calling itself recursively one or more times to deal with closely related sub-problems, usually of smaller size. A special class of recursive algorithms are the "[[Recursive_Algorithms#Divide_and_Conquer|divide-and-conquer]]" algorithms, but not all recursive algorithms belong to this class. | |||
{{Internal|Recursive_Algorithms#Overview|Recursive Algorithms}} | |||
{{Internal| | |||
=Randomized Algorithms= | =Randomized Algorithms= | ||
Line 70: | Line 54: | ||
=Graph Algorithms= | =Graph Algorithms= | ||
{{Internal|Graphs| | {{Internal|Graphs#Graph_Algorithms|Graph Algorithms}} | ||
==Tree Algorithms== | |||
{{Internal|Trees#Tree_Algorithms|Tree Algorithms}} | |||
=Greedy Algorithms= | =Greedy Algorithms= | ||
Greedy algorithms use a design paradigm that involves making at each step of the algorithm a myopic decision, doing something that seems to be a good idea at the time. The decision made by a greedy algorithm at a certain step is irrevocable, it cannot be changed later as the algorithm progresses. Interestingly enough, greedy local decisions lead some times to an overall optimal solution, but this is not a given. The correctness of a greedy algorithm must be formally proven to ensure that the algorithm is any good. | Greedy algorithms use a design paradigm that involves making at each step of the algorithm a myopic decision, doing something that seems to be a good idea at the time. The decision made by a greedy algorithm at a certain step is '''irrevocable''', it cannot be changed later as the algorithm progresses. Interestingly enough, this approach works out just fine sometimes, greedy local decisions lead some times to an overall optimal solution, but this is not a given. The correctness of a greedy algorithm must be formally proven to ensure that the algorithm is any good. | ||
A strength and a weakness of the greedy algorithm paradigm is just how easy it is to apply. It is often quite easy to come up with plausible greedy algorithms for a problem, even multiple, different plausible greedy algorithms. This is a point of contrast with the [[Algorithms#Divide_and_Conquer|divid-and-conquer algorithms]], which are non-trivial to come up with. | A strength and a weakness of the greedy algorithm paradigm is just how easy it is to apply. It is often quite easy to come up with plausible greedy algorithms for a problem, even multiple, different plausible greedy algorithms. This is a point of contrast with the [[Algorithms#Divide_and_Conquer|divid-and-conquer algorithms]], which are non-trivial to come up with. | ||
<span id='Greedy_Score'></span>A general approach to designing greedy algorithms has two steps. The first step involves looking at a few particular cases of the problem, where is reasonably intuitive what should be the optimal thing to do. While doing so attempt to come up with a single '''greedy score''' that aggregates various parameters of the individual elements of the problem. Then attempt to use the score and prove that it optimizes the '''objective function''' we are trying to compute in the algorithm. The weakness of greedy algorithm design, however, is that is really easy to come up with alternative "obvious" scores that might do the wrong thing. It is not obvious that a greedy algorithm that uses a particular score always minimizes the objective function. The correctness must be proven formally. | <span id='Greedy_Score'></span><span id='Greedy_Criterion'></span>A general approach to designing greedy algorithms has two steps. The first step involves looking at a few particular cases of the problem, where is reasonably intuitive what should be the optimal thing to do. While doing so attempt to come up with a single '''greedy score''' (or criterion) that aggregates various parameters of the individual elements of the problem. Then attempt to use the score and prove that it optimizes the <span id='Objective_Function'></span>'''objective function''' we are trying to compute in the algorithm. The weakness of greedy algorithm design, however, is that is really easy to come up with alternative "obvious" scores that might do the wrong thing. It is not obvious that a greedy algorithm that uses a particular score always minimizes the objective function. The correctness must be proven formally. | ||
Greedy algorithms are usually easy to analyze from a running time perspective. However, they are generally much harder to be proven correct, it takes a lot of creativity and has a bit of an ad hoc flavor. Greedy algorithms can be proven correct by [[Mathematical_Induction|induction]], as in the case of [[Dijkstra's Shortest-Path Algorithm#Overview|Dijkstra's shortest-path algorithm]]. Some text books call this method "greedy stays ahead", meaning that you prove that the greedy algorithm does the right thing iteration by iteration. <span id='Exchange_Argument'></span>The second method of proving greedy algorithms is by '''exchange argument'''. | Greedy algorithms are usually easy to analyze from a running time perspective. However, they are generally much harder to be proven correct, it takes a lot of creativity and has a bit of an ad hoc flavor. Greedy algorithms can be proven correct by [[Mathematical_Induction|induction]], as in the case of [[Dijkstra's Shortest-Path Algorithm#Overview|Dijkstra's shortest-path algorithm]]. Some text books call this method "greedy stays ahead", meaning that you prove that the greedy algorithm does the right thing iteration by iteration. <span id='Exchange_Argument'></span>The second method of proving greedy algorithms is by '''exchange argument'''. | ||
Line 82: | Line 69: | ||
{{Warn|⚠️ Most greedy algorithms are NOT correct, unless they are formally proven correct.}} | {{Warn|⚠️ Most greedy algorithms are NOT correct, unless they are formally proven correct.}} | ||
Examples of greedy algorithms: | Examples of greedy algorithms and computational problems greedy algorithms are useful for: | ||
* The [[The Optimal Caching Problem|optimal caching problem]] | * The [[The Optimal Caching Problem|optimal caching problem]] | ||
* The [[The Job Scheduling Problem|job scheduling problem]] | * The [[The Job Scheduling Problem|job scheduling problem]] | ||
Line 90: | Line 77: | ||
*** [[Prim's Algorithm]] | *** [[Prim's Algorithm]] | ||
*** [[Kruskal's Algorithm]] | *** [[Kruskal's Algorithm]] | ||
* The [[Clustering_Concepts#The_Clustering_Problem|clustering problem]]. Also see [[#Clustering_Algorithms|clustering algorithms]] below. | |||
* Compression. Greedy algorithms can be used to compute [[Binary_Codes#The_Optimal_Variable-Length_Binary_Code_Problem|optimal variable-length binary codes]], and the canonical example is the computation of the Huffman codes with the [[Binary_Codes#The_Huffman_Algorithm|Huffman algorithm]]. | |||
==Clustering Algorithms== | |||
Clustering algorithms aim to identify the best clustering of a set of objects according to some objective function, which is to say they aim to solve the [[Clustering_Concepts#The_Clustering_Problem|clustering problem]]. Some of the most well known clustering algorithms are [[#Greedy_Algorithms|greedy]]. | |||
{{Internal|Clustering#Overview|Clustering}} | |||
=Dynamic Programming Algorithms= | =Dynamic Programming Algorithms= | ||
{{Internal|Dynamic Programming | Dynamic programming algorithms are optimized recursive algorithms, where we store the solution of smaller subproblems and use them in computing the solution for larger subproblems, avoiding duplicate work and yielding superior running times. The classic example where the difference between the straightforward recursive solution and the corresponding dynamic programming solution is obvious is computing [[Fibonacci_Numbers|Fibonacci numbers]]. | ||
{{Internal|Dynamic Programming#Overview|Dynamic Programming}} | |||
=Number-Theoretic Algorithms= | =Number-Theoretic Algorithms= | ||
Line 98: | Line 92: | ||
'''Number-theoretic algorithms''' are important due in large part to the invention of cryptographic schemes based on large prime numbers. Algorithms in this category are used to generate large prime numbers. Some of these algorithms, for example [[Miller-Rabin Primality Test Algorithm|Miller-Rabin primality test algorithm]], are not entirely correct, the sense that there is a very small chance of error, but the chance of error is so small that is considered acceptable. | '''Number-theoretic algorithms''' are important due in large part to the invention of cryptographic schemes based on large prime numbers. Algorithms in this category are used to generate large prime numbers. Some of these algorithms, for example [[Miller-Rabin Primality Test Algorithm|Miller-Rabin primality test algorithm]], are not entirely correct, the sense that there is a very small chance of error, but the chance of error is so small that is considered acceptable. | ||
= | =<span id='NP-complete_Problems'></span>NP Completeness= | ||
<span id='NP-complete_Problems'></span> | |||
{{Internal|NP Completeness#Overview|NP Completeness}} | {{Internal|NP Completeness#Overview|NP Completeness}} | ||
Line 109: | Line 100: | ||
{{Internal|Multithreaded Algorithms#Overview|Multithreaded Algorithms}} | {{Internal|Multithreaded Algorithms#Overview|Multithreaded Algorithms}} | ||
=Optimization Algorithms= | |||
{{Internal|Optimization Algorithms|Optimization Algorithms}} | |||
=Organizatorium= | |||
* CS261 Stanford: https://www.youtube.com/playlist?list=PLEGCF-WLh2RJh2yDxlJJjnKswWdoO8gAc |
Latest revision as of 16:47, 6 October 2023
External
- Based on Introduction to Algorithms, 3rd edition by Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein (CLRS)
Internal
Algorithm Definition
An algorithm is any well-defined computational procedure consisting in a sequence of steps, which takes some value or set of values, called input and produces a value, or a set of values, called output. The algorithm solves a well-specified computational problem.
In this context, a specific set of input values provided to the algorithm is called an instance of the problem. Algorithms manipulate data structures in various ways.
Algorithms should be considered a technology, the same as computer hardware or object-oriented programming. Total system performance depends on choosing efficient algorithms as much as on choosing fast hardware. Having a solid base of algorithmic knowledge and techniques is one of the factors that separates a skilled programmer from a novice.
An algorithm should be correct, in that it should produce the correct solutions of the computational problem. The algorithm correctness can be formally demonstrated using various mathematical tools and techniques. Additionally, an algorithm should be usable practically, in that it should complete within a finite amount of time, faster the better, and should use a finite amount of computational resources. The completion time and resource requirements are analyzed as part of algorithm efficiency analysis. A good predictor of how much time and resources an algorithm needs is provided by its complexity.
Algorithm Correctness
One of the most important characteristics of an algorithm is its correctness. An algorithm is said to be correct if, for every input instance, it halts with the correct output. It is almost always desirable for an algorithm to be correct. However, in some cases, even incorrect algorithms are useful if we can control the error rate. An example of such algorithm is Miller-Rabin primality test. One of the techniques that can be used to demonstrate that an algorithm is correct is the loop invariant method.
Algorithm Efficiency
Another characteristic of algorithms is efficiency. The obvious reason to analyze the efficiency of an algorithm is that the computing time and the space in memory, are bounded resources and they must be utilized efficiently. Algorithm complexity analysis provides good predictions of an algorithm's efficiency.
Algorithm Complexity
The efficiency of an algorithm can be analyzed through formal methods and expressed using a special notation called asymptotic notation. The asymptotic notation uses functions that bound the algorithm's running time from above and from below. To say that the running time is asymptotically bounded from above by a specific function, say n2, we use the "big-O" notation: O(n2). For more details see:
Algorithm Paradigms
Individual algorithms may belong to a number of paradigms, which are general techniques that apply to different problems from different domains. Example of such paradigms are divide and conquer, randomized algorithms, greedy algorithms and dynamic programming.
Iterative vs. Recursive Algorithms
Algorithms can be coarsely categorized in iterative and recursive.
Iterative Algorithms
Iterative algorithms are also called "incremental".
Recursive Algorithms
A recursive algorithm solves a problem by calling itself recursively one or more times to deal with closely related sub-problems, usually of smaller size. A special class of recursive algorithms are the "divide-and-conquer" algorithms, but not all recursive algorithms belong to this class.
Randomized Algorithms
Algorithms whose behavior is determined not only by input, but also by the values produced by a random-number generator, invoked in the algorithm code, are called
randomized algorithms. Randomized algorithms are relatively common algorithm design paradigm, which often leads to simpler, more practical or more elegant algorithms. A randomized algorithm implies an inherent probability distribution for one or more variable, so the running time of such an algorithm may differ on different inputs on the same size. Probabilistic analysis is used to analyze running time of randomized algorithms. The canonical example of a randomized algorithm is randomized QuickSort, primality testing, graph partitioning, hashing. See:Sorting
Sorting a sequence of numbers into nondecreasing order is a problem that arises frequent in practice. The class of algorithms that addresses this problem are the sorting algorithms. Sorting algorithms may perform key comparison or not. When analyzing sorting algorithms, characteristics such as whether the algorithm is in place' or whether the algorithm is stable may be discussed. Examples of sorting algorithms are insertion sort, merge sort.
Partitioning
The Selection Problem
The ith order statistic problems require selecting ith smallest element of a set. Finding the median is a particular case of a ith order statistic problem. These problems are known as the selection problem. They can be resolved generically by sorting the entire set and then selecting the desired element. However, key comparison sorting cannot be done more efficiently than Ω(n lg n), and more specialized and faster algorithms O(n) for the selection problem exist.
Also see:
Graph Algorithms
Tree Algorithms
Greedy Algorithms
Greedy algorithms use a design paradigm that involves making at each step of the algorithm a myopic decision, doing something that seems to be a good idea at the time. The decision made by a greedy algorithm at a certain step is irrevocable, it cannot be changed later as the algorithm progresses. Interestingly enough, this approach works out just fine sometimes, greedy local decisions lead some times to an overall optimal solution, but this is not a given. The correctness of a greedy algorithm must be formally proven to ensure that the algorithm is any good.
A strength and a weakness of the greedy algorithm paradigm is just how easy it is to apply. It is often quite easy to come up with plausible greedy algorithms for a problem, even multiple, different plausible greedy algorithms. This is a point of contrast with the divid-and-conquer algorithms, which are non-trivial to come up with.
A general approach to designing greedy algorithms has two steps. The first step involves looking at a few particular cases of the problem, where is reasonably intuitive what should be the optimal thing to do. While doing so attempt to come up with a single greedy score (or criterion) that aggregates various parameters of the individual elements of the problem. Then attempt to use the score and prove that it optimizes the objective function we are trying to compute in the algorithm. The weakness of greedy algorithm design, however, is that is really easy to come up with alternative "obvious" scores that might do the wrong thing. It is not obvious that a greedy algorithm that uses a particular score always minimizes the objective function. The correctness must be proven formally.
Greedy algorithms are usually easy to analyze from a running time perspective. However, they are generally much harder to be proven correct, it takes a lot of creativity and has a bit of an ad hoc flavor. Greedy algorithms can be proven correct by induction, as in the case of Dijkstra's shortest-path algorithm. Some text books call this method "greedy stays ahead", meaning that you prove that the greedy algorithm does the right thing iteration by iteration. The second method of proving greedy algorithms is by exchange argument.
⚠️ Most greedy algorithms are NOT correct, unless they are formally proven correct.
Examples of greedy algorithms and computational problems greedy algorithms are useful for:
- The optimal caching problem
- The job scheduling problem
- Graph algorithms:
- The clustering problem. Also see clustering algorithms below.
- Compression. Greedy algorithms can be used to compute optimal variable-length binary codes, and the canonical example is the computation of the Huffman codes with the Huffman algorithm.
Clustering Algorithms
Clustering algorithms aim to identify the best clustering of a set of objects according to some objective function, which is to say they aim to solve the clustering problem. Some of the most well known clustering algorithms are greedy.
Dynamic Programming Algorithms
Dynamic programming algorithms are optimized recursive algorithms, where we store the solution of smaller subproblems and use them in computing the solution for larger subproblems, avoiding duplicate work and yielding superior running times. The classic example where the difference between the straightforward recursive solution and the corresponding dynamic programming solution is obvious is computing Fibonacci numbers.
Number-Theoretic Algorithms
Number-theoretic algorithms are important due in large part to the invention of cryptographic schemes based on large prime numbers. Algorithms in this category are used to generate large prime numbers. Some of these algorithms, for example Miller-Rabin primality test algorithm, are not entirely correct, the sense that there is a very small chance of error, but the chance of error is so small that is considered acceptable.
NP Completeness
Multithreaded Algorithms
Multicore processors require algorithms designed with parallelism in mind. These are the multithreaded algorithms: