RE (계산 복잡도 이론)

에서RE(recursively enumerable)은 (Turing machine)에서 유한 시간에 'yes' 라는 답을 얻을 수있는 집합이다. 반대로 해가 'no'인 경우 시스템이 정지할지 여부도 보장되지 않는다.

RE또한 해가 'yes'인 같은 문제를 튜링 기계를 사용하여 열거 가능한 결정 문제의 클래스이기도하다. 따라서 'enumerable'(매거 가능)로 불린다.

답이 'no'의 경우 유사한 특성이되는 클래스를 Co-RE라고 부른다.

RE의 각 요소는 (recursively enumerable set)이다.

다른 클래스와의 관계

RE는*보다 엄격하게 큰 것으로 알려져 있으며, Co-*RE로 엄격하게 동일하지 않은 것으로 알려져있다. 여기에는 다음과 같은 관계가있다.

R = RE ∩ Co-RE {\ displaystyle {\ textbf {R}} = {\ textbf {RE}} \ cap {\ textbf {Co-RE}}}! [{\ displaystyle {\ textbf {R} } = {\ textbf {RE}} \ cap {\ textbf {Co-RE}}}] (https://wikimedia.org/api/rest_v1/media/math/render/svg/11045d27f5ee9eb0322b561c964cadad99c17203)

*.

|이 항목은 관련****입니다. 같은 해 주시는 (/). — | —

Post Date : 2018-02-07 23:00

This article is taken from the Japanese Wikipedia RE (계산 복잡도 이론)

This article is distributed by cc-by-sa or GFDL license in accordance with the provisions of Wikipedia.

Wikipedia and Tranpedia does not guarantee the accuracy of this document. See our disclaimer for more information.

In addition, This site is simply not responsible for any show is only by translating the writings of foreign licenses that are compatible with CC-BY-SA license information.