{"trustable":true,"prependHtml":"\u003cstyle type\u003d\"text/css\"\u003e\n section pre {\n display: block;\n padding: 9.5px;\n margin: 0 0 10px;\n font-size: 13px;\n line-height: 1.42857143;\n word-break: break-all;\n word-wrap: break-word;\n color: #333;\n background: rgba(255, 255, 255, 0.5);\n border: 1px solid #ccc;\n border-radius: 6px;\n }\n\u003c/style\u003e\n\u003cscript\u003e\n window.katexOptions \u003d {\n delimiters: [\n {left: \u0027\\\\(\u0027, right: \u0027\\\\)\u0027, display: false},\n {left: \u0027\\\\[\u0027, right: \u0027\\\\]\u0027, display: true}\n ]\n };\n\u003c/script\u003e\n","sections":[{"title":"问题描述","value":{"format":"HTML","content":"\u003csection\u003e\n\u003cp\u003eAtCoDeer是只有正整数的卡片,第\u003cvar\u003e\\(i\\)\u003c/var\u003e张卡片上的数字是\u003cvar\u003e\\(a_i\\)\u003c/var\u003e。\n因为他喜欢大数,他称卡片的一个子集为“好”的,当且仅当子集中卡片上的数字之和大于或等于\u003cvar\u003e\\(K\\)\u003c/var\u003e。\u003c/p\u003e\n\u003cp\u003e然后,对于每张卡片\u003cvar\u003e\\(i\\)\u003c/var\u003e,他按照以下方式判断它是否“不必要”:\u003c/p\u003e\n\u003cul\u003e\n\u003cli\u003e如果对于包含卡片\u003cvar\u003e\\(i\\)\u003c/var\u003e的任何好子集,从子集中去掉卡片\u003cvar\u003e\\(i\\)\u003c/var\u003e后得到的集合仍然是好的,那么卡片\u003cvar\u003e\\(i\\)\u003c/var\u003e就是不必要的。\u003c/li\u003e\n\u003cli\u003e否则,卡片\u003cvar\u003e\\(i\\)\u003c/var\u003e就是必要的。\u003c/li\u003e\n\u003c/ul\u003e\n\u003cp\u003e找出不必要的卡片的数量。在这里,他独立地对每张卡片进行判断,并且不会丢弃被判断为不必要的卡片。\u003c/p\u003e\n\u003c/section\u003e"}},{"title":"限制条件","value":{"format":"HTML","content":"\u003csection\u003e\n\u003cul\u003e\n\u003cli\u003e所有输入值均为整数。\u003c/li\u003e\n\u003cli\u003e\u003cvar\u003e\\(1≤N≤5000\\)\u003c/var\u003e\u003c/li\u003e\n\u003cli\u003e\u003cvar\u003e\\(1≤K≤5000\\)\u003c/var\u003e\u003c/li\u003e\n\u003cli\u003e\u003cvar\u003e\\(1≤a_i≤10^9 (1≤i≤N)\\)\u003c/var\u003e\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/section\u003e"}},{"title":"部分分数","value":{"format":"HTML","content":"\u003csection\u003e\n\u003cul\u003e\n\u003cli\u003e通过满足\u003cvar\u003e\\(N,K≤400\\)\u003c/var\u003e的测试集将获得\u003cvar\u003e\\(300\\)\u003c/var\u003e分。\u003c/li\u003e\n\u003c/ul\u003e\n\u003c/section\u003e"}},{"title":"输入","value":{"format":"HTML","content":"\u003csection\u003e\n\u003cp\u003e输入以以下格式从标准输入给出:\u003c/p\u003e\n\u003cpre\u003e\u003cvar\u003e\\(N\\)\u003c/var\u003e \u003cvar\u003e\\(K\\)\u003c/var\u003e\r\n\u003cvar\u003e\\(a_1\\)\u003c/var\u003e \u003cvar\u003e\\(a_2\\)\u003c/var\u003e ... \u003cvar\u003e\\(a_N\\)\u003c/var\u003e\r\n\u003c/pre\u003e\n\n\u003c/section\u003e"}},{"title":"输出","value":{"format":"HTML","content":"\u003csection\u003e\n\u003cp\u003e输出不必要的卡片的数量。\u003c/p\u003e\n\u003c/section\u003e"}},{"title":"示例 1","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e3 6\r\n1 4 3\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e1\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\r\n\u003csection\u003e\n\n\n\u003c/section\u003e\n\n\u003csection\u003e\n\n\n\u003cp\u003e有两个好的子集:{\u003cvar\u003e\\(2,3\\)\u003c/var\u003e} 和 {\u003cvar\u003e\\(1,2,3\\)\u003c/var\u003e}。\u003c/p\u003e\n\u003cp\u003e卡片\u003cvar\u003e\\(1\\)\u003c/var\u003e只包含在{\u003cvar\u003e\\(1,2,3\\)\u003c/var\u003e}中,去掉卡片\u003cvar\u003e\\(1\\)\u003c/var\u003e后得到的子集{\u003cvar\u003e\\(2,3\\)\u003c/var\u003e}仍然是好的。因此,卡片\u003cvar\u003e\\(1\\)\u003c/var\u003e是不必要的。\u003c/p\u003e\n\u003cp\u003e对于卡片\u003cvar\u003e\\(2\\)\u003c/var\u003e,去掉卡片\u003cvar\u003e\\(2\\)\u003c/var\u003e后得到的子集{\u003cvar\u003e\\(3\\)\u003c/var\u003e}不是好的。因此,卡片\u003cvar\u003e\\(2\\)\u003c/var\u003e是必要的。\u003c/p\u003e\n\u003cp\u003e出于类似的原因,卡片\u003cvar\u003e\\(3\\)\u003c/var\u003e也是必要的,因此答案是\u003cvar\u003e\\(1\\)\u003c/var\u003e。\u003c/p\u003e\n\u003c/section\u003e"}},{"title":"示例 2","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e5 400\r\n3 1 4 1 5\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e5\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\r\n\u003csection\u003e\n\n\n\u003c/section\u003e\n\n\u003csection\u003e\n\n\n\u003cp\u003e在这种情况下,没有好的子集。因此,所有的卡片都是不必要的。\u003c/p\u003e\n\u003c/section\u003e"}},{"title":"示例 3","value":{"format":"HTML","content":"\u003ctable class\u003d\u0027vjudge_sample\u0027\u003e\n\u003cthead\u003e\n \u003ctr\u003e\n \u003cth\u003eInput\u003c/th\u003e\n \u003cth\u003eOutput\u003c/th\u003e\n \u003c/tr\u003e\n\u003c/thead\u003e\n\u003ctbody\u003e\n \u003ctr\u003e\n \u003ctd\u003e\u003cpre\u003e6 20\r\n10 4 3 10 25 2\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003ctd\u003e\u003cpre\u003e3\r\n\u003c/pre\u003e\u003c/td\u003e\n \u003c/tr\u003e\n\u003c/tbody\u003e\n\u003c/table\u003e\n\r\n\u003csection\u003e\n\n\n\u003c/section\u003e\n\n\u003csection\u003e\n\u003c/section\u003e"}}]}