난제 작업실

하나의 난제, 세 번의 몰입

이야기에서 내 추측까지

난제 이야기는 호기심을 여는 입구이고, 난제 작업실은 그 호기심을 검증 가능한 생각으로 발전시키는 다음 장소입니다.

  1. 1 · 발견질문 만나기언제 태어나 왜 아직 사람을 붙잡는지 이야기로 이해합니다.
  2. 2 · 도전한 사례 시험하기그림·계산·색칠로 5분 안에 내 첫 관찰을 만듭니다.
  3. 3 · 발전지금 여기생각 이어 붙이기관찰을 공개하고 다른 시도와 비교해 추측·반례·부분 풀이로 키웁니다.
Week 16 · 고전부분 진척
1차 출처

프랑클 결합 폐쇄 추측 — 공통 원소는 절반 이상에 들어 있는가

중급· 제기 1979

문제

유한 집합족 F\mathcal{F}가 결합 폐쇄(임의의 A,B∈FA, B \in \mathcal{F}에 대해 A∪B∈FA \cup B \in \mathcal{F})이고 F≠{∅}\mathcal{F} \ne \{\emptyset\}이면, *적어도 ∣F∣/2|\mathcal{F}|/2개의 집합에 포함되는 원소*가 존재하는가?

Péter Frankl, 1979.

왜 흥미로운가

예: F={∅,{1},{1,2},{1,2,3}}\mathcal{F} = \{\emptyset, \{1\}, \{1,2\}, \{1,2,3\}\} — 원소 11이 4개 중 3개에 들어감 (3/4 = 75%). 결합 폐쇄 조건이 직관적으로 어떤 원소를 "지배적"으로 만든다는 느낌이지만, 증명되지 않음. 1979년부터 Frankl 본인조차 1%1\%도 증명 못 함 — 정말 *어떤 비율 c>0c > 0이라도 좋은데 무엇이 옳은지조차 몰랐다. 단순한 조합론적 진술이 극단적 난제*가 된 대표 사례.

현재까지의 진척

Justin Gilmer 2022-11-17 (당시 Google AI researcher) — 엔트로피 방법으로 *어떤 c≥0.01c \ge 0.01로 첫 무조건 하한 증명. Sawin·Cambie·Chase·Yuan*이 1주일 내에 c≈0.38234c \approx 0.38234로 개선 (3−5)/23 - \sqrt{5})/2). Liu·Mossel·Pebody·Sah·Sawhney 2023가 조합론적으로 단순화하며 더 강화. 현재 약 38.234% > 0까지 증명 — 50%(추측 값)까지는 여전히 미해결.

더 읽기

💡 한 줄부터 함께 탐구하기(0건)

참여를 인기 순으로 등급화하지 않습니다. 큐레이터는 무엇이 명료하고 재현 가능한지 말하고, 동료 신호는 누군가 이해했거나 직접 따라 해봤다는 뜻입니다.

무엇을 발견했나요?

완전한 풀이가 아니어도 좋습니다. 작은 관찰 하나가 다음 탐구의 길을 엽니다.

마크다운 + KaTeX 지원 (`$x^2$` 인라인, `$$\sum_{k=1}^n k$$` 디스플레이)
0 / 3000자

모더레이션 정책을 확인해 주세요. 로그인하면 다른 기기에서도 이 시도를 이어서 편집·삭제할 수 있습니다.

불러오는 중…

연결된 개념

  • 조합론

    결합 폐쇄 집합족의 원소 출현 빈도 정량 분석 — 조합기하의 가장 단순한 진술

  • 정보 엔트로피

    Gilmer 2022 돌파구의 핵심 도구 — entropy 방법으로 첫 무조건 상수 증명

  • 집합론

    F⊆P(X)\mathcal{F} \subseteq \mathcal{P}(X)의 union-closure 성질 — 집합론의 자연스러운 질문

연결된 수학자