好像直接把and_set中的所有数进行位或运算，然后判断是否为k就行了？