Concepts inVisualizing the computation tree of the Tutte Polynomial
W. T. Tutte
William Thomas Tutte, OC, FRS, known as Bill Tutte, (May 14, 1917 – May 2, 2002) was a British, later Canadian, codebreaker and mathematician. During World War II he made a brilliant and fundamental advance in Cryptanalysis of the Lorenz cipher, a major German cipher system, which had a significant impact on the Allied victory in Europe. He also had a number of significant mathematical accomplishments, including foundation work in the fields of combinatorics and graph theory.
more from Wikipedia
Computation tree
A computation tree is a representation for the computation steps of a non-deterministic Turing machine on a specified input. A computation tree is a rooted tree of nodes and edges. Each node in the tree represents a single computational state, while each edge represents a transition to the next possible computation. The number of nodes of the tree is the size of the tree and the length of the path from the root to a given node is the depth of the node.
more from Wikipedia
Polynomial
In mathematics, a polynomial is an expression of finite length constructed from variables and constants, using only the operations of addition, subtraction, multiplication, and non-negative integer exponents. For example, x − x/4 + 7 is a polynomial, but x − 4/x + 7x is not, because its second term involves division by the variable x (4/x), and also because its third term contains an exponent that is not an integer (3/2).
more from Wikipedia
Heuristic
Heuristic refers to experience-based techniques for problem solving, learning, and discovery. Where an exhaustive search is impractical, heuristic methods are used to speed up the process of finding a satisfactory solution. Examples of this method include using a rule of thumb, an educated guess, an intuitive judgment, or common sense.
more from Wikipedia
Algorithm
In mathematics and computer science, an algorithm Listen/ˈælɡərɪðəm/ (originating from al-Khwārizmī, the famous mathematician Muḥammad ibn Mūsā al-Khwārizmī) is a step-by-step procedure for calculations. Algorithms are used for calculation, data processing, and automated reasoning. More precisely, an algorithm is an effective method expressed as a finite list of well-defined instructions for calculating a function.
more from Wikipedia