| For All Solvers
OMC221

OMC221(C)

 Xn={1,1,2,2,,n,n}X_n=\{1,1,2,2,\dots,n,n\} とする.ff の定義をその部分集合に拡張する.ここで,f()=1f(\emptyset)=1 とする.このとき,n=2,3,n=2,3,\dots について,Xn1X_{n-1} の部分集合 VV{n,n}\{n,n\} の部分集合の和集合について,以下が成立する: f(V)=f(V),f(V{n})={f(V)(Vの要素数が奇数)nf(V)(Vの要素数が偶数),f(V{n,n})=nf(V). \begin{aligned} f(V\cup \emptyset)&=f(V),\\ f(V\cup \{n\})&= \begin{cases} f(V)&(Vの要素数が奇数)\\ nf(V)&(Vの要素数が偶数) \end{cases},\\ f(V\cup \{n,n\})&=nf(V). \end{aligned}  よって,XnX_n の部分集合 VV のうち,要素数が偶数であるものの f(V)f(V) の総和を ana_n,要素数が奇数であるものの f(V)f(V) の総和を bnb_n とすると,a1=2, b1=1a_1=2, ~ b_1=1 および n=2,3,n=2,3,\dots について以下が成立する: an=(1+n)an1+bn1,bn=nan1+(1+n)bn1. a_n=(1+n)a_{n-1}+b_{n-1}, \quad b_n=na_{n-1}+(1+n)b_{n-1}. よって,求めるものは a5+b51=1729+34301=5158a_{5}+b_{5}-1=1729+3430-1=\mathbf{5158} である.

解説YouTube

解説YouTubeが存在しません.