初步想法:
对于一般n的问题,
假设L是一个这样的序列,
命题1:将L各位数从左向右编号1,2,3,...,2n,若前面的数i的编号为b(i),则后面的数i的编号为b(i)+i+1.
证:据题意,由于前后两个i之间隔i个数,故得。
命题2:$sum_{i=1}^nb(i)=(3nn-n)/4$
证:直接计算L上数字所有编号的和$s=1+2+...+2n=2nn+n$...(1)
再间接计算这个和
$s=前数编号和+后数编号和
$=sum_{i=1}^nb(i)+sum_{i=1}^n(b(i)+1+i)
$=2sum_{i=1}^nb(i)+n+n(n+1)/2$...(2)
由(1)(2)得
$sum_{i=1}^nb(i)=(3nn-n)/4$
推论:长度为2n的L存在的必要条件是n=4k或4k+3.
证:若不然,则n=4k+1或4k+2,由$sum_{i=1}^nb(i)=(3nn-n)/4$得$sum_{i=1}^nb(i)$为分数,这是不可能的。
--
另外考虑一个特殊情况--前数都在左半边(或说前后数对半分)的情况。
此时有$sum_{i=1}^nb(i)=n(n+1)/2$,再结合命题2解得n=3或0(舍)。
也就是说前后数对半分的L只有n=3时才存在。这就是为什么n=3时例子特别好举,而n为其它值时不好举的原因。建议举一个前后不是对半分的例子,不知是否举得出。
----
没想到人教不支持公式,如果上面的看不清,请看这个:
http://bbs.bossh.net/home/u/wantnon/archives/2008/392.html
[
本帖最后由 wantnon 于 2008-7-19 08:20 编辑 ]