アルゴリズムと計算量の問題

ある分割統治アルゴリズムは、大きさ $n$ の入力を大きさ $n/2$ の 3 つの部分問題に分けて再帰的に解き、分割と統合に $n$ の手間をかける。その計算時間 $T(n)$ は、0 以上の整数 $k$ に対して $n=2^k$ のとき
$$T(1)=1,T(n)=3T\left(\frac{n}{2}\right)+n(n\ge 2)$$
を満たすとする。0 以上の整数 $k$ に対して、$T(2^k)$ を $k$ の式で表せ。

ある分割統治アルゴリズムは、大きさ $n$ の入力を大きさ $n/2$ の $2$ つの部分問題に分けて再帰的に解き、分割と統合に $n$ の手間をかける。その計算時間 $T(n)$ は、$0$ 以上の整数 $k$ に対して $n=2^k$ のとき、次の漸化式で与えられる。
$$T(1)=1,T(n)=2T\left(\frac{n}{2}\right)+n(n\geqq 2)$$
$T(2^k)$ を $k$ の式で表せ。

ある分割統治アルゴリズムは、大きさ $n$ の入力を大きさ $n/2$ の $2$ つの部分問題に分けて再帰的に解き、分割と統合に $2n$ の手間をかける。その計算時間 $T(n)$ は、$0$ 以上の整数 $k$ に対して $n=2^k$ のとき、次の漸化式で与えられる。
$$T(1)=3,T(n)=2T\left(\frac{n}{2}\right)+2n(n\geqq 2)$$
$T(2^k)$ を $k$ の式で求めよ。

ある分割統治アルゴリズム（マージソートの型）は、大きさ $n$ の入力を大きさ $n/2$ の $2$ つの部分問題に分けて再帰的に解き、分割と統合に $n$ の手間をかける。その計算時間 $T(n)$ は、$0$ 以上の整数 $k$ に対して $n=2^k$ のとき、次の漸化式で与えられる。
$$T(1)=1,T(n)=2T\left(\frac{n}{2}\right)+n(n\geqq 2)$$
$T(2^k)$ を $k$ の式で求めよ。

ある分割統治アルゴリズムは、大きさ $n$ の入力を大きさ $n/4$ の $2$ つの部分問題に分けて再帰的に解く。分割と統合には $\sqrt{n}$ の手間をかける。入力の大きさは $4$ のべき $n=4^k$（$k$ は $0$ 以上の整数）に限るものとし、計算時間 $T(n)$ は次の漸化式で定まるとする。
$$T(1)=1,T(n)=2T\left(\frac{n}{4}\right)+\sqrt{n}(n=4^k,k\ge 1)$$
$n=4^k$ のときの $T(n)$ を $n$ の式で表せ。対数を使う場合は、底を明示するか自然対数 $\log$ を用いて表すこと。