검색 결과

알고리즘은 [[연산]], [[데이터 마이닝]]([[기계 학습]]) 또는 [[자동화된 추론]]을 수행한다. [[정지문제]]의 결과로 알고리즘을 멈추기까지 걸리는 시간을 일반적으로 측정할 수 있 ...해석학|수치 알고리즘]], [[그래프 이론|그래프 알고리즘]], [[문자열|문자열 알고리즘]], [[암호학|암호학적 알고리즘]], [[기계 학습]], [[데이터 압축]] 등. ...

꼭짓점(V)은 상태, 변(E)은 가능한 전이로 표현되는 그래프와 같이, 만약 비결정적 [[추상 기계]]로 표현되는 어떤 문제에 대하여, 최단 경로 알고리즘은 목표 상태에 도달하기 위한 최적의 선택 순서를 찾거나, 주어진 상태에 도달하는 ...

...[[가산 집합]] 상에서 함수의 해를 찾는 문제와 관련이 있다. 1930년대 [[불완전성 정리]]와 함께 [[람다 대수]]와 [[튜링 기계]]라는 계산 모형이 만들어지면서, 어떤 집합이 효율적으로 계산 가능한지의 문제는 실질적으로 그 집합을 효율적으로 계산해 내는 함수를 만 ...능성 이론의 핵심과제를 풀기 위해서는 먼저 컴퓨터를 정의해야 한다. 계산에 쓰이는 많은 모형중에서도 가장 널리 알려진 모형은 [[튜링 기계]]이며 현존하는 가장 강력한 모형이다. 여기에 다음과 같은 다른 형태의 모형도 존재한다. ...

[[수학]] 또는 [[컴퓨터 과학]]에서 '''튜링 기계'''({{llang|en|Turing machine}})는 긴 테이프에 쓰여있는 여러 가지 기호들을 일정한 규칙에 따라 바꾸는 기계이다 이 장치에 영어 단어인 automatic의 a를 따서 "a-기계"라는 이름을 붙였다. 이 기계가 바로 나중에 창시자인 앨런 튜링의 이름을 따서 튜링 기계라 불리게 되었다. ...

단체 호몰로지는 임의의 추상 단체 복합체에 대한 간단한 방식에 의해 정의된다. 단체 호몰로지는 연관된 위상 공간에만 의존한다는 것은 주목할 만한 사실이다.<ref> ...tto-tda giotto-tda] 및 [https://gudhi.inria.fr/ GUDHI]와 같은 라이브러리가 있으며 후자는 [[기계 학습]]을 위한 위상수학적 기능 생성을 목표로 한다. 이들은 PyPI 저장소에서 찾을 수 있다. ...

...k''에 대해 [[다중로그|다항 로그]] 시간 동안 수행된다고 말할 수 있다. 예를 들면, [[행렬]] 체인 곱은 병렬 ''랜덤 접근 기계'' (Parallel Random Access Machine: PRAM)에서 다항 로그 시간에 해결할 수 있다. 서브-선형 시간 알고리즘이라는 특정 용어는 알고리즘들이 전형적인 일렬 기계 모델에서 작동하며 입력에 대해 우선 가정을 허용하지 않는다는 점에서, 위와는 다른 알고리즘을 말한다. 그러나 이 알고리즘들은 랜덤화 될 ...

...한 오토마타 finite automata)는 컴퓨터 프로그램과 전자 논리 회로를 설계하는 데에 쓰이는 수학적 모델이다. 간단히 '상태 기계'라고 부르기도 한다. 유한 상태 기계는 유한한 개수의 상태를 가질 수 있는 [[오토마타 이론|오토마타]], 즉 [[추상 기계]]라고 할 수 있다. 이러한 기계는 한 번에 오로지 하나의 상태만을 가지게 되며, [[현재 상태]](Current State)란 임의의 ...