Beslissingsprobleem oor Engels

Beslissingsprobleem

Vertalings in die woordeboek Nederlands - Engels

decision problem

naamwoord

voorbeelde

In de wiskunde en informatica is het zogeheten Entscheidungsproblem (Duits: beslissingsprobleem) een uitdaging van David Hilbert in 1928.
In mathematics and computer science, the Entscheidungsproblem (pronounced , German for "decision problem") is a challenge posed by David Hilbert in 1928.

Hoewel Ramsey waarschijnlijk voor dit werk op dit moment het best wordt herinnerd, bewees hij deze stelling terloops, als een klein lemma op weg naar het ware doel van zijn artikel, het oplossen van een speciaal geval van de beslissingsprobleem voor eerste-orde logica.
While this theorem is the work Ramsey is probably best remembered for, he only proved it in passing, as a minor lemma along the way to his true goal in the paper, solving a special case of the decision problem for first-order logic, namely the decidability of what is now called the Bernays–Schönfinkel–Ramsey class of first-order logic, as well as a characterisation of the spectrum of sentences in this fragment of logic.

Alexis heeft ook een beslissingsprobleem, en ik wil er zijn als ze haar besluit neemt.
Alexis has a little head-heart problem of her own, and I want to be there for the decision.

Beslissingsprobleem
Decisionmaking

Soms wordt gezegd dat σ (op synonieme wijze) onbeslisbaar is vanuit T; dit is niet dezelfde betekenis van "beslisbaarheid" als wordt gebruikt bij een beslissingsprobleem.
Sometimes, σ is said (synonymously) to be undecidable from T; this is not the same meaning of "decidability" as in a decision problem.

Het beslissingsprobleem, werd het vaak genoemd.
It was often referred to as the decision problem.

Dit klassieke beslissingsprobleem bij laserbewerking lost de TruLaser Center 7030 nu op.
The TruLaser Center 7030 is the first solution to resolve this classic decision-making dilemma in laser processing.

Hierdoor kan men een beslissingsprobleem ook definiëren als de verzameling van invoerwaarden waarvoor het antwoord 'ja' is.
Because of this, it is traditional to define the decision problem equivalently as: the set of possible inputs together with the set of inputs for which the problem returns yes.

Een beslissingsprobleem is beslisbaar als er een algoritme bestaat waarmee het probleem opgelost kan worden.
A method for solving a decision problem, given in the form of an algorithm, is called a decision procedure for that problem.

De complexiteitsklasse P is een deelverzameling van NP; een niet-deterministische turingmachine die geen niet-determinisme gebruikt is namelijk gelijk aan een deterministische turingmachine. De beslissingsproblemen in P behoren dus ook tot NP. Het vermoeden bestaat dat P een strikte deelverzameling van NP is.
As a complexity class[edit] The term PTAS may also be used to refer to the class of optimization problems that have a PTAS. PTAS is a subset of APX, and unless P = NP, it is a strict subset.

De beslissingsproblemen in P behoren dus ook tot NP.
Class of decision problems which contains the hardest problems in NP.

Alle NP-volledige problemen behoren, per definitie, tot NP: een beslissingsprobleem is NP-volledig als het tot de complexiteitsklasse NP behoort en als elk ander beslissingsprobleem uit NP ernaar gereduceerd kan worden.
(If P and NP are the same class, then NP-intermediate problems do not exist because in this case every NP-complete problem would fall in P, and by definition, every problem in NP can be reduced to an NP-complete problem.)

De beslissingsproblemen in P behoren dus ook tot NP.
Problems in NP not known to be in P or NP-complete

P is een deelverzameling van de complexiteitsklasse NP, de klasse met beslissingsproblemen die oplosbaar zijn in polynomiale tijd door een niet-deterministische turingmachine.
A generalization of P is NP, which is the class of decision problems decidable by a non-deterministic Turing machine that runs in polynomial time.

VUB-MOSI • Evaluatiemethoden in de menswetenschappen, in het bijzonder voor sociale en economische beslissingsproblemen.
VUB-MOSI • evaluation methods in the human sciences, in particular for social and economical decision problems.

Traditioneel zijn productie en distributie als twee onafhankelijke beslissingsproblemen onderzocht.
Production and distribution have traditionally been studied as two independent decision problems.

Ja, we kunnen de witbalans regelen met de handmatige modus, het is ook een beslissingsprobleem op het niveau van de witbalans dat tot deze situatie leidt, wanneer ik een andere toepassing voor de foto gebruik, krijg ik verschillende resultaten.
Yes we can control the white balance with the manual mode, it is also a decision problem at the level of the white balance which leads to this situation, when I use another application for the photo, I get different results.