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 는 증명된적이 없음
목록 삭게로! 맨위로
번호 제목 이름 날짜 조회
170527 [삭제예정] 퇴직시 연금선택을 어느거로 하면 좋을까요? [5] will6734 23/05/09 6734
170526 [삭제예정] 오늘 국선변호사 미팅이 있습니다. 기본적인 에티켓(?) 등이 뭐가 있을까요? [4] WhiteBerry8051 23/05/09 8051
170525 [질문] 유튜브 첫화면이 추천영상들이 안바껴요 노래하는몽상가7083 23/05/09 7083
170524 [질문] 에어맥스 시리즈들 색생따라 가격 천차만별인 이유? [3] 스핔스핔5736 23/05/09 5736
170523 [질문] 빅스 포토샵 라이트룸용 겜트북 구매 이거 맞을까요 [3] 프라하6603 23/05/09 6603
170522 [질문] 아이패드 셀룰러 유심 질문드립니다 [2] GoodLuck5644 23/05/09 5644
170521 [삭제예정] [약혐주의] 이런건 어느 병원에 가야할까요? [13] 퍼블레인7633 23/05/08 7633
170520 [질문] 빅스 PC 완본체 구입해도 되나요? [8] 슈퍼디럭스피자8023 23/05/08 8023
170519 [질문] 만년필 선택에 조언을 요청드립니다 [10] 스토너7697 23/05/08 7697
170518 [질문] 120만원 이하 컴퓨터 견적 부탁드립니다. [9] originalcola10307 23/05/08 10307
170517 [질문] 호텔 연박(일주일)시 중간에 방을 바꿀수있나요? [8] 준스톤8613 23/05/08 8613
170516 [질문] 스마트폰 펠티어소자 냉각기 사용시 결로 생길까요? [2] No.108071 23/05/08 8071
170515 [질문] 별일 없으셨죠? 별일 없으셨나요? 이게 맞는 말인가요? [11] monkeyD8191 23/05/08 8191
170514 [삭제예정] 가족의 신장이식 권유 어떻게 대처 해야 할까요 [52] 삭제됨9954 23/05/08 9954
170513 [삭제예정] 선배 유부남분들 조언 부탁 드립니다. [97] 삭제됨11221 23/05/08 11221
170512 [질문] 모니터 구입 고민 [4] 모챠렐라8071 23/05/08 8071
170511 [질문] 데탑 드래곤볼 AM5 보드 핫딜 질문입니다. [6] 사람되고싶다7070 23/05/08 7070
170509 [질문] 웹기획 분야의 이직에 대한 질문입니다. [2] 지나가는회원16786 23/05/08 6786
170508 [질문] 지금 카카오톡 되나요? [6] 카즈하7440 23/05/08 7440
170507 [질문] 지금 니케 들어간다면 뭐뭐 들고 들어가면 되나요? [6] 카페알파6668 23/05/08 6668
170506 [질문] 애플티비 월정액내고 볼만한가요 [5] 날아라 코딱지7310 23/05/08 7310
170505 [질문] 원신 뉴비 질문 드립니다. [14] 조따아파8858 23/05/08 8858
170504 [질문] 수학 질문입니다. (P-NP 문제, 시간복잡도 관련) [6] 잘생김용현7176 23/05/08 7176
목록 이전 다음
댓글

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