벨푼트의 호숫가 산장 : [공돌이 유머] P=NP를 증명한 여자

[공돌이 유머] P=NP를 증명한 여자

주의: 이 글의 제목을 보자마자 황당하다는 웃음을 지으시지 않으셨다면, 아마 글을 끝까지 읽으셔도 이게 왜 웃긴지 알 수 없을수도 있습니다 --a

원문: What happened to me and the new girl (or: “The girl who cried Webmaster”) @ The Adventures of Accordion Guy in the 21st Century
via The Girl Who Proved P = NP @ Coding Horror

원문을 보면, 조이 드빌라(Joey deVilla)라는 분이 예전에 사귀었던 여자분에 대한 꽤 긴 글입니다.

New Girl(가명)이라는 이 여자분은 UBC(University of British Columbia)에서 컴퓨터 엔지니어링 과를 졸업하고, 웹마스터로 일한다고 했다고 합니다. 어느 날, 블로그를 통해 이게 다 거짓말이라는 제보를 받게 된 조이, New Girl을 만나서 추궁을 하게 됩니다.

계속된 대화 끝에 의심은 더욱 깊어만 가고, 결국 대화의 종료는 이렇게 되었다고 하는데요, 백문이 불여일견이라고, 아래에 직접 대화를 인용합니다.

Me: So you really did graduate from computer engineering?
그래서, 정말로 컴퓨터 엔지니어링 과를 졸업했어요?
New Girl: Yes I did, from UBC!
그래요, UBC에서요!
Me: And you took the "Algorithms" course?
그러면 "알고리즘" 수업도 들었겠네요?
New Girl: Of course!
당연하죠!
Me: And you have all the papers you wrote?
그리고 그때 썼던 페이퍼를 다 갖고 있고요?
New Girl: Yes! I kept them all, and I'll show them to you tomorrow!
네! 다 보관하고 있어요. 내일 다 보여줄께요!
Me: I want to see the one we always called the "Hell Paper" at Queen's - the mandatory fourth-year paper. You know the one, where we prove P = NP?
4학년때 필히 쓰는, 퀸즈(대학)에서 "지옥의 페이퍼"라 불렀던 걸 보고 싶어요. P=NP를 증명하는 건데, 혹시 아세요?
New Girl: I did that! I proved P = NP! I placed near the top of the class, and the professor used my paper as an example!
저 그거 했어요! P=NP라는 걸 증명했어요! 제 점수가 워낙 높아서, 교수님이 제 페이퍼를 예시로 삼을 정도였어요!
Me: You proved P = NP?
P=NP임을 증명했어요?
New Girl: Yes!
네!
Me: Gotcha.
알겠어요.

이 시점에서 웃으며 쓰러지지 않으셨을, 대다수의 정상이신 분들을 위해 조금 첨언하면, P vs NP 문제는 컴퓨터 공학(Computer Science, CS)계의 최대 난제 중 하나로, CS가 학문으로 성립된 이후 수많은 공학도들이 증명하려 노력했지만 아직까지 사실인지 아닌지(다시 말해, P=NP인지 아니면 P=/=NP인지, 대부분 후자가 사실이라는 쪽으로 기울고 있긴 합니다만) 여부조차 판별되지 못한 문제입니다. 알고리즘과 살짝이라도 연관된 수업을 들었다면 절대 모를 수가 없는 내용이죠.

조이 드빌라는 그녀가 세상에서 가장 심한 거짓말쟁이이거나 세상에서 가장 위대한 컴퓨터 과학자였을 거라는 코멘트로 글을 마무리합니다 --a

P vs NP problem에 대해 더 자세히 알고 싶으시다면, 영문 위키피디아 페이지에 상당히 많은 정보가 있습니다.

PvsNP

이 글과 관련있는 글을 자동검색한 결과입니다 [?]

# by anakin | 2009/06/02 06:39 | 일상 속 잡담 | 트랙백(1) | 핑백(2) | 덧글(54) | ▲top

트랙백 주소 : http://lunarsix.egloos.com/tb/4155317
☞ 내 이글루에 이 글과 관련된 글 쓰기 (트랙백 보내기) [도움말]

Tracked from ViceRoy, vid.. at 2009/06/02 13:51

제목 : 악ㅋㅋㅋㅋㅋㅋ
Tracked From anakin님 : [공돌이 유머]P=NP를 증명한 여자 원문은 트랙백한 블록에 링크되어 있습니다. Me: So you really did graduate from computer engineering? 그래서, 정말로 컴퓨터 엔지니어링 과를 졸업했어요? New Girl: Yes I did, from UBC! 그래요, UBC에서요! Me: And you took the "Algorithms" course? 그러면 "알고리즘......more

Linked at 벨푼트의 호숫가 산장 : 이글.. at 2009/06/10 13:29

... 한국 시간으로 지난 6월 2일, [공돌이 유머] P=NP를 증명한 여자라는 글을 올렸었죠. 컴퓨터 엔지니어링 과를 졸업했다고 주장하는 여성 분에게 컴퓨터 사이언스 계의 최대 난제인 P vs NP 문제와 연관된 것을 물어봄으로써 ... more

Linked at 벨푼트의 호숫가 산장 : 20.. at 2010/01/02 18:00

... [공돌이 유머] P=NP를 증명한 여자</a> 입니다. ( 덧글 54개 / 트랙백 1개 / 핑백 1개 )내이글 ... more

Commented by Niveus at 2009/06/02 09:55

세... 세상에 저걸 풀었다고!?

Commented by 지나가던천재 at 2009/06/02 10:48

p = np

이므로, 양 변을 p로 나누면

1 = n

따라서 n = 1임.
n = 1이므로 이를 식에 대입하면

p = 1 * p

p = p

ㅌㅌㅌ

Commented by 님좀짱인듯 at 2009/06/02 13:01

당장 논문으로

Commented by ... at 2009/06/02 13:21

p=np 인지를 증명하는 문제이므로 p=np를 사용할 수 없음.

Commented by 써니 at 2009/06/02 11:51

한국에서 컴퓨터 공학과 나온 여성에게 P=NP 문제를 언급하면,
상당히 짜증나는 남자거나, 고리타분한 남자라는 인상을 줄 거 같은데...
왠지 저 대화는 제가 사는 이 땅에서는 있을 수 없는 대화 같습니다. (좌절)

저렇게 나마 전공에 대한 대화를 나눌 수 있는 여성이라면 헛소리일지언정 환영합니다만....
있을리 없잖어? (좌절 한번 더)

컴공과 졸업한 여성에 P=NP 문제를 물어보면 안됩니다.
이쁜가, 이쁘지 않는가가 중요하죠. ^^; (농담입니다...)

Commented by 윙이 at 2009/06/02 13:52

컴공 졸업한 여성이라면 물어봐도 아무렇지 않아할거 같은데요;;;

Commented by anakin at 2009/06/02 16:06

헌데, 일상 대화에서 나온 게 아니라, 추궁하려는 의도로 물어본 거니까요.

Commented by 무아 at 2009/06/02 21:02

그냥 친구라면 물어볼수도 있다고 생각해요.
그리고 제 친구들은 재밌어하던걸요.

Commented by SilverRuin at 2009/06/02 12:12

P NP는 수리논리에서도 꽤 관심을 가지고 있죠..;
대단한 여성이네요

Commented by 가고일 at 2009/06/02 12:13

...뭐 일단(P=NP) = 리만가설 = 페르마 마지막 정리 라고 써놓으면 이해 될까나요.....ㅡㅡ;;;;;

Commented by highseek at 2009/06/02 12:35

...에이. 페르마의 마지막 정리는 이미 와이즈인가 하는 사람이 풀지 않았나요 (..)

Commented by 부전나비 at 2009/06/02 12:38

페르마의 마지막 정리는 최근에 증명되었습니다 -ㅅ-;;

Commented by 가고일 at 2009/06/02 12:39

물론 풀린건 알지요. 그렇다고 급수가 떨어지는건 아니지요.

Commented by 가고일 at 2009/06/02 12:40

증명 자체가 책 한권인데다 증명 검토하는데만 학자 십수명이 넉달 이상을 붙은 증명이니까요.

Commented by highseek at 2009/06/02 13:56

에이. 그래도 풀린 문제와 안풀린 문제는 분명 다를듯..

....하긴 P=NP도 어떤 위대한 여성 컴퓨터과학자에 의해 풀렸다니! ...OTL

Commented by highseek at 2009/06/02 12:33

오오오오 금세기 최고의 위대한 컴퓨터과학자..(..)

이럴수가. 그걸 풀다니!

Commented by 나인테일 at 2009/06/02 12:40

이재율님 여성 버전인가...(.....)

Commented by anakin at 2009/06/02 16:07

헉 그 유명한 이재율님;;;;;

Commented by rumic71 at 2009/06/02 12:49

어느 쪽이건 한 번 사귀어볼만은 했겠네요.

Commented by 지나가다 at 2009/06/02 12:52

그거 제대로 풀리면 현대암호는 말짱 꽝 아니던가요. 바로 돈방석일텐데.....

Commented by 머스타드 at 2009/06/02 13:23

그건 P=NP라는 결론이 나왔을 때 얘기겠죠...

Commented by 아라크네 at 2009/06/02 17:23

P=NP가 증명되어도 변환 방법을 밝힐 수 없다면 (= constructive proof가 아니면. 변환 방법이 "존재"함만 증명할 수도 있으니까요) 별 탈은 없습니다. 그보다 현대 암호가 걱정해야 할 대상은 양자 컴퓨터가 아닐지.

Commented by 히마와리 at 2009/06/02 13:46

앜ㅋㅋㅋㅋ

Commented by 이소 at 2009/06/02 13:51

교수님께서 괜히 저런거 증명할려고 하지 말고 다른 공부나 하라고 웃으면서 말씀하셨던게 생각나네요 ㅋㅋ
저 여자분은 정말 대단한거 같아요?! ㅋㅋㅋㅋㅋㅋ 밸리에서 들렀다가 갑니다~ ㅋㅋ

Commented by highseek at 2009/06/02 17:14

이런 문제 몇개 있죠. 타임 컴플렉시티가 nLog(n)보다 더 효율적인 소팅 알고리즘을 개발하자! 라거나, 4-color 문제를 푼다거나, 위에 나온거 같이 P=NP 문제를 증명하자! 이런거..

뭐 누가 풀려고 들면.. "니마 삽질 되겠슴미다-_-" 라고 해줄 수 있는..;;

Commented by SilverRuin at 2009/06/02 20:29

4-color문제는 증명되었습니다~ 컴퓨터로 증명한 첫 수학 문제라서 논란이 많을 뿐이죠

Commented by highseek at 2009/06/03 02:47

그건.. 엄밀한 증명이라기엔 좀..(..)

Commented by ViceRoy at 2009/06/02 13:52

밸리에서 왔습니다^^ 트랙백해갑니다.

아 정말 미친듯이 웃기네요

갑작스레 캐치 미 이프 유 캔의 '그 사건'이 오버랩되면서 웃었습니다.

Commented by 윙이 at 2009/06/02 13:54

밸리서 보고 왔습니다-ㅂ- 멋지네요=_=)b 컴공판 이재율 씨군요 (.. )

Commented at 2009/06/02 13:58

비공개 덧글입니다.

Commented by anakin at 2009/06/02 16:14

글쎄요? 그런 의미로 사용할 수도 있지만, 여기서는 상대가 당한 것조차 알 수 없도록 하고 있는 상황이므로, 그냥 당신 말을 이해했다는 뜻으로 말하는 게 자연스러우리라는 것이 제 생각입니다.

Commented by Schlesien at 2009/06/02 14:14

그래도 이런 P=NP 같은 주제로 대화를 할수 있는 여자친구가 있다는게 정말 부럽네요.. 보통 이런 공돌스런 이야기하면 눈이 반쯤 감기고 딴짓하던데 =ㅅ=

Commented by 사이동생 at 2009/06/02 14:40

이게 뭔 X소리야 하고 들어왔다가 앞에 붙은 유머를 보고 천천히 읽어보니..... 세상에나. 디시출신인가..

Commented by 姜氏世家小家主姜世振 at 2009/06/02 14:42

제목보고 웃지는 않고, 대경실색해서 '진짜? 진짜?' 하면서 황급히 클릭했습니다.

결론은 OTL

Commented by 라세엄마 at 2009/06/02 14:44

P vs NP는 증명 불가능이 증명됐다고 알고 있었는데요...

Commented by 아라크네 at 2009/06/02 17:24

아무 것도 밝혀진 것 없습니다.

Commented by 라세엄마 at 2009/06/02 22:59

아하. NP가 증명불가능이었던 거였네요 'ㅅ' 가고일님이 설명해줘서 깨달았음

Commented by 착선 at 2009/06/02 15:31

백만불따위 우습게 버는 여성이네요..

Commented by ㅇㅅㅇ at 2009/06/02 16:14

이해는 되는데 재미가 없다..는건 나뿐?

Commented by Moonseer at 2009/06/02 17:40

'저 바보가 공중 이단 돌려차기 하네, ㅋㅋㅋ'라는 느낌이군요.;

Commented by 아즈나블대왕 at 2009/06/02 18:06

공돌이가 아니라 '뭐, 뭐지?'하고 들어왔는데, 해설을 보니 무릎이 탁 쳐지는군요

Commented by HINT at 2009/06/02 19:13

넘버스에서 찰리교수님이 스트레스 받을때마다 매달리던 그 문제 아닌가요;

Commented by 명랑이 at 2009/06/02 19:20

댓글까지 다 읽고도 이해를 못하고 있는 문돌이 1人

Commented by 젝리 at 2009/06/02 19:32

P=NP라면 P가 1일 경우 N과 P의 값이 1이어야 한다는 것이군요.

그럼 N이 영원히 1이어야 한다는 것이냐? 이거 풀기 정말 어려운 난제인 것은 분명한 듯. 중학교 수학 수준으로도 P=NP려면 N의 값이 영원히 1이어야 한다는 소리인데...

Commented by 부엉 at 2009/06/02 20:08

단순한 수학문제 아니구요오.... 컴퓨터과학에서 다루는 복잡도 간의 상관관계 문제입니다.
P는 결정론적 튜링기계로 다항 시간 안에 풀 수 있는 판정 문제의 집합
NP는 비결정론적 튜링기계로 다항 시간 안에 풀 수 있는 판정문제의 집합
NP는 P를 포함합니다만, NP와 P가 동일한지는 증명되지 않았습니다.

Commented by 가고일 at 2009/06/02 21:18

좀더 구체적으로 말한다면 어떤 문제에 대하여 어느정도의 풀이시간이 존재한다고 할때
P는 문제의 양에 비해 풀이시간이 산술함수적으로 증가하지만
NP는 그것이 지수함수적으로 늘어납니다.
아무리 연산시간이 빠른 컴퓨터가 있더라도 그 엄청난 증가율 때문에 원리적으로 못푸는 경우가 생긴다는 거죠.
그래서 NP문제 중에 처리를 거쳐 P의 형태로 갈수 있는건 없는가를 생각하게 되고
이걸 증명하는게 P=NP라는 겁니다.

Commented by John at 2009/06/02 19:52

풀었다면 그녀는 진짜 용자...

Commented by 무아 at 2009/06/02 20:59

일단 제목을 보고 뭔가 낚시거나 유머이거나 라고 생각해야합니다 ㅋ

Commented by 무아 at 2009/06/02 21:00

일반적으로 수학에서 변수나 상수는 소문자로, 집합은 대문자로 쓰는 것이 관례지요.

Commented by 　sG　 at 2009/06/03 04:08

원출처 블로그 읽어보니 거짓말쟁이 정도가 아니라 싸이코 여자더군요. 만나면 큰일 납니다.

Commented by chungsuk at 2009/06/03 05:46

p vs np는 아는데, 어디서 웃어야할지..;

Commented by Lucifer at 2009/06/03 13:12

몇년전에 P대 NP 문제를 한국인 두명이 풀었다고 해서 검증하고 있다는 기사를 본적 있는데... 어찌 됐나요 -_-

그나저나 저 여자 좀 제정신이 아니군요. 쩝...

Commented by 가고일 at 2009/06/03 21:20

그거 오증명이라고 하더군요. 아직 미해결입니다.

Commented by p유사p는 at 2009/06/26 14:29

컴퓨터 공학이라고 주장하지만 어차피 수학

< 이전페이지

다음페이지 >