48 lines
1.6 KiB
Python
48 lines
1.6 KiB
Python
import json
|
|
with open(r"..\题库0.3\Problems.json","r",encoding = "utf8") as f:
|
|
database = f.read()
|
|
idlist = list(json.loads(database).keys())
|
|
|
|
def generate_exp(id_list):
|
|
if not len(id_list) == 0:
|
|
exp_list = []
|
|
start = id_list[0]
|
|
current = start
|
|
end = start
|
|
for id in id_list[1:]:
|
|
# print(id,current)
|
|
if int(id)-1 == int(current):
|
|
current = id
|
|
end = id
|
|
else:
|
|
if not start == end:
|
|
exp_list.append('"'+start+":"+end+'"')
|
|
else:
|
|
exp_list.append('"'+start+'"')
|
|
start = id
|
|
current = id
|
|
end = id
|
|
if not start == end:
|
|
exp_list.append('"'+start+":"+end+'"')
|
|
else:
|
|
exp_list.append('"'+start+'"')
|
|
return exp_list
|
|
|
|
|
|
used_list = generate_exp(idlist)
|
|
|
|
for group in range(len(used_list)-1):
|
|
print("首个空闲id: %s, 直至: %s"%(str(int(used_list[group][-7:-1])+1).zfill(6),str(int(used_list[group+1][1:7])-1).zfill(6)))
|
|
print("首个空闲id: %s, 直至: %s"%(str(int(used_list[-1][-7:-1])+1).zfill(6),"999999"))
|
|
# freeidlist = {}
|
|
# for id in idlist:
|
|
# if not str(int(id)+1).zfill(6) in idlist:
|
|
# freeidlist[id] = ""
|
|
# for id in freeidlist:
|
|
# largeridlist = [usedid for usedid in idlist if usedid > id]
|
|
# if not largeridlist == []:
|
|
# freeidlist[id] = str(int(min(largeridlist))-1).zfill(6)
|
|
# else:
|
|
# freeidlist[id] = "999999"
|
|
# for id in freeidlist:
|
|
# print("首个空闲id:",str(int(id)+1),", 直至",freeidlist[id]) |