스즈미야 하루히의 우울
《스즈미야 하루히의 우울》은 타니가와 나가루가 쓰고 이토 노이지가 삽화를 맡아 2003년에 시작한 일본 라이트 노벨 시리즈다. 애니메이션·만화·게임 등으로 확장됐다.
2011년 4chan의 익명 유저가 애니메이션 '스즈미야 하루히의 우울'의 14화를 가능한 모든 순서로 보려면 최소 몇 화가 필요한지 계산하다가, 수학 미해결 문제인 초순열의 최소 길이 하한을 증명해 버렸다. 이 증명은 7년간 묻혀 있다가 2018년에야 수학자에 의해 발견되었다.
0