对于一个字符串，当他为colorful时满足其所有的子串的值不一样, 值的定义如下，如“236”，定义其值为2 * 3 * 6 = 36。
现题目给定字符串长度n(1 <= n <= 50), 求长度为n的第k个colorful字符串(字典序)。不存在输出“”；
思路：其实挺明显的，字符串中如果存在0，必然不合法，因为会重复；
其次，各个字母要不同，否则也是非法的。
所以，当n>=10时，那么就是无解情况
否则，就用按从小到大的顺序搜索，对于每个数判断合不合法，搜到第k个停止并返回。。
注意，当n==1时要特判。。因为0.
550pt
在2维平面上放n个正方形，每个正方形都要放在给定的2个点中的一个放置,并且正方形之间不能重叠。求所有正方形的边长的最小值大能是多少。
n <= 50; x, y <= 10^9
思路：二分答案，接着用2-sat判定