PGR21.com
- PGR21 관련된 질문 및 건의는 [건의 게시판]을 이용바랍니다.
- (2013년 3월 이전) 오래된 질문글은 [이전 질문 게시판]에 있습니다.
통합 규정을 준수해 주십시오. (2015.12.25.)
Date 2023/05/08 11:58:46
Name 잘생김용현
Subject [질문] 수학 질문입니다. (P-NP 문제, 시간복잡도 관련)
제가 기억하기로는

[어떤 문제를 푸는 데 걸리는 시간][예상하는 데 드는 시간]은 전자보다 적게 든다고 할 수 없으므로,
문제를 풀기 전, 문제를 푸는 데 얼마나 걸릴지 예상할 수 없다.

라는 증명된 명제가 있는 걸로 기억합니다.

[예상하는 데 드는 시간][검산하는 데 드는 시간] 과는 다른 개념이고
계산시간의 총량을 비교하는 위 명제와 다르게, P-NP 문제는 시간복잡도가 같은지에 관심이 있는 것으로 압니다.


제가 알고있는 지식은 여기까지이고, 질문은 위 명제가 제 상상인건지, 아니면 실제로 있는 명제인지가 궁금합니다.
키워드를 몰라서 구글링을 하기가 어려운데, 혹시 답변 주실 수 있을까요?

통합규정 1.3 이용안내 인용

"Pgr은 '명문화된 삭제규정'이 반드시 필요하지 않은 분을 환영합니다.
법 없이도 사는 사람, 남에게 상처를 주지 않으면서 같이 이야기 나눌 수 있는 분이면 좋겠습니다."
나일레나일레
23/05/08 12:33
수정 아이콘
P-NP와 certificate 라는 키워드로 검색하시면 많은 내용들이 나올 겁니다.

P는 Polynomial time 안에 솔루션을 찾을 수 있는 문제이고,
NP는 어떤 certificate를 다항 시간 안에 verify 할 수 있는 문제를 이야기합니다.

아주 엄밀한 표현은 아닌데, 헷갈리실까봐 그냥 간단하게 적으면,
어떤 답(혹은 답을 구하기 위한 힌트)을 알고 있을 때, 그 답이 맞는지 아닌지 검증하는 시간이 다항 시간에 들어오면 NP 문제입니다.
잘생김용현
23/05/08 15:34
수정 아이콘
고맙습니다~
마술사
23/05/08 14:30
수정 아이콘
질문이 뭔지 모르겠네요
상상인지 아닌지 궁금하시다는 위 명제라는게 뭘 말하는건지요?

P문제는 복잡도가 증가할때 걸리는시간이 polynomial 하게 증가하는 문제입니다
예를들면 n-1개의 식이 있는 n개변수의 방정식 풀이.
n이 커질수록 문제를 푸는데 걸리는시간이 증가하지만, n에 비례하게 (즉 polynomial하게) 증가합니다.
즉 P문제는 푸는방식을 알고리듬으로 만들어서 컴퓨터에 돌리면, 아무리 큰 문제라도 웬만하면 다 풀립니다.

NP문제는 복잡도가 증가할때 non-polynomial하게 증가하는 문제입니다. n이 늘어나면 n의 제곱이나 세제곱 등으로 시간이 증가하게되면, n이 늘어나면 시간이 어마어마하게 늘어나서, 문제를 푸는 알고리듬을 만들어서 컴퓨터를 돌려도 컴퓨터 뻗을때까지도 답이 안나오는 경우가 많아지죠.

P문제와 NP문제는 다르다는것이 증명되었으므로
어떤문제가 NP문제인지 증명하는 방법은, 어떤문제를 조금 바꾸면, 알려진 NP문제가 되는것으로 증명이 가능합니다.
잘생김용현
23/05/08 15:35
수정 아이콘
질문이 명확하지 못했습니다.

질문의 내용을 정리해봤습니다. [어떤 문제의 시간복잡도를 확인하는 문제의 시간복잡도는 어떨까?] 이것입니다!

즉, [어떤 문제가 P문제인지 확인하는 문제] 는 P인가 NP인가 입니다!
회색사과
23/05/08 15:42
수정 아이콘
제가 알기로 NP 문제는 복잡도가 non-polynomial 하게 증가하는 문제가 아닙니다..

"제시한 답이 유효한 답인지 P-time 안에 확인할 수 있는 문제" 가 NP 입니다.

그리고 P문제가 NP문제가 다름은 증명되지 않았을걸요.. 밀레니엄 문제인데요 흐흐
사비알론소
23/05/08 20:21
수정 아이콘
이 댓글은 완전 잘못된 댓글입니다.

1. 제곱이건 세제곱이건 다항식임
2. P=NP 는 증명된적이 없음
목록 삭게로! 맨위로
번호 제목 이름 날짜 조회
170592 [질문] 이미지 생성 AI 사이트를 찾습니다. [6] 김승남8765 23/05/11 8765
170591 [질문] 젤다 왕눈 칩으로 살 수 있는 곳 있을까요??? [7] 꿈꾸는사나이7492 23/05/11 7492
170590 [질문] 무릎 부상 관련 질문입니다. [3] GoThree7312 23/05/11 7312
170589 [질문] 첫 직장(간판)의 가치? [26] Garnett219898 23/05/11 9898
170588 [질문] 여성 징병제 찬성하시나요? [88] O12258 23/05/11 12258
170587 [질문] 부동산 대출 관련 질문 [2] 척척석사6040 23/05/11 6040
170586 [질문] 잠실 소개팅 장소 질문 드립니다. [7] 한걸음9111 23/05/11 9111
170585 [질문] 얼굴살은 어떻게 해야 빠지나요..? [9] 아이폰128177 23/05/11 8177
170584 [질문] 전세보증보험 들지말지 고민입니다. 조언부탁드려요. [12] 목캔디8534 23/05/11 8534
170583 [질문] 광명역 인근에 점심먹을만한 맛집 있을까요? [2] nearby6866 23/05/11 6866
170582 [질문] GV80 구입시 고려할게 뭐가 있을까요? [8] StayAway7932 23/05/11 7932
170581 [질문] 컴퓨터 견적 질문입니다. [3] 저스틴벌렌더9309 23/05/11 9309
170580 [질문] 스팀게임 찍먹 할 수 있나요? [6] 레너블7183 23/05/11 7183
170579 [질문] 엣지 인터넷 페이지에 커서가 들어옵니다. [4] 43년신혼시작8553 23/05/11 8553
170578 [질문] 등산의류 추천 부탁드립니다 [15] 난키군7043 23/05/11 7043
170577 [질문] 디아블로4 되는 컴퓨터 한대 맞출까 싶습니다.. ㅠ.ㅠ 돈 들 일이 또 있네요. [29] 모나크모나크12049 23/05/11 12049
170576 [질문] 키보드 무적축+리시버+75배열 정말 없을까요? [5] ElaN8743 23/05/11 8743
170575 [질문] 종합 소득세 환급 신청을 홈택스로 진행 했는데요 [6] 동안9826 23/05/11 9826
170573 [질문] 크롬브라우저 관련 질문입니다 [3] 드문7482 23/05/10 7482
170572 [질문] PC 견적 요청 드립니다 [15] 크로플10688 23/05/10 10688
170571 [질문] 자급제 아이패드 관련해서 질문드립니다 [6] GoodLuck9955 23/05/10 9955
170570 [질문] 캐스퍼 신차출고 했는데 뒷밤퍼 까짐이 있는데 어떻게 해야할까요? [3] 모어모어8360 23/05/10 8360
170569 [질문] 스타크래프트 비슷한 올드게임 이름을 찾습니다. [12] 니하트9938 23/05/10 9938
목록 이전 다음
댓글

+ : 최근 1시간내에 달린 댓글
+ : 최근 2시간내에 달린 댓글
맨 위로