乙個有用的定理

2021-08-05 22:13:23 字數 890 閱讀 3431

今天%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類管理公司的所有...