分巧克力(Chocolate)

题目描述

AtCoder さんはバレンタインデーの日に $N$ 人の友達にチョコレートを配ることにしました。$i$ 人目 $(1\ \leq\ i\ \leq\ N)$ の友達には、大きさ $2^{A_i}\ \times\ 2^{A_i}$ の正方形の板チョコを渡したいです。

ここで、AtCoder さんは大きさ $H\ \times\ W$ の長方形の板チョコを $1$ 枚仕入れました。この板チョコは切れ目によって縦 $H$ 行・横 $W$ 列のマス目状に区切られており、その各マスは大きさ $1\ \times\ 1$ の正方形になっています。

板チョコを切れ目に沿っていくつかのピースに分割することにより、友達に渡す板チョコをすべて得ることが可能か判定してください。なお、余るピースがあっても構いません。

输入格式

入力は以下の形式で標準入力から与えられます。

$H$ $W$ $N$ $A_1$ $A_2$ $\cdots$ $A_N$

输出格式

可能ならば Yes、不可能ならば No と出力してください。

样例输入 #1

4 4 4
1 0 0 1

样例输出 #1

Yes

样例输入 #2

5 7 6
0 1 0 2 0 1

样例输出 #2

Yes

样例输入 #3

3 2 7
0 0 0 0 0 0 0

样例输出 #3

No

样例输入 #4

11 11 2
2 3

样例输出 #4

No

样例输入 #5

777 777 6
8 6 9 1 2 0

样例输出 #5

Yes

数据范围

制約

• $1\ \leq\ H\ \leq\ 10^9$
• $1\ \leq\ W\ \leq\ 10^9$
• $1\ \leq\ N\ \leq\ 1000$
• $0\ \leq\ A_i\ \leq\ 25\ (1\ \leq\ i\ \leq\ N)$
• 入力はすべて整数

Sample Explanation 1

以下の図のように大きさ $4\ \times\ 4$ の板チョコを分割することで、大きさ $2\ \times\ 2,\ 1\ \times\ 1,\ 1\ \times\ 1,\ 2\ \times\ 2$ のピースを得ることができます。 

Sample Explanation 2

以下の図のように大きさ $5\ \times\ 7$ の板チョコを分割することで、大きさ $1\ \times\ 1,\ 2\ \times\ 2,\ 1\ \times\ 1,\ 4\ \times\ 4,\ 1\ \times\ 1,\ 2\ \times\ 2$ のピースを得ることができます。 

Sample Explanation 3

大きさ $3\ \times\ 2$ の板チョコから、大きさ $1\ \times\ 1$ のピースを $7$ つ得ることは不可能です。

Sample Explanation 4

大きさ $11\ \times\ 11$ の板チョコから、大きさ $4\ \times\ 4,\ 8\ \times\ 8$ のピースを両方得ることは不可能です。

知识点与难度

本题涉及的知识点从属于 CSP-S，难度（CF Rating）：1600。

测试点分布

出处：原题链接