loj#P6929. 「ICPC World Finals 2023」日程

「ICPC World Finals 2023」日程

题目描述

创意产品组合学院(The Institute for Creative Product Combinations, ICPC)致力于寻找不同寻常的创新方法,将看似毫不相干的产品或技术结合起来,从而开拓新的市场,创造新的就业机会。(例如,他们最近成功的产品是「火盆电吹风」,这是一种带有炭烤火盆的吹风机,可以随时随地制作热餐。)这个公司雇佣了 nn 个大小为 22 的团队来研发各自的产品,然后不同团队的成员聚集起来共同探索组合产品的方式。

疫情期间,ICPC 的管理层合理安排了每个人的日程,使办公室里从来没有同时出现过超过 nn 人的情况。安排进行地十分顺利,以至于疫情结束后他们仍继续着这样的工作模式。下面是他们使用的安排计划。将团队用 11nn 的正整数编号,第 ii 个团队的两个人编号为 (i,1)(i,1)(i,2)(i,2)。每周内,每队只有一人允许进入办公室,另一个人不得不离开。员工 (i,1)(i,1)(i,2)(i,2) 彼此熟识,并且可以在远离对方的情况下通力协作,所以相同团队的成员不需要到办公室见面。然而,不同团队成员的隔离仍是一个问题。

对于 iji\neq j 的每对团队 iijj 需要偶尔合作。对于给定的周数 ww 和固定的团队成员 (i,a)(i,a)(j,b)(j,b),令 w1<w2<<wkw_1<w_2<\ldots<w_k 为这两个成员在办公室见面的周。这两个人疏远度是下列数组元素的最大值

$$\{w_1,w_2-w_1,w_3-w_2,\ldots,w_k-w_{k-1},w+1-w_k\} $$

如果两人从不见面,则疏远度为无穷。整个公司的疏远度是对于 i,j,a,bi,j,a,b 所有取值的疏远度的最大值。

你需要规划一个每周日程,对于给定的周数 ww,你需要最小化整个公司的疏远度。

输入格式

输入包含一行两个整数 nn2n1042\le n\le 10^4)和 ww1w521\le w\le 52),nn 为团队数,ww 是需要规划日程的周数。

输出格式

如果不存在一种日程,满足不同团队的每对人员可以见面,输出一行 infinity,否则输出一个整数,表示可以达到的最小疏远度。如果最小疏远度是有限的,接下来输出 ww 行,表示能达到这个疏远度的日程安排。第 jj 行输出只由 12 组成且长为 nn 的字符串,第 ii 个字符表示团队 ii 在第 jj 周到办公室的成员。

2 6

4
11
12
21
22
11
12

2 1

infinity