[유머] 64년 만에 푼 난제.jpg

[안티 스파이럴]

미국과 유럽 수학자들이 세계 각국의 PC 50만대를 연결해 계산능력을 획기적으로 높이는 기발한 방법으로 

60년 이상 풀지 못했던 수학계의 오랜 난제를 푸는데 성공했다.

어떤 정수를 3번 곱한(3승) 수(입방수)를 3개 더하거나 빼서 1~100을 만드는 문제로 

마지막까지 미제로 남아있던 42가 되는 3개 수의 조합을 64년만에 찾아냈다고 아사히(朝日)신문이 24일 보도했다.

휴먼은 이런것도 풀지 못하는 건가

[사과맛곰젤리]

수학적 방법이 아니라 그냥 개노가다로 푼거네

[H.Barca]

에라스토테네스의 체처럼 노가다적인 수학적 방법도 있으니까요.

[H.Barca]

아, 뭔가 잘못 기억하는 건가 싶어 찾아보니까 에라토스테네스 네요.

[이과 빌런]

4색문제도 노가다로 풀었자너

[루트에리노]

4색문제는 문제의 범위를 좁히는것까지 포함이라 완전 개노가다는 또 아니긴 함

[이과 빌런]

그건 ㅇㅈ

[반반무많이]

[총보다는횃불]

노가다도 수학적 방법중 하나임. 모든 경우의 수를 찾는다면, 그게 정말 모든 경우인지 증명이 됐단 소리라..

[루리웹-9369716108]

결국 됨?
유럽 월경지 진짜 ㅈ같이 쪼개져있어서 한 번에 4~5개씩 겹쳐있는 국경도 있고 하는 상황이라 4색으론 안 될 것 같은데

[Ruinos]

그걸 해냄

[스타코라삿사]

됨. 논문이 모든 가능한 지도 패턴을 40페이지간의 위상기하학적 증명으로 찾아낸 다음에. 560페이지 동안 컴퓨터로 그 모든 패턴을 칠한 정답을 표기하고 있음. 레전드 논문임

[파마후고데기]

수학 문젠데 수학적 문제를 왜 떠나..이건 문제 이해를 못한건데, 2차원 평면을 임의의 맞닿은 경계로 나눈 구역을 4색으로 구분가능하게 표기할수 있느냐는 보다 일반적인 조건에서의 문제임. 물론 실제 지도는 당연히 구분가능하다. 한 국가가 국경을 5개 맞대도 당연히 구분가능하지. 당장 고등학교 경우의 수 문제에서만 봐도 가능한거 알텐데

[aksiz]

한국가가 국경 5개를 맞대고 있어도, 나머지 국가들이 전부 또 맞대고 있는거 아니면 가능하지...
중앙에 하나에, 피자식으로 4개의 국가가 둘러쌓고 있다면 (상하좌우),
가운데에 1번, 위를 2번, 오른쪽 3번, 아래 4번, 왼쪽 3번 색 이런식으로 하면 되잖음.

[루리킴]

뭐래... 그건 국경 4개를 맞댄건데??

[aksiz]

음 그렇네. 5개면 가운데 1, 주위를 시계방향으로 23434 이런식으로 칠하면 됨.
월경지들 같은 경우는 특별한 예외가 있긴 한데, 4색문제는 나라라기 보다는 인접한 영토를 다른 색으로 칠하는게 문제라, 이 문제에서는 해당사항 없고. (본토랑 월경지랑 다른 색으로 칠하는게 허용 됨)

[마이티오덕]

되는데? 잘못된 정보 퍼트리지 마셈

[마이티오덕]

님이 말하는 불리한 조건이란게 대체 뭔지 설명좀
국가별, 도시별로 나눠도 가능할텐데?

[간G나게]

존 폰 노이만이라는 추정 아이큐300짜리 천재가 있었는데
어떤 질문자가 문제를 내자 노이만이. 1초도 안되어서 대답함
질문자는 당신은 트릭에 안속고 공식을 알고 계셨군요. 보통 무한급수를 이용하면 몇시간 걸렸을텐데요

그러자
노이먼은 공식은 몰랐고 무한급수를 이용해 풀었는데요.
.......1초만에 무한급수 연산.....
개쩌는 연산능력이면 노가다 연산도 개쩌는것임

[대충지어야지]

ㅇㅇ 그 노가다 하다가 그, 경우의 수를 계산하는 방식을 찾아낸게 공식이 된거니까

[마이티오덕]

난 단순히 4색으로 칠하는걸 얘기한 거였어 미안하다

[영 원]

싸우지말고 CeX해

[병장리아무]

이런것도 못푸십니까 휴먼?

[나15]

뭐래 이게 전기 끊기고 싶냐!?

[백제팔성]

50만대면 컴퓨터를 노가다 시켰네

[요히라]

경우의 수를 압축한 뒤 컴퓨터 노가다...

증명이 이쁘진 않은데 확실해!

[야자와 니코니코]

대신 경우의 수를 압축하는 방법을 증명하는게 있었지.

[wien]

그건 1976년도에 풀었군.
당시에 컴퓨터 2대로 몇백시간이 걸렸다는데..
대충 2MHz 짜리 듀얼코어였다고 치면 그냥 단순계산으로 현재 i5 정도 되는 4GHz 4코어 CPU로 돌리면 8천배정도 빨리 계산 되겠네..
50여일을 대충 8만분으로 치면 현재 가정용 PC로 10분이면 그게 처리가 되네.. 세상 참

[트루먼쇼]

실제로는 프로그래밍만 되있으면 훨씬 빠르게 가능할거같은데

[wien]

뭐 지금도 브루트포스로 풀어야하는건 변함이 없어서 방법론적으로 다를게 없음 다만 효율적인 예제를 통해서 더 빠르게 구할 수 있게 된 정도?
아마 경우의 수를 구하는 문제라서 시간복잡도가 대충 O(4ⁿ) 쯤 나올거같음
n 개수가 천의 자리냐, 백의 자리냐에 따라서 현재 PC로도 몇초가 걸릴 수도, 몇시간이 걸릴 수도 있는거라..
당시에는 구하려던 n값이 9천여개였다니까 뭐 몇십일은 우습게 걸렸겠지..

[스테고 CH]

전에 한 책에서 읽었는데

닌텐도 64성능이 아폴로 11호를 달에 보낸 컴의 천 배라더라.

아폴로 11호 1969년이고 닌텐도 64가 1996년 물건이라 27년만 해도 이만큼 차이나는데

1976년하고 지금은 44년차이니 대체 몇 배야

[루리웹-9692151613]

프로세싱파워가 18개월에 2배씩증가한다 했으니 2년이라고 잡아도 2의 22승배..?

[깊은바다나미]

42

[문사철]

진리네

[▶◀푸뇽푸뇽]

아닠ㅋㅋㅋㅋ 여기서 42가? ㅋㅋㅋㅋㅋㅋㅋㅋ

[Weird Rabbit!]

컴터 50만대나 썼다면 장난아니게 빡센 공식 아님??

[야자와 니코니코]

그냥 그만큼 노가다를 했딴 거

[ㅁㅂㅁㅁ]

공식이 나왔으면 증명도 있을테니 저짓거리가 필요없음.
그런게 없으니 모든 경우의 수를 계산때린거

[카타찬]

컴퓨터도 이번엔 좀 고생했나본데 50만대..??

[스테고 CH]

요즘도 코로나바이러스 치료제 연구하는 과학자들을 위해 네티즌들이 자발적으로 프로그램 설치해서 인터넷으로 CPU, RAM자원 나눠주는 캠페인이 있어. 나도 컴터 안 쓸 때 해 주고 있음.

세티 프로젝트도 이런 류고

[미역메소]

빼기가 들어가서 조합이 힘든가보다

[더크 젠틀리]

우주의 진리가 밝혀졌다

[方外士]

리만 가설을 풀려면 양자컴을 저리 사용할려나..

[냐호]

하필이면 42네

[Q평E평우리집72평]

42가왜?? 그 아임뚜렛?

[renirevenge]

그 가짜 뚜렛환자랑 42가 무슨 관계인지는 모르겠지만, 어떤 소설에서 우주의 진리를 42라는 숫자로 압축해서 표현할 수 있다고 하는 내용이 있음.

[Q평E평우리집72평]

걔가 틱흉내낼때 아잇!응! 사십이! 했었는듯

[스테고 CH]

그거 계산하는 데 얼마나 걸렸더라.영화에서 보니까 계산 시작할 땐 찬란했던 고대문명이 주인공들이 찾아가서 답 들을 시점엔 흔적도 없이 사라져 있었는데

[참공]

은하수를 여행하는 히치하이커를 위한 안내서에 나오는 우주의 진리

[하늘서리]

답 궁금해서 뉴스 찾아보니까 답은 5해(垓) 6993경 6821조 2219억 6238만 720, 5해 6993경 6821조 1135억 6349만 3509, 그리고 47경 2715조 4934억 5332만 7032였다. 라고하네 ㅁㅊ ㅋㅋㅋㅋㅋ

[최대용량50kb]

아니 시발 숫자 단위 있어도 제대로 못읽겠네 ㅋㅋㅋㅋㅋㅋㅋㅋ

[펌킨골드]

역시 42야 상상도 못한 큰수로군

[하미솔]

컴터가 50만대나 필요한 이유가 있었네 ㅋㅋ

[신분세탁기]

그러니까 저 3개를 세제곱하고 더하거나 빼면 42가 된다는거지?

[하늘서리]

ㅇㅇ 저거 하나 세제곱하면얼만지 감도안옴 ㅋㅋㅋㅋ

[하늘서리]

아 아니다 8경 538조 7388억 1207만 5974와 8경 435조 7581억 4581만 7515, 그리고 1경 2602조 1232억 9733만 5631의 17자리수 이게 42고 저거는3이되는 3번째인 "모델 3'이래

[신분세탁기]

더하거나 빼는경우의수해봤자 8개라 해봤는데 어쩐지 안나오더라

[하늘서리]

호엑

[신분세탁기]

a³+b³+c³
a³+b³-c³
a³-b³+c³
a³-b³-c³
-a³+b³+c³
-a³+b³-c³
-a³-b³+c³
-a³-b³-c³
이렇게 계산했는데 42안나와...

[하늘서리]

https://www.sciencetimes.co.kr/news/%EC%84%B8%EA%B3%84-%EC%B5%9C%EA%B3%A0-%ED%95%B4%EC%83%81%EB%8F%84-%EA%B3%A0%EC%B1%84%EB%8F%84-%EA%B5%AC%EC%A1%B0%EC%83%89-%EA%B5%AC%ED%98%84/
뉴스는 이거엿슴 ㅜ

[신분세탁기]

계산값커서 천자리까지 세제곱해서 계산해보니 42나온거보면 맞는듯

[wien]

공학계산기가 내부가 어떻게 돌아가는진 몰라도 표준방식으로 계산하면 64비트 부동소수점 연산이지 않을까?
그럼 가수부가 52비트라서 정밀도가 대충 16자리밖에 되지 않아
경자릿수를 3제곱하면 48자리 수들의 합과 뺄셈인데
앞부분 16자리정도만 정확하니, 32자리,. 만억조경해자양 구의 자리부터 부정확한 수(0) 로 치환되는거지
대충 x×10³² 정도 언저리 값이 나왔다면 그게 맞은 걸 수도 있어

[신분세탁기]

그럴거같긴했어
그래서 세제곱해서 더하거나 빼는거 생각해보니 조,경,해 까지 굳이 넣을필요는 없을거같아서 천까지 계산해서 산수하니까 42나온거보니 맞는거같더라

[최대용량50kb]

이야 역시 42

[coefficient]

[흠냐뤼]

근데 알아내면 뭐에 쓰는거임?

[WaitingForLove]

아직은 쓸모없지만 언젠가 쓸지 모르지

[카렐]

일부의 미제문제들을 컴퓨터로 해결해나갈 수 있다는걸 증명

[wien]

쓸모를 떠나서 인간의 지식의 폭이 넓어짐
과학쪽이 웬만하면 쓸모가 생기니까 사람들이 뭐만 발견하면 쓸모를 찾곤 하는데
지식의 확장도 순수학문의 영역중 하나라는 걸 간과해선 안됨
우주의 나이가 어떻게 되었고 빅뱅이 어떻게 시작되었든, 원시인류가 어떻게 진화해서 현생인류가 되었든 생각해보면 쓸 데는 없는 일들임에도 많은 사람들이 매달리는건 다 지적호기심에서 비롯된 거니깐.

[스테고 CH]

공룡은 연구해서 얻는 것도 없는데 화석은 왜 파고 박물관은 왜 차리냐

[아디리시아]

ㅋㅋ 무슨 미사카 네트워크 보는듯항 ㅋㅋ

[작전세력-0674451483]

나도 이 생각했는뎈ㅋㅋㅋㅋ

[Q평E평우리집72평]

42가 먼뜻있음?

[Q평E평우리집72평]

아하 첨듣는 안내서네 근미래 우주여행을 위한 책자인가

[루리웹-224898349]

[루리웹-5890135683]

4색 증명처럼 다른 증명 방법을 찾지 못하는거 아니면 전수증명이 수학적 의의는 없다고 하던데

[스타코라삿사]

아니야 의의 업청 있어

전수조사가 가능하단 건 유한 시간에 해결 가능하단 거라, 매우 중요한 증거가 됨

전수조사가 불가능한 걸 하려는 건 무의미한데

[길리어스 오스본]

그리드 컴퓨팅
비교적 싼값에 슈퍼컴(?) 만드는 방법

[벼락 오바마]

4색 정리 때도 그렇고... 컴퓨터 시대의 결론은 브루트 포스인가

[aksiz]

브루트 포스가 가능한 문제가 있고 불가능한 문제가 있음. 당장 이 문제만 하더라도 답이 "가능" 이라 컴퓨터로 해결이 된거지, 만약에 답이 "불가능" 이었다면 브루트 포스로는 증명 불가능 함. (모든 수를 검색하고, 그 어떤 조합도 42가 안된다는 답을 내려야 하는데, 모든 수를 검사하는건 당연히 불가능함. 이경우는 이론으로 접근해야지)

[응니얼굴]

부먹 vs 찍먹도 못푸는 깡통 시키들이....

[Cpt_Titus]

저런거 필요없고

지금의 이 역병을 어떻게든 물리칠 방법부터 연구할것이저
저런 숫자는 왜 붙들고 앉아서..

[에우리드改]

툴툴댈 시간에 기사 날짜나 봅시다

[너이새끼 Gun★Bang져]

코로나19가 컴퓨터 바이러스냐? ㅋㅋㅋ

[루리웹-3112551362]

얘도 4색 정리처럼 사람이 다시 계산해봤을거 같긴 한데 숫자 단위 미쳤넼ㅋㅋㅋㅋㅋㅋㅋ

[미스터피]

비트코인 채굴기 돌리는 것보단 의미있는 일이겠지

[snoowi]

하지만 PC를 50만개 연결한건 휴먼이 해서 니가 풀수 있었던거란다.