Home > Industry/Domain > Computer science > Algorithms & data structures
Algorithms & data structures
The optimization of programming methods and organization of information to achieve a desired result more efficiently.
Industry: Computer science
Add a new termContributors in Algorithms & data structures
Algorithms & data structures
tractable
Computer science; Algorithms & data structures
A problem which has an algorithm which computes all instances of it in polynomial time.
decision problem
Computer science; Algorithms & data structures
A problem with a "yes" or "no" answer. Equivalently, a function whose range is two values, such as (0,1).
diagonalization
Computer science; Algorithms & data structures
A proof technique for showing that a given language does not belong to a given complexity class, used in many separation theorems.
CTL
Computer science; Algorithms & data structures
A propositional, branching-time temporal logic for which formulas can be checked in linear time. An acronym for Computation Tree Logic. CTL differs from CTL* in that in CTL path quantifiers (E and A) ...
interactive proof system
Computer science; Algorithms & data structures
A protocol in which one or more provers try to convince another party, called the verifier, that the prover(s) possess certain true knowledge, such as the membership of a string x in a given ...
linear quadtree
Computer science; Algorithms & data structures
A quadtree implemented as a single array of nodes.
Deutsch-Jozsa algorithm
Computer science; Algorithms & data structures
A quantum algorithm to determine whether a function is constant or balanced, that is, returns 1 for half the domain and 0 for the other half. For a function taking n input qubits, first, do Hadamards ...