"결정 문제"의 두 판 사이의 차이

3번째 줄: 3번째 줄:
;[[決定]] [[問題]]
;[[決定]] [[問題]]
;결정 문제, 판정 문제
;결정 문제, 판정 문제
* 대략 "계산 가능한 문제"
* 각 입력에 대해서 수리나 거절 중 하나를 출력하는 형식의 문제
* 각 입력에 대해서 수리나 거절 중 하나를 출력하는 형식의 문제
* 수학적으로 계산 가능하며, 컴퓨터를 이용하여 풀 수 있는 문제
* 수학적으로 계산 가능하며, 컴퓨터를 이용하여 풀 수 있는 문제

2019년 1월 11일 (금) 20:00 판

1 개요

decision problem
決定 問題
결정 문제, 판정 문제
  • 대략 "계산 가능한 문제"
  • 각 입력에 대해서 수리나 거절 중 하나를 출력하는 형식의 문제
  • 수학적으로 계산 가능하며, 컴퓨터를 이용하여 풀 수 있는 문제
  • 예: 어떤 명제논리식을 충족하는 진리값이 있는가?(충족가능성 문제), 주어진 자연수가 소수인가?(소수판정문제)

 

2 같이 보기

3 참고

문서 댓글 ({{ doc_comments.length }})
{{ comment.name }} {{ comment.created | snstime }}