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 는 증명된적이 없음
목록 삭게로! 맨위로
번호 제목 이름 날짜 조회
170606 [질문] 초딩 딸래미의 테블렛을 눈 앞에서 반으로 접어도 될까요? [80] ESG12126 23/05/13 12126
170603 [질문] 페이커 선수 전성기 스타일 [32] 잉차잉차9568 23/05/12 9568
170602 [질문] 토요일 오후 4시경 성산방면 내부순환로 많이 막히나요? [10] 행복을 찾아서8210 23/05/12 8210
170601 [질문] 포물선과 미분을 이용한 최소값 관련 문제 질문입니다. [8] 진소한8802 23/05/12 8802
170600 [질문] 슈퍼마리오 게임 추천 부탁드립니다. [22] 노노리리8325 23/05/12 8325
170599 [질문] 7월말-8월초 유아(8살 4살)둘 데리고 여행 [7] Chandler8075 23/05/12 8075
170598 [질문] pc에 usb가 인식이 안됩니다. [2] 이르6765 23/05/12 6765
170597 [질문] 물리문제 한개 설명해주실수잇나요ㅠ [5] 스핔스핔8627 23/05/12 8627
170595 [질문] Gfycat 대체사이트가 뭐가있나요? [10] 졸업8239 23/05/12 8239
170594 [질문] 파크하얏트 vs 조선팰리스 [13] CastorPollux8955 23/05/12 8955
170593 [질문] 전세대출과 임대인의 번거로움 발생 문의 [13] 새벽바람8984 23/05/11 8984
170592 [질문] 이미지 생성 AI 사이트를 찾습니다. [6] 김승남8753 23/05/11 8753
170591 [질문] 젤다 왕눈 칩으로 살 수 있는 곳 있을까요??? [7] 꿈꾸는사나이7487 23/05/11 7487
170590 [질문] 무릎 부상 관련 질문입니다. [3] GoThree7304 23/05/11 7304
170589 [질문] 첫 직장(간판)의 가치? [26] Garnett219892 23/05/11 9892
170588 [질문] 여성 징병제 찬성하시나요? [88] O12252 23/05/11 12252
170587 [질문] 부동산 대출 관련 질문 [2] 척척석사6036 23/05/11 6036
170586 [질문] 잠실 소개팅 장소 질문 드립니다. [7] 한걸음9100 23/05/11 9100
170585 [질문] 얼굴살은 어떻게 해야 빠지나요..? [9] 아이폰128160 23/05/11 8160
170584 [질문] 전세보증보험 들지말지 고민입니다. 조언부탁드려요. [12] 목캔디8526 23/05/11 8526
170583 [질문] 광명역 인근에 점심먹을만한 맛집 있을까요? [2] nearby6862 23/05/11 6862
170582 [질문] GV80 구입시 고려할게 뭐가 있을까요? [8] StayAway7926 23/05/11 7926
170581 [질문] 컴퓨터 견적 질문입니다. [3] 저스틴벌렌더9303 23/05/11 9303
목록 이전 다음
댓글

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