R (복잡도)
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
R (복잡도)는 모든 전역 계산 가능 함수의 집합과 동일하다. 결정 문제는 해당 지표 함수가 계산 가능한 경우에만 R에 속하며, 전역 함수는 해당 함수의 그래프가 R에 속하는 경우에만 계산 가능하다. RE (재귀 열거 가능 집합)와 co-RE (RE의 여집합)의 교집합은 재귀 집합과 같다.
재귀 집합 R은 모든 전역 계산 가능 함수의 집합과 동치 관계로 간주된다. 이는 결정 문제의 지표 함수가 계산 가능 함수인지 여부와, 전역 함수의 함수의 그래프가 R에 속하는지 여부를 통해 설명된다.
재귀 집합(R)은 계산 가능성 이론의 다른 복잡도 종류들과 밀접한 관계를 맺고 있다. 특히, '''RE'''와 '''co-RE'''의 교집합과 동일하다.
2. 동치 공식
2. 1. 결정 문제
어떤 결정 문제가 있을 때, 그 문제의 지표 함수가 계산 가능하다면, 그 문제는 R에 속한다.
2. 2. 전역 함수
전역 함수는 해당 함수의 그래프가 재귀 집합 (R)에 속하는 경우에만 계산 가능 함수이다.
3. 다른 복잡도 클래스와의 관계
3. 1. RE와 co-RE의 교집합
인식기와 공동 인식기가 모두 존재하는 문제는 두 인식기를 번갈아 실행하여 항상 결과를 얻을 수 있다. 따라서 이러한 문제들의 복잡도 종류인 재귀 집합(R)은 '''RE'''와 '''co-RE'''의 교집합(∩)과 같다.
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com