검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- {{다른 뜻 넘어옴|재귀 이론}} ...理論, {{llang|en|recursion theory}})은 [[수학기초론]]의 중요한 분야이자 [[컴퓨터 과학]]에서는 [[계산 이론]]의 한 갈래이다. ...18 KB (199 단어) - 2022년 7월 23일 (토) 05:32
문서 내용 일치
- ...computable function)는 그 함수의 결과값을 특정한 계산 방식을 따라 유한 시간 안에 얻어낼 수 있는 함수를 의미한다. 계산 가능한 함수는 [[알고리즘]]의 개념을 함수로 표현한 것으로 볼 수 있는데, 이때 함수는 특정한 알고리즘으로 정의되고, 해당 알고리즘을 ...구체적인 정의는 계산 모델에 따라 결정되는데, 다음의 계산 모델은 모두 동일한 계산 가능성을 가지며, 따라서 이를 기반으로 정의하는 계산 가능한 함수 역시 동일한 의미를 가진다. ...2 KB (34 단어) - 2024년 6월 2일 (일) 23:01
- '''실행 시간'''은 [[알고리즘 설계|알고리즘 분야]]나 [[계산 복잡도 이론]]에서 어떤 프로그램이 시작하여 종료되기까지 걸리는 시간 길이를 뜻한다. 점근 표기법({{llang|en|Big-O notation}})이란 [[계산 이론]]에서 실행 시간을 나타내는 수학적 척도로 사용되는 근사적 표기법이다. 기호 'O'는 점근적 [[상한]]을 나타내기 위해 쓰인다. 즉, ...796 바이트 (12 단어) - 2024년 10월 13일 (일) 03:22
- [[계산 가능성 이론]]에서 '''재귀 집합'''({{llang|en|recursive set}}) 또는 '''계산 가능 집합'''({{llang|en|computable set}})은 어떤 자연수가 그 집합에 속하는지 아닌지를 유한한 시간 안에 판별 *다음과 같은 전역 [[계산 가능 함수]] <math>f</math>가 존재한다: <math>f(x) = \begin{cases} 1 & \mbox{if } x \ ...2 KB (127 단어) - 2022년 7월 28일 (목) 00:34
- [[계산 복잡도 이론]]에서 '''IP'''(Interactive Polynomial time)는 [[대화형 증명 체계]]로 풀 수 있는 문제의 집합이다. ...567 바이트 (9 단어) - 2023년 7월 9일 (일) 12:32
- [[분류:계산 가능성 이론]] [[분류:계산 이론]] ...2 KB (54 단어) - 2022년 2월 6일 (일) 07:02
- [[계산 가능성 이론]]에서 '''원시 재귀 함수'''({{llang|en|primitive recursive function}})은 원시 [[재귀]]와 [ [[분류:계산 가능성 이론]] ...2 KB (142 단어) - 2022년 2월 6일 (일) 07:02
- ...[조합 최적화]] 문제의 일종이다. 줄여서 '''TSP'''라고도 쓴다. 이 문제는 [[NP-난해]]에 속하며, 흔히 [[계산 복잡도 이론]]에서 해를 구하기 어려운 문제의 대표적인 예로 많이 다룬다. ...해밀턴 순환]]을 구하라"라고 표현할 수 있다. 이 문제는 반드시 시작점으로 돌아와야 한다는 제약 조건을 없애도 [[계산 복잡도 이론|계산 복잡도]]는 변하지 않는다. ...3 KB (53 단어) - 2025년 3월 3일 (월) 11:39
- == 계산 == [[분류:민주주의 이론]] ...2 KB (68 단어) - 2025년 3월 8일 (토) 14:28
- ...language}}, 귀납적 가산 언어(歸納的可算言語)), '''부분 결정성 언어''' 또는 '''튜링 수리성 언어'''는 [[계산 이론]]과 [[수리논리학]]에서 다루는 [[형식 언어]]의 종류로, 문자열의 집합의 [[재귀 열거 집합|재귀 열거인 부분집합]]이다. [[촘 # 재귀 열거 언어는 언어의 모든 옳은 문자열을 세는 [[튜링 기계]] (또는 다른 계산 가능 함수)가 존재하는 형식언어이다. 주목할 것은 만약 언어가 [[무한]]하다면 제공된 가산알고리듬을 고를 수 있어 반복을 피할 수 있 ...3 KB (60 단어) - 2023년 3월 11일 (토) 14:02
- == 지진 활동 계산 == {{지진 이론}} ...2 KB (93 단어) - 2025년 1월 27일 (월) 10:26
- '''선형 시간'''(線型時間, Linear time)이란, [[계산 복잡도 이론]]에서, 입력의 길이 <math>n</math>에 대하여, 어떤 [[알고리즘]]의 실행시간이 [[선형성|선형]]([[점근 표기법|<ma ...연구는 현재까지 이루어져왔다. 이 연구는 소프트웨어 뿐만 아니라 하드웨어 적인 수단 또한 포함되어 있다. 하드웨어의 경우, 표준적인 계산 모델에서는 선형시간을 얻어낼 수 없는 알고리즘을 선형시간으로 수행하는 것이 가능한 경우가 있다.<ref>예: [[연상 메모리]](con ...3 KB (64 단어) - 2024년 3월 6일 (수) 11:01
- [[알고리즘]]이나 [[자료 구조]]의 '''공간 복잡도'''(空間複雜度, space complexity)는 입력의 특성에 따라 [[계산 문제]]의 인스턴스를 해결하는 데 필요한 메모리 공간의 양이다. 이는 알고리즘이 완전히 실행될 때까지 필요한 메모리이다. 여기에는 입력 [[공간 계층 이론]]에 따르면 공간 구성이 가능한 모든 함수 <math>f(n)</math>에 대해 메모리 공간 <math>f(n)</math>을 가진 ...3 KB (148 단어) - 2024년 3월 31일 (일) 10:05
- 두 <math>n\times n</math> 퇴플리츠 행렬 <math>M,M'</math>에 대하여, 각종 연산의 [[계산 복잡도 이론|계산 복잡도]]는 다음과 같다. ...2 KB (120 단어) - 2025년 3월 3일 (월) 12:11
- [[계산 이론]]에서 '''재귀적 열거 가능 집합'''(Recursively enumberable set), '''귀납적 가산 집합'''(歸納的可算集 [[계산 복잡도 이론]]에서 이와 같은 집합을 모임 [[RE (복잡도)]]로 분류한다. ('''c.e.''') ...5 KB (136 단어) - 2022년 7월 28일 (목) 00:27
- [[그래프 이론]]과 [[매트로이드 이론]]에서 '''텃 다항식'''(Tutte多項式, {{llang|en|Tutte polynomial}})은 [[유한 그래프]] 및 유한 [ [[분류:계산 문제]] ...2 KB (160 단어) - 2024년 5월 7일 (화) 13:52
- ...function}}) 또는 간단히 '''재귀 함수'''란, [[자연수]]에서 자연수로의 '계산가능한' [[부분 함수]]이다. [[재귀 이론]]에서는, μ-재귀 함수와 [[튜링 기계]]로 계산가능한 함수가 일치하는 것임이 알려져 있다. 유명한 예로 [[피보나치 수]] 등이 있 또 재귀함수와 일치하는 개념으로는, [[람다 계산]]에서 쓰이는 재귀함수나 [[마르코프 알고리즘]](Markov algorithms)으로 계산가능한 함수 등이 있다. ...6 KB (307 단어) - 2024년 5월 7일 (화) 04:05
- ...ic, '''CTL''')은 [[분기시간논리]]의 한 종류로, 어떤 상태에서 실행이 가능한 상태로의 경로를 트리 구조로 전개한 결과인 계산 트리와 의미론이 정의된 논리 체계이다.<ref>소프트웨어과학기초, TopSE 기초강좌1, 磯部祥尚 외, 近代科学社, {{ISBN|978 [[분류:오토마타 이론]] ...3 KB (141 단어) - 2024년 7월 7일 (일) 00:35
- [[복잡도 이론]]과 [[계산 복잡도 이론]]에서 '''환산'''({{lang|en|reduction|리덕션}})은 어떤 문제를 다른 문제로 변형하는 과정이다. {{lang|en [[분류:계산 복잡도 이론]] ...4 KB (188 단어) - 2024년 5월 5일 (일) 12:39
- == 이론 == 해시 충돌을 찾을 때까지 여러 입력값을 대입하여 계산할 경우, 계산 횟수의 [[기댓값]]은 다음과 같다. ...2 KB (146 단어) - 2025년 3월 3일 (월) 11:12
- [[스튀름-리우빌 이론|스튀름-리우빌 형식]]으로 쓰면, ...방정식이 [[스튀름-리우빌 이론|스튀름-리우빌 문제]]에 속하기 때문이다. 즉, 르장드르 미분 방정식을 다음과 같이 [[스튀름-리우빌 이론|스튀름-리우빌 형식]]으로 놓을 수 있다. ...5 KB (367 단어) - 2024년 6월 2일 (일) 09:57