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 는 증명된적이 없음
목록 삭게로! 맨위로
번호 제목 이름 날짜 조회
170628 [질문] 테넷이 인셉션보다 더 복잡한 영화인가요? [23] 무한도전의삶7839 23/05/14 7839
170627 [질문] PC 견적 이륙 허가 부탁드립니다. [6] 크로플6822 23/05/14 6822
170626 [질문] 디아 이모탈 찍먹 질문입니다. [1] 네오크로우9760 23/05/14 9760
170625 [질문] 스파6 할만할까요?(스파 관련 질문 포함) [7] 아이시스 8.010568 23/05/14 10568
170624 [질문] [젤다 왕눈 스포있음] 튜토리얼 넘어가는데 얼마나 걸리셨나요? [12] The Greatest Hits9158 23/05/14 9158
170623 [질문] 현 시점 쵸비는 역대 몇 위 정도의 미드일까요? [25] 예니치카11587 23/05/14 11587
170622 [질문] 차량 하부 소음때문에 활대링크 부품샀는데요 [2] 뜨거운눈물10521 23/05/14 10521
170621 [삭제예정] 유니스왑 계산법 관련 질문드립니다. [1] 삭제됨7901 23/05/13 7901
170620 [질문] 오래된 차량 판매가 될까요? 아니면 그냥 폐차하는게 나을까요? [12] 오렌지망고9520 23/05/13 9520
170619 [질문] 개발자용 맥 질문 [18] 회비서9060 23/05/13 9060
170618 [질문] 4090견적맞추다가 약간 이럴 필요가 있나 싶어서 4070ti견적을 보고있습니다 이게 맞을까요? [15] 키토10304 23/05/13 10304
170617 [질문] 조립식 PC 견적 확인을 부탁드립니다 [3] 5950010983 23/05/13 10983
170616 [질문] 강남에서 MSI 볼 수 있을만한 호프집 있을까요? [4] 주인없는사냥개10052 23/05/13 10052
170615 [질문] 젤다 왕눈 보고 스위치 살만할까요? [12] beloved9602 23/05/13 9602
170614 [질문] 디아4 서버슬램 플레이 중 계속 꺼지는 이유가 뭘까요? [1] 영소이8664 23/05/13 8664
170613 [질문] 4k 144hz 모니터 살만할까요? [8] beloved9237 23/05/13 9237
170612 [질문] 9억으로 강남 들어갈 수 있을까요? [23] Garnett2111115 23/05/13 11115
170611 [질문] 말딸 아직 하시는 분 계신가요 [3] nmcpvwe7807 23/05/13 7807
170610 [질문] 8bitdo ultimate ns 컨트롤러를 샀는데요.. [2] 과일장수7348 23/05/13 7348
170609 [질문] 대한항공 마일리지 예매 질문드립니다 (2개) [8] 더치커피8517 23/05/13 8517
170608 [질문] 매진이된 콘서트 표는 방법 없는건가요?? [14] 레너블9449 23/05/13 9449
170607 [질문] 김님국의원 코인과 최강욱의원 짤짤이? [11] 준스톤9606 23/05/13 9606
170606 [질문] 초딩 딸래미의 테블렛을 눈 앞에서 반으로 접어도 될까요? [80] ESG12451 23/05/13 12451
목록 이전 다음
댓글

+ : 최근 1시간내에 달린 댓글
+ : 최근 2시간내에 달린 댓글
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기
회원정보 보기
닫기