文学城论坛
+A-

excellent proof, needs correction in some places.

dynamic 2009-07-28 23:44:13 ( reads)

When adding p_i + A_{k+1} to C, there is a problem because A_{k+1} is already used in p_i. Therefore you need to start with A_{k+2}, but A_{k+2} need not exist (k = n-1 for example). Fortunately k can not be n - 1 (not hard to see). The argument that C has at least n - k + m elements needs more justification. it is not very hard, but can be tricky to get it correct.

Another side comment: We can not assume A_1
I really like your proof. Great job.

跟帖(3)

botong

2009-07-29 08:15:04

Thanks

botong

2009-07-29 08:34:38

Here is a new version

乱弹

2009-07-30 17:49:50

Great!