楼房建造解题报告

一道大力特判题，

显然，当$a_i = a_k$且$b_i \not = b_k$的时候显然是无解的。
若该情况不存在，继续讨论
当$m > n$的时候显然是无解的，

当$m < n$的时候，我们仅仅对$m$个楼房的高度进行了限制，可以把多余的楼房看成与第一个高度相同，这样就把问题转化为了一个$n = m$的子问题

当$m = n$的时候，所有的$a_i$必定构成了一个与顺序无关的排列，那么现在只需要考虑$b_i$是否能满足条件

设$mx$为$max\{b_i\}$
$mn$为$min\{b_i \}$

显然$mx - mn > 1$的时候无解

接下来分两种情况讨论

$mx = mn$：这时候每一种高度要么是互不相同，要么是至少出现两次

$mx = mn +1$：这时候小的元素一定是独一无二的，大的元素至少出现两次。

输出解的时候根据上述讨论结果构造即可