-
Notifications
You must be signed in to change notification settings - Fork 941
Expand file tree
/
Copy pathevaluator.py
More file actions
340 lines (272 loc) · 10.7 KB
/
evaluator.py
File metadata and controls
340 lines (272 loc) · 10.7 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
"""
Evaluator for circle packing example (n=26) with improved timeout handling
"""
import importlib.util
import numpy as np
import time
import os
import signal
import subprocess
import tempfile
import traceback
import sys
import pickle
class TimeoutError(Exception):
pass
def timeout_handler(signum, frame):
"""Handle timeout signal"""
raise TimeoutError("Function execution timed out")
def validate_packing(centers, radii):
"""
Validate that circles don't overlap and are inside the unit square
Args:
centers: np.array of shape (n, 2) with (x, y) coordinates
radii: np.array of shape (n) with radius of each circle
Returns:
True if valid, False otherwise
"""
n = centers.shape[0]
# Check for NaN values
if np.isnan(centers).any():
print("NaN values detected in circle centers")
return False
if np.isnan(radii).any():
print("NaN values detected in circle radii")
return False
# Check if radii are nonnegative and not nan
for i in range(n):
if radii[i] < 0:
print(f"Circle {i} has negative radius {radii[i]}")
return False
elif np.isnan(radii[i]):
print(f"Circle {i} has nan radius")
return False
# Check if circles are inside the unit square
for i in range(n):
x, y = centers[i]
r = radii[i]
if x - r < -1e-6 or x + r > 1 + 1e-6 or y - r < -1e-6 or y + r > 1 + 1e-6:
print(f"Circle {i} at ({x}, {y}) with radius {r} is outside the unit square")
return False
# Check for overlaps
for i in range(n):
for j in range(i + 1, n):
dist = np.sqrt(np.sum((centers[i] - centers[j]) ** 2))
if dist < radii[i] + radii[j] - 1e-6: # Allow for tiny numerical errors
print(f"Circles {i} and {j} overlap: dist={dist}, r1+r2={radii[i]+radii[j]}")
return False
return True
def run_with_timeout(program_path, timeout_seconds=20):
"""
Run the program in a separate process with timeout
using a simple subprocess approach
Args:
program_path: Path to the program file
timeout_seconds: Maximum execution time in seconds
Returns:
centers, radii, sum_radii tuple from the program
"""
# Create a temporary file to execute
with tempfile.NamedTemporaryFile(suffix=".py", delete=False) as temp_file:
# Write a script that executes the program and saves results
script = f"""
import sys
import numpy as np
import os
import pickle
import traceback
# Add the directory to sys.path
sys.path.insert(0, os.path.dirname('{program_path}'))
# Debugging info
print(f"Running in subprocess, Python version: {{sys.version}}")
print(f"Program path: {program_path}")
try:
# Import the program
spec = __import__('importlib.util').util.spec_from_file_location("program", '{program_path}')
program = __import__('importlib.util').util.module_from_spec(spec)
spec.loader.exec_module(program)
# Run the packing function
print("Calling run_packing()...")
centers, radii, sum_radii = program.run_packing()
print(f"run_packing() returned successfully: sum_radii = {{sum_radii}}")
# Save results to a file
results = {{
'centers': centers,
'radii': radii,
'sum_radii': sum_radii
}}
with open('{temp_file.name}.results', 'wb') as f:
pickle.dump(results, f)
print(f"Results saved to {temp_file.name}.results")
except Exception as e:
# If an error occurs, save the error instead
print(f"Error in subprocess: {{str(e)}}")
traceback.print_exc()
with open('{temp_file.name}.results', 'wb') as f:
pickle.dump({{'error': str(e)}}, f)
print(f"Error saved to {temp_file.name}.results")
"""
temp_file.write(script.encode())
temp_file_path = temp_file.name
results_path = f"{temp_file_path}.results"
try:
# Run the script with timeout
process = subprocess.Popen(
[sys.executable, temp_file_path], stdout=subprocess.PIPE, stderr=subprocess.PIPE
)
try:
stdout, stderr = process.communicate(timeout=timeout_seconds)
exit_code = process.returncode
# Always print output for debugging purposes
print(f"Subprocess stdout: {stdout.decode()}")
if stderr:
print(f"Subprocess stderr: {stderr.decode()}")
# Still raise an error for non-zero exit codes, but only after printing the output
if exit_code != 0:
raise RuntimeError(f"Process exited with code {exit_code}")
# Load the results
if os.path.exists(results_path):
with open(results_path, "rb") as f:
results = pickle.load(f)
# Check if an error was returned
if "error" in results:
raise RuntimeError(f"Program execution failed: {results['error']}")
return results["centers"], results["radii"], results["sum_radii"]
else:
raise RuntimeError("Results file not found")
except subprocess.TimeoutExpired:
# Kill the process if it times out
process.kill()
process.wait()
raise TimeoutError(f"Process timed out after {timeout_seconds} seconds")
finally:
# Clean up temporary files
if os.path.exists(temp_file_path):
os.unlink(temp_file_path)
if os.path.exists(results_path):
os.unlink(results_path)
def evaluate(program_path):
"""
Evaluate the program by running it once and checking the sum of radii
Args:
program_path: Path to the program file
Returns:
Dictionary of metrics
"""
# Target value from the paper
TARGET_VALUE = 2.635 # AlphaEvolve result for n=26
try:
# For constructor-based approaches, a single evaluation is sufficient
# since the result is deterministic
start_time = time.time()
# Use subprocess to run with timeout
centers, radii, reported_sum = run_with_timeout(
program_path, timeout_seconds=600 # Single timeout
)
end_time = time.time()
eval_time = end_time - start_time
# Ensure centers and radii are numpy arrays
if not isinstance(centers, np.ndarray):
centers = np.array(centers)
if not isinstance(radii, np.ndarray):
radii = np.array(radii)
# Check for NaN values before validation
if np.isnan(centers).any() or np.isnan(radii).any():
print("NaN values detected in solution")
return {
"sum_radii": 0.0,
"target_ratio": 0.0,
"validity": 0.0,
"eval_time": float(time.time() - start_time),
"combined_score": 0.0,
}
# Validate solution
valid = validate_packing(centers, radii)
# Check shape and size
shape_valid = centers.shape == (26, 2) and radii.shape == (26,)
if not shape_valid:
print(
f"Invalid shapes: centers={centers.shape}, radii={radii.shape}, expected (26, 2) and (26,)"
)
valid = False
# Calculate sum
sum_radii = np.sum(radii) if valid else 0.0
# Make sure reported_sum matches the calculated sum
if abs(sum_radii - reported_sum) > 1e-6:
print(f"Warning: Reported sum {reported_sum} doesn't match calculated sum {sum_radii}")
# Target ratio (how close we are to the target)
target_ratio = sum_radii / TARGET_VALUE if valid else 0.0
# Validity score
validity = 1.0 if valid else 0.0
# Combined score - higher is better
combined_score = target_ratio * validity
print(
f"Evaluation: valid={valid}, sum_radii={sum_radii:.6f}, target={TARGET_VALUE}, ratio={target_ratio:.6f}, time={eval_time:.2f}s"
)
return {
"sum_radii": float(sum_radii),
"target_ratio": float(target_ratio),
"validity": float(validity),
"eval_time": float(eval_time),
"combined_score": float(combined_score),
}
except Exception as e:
print(f"Evaluation failed completely: {str(e)}")
traceback.print_exc()
return {
"sum_radii": 0.0,
"target_ratio": 0.0,
"validity": 0.0,
"eval_time": 0.0,
"combined_score": 0.0,
}
# Stage-based evaluation for cascade evaluation
def evaluate_stage1(program_path):
"""
First stage evaluation - quick validation check
"""
try:
# Use the simplified subprocess approach
try:
centers, radii, sum_radii = run_with_timeout(program_path, timeout_seconds=600)
# Ensure centers and radii are numpy arrays
if not isinstance(centers, np.ndarray):
centers = np.array(centers)
if not isinstance(radii, np.ndarray):
radii = np.array(radii)
# Validate solution (shapes and constraints)
shape_valid = centers.shape == (26, 2) and radii.shape == (26,)
if not shape_valid:
print(f"Invalid shapes: centers={centers.shape}, radii={radii.shape}")
return {"validity": 0.0, "error": "Invalid shapes"}
valid = validate_packing(centers, radii)
# Calculate sum
actual_sum = np.sum(radii) if valid else 0.0
# Target from paper
target = 2.635
# Simple combined score for stage 1
combined_score = (actual_sum / target) if valid else 0.0
# Return evaluation metrics
return {
"validity": 1.0 if valid else 0.0,
"sum_radii": float(actual_sum),
"target_ratio": float(actual_sum / target if valid else 0.0),
"combined_score": float(combined_score),
}
except TimeoutError as e:
print(f"Stage 1 evaluation timed out: {e}")
return {"validity": 0.0, "combined_score": 0.0, "error": "Timeout"}
except Exception as e:
print(f"Stage 1 evaluation failed: {e}")
print(traceback.format_exc())
return {"validity": 0.0, "combined_score": 0.0, "error": str(e)}
except Exception as e:
print(f"Stage 1 evaluation failed completely: {e}")
print(traceback.format_exc())
return {"validity": 0.0, "combined_score": 0.0, "error": str(e)}
def evaluate_stage2(program_path):
"""
Second stage evaluation - full evaluation
"""
# Full evaluation as in the main evaluate function
return evaluate(program_path)