‹ 上一题下一题 ›

s02215. 二十四点未做

1000 ms 256 MB 测试点 10 S-14·搜索进阶 S·算法自拟题 S-14 搜索的剪枝优化

文件读写输入s02215.in输出s02215.out

题目描述

给定 $n$ 个 $1 \sim 13$ 之间的整数和一个目标值 $T$ 。你可以在这些数之间任意添加四则运算符 + - * / 和括号，要求每个数恰好用一次（中间结果允许是分数），判断能否算出 $T$ 。

输入格式

第一行两个整数 $n, T$ 。第二行 $n$ 个整数 $a_{1}, a_{2}, \dots, a_{n}$ 。

输出格式

能算出 $T$ 输出 YES，否则输出 NO。

样例

输入

4 24
1 3 4 6

输出

YES

数据范围

对于 30% 的数据： $n = 4$ ， $T = 24$
对于 60% 的数据： $n \leq 6$ ， $T = 24$
对于 100% 的数据： $1 \leq n \leq 8$ ， $1 \leq T \leq 1000$ ， $1 \leq a_{i} \leq 13$

输入

输出

答案