MathDB
CHMMC 2022 Winter / 2022-23 Team #7

Source:

August 10, 2023
number theoryalgebra

Problem Statement

Let N0N_0 be the set of all non-negative integers. Let f:N0×N0N0f : N_0 \times N_0 \to N_0 be a function such that for all non-negative integers a,ba,b: f(a,b)=f(b,a),f(a,b) = f(b,a), f(a,0)=0,f(a,0) = 0, f(a+b,b)=f(a,b)+b.f(a+b,b) = f(a,b) +b. Compute i=030j=02i1f(2i,j)\sum_{i=0}^{30}\sum_{j=0}^{2^i-1}f(2^i, j)