- 업종: Technology
- Number of terms: 2742
- Number of blossaries: 0
- Company Profile:
The National Institute of Standards and Technology (NIST) — known between 1901 and 1988 as the National Bureau of Standards (NBS) — is a measurement standards laboratory and a non-regulatory agency of the United States Department of Commerce. The institute's official mission is to promote U.S. ...
A problem expressible in the following form. Given an n × m real matrix A, m-vector b and n-vector c, determine min<sub>x</sub>(c· x
Industry:Computer science
A problem for which no algorithm can exist which computes all instances of it in polynomial time.
Industry:Computer science
A problem that cannot be solved by a Turing machine.
Industry:Computer science
A problem that cannot be solved for all cases by any algorithm whatsoever---equivalently, whose associated language cannot be recognized by a Turing machine that halts for all inputs.
Industry:Computer science
A problem which has an algorithm which computes all instances of it in polynomial time.
Industry:Computer science
A problem with a "yes" or "no" answer. Equivalently, a function whose range is two values, such as (0,1).
Industry:Computer science
A proof technique for showing that a given language does not belong to a given complexity class, used in many separation theorems.
Industry:Computer science
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) always appear with temporal operators (F, G, X, U, etc.). Therefore CTL formulas are state formulas.
Industry:Computer science
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 language, often with the goal of revealing no further details about this knowledge. The prover(s) and verifier are formally defined as probabilistic Turing machines with special "interaction tapes" for exchanging messages.
Industry:Computer science
