dory/aoc23
1
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

simplify d7p2

Browse Source
This commit is contained in:
Duy Truong 2023-12-07 11:00:26 -08:00
parent ccf63463ff
commit 7c235ccbe5
1 changed files with 21 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

49
07/part2.pl
View File

@ -16,15 +16,6 @@ payout([_-Bet | Cdr], Rank, Payout) :-
% score(Hand, Score) gets the score for one hand, that can be directly compared.
score([A, B, C, D, E], Score) :-
max_type([A, B, C, D, E], Type),
tiebreaker([A, B, C, D, E], Tiebreaker),
Score is Tiebreaker + (100**5)*Type.
tiebreaker([A, B, C, D, E], Score) :-
Score is E + 100*D + (100**2)*C + (100**3)*B + (100**4)*A.
% max_type gets the max possible type from a hand including wildcards
max_type([A, B, C, D, E], Type) :-
(
type([A, B, C, D, E], 7) -> Type is 7;
type([A, B, C, D, E], 6) -> Type is 6;
@ -33,15 +24,12 @@ max_type([A, B, C, D, E], Type) :-
type([A, B, C, D, E], 3) -> Type is 3;
type([A, B, C, D, E], 2) -> Type is 2;
type([A, B, C, D, E], 1) -> Type is 1
).
),
Score is E + 100*D + (100**2)*C + (100**3)*B + (100**4)*A + (100**5)*Type.
% type(Hand, Type) get the type rank for one hand, ordered.
type([A, B, C, D, E], Type) :-
wild(A, [A, B, C, D, E], Ax),
wild(B, [A, B, C, D, E], Bx),
wild(C, [A, B, C, D, E], Cx),
wild(D, [A, B, C, D, E], Dx),
wild(E, [A, B, C, D, E], Ex),
wild([A, B, C, D, E], [Ax, Bx, Cx, Dx, Ex]),
sort(0, @=<, [Ax, Bx, Cx, Dx, Ex], Sorted),
sorted_type(Sorted, Type).
sorted_type([X, X, X, X, X], 7).
@ -61,19 +49,13 @@ sorted_type([A, B, X, X, C], 2) :- A =\= B, B =\= X, X =\= C.
sorted_type([A, B, C, X, X], 2) :- A =\= B, B =\= C, C =\= X.
sorted_type([A, B, C, D, E], 1) :- A =\= B, B =\= C, C =\= D, D =\= E.
% convert_input(InputList, Cards, Bets)
convert_input([], [], []).
convert_input([[Cards, Bet] | Cdr],
[[C1, C2, C3, C4, C5] | HandCdr],
[Bet | BetCdr]) :-
string_to_list(Cards, [A1, A2, A3, A4, A5]),
card(A1, C1), card(A2, C2), card(A3, C3), card(A4, C4), card(A5, C5),
convert_input(Cdr, HandCdr, BetCdr).
wild(X, _, Y) :- X =\= 1, Y is X.
wild(X, [A, B, C, D, E], Y) :-
X =:= 1,
(Y is A; Y is B; Y is C; Y is D; Y is E).
% wild replaces a wildcard with any possible other card
wild(_, X, Y) :- card(X), X =\= 1, Y is X.
wild([A, B, C, D, E], X, Y) :-
card(X), X =:= 1,
(Y is A; Y is B; Y is C; Y is D; Y is E), Y =\= 1.
wild([1, 1, 1, 1, 1], [2, 2, 2, 2, 2]).
wild(Hand, WildHand) :- maplist(wild(Hand), Hand, WildHand).
% card(Ascii, Value) converts between card ascii value and internal values
card(84, 10). % T
@ -82,7 +64,18 @@ card(81, 12). % Q
card(75, 13). % K
card(65, 14). % A
card(Char, Card) :- Char >= 48, Char =< 57, Card is Char - 48.
card(1). card(2). card(3). card(4). card(5). card(6). card(7). card(8). card(9).
card(10). card(12). card(13). card(14).
% zip 2 lists into a map
zip([], [], []).
zip([A | ACdr], [B | BCdr], [A-B | ABCdr]) :- zip(ACdr, BCdr, ABCdr).
% convert_input(InputList, Cards, Bets)
convert_input([], [], []).
convert_input([[Cards, Bet] | Cdr],
[[C1, C2, C3, C4, C5] | HandCdr],
[Bet | BetCdr]) :-
string_to_list(Cards, [A1, A2, A3, A4, A5]),
card(A1, C1), card(A2, C2), card(A3, C3), card(A4, C4), card(A5, C5),
convert_input(Cdr, HandCdr, BetCdr).