atcoder#AGC024F. [AGC024F] Simple Subsequence Problem

[AGC024F] Simple Subsequence Problem

Score : 23002300

问题陈述

给定一个由 01 组成的字符串集合 SS,以及一个整数 KK

找到一个最长的字符串,它是 SSKK 个或更多不同字符串的子序列。如果有多个字符串满足此条件,则找到字典序最小的字符串。

这里,SS 的格式如下:

  • 给定的数据是一个整数 NN,以及 N+1N+1 个字符串 X0,X1,...,XNX_0,X_1,...,X_N。对于每个 ii (0iN)(0\leq i\leq N)XiX_i 的长度为 2i2^i
  • 对于每对整数 (i,j)(i,j) (0iN,0j2i1)(0\leq i\leq N,0\leq j\leq 2^i-1)XiX_i 的第 jj 个字符是 1 当且仅当 jj 的二进制表示(可能带有前导零)属于 SS。这里,XiX_i 的第一个和最后一个字符分别称为第 00 个和第 (2i1)(2^i-1) 个字符。
  • SS 中不包含长度为 N+1N+1 或更长的字符串。

这里,当存在一系列整数 t1<...<tAt_1 < ... < t_{|A|},使得对于每个 ii (1iA)(1\leq i\leq |A|),字符串 AA 的第 ii 个字符与字符串 BB 的第 tit_i 个字符相等时,字符串 AA 是字符串 BB 的子序列。

约束条件

  • 0N200 \leq N \leq 20
  • Xi(0iN)X_i(0\leq i\leq N) 是一个长度为 2i2^i 的字符串,由 01 组成。
  • 1KS1 \leq K \leq |S|
  • KK 是一个整数。

输入

输入通过标准输入给出,格式如下:

NN KK

X0X_0

::

XNX_N

输出

打印在 KK 或更多不同字符串中最长字符串的字典序最小字符串。

3 4
1
01
1011
01001110
10

以下字符串属于 SS:空字符串,1001011001100101110。 在四个或更多字符串中,最长字符串的字典序最小的是 10

4 6
1
01
1011
10111010
1101110011111101
100
2 5
0
11
1111

答案是空字符串。