하나의 난제, 세 번의 몰입
이야기에서 내 추측까지
난제 이야기는 호기심을 여는 입구이고, 난제 작업실은 그 호기심을 검증 가능한 생각으로 발전시키는 다음 장소입니다.
문제
평면 의 각 점에 색을 부여하되, 거리가 정확히 1인 두 점은 다른 색이 되도록 한다. 이를 만족하는 최소 색 수 는 얼마인가?
Edward Nelson, 1950. 약 75년 미해결.
왜 흥미로운가
Moser spindle(7점) — 3색으로 칠할 수 없는 단위거리 그래프. 따라서 (1950s부터 자명). 한편 육각 격자로 평면 전체를 7색으로 칠해 단위거리를 피할 수 있음 — . 그래서 60년간 답은 4, 5, 6, 7 중 하나라는 좁은 창문에 갇혀 있었다. 아마추어도 이해 가능한 진짜 열린 그래프 색칠 문제 — 수학 외 출신에게도 접근 가능.
현재까지의 진척
2018-04-08 — Aubrey de Grey(생물노화학자, 아마추어 수학자)가 1581-vertex 단위거리 그래프를 SAT solver 5장으로 검증해 * 증명. MathOverflow Polymath 16 프로젝트가 vertex 수를 553까지 줄임. 여전히 *로 미해결 — 상계 7도 60년간 개선 시도 실패.
더 읽기
💡 한 줄부터 함께 탐구하기(0건)
참여를 인기 순으로 등급화하지 않습니다. 큐레이터는 무엇이 명료하고 재현 가능한지 말하고, 동료 신호는 누군가 이해했거나 직접 따라 해봤다는 뜻입니다.
무엇을 발견했나요?
완전한 풀이가 아니어도 좋습니다. 작은 관찰 하나가 다음 탐구의 길을 엽니다.
모더레이션 정책을 확인해 주세요. 로그인하면 다른 기기에서도 이 시도를 이어서 편집·삭제할 수 있습니다.