-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathevaluate.py
More file actions
826 lines (698 loc) · 35.6 KB
/
evaluate.py
File metadata and controls
826 lines (698 loc) · 35.6 KB
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
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
import math
import random
import uuid
from sentence_transformers import SentenceTransformer
from llm import LLM, LLMException
from model import HDR, CodeSegmentHDR, HDRException
import problem
from problem import Problem, Job, Machine, TerminalDictMaker
import copy
from typing import List, Tuple, Literal
import time
from abc import ABC, abstractmethod
import logging
import collections
import chromadb
from sklearn.preprocessing import StandardScaler
import torch.nn as nn
import numpy as np
import torch
import pickle
class Simulator:
DEFAULT_PRIOR: int = -1e9
def __init__(self, problem: Problem):
self.problem = problem
self.waiting_pool: List[Job] = []
self.job_pool: List[Job] = []
self.pool_size = self.problem.pool_size
self._logger = logging.getLogger(__name__)
def _print_with_debug(self, msg: str, debug: bool=False):
if debug:
print(msg)
def _reset(self, jobs: List[Job], machines: List[Machine]):
for machine in machines:
machine.clear()
self.waiting_pool.clear()
self.job_pool.clear()
def _update_waiting_pool(self, jobs: List[Job], curr_time: int, debug: bool):
for job in jobs:
if job.time_arr <= curr_time:
if job.status != Job.Status.ARRIVED:
if job.status in (Job.Status.WAITING, Job.Status.READY):
job.wait_time += job.status.value
continue
self.waiting_pool.append(job)
job.wait_time = 0
job.status = Job.Status.WAITING
self._print_with_debug(f'\tAdd job {job.id} into waiting pool!', debug)
pool_str = f'[{", ".join(str(job.id) for job in self.waiting_pool)}]'
self._print_with_debug(f"\tWaiting pool: {pool_str}", debug)
def _calculate_priorities(self, hdr: HDR, jobs: List[Job], machines: List[Machine], curr_time: int):
for job in jobs:
next_opr = job.oprs[job.next_opr]
terminal_maker = TerminalDictMaker()
terminal_maker.add_terminal(problem.JAT, job.time_arr)
terminal_maker.add_terminal(problem.JCD, job.get_next_deadline())
terminal_maker.add_terminal(problem.JD, job.get_job_deadline())
terminal_maker.add_terminal(problem.JNPT, next_opr.get_avg_process_time())
terminal_maker.add_terminal(problem.JRO, job.get_remain_opr())
terminal_maker.add_terminal(problem.JRT, job.get_remain_process_time())
terminal_maker.add_terminal(problem.JTPT, job.get_total_process_time())
terminal_maker.add_terminal(problem.JS, job.get_slack_time(curr_time))
terminal_maker.add_terminal(problem.JW, job.weight)
terminal_maker.add_terminal(problem.JWT, job.wait_time)
terminal_maker.add_terminal(problem.TNOW, curr_time)
terminal_maker.add_terminal(problem.UTIL, sum(m.get_util(curr_time) for m in machines) / len(machines))
try:
job.prior = hdr.execute(**terminal_maker.var_dicts)
except HDRException as e:
self._logger.warning(f"HDR Exception: {e.msg}, use DEFAULT PRIOR instead", exc_info=True)
job.prior = Simulator.DEFAULT_PRIOR
def _update_job_pool(self):
self.waiting_pool.sort(key=lambda x: x.prior, reverse=True)
num_jobs_ready = min(self.pool_size, len(self.waiting_pool))
for job in self.waiting_pool[:num_jobs_ready]:
if len(self.job_pool) < self.pool_size:
self.job_pool.append(job)
job.status = Job.Status.READY
self.waiting_pool.remove(job)
def _assign_jobs_to_machines(self, machines: List[Machine], curr_time: int, debug: bool):
for job in self.job_pool[:]:
self._print_with_debug(f"\tEvaluate job {job.id}", debug)
next_opr = job.oprs[job.next_opr]
available_machines = list(next_opr.available_machines.keys())
best_machine = None
best_score = float('-inf')
for machine in machines:
if machine.get_status() != Machine.Status.RELAX or machine not in available_machines:
continue
score = next_opr.available_machines.get(machine, float('-inf'))
if score > best_score:
best_score = score
best_machine = machine
if best_machine:
best_machine.curr_job = job
best_machine.finish_time = curr_time + next_opr.available_machines[best_machine]
job.status = Job.Status.PROCESSING
self.job_pool.remove(job)
self._print_with_debug(f"\tAssign job {job.id} to machine {best_machine.id}", debug)
def _update_machine_statuses(self, machines: List[Machine], curr_time: int, debug: bool):
scheduled_jobs = 0
for machine in machines:
if machine.get_status() == Machine.Status.RELAX:
continue
if curr_time >= machine.finish_time:
job = machine.curr_job
job.next_opr += 1
if job.next_opr == len(job.oprs):
job.status = Job.Status.FINISHED
scheduled_jobs += 1
else:
job.status = Job.Status.ARRIVED
job.wait_time = 0
job.finish_time = curr_time
machine.processed_count += 1
machine.curr_job = None
self._print_with_debug(f"\tMachine {machine.id} completed operation {job.next_opr - 1} of job {job.id}.", debug)
return scheduled_jobs
def simulate(self, hdr: HDR, debug: bool = False, sleep_time: int | None = None):
jobs = copy.deepcopy(self.problem.jobs)
machines = copy.deepcopy(self.problem.machines)
total_jobs = len(jobs)
scheduled_jobs = 0
curr_time = 0
self._reset(jobs, machines)
while scheduled_jobs < total_jobs:
self._print_with_debug(f"Current time: {curr_time}---------", debug)
self._update_waiting_pool(jobs, curr_time, debug)
self._calculate_priorities(hdr, self.waiting_pool, machines, curr_time)
self._update_job_pool()
job_str = f'[{", ".join(str(j.id) for j in self.job_pool)}]'
self._print_with_debug(f"\tJob pool: {job_str}", debug)
self._assign_jobs_to_machines(machines, curr_time, debug)
scheduled_jobs += self._update_machine_statuses(machines, curr_time, debug)
self._print_with_debug("\tStatus of machines:", debug)
for machine in machines:
self._print_with_debug(f"\t\tMachine {machine.id}: {machine.get_status()}", debug)
curr_time += 1
if debug:
time.sleep(0.02 if sleep_time is None else sleep_time)
makespan = max(m.finish_time for m in machines)
self._print_with_debug(f"Done!, makespan = {makespan}", debug)
return makespan
class Evaluator(ABC):
def __init__(self, problem: Problem):
self.problem = problem
@abstractmethod
def __call__(self, hdrs: List[HDR]) -> List[Tuple[HDR, float]]:
pass
def save_state(self, checkpoint_path: str, fields_to_save: list|None = None):
with open(checkpoint_path, 'wb') as f:
if fields_to_save is None:
pickle.dump(self, f)
else:
data = {field: getattr(self, field) for field in fields_to_save if hasattr(self, field)}
pickle.dump(data, f)
def load_state(self, checkpoint_path: str, fields_to_update: list | None = None):
with open(checkpoint_path, 'rb') as f:
loaded = pickle.load(f)
if isinstance(loaded, dict):
# Nếu file chứa dict, thì lấy từ dict
if fields_to_update is None:
for field, value in loaded.items():
setattr(self, field, value)
else:
for field in fields_to_update:
if field in loaded:
setattr(self, field, loaded[field])
else:
# Nếu file chứa nguyên object
if fields_to_update is None:
self.__dict__.update(loaded.__dict__)
else:
for field in fields_to_update:
if hasattr(loaded, field):
setattr(self, field, getattr(loaded, field))
class SimulationBaseEvaluator(Evaluator):
def __init__(self, problem):
super().__init__(problem)
self.simulator = Simulator(self.problem)
self._logger = logging.getLogger(__name__)
def __call__(self, hdrs) -> List[Tuple[HDR, float]]:
self._logger.info(f'Start evaluate {len(hdrs)} HDR.')
results = []
for id, hdr in enumerate(hdrs):
self._logger.info(f'Evaluate HDR {id + 1}/{len(hdrs)}')
makespan = self.simulator.simulate(hdr, debug=False)
fitness = -makespan
results.append((hdr, fitness))
self._logger.info(f'Successfully evaluate {len(results)}/{len(hdrs)} HDR.')
return results
class EventDrivenLLMSurrogateEvaluator(Evaluator):
def __init__(self, llm_model: LLM, problem: Problem,
prompt_template: str, num_segments: int, batch_size: int,
max_retries: int = 3, scaling_schedule: str|Literal['linear', 'sin', 'random']|None = None,
start_rate: float = 0.8, max_calls_to_end: int = 100):
super().__init__(problem)
self.llm_model = llm_model
self.prompt_template = prompt_template
self.batch_size = batch_size
self.max_retries = max_retries
self._logger = logging.getLogger(__name__)
self.event_store = collections.defaultdict(list)
self.history_store = []
self.job_map = {j.id: j for j in self.problem.jobs}
self.scaling_schedule = scaling_schedule
self.call_cnt = 0
self.start_rate = start_rate
self.max_calls_to_end = max_calls_to_end
self._build_event_map()
self.times = self._build_times(list(self.event_store.keys()), num_segments)
def _get_scaling_factor(self):
if self.scaling_schedule is None:
return 1.0
else:
t = min(self.call_cnt/self.max_calls_to_end, 1.0)
if self.scaling_schedule == 'linear':
return self.start_rate + (1.0 - self.start_rate) * t
elif self.scaling_schedule == 'sin':
return self.start_rate + (1.0 - self.start_rate) * (1 + math.sin(t * math.pi)) / 2
elif self.scaling_schedule == 'random':
return self.start_rate + (1.0 - self.start_rate) * random.uniform(0, 1)
else:
self._logger.warning(f"Invalid scaling schedule: {self.scaling_schedule}")
return 1.0
def _build_times(self, times: List[int], num_segments: int):
# Chia theo time density
# Tính trọng số bằng số sự kiện tại mỗi time
weights = {t: len(self.event_store.get(t, [])) for t in times}
total_weight = sum(weights.values())
target_weight = total_weight / num_segments
segments = []
curr_sum = 0
curr_bucket = []
for t in sorted(times):
curr_bucket.append(t)
curr_sum += weights[t]
if curr_sum >= target_weight:
segments.append(curr_bucket[-1])
curr_bucket = []
curr_sum = 0
if curr_bucket:
if len(segments) < num_segments - 1:
segments.append(curr_bucket[-1])
segments.append(1e6)
return segments
def _build_event_map(self):
for job in self.problem.jobs:
t_arr = job.time_arr
deadline = job.get_job_deadline()
self.event_store[t_arr].append({'type': 'arrival', 'job': job.id})
self.event_store[deadline].append({'type': 'deadline', 'job': job.id})
self.event_store[1e6].append({'type': 'end', 'job': None})
def _format_event_chunk(self, last_time: int, now_time: int):
arr_evs = []
dl_evs = []
for t in range(last_time, now_time + 1):
evs = self.event_store.get(t, [])
arr_evs.extend([e for e in evs if e['type'] == 'arrival'])
dl_evs.extend([e for e in evs if e['type'] == 'deadline'])
lines = [f'### Event at time {now_time}']
arr_evs_avg_process_time = sum(self.job_map[e['job']].get_total_process_time() for e in arr_evs) / len(arr_evs) if len(arr_evs) > 0 else 0
lines.append(f'- Arrival job: {", ".join(str(e["job"]) for e in arr_evs)} with avg process time {arr_evs_avg_process_time:.2f}')
lines.append(f'- Meet deadline jobs: {", ".join(str(e["job"]) for e in dl_evs)}')
return '\n'.join(lines)
def _last_event_time(self, end: int):
return f"### Event at last time {end}. All jobs must be completed."
def _get_general_chunk(self):
general_chunk = "# Dynamic Job Shop Scheduling Problem\n"
general_chunk += "- Jobs arrive randomly and each job consists of a sequence of operations that must be processed on specific machines. The goal is to minimize the overall makespan\n"
general_chunk += f"- We have {len(self.problem.machines)} machines.\n"
general_chunk += f"- Each machine have not a specific queue. All machine use a share job pool with size {self.problem.pool_size}.\n"
general_chunk += f"- We use a HDR to sort unorder job in waiting pool (infinity) and put them orderly into job pool, where these job is immediately match to corresponding machine to process if these machines is available.\n"
general_chunk += f"- **Note**: The value of HDR function is the priority (The higher the priority, the earlier it is assigned.)"
return general_chunk
def _build_hdr_with_history(self):
hdrs_str = ""
for i in range(len(self.history_store)):
lines = [f'--- HDR {i + 1} ---']
lines.append('**Code**')
lines.append(self.history_store[i]['code'])
lines.append('**Historical Performance**')
completed_jobs = self.history_store[i].get('completed_jobs', [])
lines.append(f'- Completed jobs: {", ".join(str(j) for j in completed_jobs) if completed_jobs else "None"}')
predicted_makespan = self.history_store[i].get('predicted_makespan', None)
lines.append(f'- Predicted makespan: {predicted_makespan if predicted_makespan is not None else "None"}')
remaining_jobs = self.history_store[i].get('remaining_jobs', [])
# Remaining jobs: {j_id: completed_opr_id}
total_remain_oprs = 0
min_remain_oprs = float('inf')
max_remain_oprs = 0
total_remain_process_time = 0
min_remain_process_time = float('inf')
max_remain_process_time = 0
for j_dict in remaining_jobs:
next_opr = j_dict['op'] + 1
j_id = int(j_dict['job'])
self.job_map[j_id].next_opr = next_opr
remain_opr = self.job_map[j_id].get_remain_opr()
remain_process_time = self.job_map[j_id].get_remain_process_time()
total_remain_oprs += remain_opr
total_remain_process_time += remain_process_time
min_remain_oprs = min(min_remain_oprs, remain_opr)
max_remain_oprs = max(max_remain_oprs, remain_opr)
min_remain_process_time = min(min_remain_process_time, remain_process_time)
max_remain_process_time = max(max_remain_process_time, remain_process_time)
lines.append(f'- Remaining jobs: {", ".join(str(j_dict["job"]) for j_dict in remaining_jobs)}')
lines.append(f'- Remaining operations: min={min_remain_oprs}, max={max_remain_oprs}, avg={total_remain_oprs / len(remaining_jobs) if len(remaining_jobs) > 0 else 0:.2f}')
lines.append(f'- Remaining process time: min={min_remain_process_time:.2f}, max={max_remain_process_time:.2f}, avg={total_remain_process_time / len(remaining_jobs) if len(remaining_jobs) > 0 else 0:.2f}')
hdrs_str += '\n'.join(lines)
return hdrs_str
def _build_hdrs(self, hdrs: List[HDR]):
hdrs_str = ""
for i in range(len(hdrs)):
hdrs_str += "---------\n"
hdrs_str += f"HDR {i + 1}:\n"
hdrs_str += str(hdrs[i]) + '\n'
return hdrs_str
def _process_json_response(self, data: dict):
predicted = data['predicted']
self.history_store.clear()
for i in range(len(predicted)):
self.history_store.append({
'code': predicted[i]['code'],
'completed_jobs': predicted[i]['completed_jobs'],
'predicted_makespan': predicted[i]['makespan'],
'remaining_jobs': predicted[i]['remaining_jobs']
})
self._logger.info(f'Successfully update history store with {len(predicted)} HDRs.')
evaluated_hdrs: List[Tuple[HDR, float]] = []
for json_obj in predicted:
try:
new_hdr = CodeSegmentHDR(code=json_obj['code'])
fitness = float(json_obj['fitness'])
evaluated_hdrs.append((new_hdr, fitness))
except HDRException as e:
self._logger.error(f'HDR Exception: {e.msg} when process response from LLM', exc_info=True)
continue
return evaluated_hdrs
def evaluate_batch(self, hdrs: List[HDR]):
self._logger.info(f'Start evaluate {len(hdrs)} HDR.')
results = []
for i in range(len(self.times)):
t = int(self.times[i])
last_t = int(self.times[i - 1]) if i > 0 else 0
next_t = int(self.times[i + 1]) if i < len(self.times) - 1 else 1e6
event_chunk = self._format_event_chunk(last_t, t) if i < len(self.times) - 1 else self._last_event_time(t)
history_chunk = self._build_hdr_with_history() if i > 0 else self._build_hdrs(hdrs)
prompt = self.prompt_template.format(
problem_info=self._get_general_chunk(),
current_time=t,
events=event_chunk,
hdrs_with_history=history_chunk,
next_time=next_t
)
def single_evaluate(prompt: str):
response = self.llm_model.get_response(prompt)
json_repsonse = self.llm_model.extract_response(response)
single_results = self._process_json_response(json_repsonse)
return single_results
results = self._retry(single_evaluate, self.max_retries, prompt)
return results
def _retry(self, fn, max_retries: int, *args, **kwargs):
for attempt in range(1, max_retries+1):
try:
return fn(*args, **kwargs)
except (LLMException, HDRException) as e:
self._logger.warning(f"Attempt {attempt}/{max_retries} failed in {fn.__name__}: {e.msg}")
except Exception as e:
self._logger.error(f"Attempt {attempt}/{max_retries} failed in {fn.__name__}: {e}")
raise LLMException(f"All {max_retries} retries failed for {fn.__name__}")
def __call__(self, hdrs: List[HDR]):
all_results = []
self.call_cnt += 1
scaling_factor = self._get_scaling_factor()
for i in range(0, len(hdrs), self.batch_size):
self._logger.info(f"Processing HDR batch {i // self.batch_size + 1} of {((len(hdrs) - 1) // self.batch_size + 1)}")
batch = hdrs[i:i + self.batch_size]
results = self._retry(self.evaluate_batch, self.max_retries, batch)
all_results.extend(results)
scaled_results = [(hdr, fitness * scaling_factor) for hdr, fitness in all_results]
return scaled_results
class MetaVectorStore(ABC):
@abstractmethod
def save(self, vector: List[float], metadata: dict):
pass
@abstractmethod
def get(self, vector: List[float], hash_val: int|str|None=None, n: int=5):
pass
@abstractmethod
def save_if_novel(self, vector: List[float], metadata: dict, threshold: float=0.5):
pass
@abstractmethod
def clear(self):
pass
@abstractmethod
def is_exist(self, vector: List[float], hash_val: int|str, threshold: float=0.01):
pass
@abstractmethod
def get_all(self, n: int=100):
pass
class ChromaMetaVectorStore(MetaVectorStore):
def __init__(self, persist_directory: str,
collection_name: str):
self.client = chromadb.PersistentClient(
path=persist_directory
)
self.collection = self.client.get_or_create_collection(collection_name)
def save(self, vector: List[float], metadata: dict):
self.collection.add(
ids=[str(uuid.uuid4())],
embeddings=[vector],
metadatas=[metadata]
)
def get(self, vector: List[float], hash_val: int|str|None=None, n: int=5):
results = self.collection.query(
query_embeddings=[vector],
n_results=n
)
return results
def save_if_novel(self, vector: List[float], metadata: dict, threshold: float=0.5):
result = self.get(vector, metadata['hash'], 1)
if result is None or 'distances' not in result:
self.save(vector, metadata)
return True
distances = result.get('distances')
if not distances or not distances[0]:
self.save(vector, metadata)
return True
distance = distances[0][0]
if distance > threshold:
self.save(vector, metadata)
return True
return False
def clear(self):
self.collection.delete(where={'type': 'hdr'})
def is_exist(self, vector: List[float], hash_val: int|str, threshold: float=0.01):
result = self.get(vector, hash_val, 1)
if result is None or 'distances' not in result:
return False
distances = result.get('distances')
metadatas = result.get('metadatas', [])
if not distances or not distances[0] or not metadatas or not metadatas[0]:
return False
for dist, meta in zip(distances[0], metadatas[0]):
if dist <= threshold or str(meta.get("hash")) == str(hash_val):
return True
return False
def get_all(self, n: int=100):
results = self.collection.get(where={"type": "hdr"}, include=["documents", "metadatas"], limit=n)
return results
class SentenceEmbedding:
def __init__(self, model_name: str='all-MiniLM-L6-v2'):
self.model = SentenceTransformer(model_name)
def embed(self, text: str) -> List[float]:
return self.model.encode(text).tolist()
class VectorEmbedding:
def __init__(self, input_dim: int, embedding_dim: int):
self.embedding_dim = embedding_dim
self.input_dim = input_dim
self.scaler = StandardScaler()
self.model = nn.Linear(input_dim, embedding_dim)
torch.manual_seed(42)
self.model.weight.data.normal_(0, 0.3)
self.model.bias.data.zero_()
self.model.eval()
def set_norm_vector(self, norm_vector: List[float]):
self.norm_vector = norm_vector
def embed(self, vector: List[float]) -> List[float]:
# Chuẩn hóa
vector_np = np.array(vector).reshape(1, -1)
vector_np = vector_np / self.norm_vector
# Đảm bảo kích thước đúng input_dim
if vector_np.shape[1] < self.input_dim:
padded = np.zeros((1, self.input_dim))
padded[0, :vector_np.shape[1]] = vector_np
vector_np = padded
elif vector_np.shape[1] > self.input_dim:
vector_np = vector_np[:, :self.input_dim]
vector_tensor = torch.tensor(vector_np, dtype=torch.float32)
result_vector = self.model(vector_tensor).squeeze(0)
return result_vector.tolist()
class MLPSurrogateModel(nn.Module):
def __init__(self, input_dim: int, hidden_dim: int=128, dropout_rate: float=0.1):
super().__init__()
self.net = nn.Sequential(
nn.Linear(input_dim, hidden_dim),
nn.ReLU(),
nn.Dropout(dropout_rate),
nn.Linear(hidden_dim, hidden_dim),
nn.ReLU(),
nn.Dropout(dropout_rate),
nn.Linear(hidden_dim, 1)
)
def forward(self, x: torch.Tensor) -> torch.Tensor:
return self.net(x)
def save_state_dict(self, path: str):
torch.save(self.state_dict(), path)
def load_state_dict(self, path: str):
self.load_state_dict(torch.load(path))
class MLPSurrogateEvaluator(Evaluator):
def __init__(self, problem: Problem, vector_store: MetaVectorStore,
hdr_embedding: SentenceEmbedding, problem_embedding: VectorEmbedding,
surrogate_model: MLPSurrogateModel,
prompt_template: str, llm_model: LLM, batch_size: int = 10, max_retries: int = 3,
ucb_lambda: float = 1.0, train_cycle: int = 10, n_dropout: int = 10,
train_epoch: int = 10, finetune_epoch: int = 5, max_hdr_to_finetune: int = 4):
super().__init__(problem)
self.vector_store = vector_store
self.hdr_embedding = hdr_embedding
self.problem_embedding = problem_embedding
self.prompt_template = prompt_template
self._logger = logging.getLogger(__name__)
self.llm_model = llm_model
self._problem_vector = None
self._plain_problem_info()
self.batch_size = batch_size
self.max_retries = max_retries
self.simulator = Simulator(problem)
self.surrogate_model = surrogate_model
self.ucb_lambda = ucb_lambda
self.train_cycle = train_cycle
self.n_dropout = n_dropout
self._temp_store: List[Tuple[HDR, List[float], float, str, bool]] = []
self.call_cnt = 0
self.is_exact_evaluation = False
self.train_epoch = train_epoch
self.finetune_epoch = finetune_epoch
self.max_hdr_to_finetune = max_hdr_to_finetune
self.output_scale_factor = 1.0
def reload_from_vector_store(self):
results = self.vector_store.get_all(10)
for result in results:
self._temp_store.append((None, result['embedding'], result['metadata']['makespan'], result['metadata']['hash'], True))
self._logger.info(f'Reload {len(self._temp_store)} HDRs from vector store')
self._logger.info(f'Train surrogate model on {len(self._temp_store)} HDRs')
self.train_surrogate_model(False)
def train_surrogate_model(self, is_finetune: bool=False):
self._logger.info(f'Train surrogate model.')
if not self._temp_store:
self._logger.info(f'No data to train.')
return
# Chia train/test
X = torch.tensor([x for _, x, _, _, is_exact in self._temp_store if is_exact], dtype=torch.float32)
y = torch.tensor([y for _, _, y, _, is_exact in self._temp_store if is_exact], dtype=torch.float32)
self._logger.info(f'Train surrogate model on {X.shape[0]} HDRs, finetune={is_finetune}')
if X.shape[0] == 0:
self._logger.info(f'No exact evaluation data to train.')
return
self.surrogate_model.train()
# Huấn luyện mô hình
optimizer = torch.optim.Adam(self.surrogate_model.parameters(), lr=0.001 if not is_finetune else 0.0001)
loss_fn = nn.MSELoss()
for epoch in range(self.train_epoch if not is_finetune else self.finetune_epoch):
# Huấn luyện trên tập dropout
optimizer.zero_grad()
y_pred = self.surrogate_model(X)
loss = loss_fn(y_pred, y.unsqueeze(1))
loss.backward()
optimizer.step()
# After training, store
num_saved = 0
for hdr, vec, score, hash_hdr, is_exact in self._temp_store:
if is_exact:
saved = self.vector_store.save_if_novel(vec, {'type': 'hdr', 'hash': hash_hdr, 'makespan': score}, 0.01)
if saved:
num_saved += 1
self._logger.info(f'Train surrogate model done. {num_saved} HDRs saved.')
self._temp_store = [(hdr, x, y, hash_hdr, is_exact) for hdr, x, y, hash_hdr, is_exact in self._temp_store if not is_exact]
self.surrogate_model.eval()
def set_exact_evaluation(self, is_exact_evaluation: bool):
self.is_exact_evaluation = is_exact_evaluation
def _plain_problem_info(self):
problem_vector = []
# Embed general info
problem_vector.append(len(self.problem.jobs))
problem_vector.append(len(self.problem.machines))
problem_vector.append(self.problem.pool_size)
# Embed job info
total_oprs = 0
avg_oprs = 0
max_arrv_time = 0
avg_proc_time = 0
max_deadline = 0
quantile_25_arrv_time = 0
quantile_50_arrv_time = 0
quantile_75_arrv_time = 0
arrv_time_list = []
for job in self.problem.jobs:
total_oprs += len(job.oprs)
avg_oprs += len(job.oprs) / len(self.problem.jobs)
max_arrv_time = max(max_arrv_time, job.time_arr)
avg_proc_time += job.get_total_process_time() / len(self.problem.jobs)
max_deadline = max(max_deadline, job.get_job_deadline())
arrv_time_list.append(job.time_arr)
arrv_time_list.sort()
quantile_25_arrv_time = arrv_time_list[len(arrv_time_list) // 4]
quantile_50_arrv_time = arrv_time_list[len(arrv_time_list) // 2]
quantile_75_arrv_time = arrv_time_list[len(arrv_time_list) * 3 // 4]
problem_vector.append(total_oprs)
problem_vector.append(avg_oprs)
problem_vector.append(max_arrv_time)
problem_vector.append(avg_proc_time)
problem_vector.append(max_deadline)
problem_vector.append(quantile_25_arrv_time)
problem_vector.append(quantile_50_arrv_time)
problem_vector.append(quantile_75_arrv_time)
norm_vector = [500, 40, 30, 1000, 5, 500, 1000, 5000, 50, 100, 200]
self.problem_embedding.set_norm_vector(norm_vector)
self._problem_vector = self.problem_embedding.embed(problem_vector)
def _plain_hdr_info(self, plain_hdr: str) -> List[float]:
return self.hdr_embedding.embed(plain_hdr)
def _build_hdrs(self, hdrs: List[HDR]):
hdrs_str = ""
for i in range(len(hdrs)):
hdrs_str += "---------\n"
hdrs_str += f"HDR {i + 1}:\n"
hdrs_str += str(hdrs[i]) + '\n'
return hdrs_str
def _process_json_response(self, data: dict):
predicted = data['plained']
plained_hdrs: List[Tuple[HDR, str]] = []
for json_obj in predicted:
try:
new_hdr = CodeSegmentHDR(code=json_obj['code'])
plain_hdr = json_obj['description']
plained_hdrs.append((new_hdr, plain_hdr))
except HDRException as e:
self._logger.error(f'HDR Exception: {e.msg} when process response from LLM', exc_info=True)
continue
return plained_hdrs
def _retry(self, fn, max_retries: int, *args, **kwargs):
for attempt in range(1, max_retries+1):
try:
return fn(*args, **kwargs)
except (LLMException, HDRException) as e:
self._logger.warning(f"Attempt {attempt}/{max_retries} failed in {fn.__name__}: {e.msg}", exc_info=True)
except Exception as e:
self._logger.error(f"Attempt {attempt}/{max_retries} failed in {fn.__name__}: {e}", exc_info=True)
raise LLMException(f"All {max_retries} retries failed for {fn.__name__}")
def _plain_batch(self, hdrs: List[HDR]):
prompt = self.prompt_template.format(
hdrs = self._build_hdrs(hdrs),
terminal_set = ", ".join(str(t) for t in self.problem.terminals)
)
response = self.llm_model.get_response(prompt)
json_response = self.llm_model.extract_response(response)
results = self._process_json_response(json_response)
return results
def __call__(self, hdrs: List[HDR]):
all_results = []
self.call_cnt += 1
self._logger.info(f'Start evaluate {len(hdrs)} HDR.')
for i in range(0, len(hdrs), self.batch_size):
self._logger.info(f"Processing HDR batch {i // self.batch_size + 1} of {((len(hdrs) - 1) // self.batch_size + 1)}")
batch = hdrs[i:i + self.batch_size]
plaineds = self._retry(self._plain_batch, self.max_retries, batch)
for hdr, plain_hdr in plaineds:
hdr_vector = self._plain_hdr_info(plain_hdr)
x = hdr_vector + self._problem_vector
if self.vector_store.is_exist(x, hdr.hash_code(), 0.01):
self._logger.info(f'HDR {hdr.hash_code()} already exists in vector store')
y = self.vector_store.get(x, hdr.hash_code(), 1)['metadatas'][0][0]['makespan']
all_results.append((hdr, int(y * self.output_scale_factor)))
continue
if self.is_exact_evaluation:
y = -self.simulator.simulate(hdr)
if self.output_scale_factor == 1.0:
self.output_scale_factor = abs(y)
y = y / self.output_scale_factor
self._temp_store.append((hdr, x, y, hdr.hash_code(), True))
else:
preds = torch.stack([
self.surrogate_model(torch.tensor(x, dtype=torch.float32).unsqueeze(0).float())
for _ in range(self.n_dropout)
])
mean = preds.mean().item()
std = preds.std().item()
y = mean + self.ucb_lambda * std
self._temp_store.append((hdr, x, y, hdr.hash_code(), False))
all_results.append((hdr, int(y * self.output_scale_factor)))
if self.is_exact_evaluation:
self.train_surrogate_model(False)
elif self.call_cnt % self.train_cycle == 0:
self._temp_store.sort(key=lambda x: x[1], reverse=True)
num_finetune = min(self.max_hdr_to_finetune, len(self._temp_store))
self._logger.info(f'Calculate exact for {num_finetune} HDRs')
for i in range(num_finetune):
hdr, hdr_vector, score, hash_hdr, _ = self._temp_store[i]
if self.vector_store.is_exist(hdr_vector, hash_hdr, 0.01):
self._logger.info(f'HDR {hash_hdr} already exists in vector store')
continue
y = -self.simulator.simulate(hdr)
if self.output_scale_factor == 1.0:
self.output_scale_factor = y
y = y / self.output_scale_factor
self._temp_store[i] = (hdr, hdr_vector, y, hash_hdr, True)
self.train_surrogate_model(True)
return all_results