2023-11-11 01:38:37 +01:00
|
|
|
import json
|
|
|
|
import re
|
|
|
|
import subprocess
|
|
|
|
from typing import Dict
|
|
|
|
|
|
|
|
from pathlib import Path
|
|
|
|
DATA_FILE = Path('endgame-data.json')
|
|
|
|
|
|
|
|
if not DATA_FILE.exists():
|
|
|
|
DATA_FILE.write_text('{}')
|
|
|
|
|
|
|
|
|
|
|
|
with open(DATA_FILE, 'r') as f:
|
|
|
|
DATA: Dict = json.loads(f.read())
|
|
|
|
|
|
|
|
|
|
|
|
def analyze_game(game_id: int):
|
2023-11-11 23:09:13 +01:00
|
|
|
max_draw_pile_size = 15
|
2023-11-11 14:02:44 +01:00
|
|
|
try:
|
2023-11-11 23:09:13 +01:00
|
|
|
result = subprocess.run(['./endgame-analyzer', '-g', str(game_id), '-d', str(max_draw_pile_size), '--interactive', '0', '--quiet', '-r'], stdout=subprocess.PIPE, timeout=10)
|
2023-11-11 14:02:44 +01:00
|
|
|
raw_output = result.stdout
|
|
|
|
except subprocess.TimeoutExpired as time_err:
|
|
|
|
raw_output = time_err.stdout
|
|
|
|
output = raw_output.decode('utf-8')
|
|
|
|
|
2023-11-11 23:09:13 +01:00
|
|
|
print(output)
|
|
|
|
|
2023-11-12 00:01:22 +01:00
|
|
|
# Now, parse all results that we obtained (unclear how many depending on whether we ran into the timeout)
|
|
|
|
probabilities = {}
|
|
|
|
|
2023-11-11 14:02:44 +01:00
|
|
|
# Check if the game was just over before reaching the specified draw pile size
|
2023-11-12 00:01:22 +01:00
|
|
|
for m in re.finditer(r'The given draw pile size \(([0-9]+)\) cannot be obtained with the specified replay.', output):
|
|
|
|
if m.group(1) == str(max_draw_pile_size):
|
|
|
|
print('detected empty output')
|
|
|
|
return {str(size): 0 for size in range(1, max_draw_pile_size + 1)}
|
|
|
|
else:
|
|
|
|
probabilities[str(m.group(1))] = 0
|
2023-11-11 14:02:44 +01:00
|
|
|
|
2023-11-11 23:09:13 +01:00
|
|
|
for m in re.finditer('Probability with ([0-9]+) cards left in deck: .*/.* ~ ([0-9.]+)', output):
|
2023-11-11 14:02:44 +01:00
|
|
|
probabilities[str(m.group(1))] = m.group(2)
|
|
|
|
|
2023-11-11 01:38:37 +01:00
|
|
|
return probabilities
|
|
|
|
|
2023-11-11 04:20:41 +01:00
|
|
|
|
2023-11-11 01:38:37 +01:00
|
|
|
def full_analyze_game(game_id: int):
|
2023-11-12 00:01:22 +01:00
|
|
|
max_draw_pile_size = 10
|
2023-11-11 01:38:37 +01:00
|
|
|
try:
|
2023-11-12 00:01:22 +01:00
|
|
|
result = subprocess.run(['./endgame-analyzer', '-g', str(game_id), '-d', str(max_draw_pile_size), '-i', '0', '--all-clues', '-r', '--quiet'], stdout=subprocess.PIPE, timeout=180)
|
|
|
|
raw_output = result.stdout
|
|
|
|
except subprocess.TimeoutExpired as time_err:
|
|
|
|
raw_output = time_err.stdout
|
|
|
|
output = raw_output.decode('utf-8')
|
|
|
|
|
2023-11-11 04:20:41 +01:00
|
|
|
print(output)
|
2023-11-12 00:01:22 +01:00
|
|
|
|
|
|
|
probabilities = {}
|
|
|
|
zero_dict = {
|
|
|
|
(('+' if clue_modifier >= 0 else '') + str(clue_modifier)): 0 for clue_modifier in range(-8, 9)
|
|
|
|
}
|
|
|
|
for m in re.finditer(r'The given draw pile size \(([0-9]+)\) cannot be obtained with the specified replay.', output):
|
|
|
|
if m.group(1) == str(max_draw_pile_size):
|
|
|
|
return {str(size): zero_dict for size in range(1, max_draw_pile_size + 1)}
|
|
|
|
else:
|
|
|
|
probabilities[str(m.group(1))] = zero_dict
|
|
|
|
|
2023-11-11 04:20:41 +01:00
|
|
|
for m in re.finditer('Probability with ([0-9]+) cards left in deck and [0-8] clues \((.[0-8])\).*: .*/.* ~ ([0-9.]*)', output):
|
|
|
|
if m.group(1) not in probabilities.keys():
|
|
|
|
probabilities[m.group(1)] = {}
|
|
|
|
probabilities[m.group(1)][m.group(2)] = m.group(3)
|
2023-11-11 01:38:37 +01:00
|
|
|
return probabilities
|
|
|
|
|
2023-11-11 04:20:41 +01:00
|
|
|
|
2023-11-11 01:38:37 +01:00
|
|
|
def full_analyze_game_cached(game_id: int):
|
|
|
|
cached = DATA.get('all', {}).get(str(game_id), None)
|
|
|
|
if cached is not None:
|
|
|
|
return cached
|
|
|
|
result = full_analyze_game(game_id)
|
2023-11-11 04:20:41 +01:00
|
|
|
if 'all' not in DATA.keys():
|
|
|
|
DATA['all'] = {}
|
2023-11-11 01:38:37 +01:00
|
|
|
DATA['all'][game_id] = result
|
|
|
|
save_cache()
|
|
|
|
return result
|
|
|
|
|
|
|
|
def analyze_game_cached(game_id: int):
|
2023-11-11 23:09:13 +01:00
|
|
|
cached = DATA.get('normal', {}).get(str(game_id), None)
|
2023-11-11 01:38:37 +01:00
|
|
|
if cached is not None:
|
|
|
|
return cached
|
|
|
|
result = analyze_game(game_id)
|
2023-11-11 23:09:13 +01:00
|
|
|
if 'normal' not in DATA.keys():
|
|
|
|
DATA['normal'] = {}
|
2023-11-11 01:38:37 +01:00
|
|
|
DATA['normal'][game_id] = result
|
|
|
|
save_cache()
|
|
|
|
return result
|
|
|
|
|
|
|
|
|
|
|
|
def save_cache():
|
|
|
|
with open(DATA_FILE, 'w') as f:
|
|
|
|
f.writelines(json.dumps(DATA, indent=2))
|