今天%popoqqq的時候看到了乙個他不屑於證的定理 ∑i
=偶數c
(i,n
)=∑i
=奇數c
(i,n
)(n不
等於0)
怎麼證明呢?(開啟口胡模式)
n為奇數時顯然(無論選偶數/奇數,剩下的一定是奇數/偶數)
n為偶數且n/2為奇數。
那我們先考慮n/2的情況,即在n的一半選數。
設選奇數的答案集合為{a1,a2,……an/4}偶數的為{b1,b2,……bn/4}(可以選0個數)
根據情況一有∑i
n/4a
i=∑i
n/4b
i 所以∑
i=偶數
c(i,
n)=∑
in/4
∑jn/
4aia
j+∑i
n/4∑
jn/4
bibj
=∑in
/4∑j
n/4a
iaj∗
2 ∑
i=奇數
c(i,
n)=∑
in/4
∑jn/
4aib
j∗2=
∑in/
4ai∑
jn/4
aj∗2
=∑in
/4∑j
n/4a
iaj∗
2 所以
∑i=偶
數c(i
,n)=
∑i=奇
數c(i
,n)
n為偶數且n/2為偶數。
那麼就一直/2,總能除到奇數的情況。然後跟第二種情況差不多推回上來就好了。
證畢(不要在意是否嚴謹)
IDENTITY列的乙個有用操作
dbcc checkident 檢查指定表的當前標識值,如有必要,還對標識值進行更正。語法dbcc checkident table name 引數 table name 是要對其當前標識值進行檢查的表名。指定的表必須包含標識列。noreseed 指定不應更正當前標識值。reseed 指定應該更正當...
IDENTITY列的乙個有用操作
dbcccheckident 檢查指定表的當前標識值,如有必要,還對標識值進行更正。語法dbcccheckident table name 引數 table name 是要對其當前標識值進行檢查的表名。指定的表必須包含標識列。noreseed 指定不應更正當前標識值。reseed 指定應該更正當前標...
第乙個有用的C 程式
這是乙個雇員記錄系統。這個程式包含的功能有 1 新增雇員的功能 2 解雇雇員的功能 3 雇員晉公升的功能 4 檢視所有雇員的功能,包括過去以及現在的雇員 5 新增所有當前雇員的功能 6 新增所有以前雇員的功能 程式分為三個部分 employee類封裝了單個雇員的資訊,database類管理公司的所有...