[[분류:수열]][[분류:나무위키 수학 프로젝트]] [include(틀:이산수학·수리논리학)] [목차] == 개요 == {{{+1 look and say sequence · 읽고(보고) 말하기 [[數]][[列]], 개미 [[數]][[列]] }}} 1로 시작하여, 읽고 말하는 대로 다음 항을 도출하는 수열이다. '''보고 말하기 수열'''이라고도 하며, [[프랑스]]의 유명 [[소설가]] [[베르나르 베르베르]]의 [[소설]] <[[개미(소설)|개미]]>에 등장한다고 하여 '''개미 수열'''이라고도 한다. 이 수열은 일상적 언어를 사용한 구술적인 방식으로 정의되기에, 엄밀한 수학적 표현으로 정의되는 여타 수열과 달리 [[일반항]]이나 [[점화식]]을 구하기 어렵다. [[콘웨이의 생명 게임]]으로 유명한 [[존 호튼 콘웨이]]가 만들었다. == 상세 == 읽고 말하기 수열을 [math(L_n)]([math(n)]은 자연수)[* 영어 'Look and Say sequence'의 첫 글자를 땄다.]이라 하자. [math(L_1=1)]이라 하고, [math(L_{n+1})]의 값은 [math(L_n)]의 값의 각 자릿값을 따지는데, 만약 '[math(a)]개의 [math(b)], [math(c)]개의 [math(d)]...'가 된다면 [math(abcd)][* 여기에서 [math(abcd)]란 [math(a×b×c×d)]의 의미가 아니다. 만약 [math(a=1, b=2, c=3, d=4)]라면 [math(abcd=1234)]가 되는 식이다.] 식으로 모든 수를 붙여서 나타낸다. 단, 큰 자리부터 개수를 세되, 자릿수의 값이 달라지면 세기를 중단하고 그 달라진 수의 개수를 센다. 또한, 각 자릿수에 전혀 등장하지 않는 수는 '0개의 1' 따위로 세는 것이 아니고 아예 표시하지 않는다. 그러면 읽고 말하기 수열은 다음과 같이 된다. 말로만 설명해서는 이해가 어려울 것이니 직접 수열을 보라. ||<tablealign=center> [math(n)] || [math(L_n)] || || [math(1)] || [math(1)] || || [math(2)] || [math(11)][* [math(1)]은 '1개의 1'이다.] || || [math(3)] || [math(21)][* [math(11)]은 '2개의 1'이다.] || || [math(4)] || [math(1211)][* [math(21)]은 '1개의 2, 1개의 1'이다.] || || [math(5)] || [math(111221)][* [math(1211)]은 '1개의 1, 1개의 2, 2개의 1'이다.] || || [math(6)] || [math(312211)][* [math(111221)]은 '3개의 1, 2개의 2, 1개의 1'이다.] || || [math(7)] || [math(13112221)][* [math(312211)]은 '1개의 3, 1개의 1, 2개의 2, 2개의 1'이다.] || || [math(8)] || [math(1113213211)][* [math(13112221)]은 '1개의 1, 1개의 3, 2개의 1, 3개의 2, 1개의 1이다.] || || ⋮ || ⋮ || 이 경우 읽고 말하기 수열의 일의 자리는 항상 [math(1)]이다. [math(L_{1}=1)]인 이상 마지막에는 '[math(1)]'의 개수를 셀 수밖에 없고, '[math(n)]개의 [math(1)]'이 되어 '[math(n1)]' 꼴로 표기가 끝날 수밖에 없다. 혹은, '[math(a)]개의 [math(b)]'가 아니라 '[math(b)]가 [math(a)]개' 식으로 나타낼 수도 있다. 그러면 읽고 말하기 수열은 다음과 같이 된다. ||<tablealign=center> [math(n)] || [math(L_n)] || || [math(1)] || [math(1)] || || [math(2)] || [math(11)][* [math(1)]은 '1이 1개'이다.] || || [math(3)] || [math(12)][* [math(11)]은 '1이 2개'이다.] || || [math(4)] || [math(1121)][* [math(12)]는 '1이 1개, 2가 1개'이다.] || || [math(5)] || [math(122111)][* [math(1121)]은 '1이 2개, 2가 1개, 1이 1개'이다.] || || [math(6)] || [math(112213)][* [math(122211)]은 '1이 1개, 2가 2개, 1이 3개'이다.] || || [math(7)] || [math(12221131)][* [math(112213)]은 '1이 2개, 2가 2개, 1이 1개, 3이 1개'이다.] || || [math(8)] || [math(1123123111)][* [math(12221131)]은 '1이 1개, 2가 3개, 1이 2개, 3이 1개, 1이 1개'이다.] || || ⋮ || ⋮ || 이 경우, 수열의 각 항의 자릿수의 배열이 모두 역순이 되므로 맨 앞 자리가 항상 1이 된다. == 성질 == 각 자릿수의 값이 몇 개인지 세어 그것을 다음 항의 표기에 반영하므로, 한 번 출현한 자릿수는 영원히 그 수열에서 사라지지 않는다. 예를 들어 한 번 [math(3)]이 어떤 항의 어떤 자릿수에 출현하면, [math(3)]이 몇 개인지 세어 '[math(n)]개의 [math(3)]' 또는 '[math(3)]이 [math(n)]개' 식으로 그 바로 다음 항의 표기에 반영하므로, [math(3)]이 다음 항의 적어도 하나 이상의 자릿수에 출현하게 된다. 그렇다면 그 다음의 항도, 또 그 다음의 항도 마찬가지임은 자명하다. 이를 수학적으로 표현하면 다음과 같다. ||<tablealign=center> 임의의 자연수 [math(m)], [math(n)]과 [math(0\leq{a}\leq{9})]인 정수 [math(a)]에 대하여, [math(L_n)]의 적어도 하나 이상의 자릿수에 [math(a)]가 출현한다면,[br][math(m)]의 값에 관계없이 [math(L_{n+m})]의 적어도 하나 이상의 자릿수에 [math(a)]가 출현한다. ||