描述 宇航员Bob有一天来到火星上，他有收集硬币的习惯。于是他将火星上所有面值的硬币都收集起来了，一共有n种，每种只有一个：面值分别为a1,a2… an。 Bob在机场看到了一个特别喜欢的礼物，想买来送给朋友Alice，这个礼物的价格是X元。Bob很想知道为了买这个礼物他的哪些硬币是必须被使用的，即Bob必须放弃收集好的哪些硬币种类。飞机场不提供找零，只接受恰好X元。 输入 第一行包含两个正整数n和x。（1 <= n <= 200, 1 <= x <= 10000) 第二行从小到大为n个正整数a1, a2, a3 … an （1 <= ai <= 10000) 输出 第一行是一个整数，即有多少种硬币是必须被使用的。 第二行是这些必须使用的硬币的面值（从小到大排列）。 样例输入 5 18 1 2 3 5 10 样例输出 2 5 10 提示 输入数据将保证给定面值的硬币中至少有一种组合能恰好能够支付X元。 如果不存在必须被使用的硬币，则第一行输出0，第二行输出空行。

这是一道比较典型的背包问题，可以使用动态规划来解决。具体思路如下：

定义一个二维数组dp，其中dp[i][j]表示在使用前i个硬币的情况下，能否凑出面值j。初始化dp[0][0]为true，其余为false。

状态转移方程为：dp[i][j] = dp[i-1][j] || dp[i-1][j-a[i]]，即当前硬币不使用或使用当前硬币。

最终答案为dp[n][x]，即使用前n个硬币能否凑出面值x。

如果dp[n][x]为false，则不存在必须使用的硬币；否则，从dp[n][x]开始，从后往前遍历dp数组，选择使用的硬币。

下面是Python代码实现：