2020-12-16 10:13:49 +01:00
|
|
|
with open("input") as f:
|
|
|
|
content = [x.strip() for x in f]
|
|
|
|
|
|
|
|
def parse_rule(rule):
|
|
|
|
name, rest = rule.split(": ")
|
|
|
|
rule1, rule2 = rest.split(" or ")
|
|
|
|
rules = []
|
|
|
|
for i in rule1, rule2:
|
|
|
|
mi, ma = i.split("-")
|
|
|
|
rules.append((int(mi), int(ma)))
|
|
|
|
|
|
|
|
return name, rules
|
|
|
|
|
|
|
|
def validate_rule(rule, value):
|
|
|
|
validates = False
|
|
|
|
for r in rule:
|
|
|
|
mi, ma = r
|
|
|
|
if value >= mi and value <= ma:
|
|
|
|
validates = True
|
|
|
|
return validates
|
|
|
|
|
|
|
|
def validate_ticket(rules, ticket):
|
|
|
|
for value in ticket:
|
|
|
|
validates = False
|
|
|
|
for __, rule in rules.items():
|
|
|
|
if validate_rule(rule, value):
|
|
|
|
validates = True
|
|
|
|
break
|
|
|
|
if not validates:
|
|
|
|
return False
|
|
|
|
|
|
|
|
return True
|
|
|
|
|
|
|
|
part = 0
|
2020-12-16 12:21:24 +01:00
|
|
|
rules = {}
|
2020-12-16 10:13:49 +01:00
|
|
|
othertickets = []
|
|
|
|
myticket = []
|
|
|
|
for c in content:
|
|
|
|
if not c:
|
|
|
|
part += 1
|
|
|
|
continue
|
|
|
|
if part == 0: # parsing rules
|
|
|
|
name, rule = parse_rule(c)
|
|
|
|
rules[name] = rule
|
|
|
|
if part == 1: # parsing your ticket
|
|
|
|
if c.startswith("your ticket"):
|
|
|
|
continue
|
|
|
|
myticket = [int(x) for x in c.split(",")]
|
|
|
|
if part == 2: # parsing other tickets
|
|
|
|
if c.startswith("nearby tickets"):
|
|
|
|
continue
|
|
|
|
othertickets.append([int(x) for x in c.split(",")])
|
|
|
|
|
|
|
|
newtickets = []
|
|
|
|
newtickets.append(myticket)
|
|
|
|
for ticket in othertickets:
|
|
|
|
if validate_ticket(rules, ticket):
|
|
|
|
newtickets.append(ticket)
|
|
|
|
|
2020-12-16 12:21:24 +01:00
|
|
|
def validate_row(rule, row):
|
|
|
|
return all(map(lambda x: validate_rule(rule,x), row))
|
2020-12-16 10:13:49 +01:00
|
|
|
|
2020-12-16 12:21:24 +01:00
|
|
|
final_mapping = {}
|
|
|
|
new_remaining_rules = rules.copy()
|
|
|
|
while len(final_mapping) < len(myticket):
|
|
|
|
remaining_fields = set(range(0, len(myticket))) - set(final_mapping.values())
|
|
|
|
remaining_rules = new_remaining_rules.copy()
|
|
|
|
for rulename, rule in remaining_rules.items():
|
|
|
|
rows = [(field, [x[field] for x in newtickets]) for field in remaining_fields]
|
|
|
|
matching_fields = [fieldno for fieldno, row in rows if validate_row(rule, row)]
|
|
|
|
if len(matching_fields) == 1:
|
|
|
|
final_mapping[rulename] = matching_fields[0]
|
|
|
|
del(new_remaining_rules[rulename])
|
2020-12-16 10:13:49 +01:00
|
|
|
|
|
|
|
total = 1
|
|
|
|
for rulename, fieldno in final_mapping.items():
|
|
|
|
if rulename.startswith("departure"):
|
|
|
|
total *= myticket[fieldno]
|
|
|
|
|
|
|
|
print(total)
|