#P9612. [CERC2019] Light Emitting Hindenburg
[CERC2019] Light Emitting Hindenburg
题目背景
题目译自 CERC 2019 「Light Emitting Hindenburg」
题目描述
Lothar 正在组织他朋友的摇滚乐队的音乐会巡演。巡演将于 11 月举行,每天最多有一场音乐会。这次巡演将非常具有代表性,许多音乐家都愿意参加。巡演中的音乐家人数是严格规定的,不能改变。巡演中的每一场音乐会都必须有所有参加巡演的音乐家参加。
对 Lothar 来说,好消息是,候选音乐家的数量至少与巡演中规定的音乐家数量一样多。坏消息是,一个典型的音乐家整个月都没有空,而且各种音乐家的日程安排也大不相同。
很久以前,Lothar 编写了一个计算机调度系统的核心,现在他正在利用它来组织这次巡演。他反复地、有点随机地选择一组指定数量的音乐家,并让系统计算出一个可接受的巡演时间表。该系统取决于一种非常具体的数据格式。音乐家的时间表和巡演时间表用数字编码表示。11 月的日子是按月份的数字标记的:。
对于一个给定的音乐家来说,每年 11 月的一天都会被分配一个特定的数字编码。如果音乐家当天空闲,则标签为 的一天由整数 编码。否则,日期将由 编码。音乐家的时间表编码是他或她的所有日期编码的总和。
对于一组给定的音乐家来说,每年 11 月的一天都会被分配一个特定的数字编码。如果该组中的所有音乐家当天都空闲,标签为 的一天由整数 编码。否则,日期将由 编码。组的空闲编码是该组所有日期编码的总和。
出于许多其他微妙的原因,Lothar 认为最好的巡演应该是任意一组音乐家,这组的空闲编码是可能的最大值。
输入格式
第一行包含两个整数 。 是可用音乐家的数量, 是参加巡演的音乐家的规定数量。
第二行包含一个由 个正整数组成的序列。序列中的每个整数表示一个音乐家的时间表编码。编码按任意顺序列出。
输出格式
输出一个整数,代表 个音乐家的空闲编码值总和的最大值。
5 2
6 15 9 666 1
10
8 4
13 30 27 20 11 30 19 10
18