d라이브러리
"하켄"(으)로 총 19건 검색되었습니다.
- [김영훈 교수가 들려주는 허준이 교수 업적] 조합론의 고전 문제, 그래프 색칠하기수학동아 l2022년 08호
- 지속적으로 이어졌고, 1976년 미국 일리노이대학교의 두 교수 케네스 아펠과 볼프강 하켄이 컴퓨터의 도움을 받아 증명을 완성했습니다. 쾨니히스베르크의 다리 문제처럼 이 지도 문제도 그래프로 바꿔 생각하는 것이 편리한데요. 각 나라를 점으로 표현하고, 두 나라가 인접하면 변으로 연결해 ... ...
- 즐겁다! 에프매스의 무의식 스도쿠 세상!수학동아 l2021년 08호
- 4색 정리는 1976년에 컴퓨터 계산으로 증명됐습니다. 미국의 수학자 케네스 아펠과 볼프강 하켄은 평면에 나타낼 수 있는 모든 배열을 1936개의 조합으로 단순화한 뒤, 각각의 조합을 모두 네 가지 색으로 칠할 수 있음을 컴퓨터로 증명했죠. 스도쿠의 가능한 모든 경우의 수2005년 영국의 수학자 ... ...
- 하늘로 떠난 수학 사냥꾼, 존 코웨이수학동아 l2020년 09호
- 콘웨이가 고안한 게임을 자주 소개했습니다. 1967년 새싹 게임, 1970년 라이프 게임, 1972년 하켄부시, 1974년 천사와 악마 문제 등이 대표적입니다. 특히 라이프 게임을 다룬 기사는 역대 가장 많은 독자 편지를 받았을 정도로 큰 인기를 누렸습니다.콘웨이는 가드너를 중심으로 수학, 과학 대중화에 ... ...
- [따끈따끈한 수학] 4색 문제의 확장판! 하트비거의 추측수학동아 l2019년 12호
- 수학자가 도전했고, 1970년대에 미국 일리노이대학교의 두 교수 케네스 아펠과 볼프강 하켄이 해결했습니다. 하지만 아직 컴퓨터를 사용한 증명만 있어서 컴퓨터를 쓰지 않은 증명을 고민하는 수학자가 많습니다. 4색 문제처럼 어려운 문제를 풀기 위해서 수학자는 다양한 방법으로 고민합니다. 특히 ... ...
- [따끈따끈한 수학] 어떤 경로도 다르게! 반복없는 색칠 문제수학동아 l2019년 06호
- 색칠 문제의 대표 난제였습니다. 1976년 두 명의 미국 수학자 케니스 아펠과 볼프강 하켄이 4가지 색이면 어떤 평면 그래프도 이웃한 꼭짓점이 다른 색이 되도록 칠할 수 있다고 밝혀 문제가 해결됐지요. 투에의 연구를 그래프 문제로 확장하기 위해 연결된 꼭짓점만 서로 다른 색으로 칠하는 보통의 ... ...
- [엄상일 교수의 따끈따끈한 수학] 4색 정리의 응용판! 베크너의 문제수학동아 l2017년 10호
- 기술을 적용해 베크너의 문제를 증명했습니다. 1976년 미국 수학자 케네스 아펠과 볼프강 하켄은 4색 정리 증명을 위해 귀류법을 사용합니다. 4색 정리가 틀렸다고 가정하고 모순을 이끌어 내지요. 즉 4색 정리에 반례가 있다면 반드시 반례인 1936개 경우 중 하나가 되는데, 그 경우도 4색이면 충분히 ... ...
- [엄상일 교수의 따끈따끈한 수학] 스타인버그의 추측수학동아 l2017년 03호
- 할 진척이 없었습니다. 1976년에 이르러 두 명의 미국 수학자 케니스 아펠과 볼프강 하켄이 만약 반례가 있다면 1936가지 모양 중 하나를 반드시 포함하는데, 그 경우에도 4색이면 충분히 칠할 수 있다는 것을 컴퓨터로 증명했습니다.△수학자들은 어떨 때 지도를 3색으로 칠할 수 있는지 연구하고 있다 ... ...
- [지식] 엄상일 교수의 따끈따끈한 수학_저르퍼시의 추측수학동아 l2016년 02호
- 1852년에 제기됐습니다. 무려 100년 동안 풀리지 않다가 지난 1976년 케네스 아펠과 볼프강 하켄이 컴퓨터를 이용해 증명했습니다.실생활 문제 해결하는 그래프 색칠 문제그래프 색칠 문제는 여러 분야에 쓰입니다. 예를들어 라디오 방송을 위해선 최소 몇 개의 주파수가 필요한지 구할 때 쓰입니다. ... ...
- [지식]이안 아골,위상수학에 마침표를 찍다수학동아 l2016년 01호
- 관련된 두가지 명제를 각각 증명했다. 아골 교수는 이 두 가지 명제를 이용해서 하켄 추측을 증명해 위상수학의 마지막 문제를 해결할 수 있었다.그렇다면 아골 교수의 증명은 수학에서만 가치가 있는 것일까? 그렇지 않다. 아골 교수의 증명은 물리학자들에게도 기쁜 소식이었다. 왜냐하면 ... ...
- 컴퓨터 vs 인간 수학 왕좌의 게임수학동아 l2015년 02호
- 셀 수 없이 많은 경우의 수를 셀 수 있는 형태로 단순화시키는 게 핵심이었다.아펠과 하켄은 컴퓨터의 힘을 빌리기로 한다. 컴퓨터는 무한히 많은 모양을 1936개로 단순화시키고 다시 이것이 정확한지 일일이 검사했다. 무려 50일에 걸친 계산 끝에, 정확하다는 결론이 나왔다. 이렇게 구한 1936개의 ... ...
12 다음
