Turing Machine simulator A Turing machine is a hypothetical device that manipulates symbols on a strip of tape according to a table of rules. Despite its simplicity, a Turing machine can be adapted to simulate the logic of an... Turing Machine simulator - Wikipedia
 Turing Machine simulator - Wikipedia
 Turing machine equivalents A Turing machine is a hypothetical device with an infinite memory capacity, first conceived by Alan Turing in 1936. The machine manipulates symbols on a potentially infinite strip of tape according to... Turing machine equivalents - Wikipedia
 Register machine In mathematical logic and theoretical computer science a register machine is a generic class of abstract machines used in a manner similar to a Turing machine. All the models are Turing equivalent.
 Post-Turing machine A Post–Turing machine is a "program formulation" of an especially simple type of Turing machine, comprising a variant of Emil Post's Turing-equivalent model of computation described below. (Post's mo... Post-Turing machine - Wikipedia
 Universal Turing machine In computer science, a universal Turing machine (UTM) is a Turing machine that can simulate an arbitrary Turing machine on arbitrary input. The universal machine essentially achieves this by reading b...
 Computational complexity theory Computational complexity theory is a branch of the theory of computation in theoretical computer science and mathematics that focuses on classifying computational problems according to their inherent ...
 Church-Turing thesis In computability theory, the Church–Turing thesis (also known as the Turing–Church thesis, the Church–Turing conjecture, Church's thesis, Church's conjecture, and Turing's thesis) is a hypothesis ("t...
 Existential theory of the reals In mathematical logic, computational complexity theory, and computer science, the existential theory of the reals is the set of all true sentences of the formwhere is a quantifier-free formula involv...
 FNP (complexity) In computational complexity theory, the complexity class FNP is the function problem extension of the decision problem class NP. The name is somewhat of a misnomer, since technically it is a class of ...
 NP-hard NP-hard (Non-deterministic Polynomial-time hard), in computational complexity theory, is a class of problems that are, informally, "at least as hard as the hardest problems in NP". More precisely, a ...
 AC0 AC is a complexity class used in circuit complexity. It is the smallest class in the AC hierarchy, and consists of all families of circuits of depth O(1) and polynomial size, with unlimited-fanin AND...
 Nurikabe The nurikabe (ぬりかべ) is a Yōkai, or spirit, from Japanese folklore. It manifests as a wall that impedes or misdirects walking travelers at night. Trying to go around is futile as it extends itself for... Nurikabe - Wikipedia
 Branching factor In computing, tree data structures, and game theory, the branching factor is the number of children at each node, the outdegree. If this value is not uniform, an average branching factor can be calcu...
 Sudoku Sudoku (数独, sūdoku, Digit-single) /suːˈdoʊkuː/, /-ˈdɒ-/, /sə-/; originally called Number Place, is a logic-based, combinatorial number-placement puzzle. The objective is to fill a 9×9 grid wit... Sudoku - Wikipedia
 FP (complexity) In computational complexity theory, the complexity class FP is the set of function problems which can be solved by a deterministic Turing machine in polynomial time; it is the function problem version...
 Nonogram Nonograms, also known as Hanjie or Griddlers, are picture logic puzzles in which cells in a grid must be colored or left blank according to numbers at the side of the grid to reveal a hidden picture. ... Nonogram - Wikipedia
 Vertex cycle cover In mathematics, a vertex cycle cover (commonly called simply cycle cover) of a graph G is a set of cycles which are subgraphs of G and contain all vertices of G. If the cycles of the cover have no ver...
 Steiner tree problem The Steiner tree problem, or the minimum Steiner tree problem, named after Jakob Steiner, is a problem in combinatorial optimization, which may be formulated in a number of settings, with the common p...
 Co-RE In computability theory and computational complexity theory, RE (recursively enumerable) is the class of decision problems for which a 'yes' answer can be verified by a Turing machine in a finite amou...
 Probabilistically checkable proof In computational complexity theory, a probabilistically checkable proof (PCP) is a type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounde...
 Pseudorandom generator theorem In computational complexity theory and cryptography, the existence of pseudorandom generators is related to the existence of one-way functions through a number of theorems, collectively referred to as...
 Set packing Set packing is a classical NP-complete problem in computational complexity theory and combinatorics, and was one of Karp's 21 NP-complete problems.Suppose we have a finite set S and a list of subsets ...
 PolyL In computational complexity theory, polyL is the complexity class of decision problems that can be solved on a deterministic Turing machine by an algorithm whose space complexity is bounded by a polyl... PolyL - Wikipedia
 Metric k-center In graph theory, the metric k-center or metric facility location problem is a combinatorial optimization problem studied in theoretical computer science. Given n cities with specified distances, one ...
 RSA problem In cryptography, the RSA problem summarizes the task of performing an RSA private-key operation given only the public key. The RSA algorithm raises a message to an exponent, modulo a composite number ...
 Yao's principle In computational complexity theory, Yao's principle or Yao's minimax principle states that the expected cost of a randomized algorithm on the worst case input, is no better than a worst-case random pr...
 Masyu Masyu (ましゅ, Mashu, IPA [maʃɯ]; translates as "evil influence")) is a type of logic puzzle designed and published by Nikoli. The purpose of its creation was to present a puzzle that uses no nu...
 Probabilistic Turing machine In computability theory, a probabilistic Turing machine is a non-deterministic Turing machine which randomly chooses between the available transitions at each point according to some probability distr...
 Logical depth Logical depth is a measure of complexity devised by Charles H. Bennett based on the computational complexity of an algorithm that can recreate a given piece of information. It differs from Kolmogorov ...
 PCP theorem In computational complexity theory, the PCP theorem (also known as the PCP Characterization Theorem) states that every decision problem in the NP complexity class has probabilistically checkable proof...