신탁 기계 oor Engels

신탁 기계

Vertalings in die woordeboek Koreaans - Engels

oracle machine

naamwoord

type of abstract machine used to study decision problems

voorbeelde

예를 들어 신탁 기계는 임의의 신탁 기계가 멈추는지 아닌지를 판정할 수 없다.
For example, an Oracle machine cannot answer the question of whether a given Oracle machine will ever halt.

즉, BPP 문제를 즉시 해결할 수 있는 BPP 기계 (BPP 신탁기계)는 이런 별도의 능력이 없는 기계보다 강력하지 않기 때문이다.
BPP is low for itself, meaning that a BPP machine with the power to solve BPP problems instantly (a BPP oracle machine) is not any more powerful than the machine without this extra power.

토다 정리(Toda's theorem, (일본어: 戸田誠之助 도다 세이노스케)의 이름을 땄다)에서 나오는 결론 중 하나는, #P 신탁이 있는 다항 시간 기계(P#P)는 PH에 속하는 모든 문제를 풀 수 있다는 것이다.
One consequence of Toda's theorem is that a polynomial-time machine with a ♯P oracle (P♯P) can solve all problems in PH, the entire polynomial hierarchy.

현재 전산화 된 퀼트 기계는 여전히 완전 자동화 된 신탁 개발을 생각하고 어느 날이 왔는지 알 수 없지만 이번에는 제조 업체의 희망이 있지만 사회적인 기대는 아니며 분명히 많은 실업자가 발생할 것입니다.
At present Computerized quilting machine still thinking of fully automated trust development, do not know which day is when the arrival of, but this time comes manufacturers hope, but is not that social expectations, this results in obviously will cause a lot of unemployed workers.