-
Notifications
You must be signed in to change notification settings - Fork 0
/
judger.py
171 lines (135 loc) · 5.71 KB
/
judger.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
import argparse
import hashlib
import json
import os
import re
import shutil
from collections import defaultdict
from pathlib import Path
from typing import Optional, TypedDict
import pandas as pd
parser = argparse.ArgumentParser(description='judge')
parser.add_argument('hwid', type=str, help='homework id in playground dir')
args = parser.parse_args()
config = json.load(open("config.json", "r", encoding="utf-8"))
BASE_SUFFIX = config['base_suffix']
COPIED_SUFFIX = config['copied_suffix']
COMMENT_SUFFIX = config['comment_suffix']
TA_USERIDS = config['ta_userids']
SKIP_COMMENTS = config['skip_comments']
SKIP_SPACES = config['skip_spaces']
HW_ID = args.hwid
SRC_DIR = f"./playground/{HW_ID}/"
DST_DIR = f"./playground/{HW_ID}_copied_code/"
class ResultType(TypedDict):
score: float
ac_subid: Optional[int]
name: str
def judge_list(filename_list: list):
dct = defaultdict(list)
for filename in filename_list:
text = open(filename, "r", encoding="utf-8").read()
if SKIP_COMMENTS:
# remove all comments from python3 file
text = re.sub(r"#.*", "", text)
text = re.sub(r'""".*?"""', "", text, flags=re.DOTALL)
text = re.sub(r"'''.*?'''", "", text, flags=re.DOTALL)
if SKIP_SPACES:
# remove all spaces
text = re.sub(r"\s+", "", text)
hash_digest = hashlib.sha512(text.encode("utf-8")).hexdigest()
dct[hash_digest].append(filename)
ret = [dct[k] for k in dct if len(dct[k]) > 1]
# IPython.embed()
return ret
def main():
dst_path = Path(DST_DIR)
if dst_path.exists():
shutil.rmtree(dst_path)
dst_path.mkdir(parents=True)
pattern = r"([0-9]*)_([0-9]*)_([A-Z]*)_([0-9]*)\((.*)\)\.py3"
xuanke = pd.read_excel('选课名单.xls', dtype=str)
score_map = {
'AC' : 2.0,
'PE' : 1.0,
'WA' : 1.0,
'RE' : 0.0,
'CE' : 0.0,
'TLE' : 1.0,
'MLE' : 1.0,
'WT' : 0.0,
}
lst = os.listdir(SRC_DIR)
dic: dict[str, dict[int, dict[str, list[tuple[int, str]]]]] = defaultdict(lambda: defaultdict(lambda: defaultdict(list)))
xuehao_to_userid: dict[str, int] = {}
userid_to_xuehao: dict[int, str] = {}
for name in lst:
if name.endswith(".py3"):
match = re.match(pattern, name)
if match is None: continue
subid, probid, status, userid, username = match.groups()
subid = int(subid)
userid = int(userid)
if userid in TA_USERIDS: continue
dic[probid][userid][status].append((subid, name))
for xuehao in xuanke['学号']:
if xuehao in username:
xuehao_to_userid[xuehao] = userid
userid_to_xuehao[userid] = xuehao
break
results: dict[str, dict[int, ResultType]] = defaultdict(lambda: defaultdict(lambda: ResultType(score=0.0, ac_subid=0, name="")))
for prob_id, userid_2_status_subid in dic.items():
for userid, status_2_subid in userid_2_status_subid.items():
max_score = 0.0
stat = (None, '')
for status, subid in status_2_subid.items():
if status == 'AC': stat = max(subid)
max_score = max(max_score, score_map[status])
results[prob_id][userid] = ResultType(score=max_score, ac_subid=stat[0], name=stat[1])
prob_ids = sorted(results.keys())
df = pd.DataFrame(columns=[x+y for y in (BASE_SUFFIX, COPIED_SUFFIX, COMMENT_SUFFIX) for x in prob_ids], index=xuanke.index)
df = xuanke.merge(df, left_index=True, right_index=True)
prob_to_filelist = defaultdict(list)
filename_to_commented = {}
for prob_id, userid_2_info in results.items():
for userid, info in userid_2_info.items():
if (info['ac_subid'] is None) or (userid not in userid_to_xuehao): continue
src_path = os.path.join(SRC_DIR, info['name'])
prob_to_filelist[prob_id].append(src_path)
code = "".join(open(src_path).readlines())
commented = "'''" in code or "#" in code
df.loc[df['学号'] == userid_to_xuehao[userid], prob_id+COMMENT_SUFFIX] = 'yes' if commented else 'no'
for prob_id, userid_2_info in results.items():
for userid, info in userid_2_info.items():
if userid not in userid_to_xuehao: continue
df.loc[df['学号'] == userid_to_xuehao[userid], prob_id+BASE_SUFFIX] = info['score']
for prob_id in prob_ids:
filename_lst = prob_to_filelist[prob_id]
same_lst = judge_list(filename_lst)
print(prob_id)
prob_dst_dir = os.path.join(DST_DIR, prob_id)
if os.path.exists(prob_dst_dir):
shutil.rmtree(prob_dst_dir)
for i, lst in enumerate(same_lst):
print(f" list{i}:")
for name in lst:
final_name = name.split('/')[-1]
match = re.match(pattern, final_name)
if match is None: continue
subid, probid, status, userid, username = match.groups()
userid = int(userid)
df.loc[df['学号'] == userid_to_xuehao[userid], prob_id+COPIED_SUFFIX] = "yes-%03d" % i
dst_dir = os.path.join(prob_dst_dir, "%03d" % i)
Path(dst_dir).mkdir(exist_ok=True, parents=True)
shutil.copy(name, dst_dir)
print(f" {final_name}")
for x in prob_ids:
col = x + COMMENT_SUFFIX
df[col] = df[col].fillna('N/A')
col = x + COPIED_SUFFIX
df[col] = df[col].fillna('no')
col = x + BASE_SUFFIX
df[col] = df[col].fillna(0.0)
df.to_csv(f'{HW_ID}_result.csv', index=False)
if __name__ == '__main__':
main()