브라우저보다 빠른!
12 처지: 복잡도 종류, 계산 복잡도 이론, 다항 시간, 다항 시간 근사 해법, 크리스토스 파파디미트리우, 충족 가능성 문제, 환산 (복잡도), L-환산, NP (복잡도), NP-난해, NP-완전, P-NP 문제.
복잡도 종류
복잡도 종류(複雜度 種類)는 계산 복잡도 이론에서 계산 복잡도에 따라서 문제를 분류한 것이.
새로운!!: MAX-SNP와 복잡도 종류 · 더보기 »
계산 복잡도 이론
산 복잡도 이론(Computational complexity theory)은 컴퓨터 과학에서 계산 이론의 분야로, 계산 문제를 푸는 알고리즘을 복잡도에 따라 분류하여 문제의 모임을 구성하는 방법을 연. 이 때 알고리듬의 수행은 실제 컴퓨터가 할 수 있지만, 평가하는 데에는 튜링 기계와 관련이 있는 정량화된 방법을 사용.
새로운!!: MAX-SNP와 계산 복잡도 이론 · 더보기 »
다항 시간
항 시간(多項時間)은 어떠한 문제를 계산하는 데에 걸리는 시간 m(n)이 문제의 크기 n의 다항식 함수보다 크지 않은 것을 가리.
새로운!!: MAX-SNP와 다항 시간 · 더보기 »
다항 시간 근사 해법
항 시간 근사 해법(polynomial-time approximation scheme, PTAS)은 최적화 문제에 대한 근사 알고리즘의 한 종류이.
새로운!!: MAX-SNP와 다항 시간 근사 해법 · 더보기 »
크리스토스 파파디미트리우
리스토스 파파디미트리우 크리스토스 파파디미트리우 (Χρίστος Χαρίλαος Παπαδημητρίου, Christos Harilaos Papadimitriou, 1949년 8월 16일~) 는 UC 버클리의 전산학 교수이.
새로운!!: MAX-SNP와 크리스토스 파파디미트리우 · 더보기 »
충족 가능성 문제
충족 가능성 문제(充足可能性問題, satisfiability problem, SAT)는 어떠한 변수들로 이루어진 논리식이 주어졌을 때, 그 논리식이 참이 되는 변수값이 존재하는지를 찾는 문제이.
새로운!!: MAX-SNP와 충족 가능성 문제 · 더보기 »
환산 (복잡도)
복잡도 이론과 계산 복잡도 이론에서 환산(reduction)은 어떤 문제를 다른 문제로 변형하는 과정이.
새로운!!: MAX-SNP와 환산 (복잡도) · 더보기 »
L-환산
L-환산(L-reduction)은 최적화 문제 간의 근사 비율을 선형 보존하는 환산이.
새로운!!: MAX-SNP와 L-환산 · 더보기 »
NP (복잡도)
NP는 비결정론적 튜링 기계(NTM)로 다항 시간 안에 풀 수 있는 판정 문제의 집합으로, NP는 비결정론적 다항시간(非決定論的 多項時間, Non-deterministic Polynomial time)의 약자이.
새로운!!: MAX-SNP와 NP (복잡도) · 더보기 »
NP-난해
NP-난해, NP-hard는 NP에 속하는 모든 판정 문제를 다항 시간에 다대일 환산할 수 있는 문제들의 집합이.
새로운!!: MAX-SNP와 NP-난해 · 더보기 »
NP-완전
NP-완전(NP-complete, NP-C, NPC)은 NP 집합에 속하는 결정 문제 중에서 가장 어려운 문제의 부분집합으로, 모든 NP 문제를 다항 시간 내에 NP-완전 문제로 환산할 수 있. NP-완전 문제 중 하나라도 P에 속한다는 것을 증명한다면 모든 NP 문제가 P에 속하기 때문에, P-NP 문제가 P.
새로운!!: MAX-SNP와 NP-완전 · 더보기 »
P-NP 문제
P는 NP에 속하지만, NP가 P에 속하는지 여부는 밝혀지지 않았다. P-NP 문제는 복잡도 종류 P와 NP가 같은지에 대한 컴퓨터 과학의 미해결 문제로 컴퓨터로 풀이법이 빠르게 확인된 문제가 컴퓨터로 빠르게 풀리기도 할 것인가 아닌가를 묻고 있. 1971년 스티븐 쿡이 그의 논문 〈The Complexity of Theorem Proving Procedures〉(정리 증명 절차의 복잡성)에서 처음으로 제안하였고 클레이 수학연구소에서 발표한 7개의 '밀레니엄 문제' 중 하나이며 컴퓨터 과학에서 중요한 위치를 차지하고 있. 이것은 본래 1956년 쿠르트 괴델이 존 폰 노이만에게 썼던 편지에서 처음으로 언급되었.
새로운!!: MAX-SNP와 P-NP 문제 · 더보기 »
