계산성 및 복잡성 항목 목록
List of computability and complexity topics이것은 위키피디아 페이지별 계산가능성과 복잡성 항목의 목록이다.
계산가능성 이론은 원칙적으로 계산할 수 있는 것을 다루는 계산 이론의 부분이다.계산 복잡성 이론은 양적 측면에서 계산이 얼마나 어려운지를 다루고 있으며, 상한(최악의 경우 계산 자원의 사용으로서 복잡성을 추정할 수 있는 알고리즘)과 하한(일부 작업을 수행하는 어떤 절차도 매우 빠를 수 없다는 방증)을 모두 다룬다.
추상적인 기초적인 문제에 대해서는 수학 논리 항목의 목록을 참조하십시오.알고리즘 목록, 알고리즘 일반 항목을 참조하십시오.
계산
연산성 이론: 연산 모델
- 산술 회로
- 알고리즘.
- 유한 상태 오토매개
- 푸시다운 오토매틱
- 부치 오토매틱
- 촘스키 계층 구조
- 등록기
- 스택 머신
- 페트리 그물
- 포스트 머신
- 재작성
- 별높이
- 셀룰러 오토매틱
- 튜링머신
- 람다 미적분학
- 결합 논리학
- 병렬 컴퓨팅
- 플린의 분류법
- 양자 컴퓨터
- 교회-튜링 논문
의사결정 문제
정의 가능한 질문
복잡성 이론
- 조언(복잡성)
- 상각분석
- 아서-머린 프로토콜
- 최고 및 최악의 경우
- 바쁜 비버
- 회로 복잡성
- 생성 가능한 함수
- 쿡의 정리
- 지수 시간
- 함수 문제
- 선형시간
- 선형속도상승정리
- 자연증거
- 다항식 시간
- 다항식 시간 다대일 축소
- 다항 시간 튜링 감소
- 사비치의 정리
- 공간 위계 정리
- 속도 이전
- 스피드업 정리
- 하위 수량 시간
- 시간 계층 정리
복잡도 클래스
복잡성 클래스 목록 보기
명명된 문제
- 클라이크 문제
- 해밀턴 사이클 문제
- 해밀턴 경로 문제
- 정수 인자화
- 배낭문제
- 만족도 문제
- 부분집합 문제
- 3SUM
- 출장 판매원 문제
- 정점 커버 문제
- 편도함수
- 커버 문제 설정
- 독립 집합 문제