程序可在Python中精确计数具有k个唯一元素的子列表的数量