首先对列表进行洗牌,然后将其切片:
from random import shuffle
random.shuffle(your_lis)
your_lis = your_lis[:10000]
如果订单有问题:
from random import randrange
diff = len(your_lis) - 10000
for _ in xrange(diff):
    ind = randrange(len(your_lis))
    your_lis.pop(ind)  #a quick timing check suggests that `pop` is faster than `del`