※ 引述《q1qip123 (wtlee)》之銘言：
: 想請問 在箭頭那一行
: 若是我假設一數列為 2,1,6,7,8,9,10,5,4,3
: 則 I(1)=length('2,6,7,8,9,10')
: D(1)=length('10,5,4,3')
: I(2)=length('1,6,7,8,9,10')
: D(2)=length('10,5,4,3')
: 那我a1跟a2定義出來的數對(I,D)都是（6,4）
: 不就不會產生n^2+1個數對了？
: 謝謝！http://i.imgur.com/R6lj4uh.jpg
:

我理解錯的地方是I_i跟D_i都要包含a_i對吧？那想請問在a_i<a_j時，如果不包含a_j為甚麼一存在遞增數列長度>I_j?

只有兩種情況 如果不含a_j的數列I_i比含a_j的少 就選擇含a_j的

我知道是在討論包不包含a_j不含a_j的情形 直覺上能接受但是說不含a_j時，則存在I_i>l_j,這個"存在"不太能接受抱歉 ,這好像很trivial，但是轉不太過來…

如果不包含a_j的所有遞增數列長度 <= I_j，那這些遞增數列的長度就不會是I_i，而是包含a_j的數列

好 我懂了 感謝！