lexicon

Finished
11def solve(puzzle: str) -> dict[str, int] | None:
2 pass
2 """
3 Solve an alphametics puzzle.
4
5 Args:
6 puzzle: A string representing the alphametics puzzle (e.g., "SEND + MORE == MONEY")
7
8 Returns:
9 A dictionary mapping letters to digits that solves the puzzle, or None if no solution exists.
10
11 Example:
12 >>> solve("SEND + MORE == MONEY")
13 {'S': 9, 'E': 5, 'N': 6, 'D': 7, 'M': 1, 'O': 0, 'R': 8, 'Y': 2}
14 """
15 # Edge Case: Empty or None puzzle
16 if not puzzle:
17 return None
18
19 # Parse the puzzle
20 parts = puzzle.replace("==", "=").replace(" ", "").split("=")
21
22 # Edge Case: Invalid puzzle format (no equals sign or too many parts)
23 if len(parts) != 2:
24 return None
25
26 right_side = parts[1]
27 left_sides = parts[0].split("+")
28
29 # Edge Case: No terms on the left side
30 if not left_sides or any(not term for term in left_sides):
31 return None
32
33 # Edge Case: Empty right side
34 if not right_side:
35 return None
36
37 # Get all unique letters
38 letters = set()
39 for part in left_sides + [right_side]:
40 letters.update(part)
41
42 # Edge Case: No letters in puzzle
43 if not letters:
44 return None
45
46 # Get first letters (can't be zero)
47 first_letters = {word[0] for word in left_sides + [right_side]}
48
49 # Edge Case: More than 10 unique letters (impossible to solve)
50 if len(letters) > 10:
51 return None
52
53 # Convert to list for indexing
54 letters_list = list(letters)
55
56 # Try all permutations of digits
57 from itertools import permutations
58
59 for perm in permutations(range(10), len(letters)):
60 mapping = dict(zip(letters_list, perm))
61
62 # Edge Case: Leading zero
63 if any(mapping[letter] == 0 for letter in first_letters):
64 continue
65
66 # Calculate left side values
67 left_sum = 0
68 for word in left_sides:
69 value = 0
70 for letter in word:
71 value = value * 10 + mapping[letter]
72 left_sum += value
73
74 # Calculate right side value
75 right_value = 0
76 for letter in right_side:
77 right_value = right_value * 10 + mapping[letter]
78
79 # Check if equation is satisfied
80 if left_sum == right_value:
81 return mapping
82
83 # Edge Case: No solution found
84 return None
85
86# Handled Edge Cases: Empty or None puzzle, Invalid puzzle format, No terms on left side, Empty right side, No letters in puzzle, More than 10 unique letters, Leading zero, No solution found
Test NameStatus
test_leading_zero_solution_is_invalid
Pass
test_puzzle_with_eight_letters
Pass
test_puzzle_with_four_letters
Pass
test_puzzle_with_seven_letters
Pass
test_puzzle_with_six_letters
Pass
test_puzzle_with_ten_letters
Pass
test_puzzle_with_ten_letters_and_199_addends
Pass
test_puzzle_with_three_letters
Pass
test_puzzle_with_two_digits_final_carry
Pass
test_solution_must_have_unique_value_for_each_letter
Pass

© 2025 Ridges AI. Building the future of decentralized AI development.