-
Notifications
You must be signed in to change notification settings - Fork 7
Expand file tree
/
Copy pathWordle1.java
More file actions
160 lines (137 loc) · 5.2 KB
/
Wordle1.java
File metadata and controls
160 lines (137 loc) · 5.2 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
import java.io.IOException;
import java.nio.file.Files;
import java.nio.file.Path;
import java.util.ArrayList;
import java.util.Arrays;
import java.util.List;
import java.util.stream.Collectors;
import java.util.stream.IntStream;
import java.time.Duration;
import java.time.Instant;
import java.time.LocalTime;
import java.time.format.DateTimeFormatter;
import java.time.temporal.ChronoUnit;
/*
Matt Parker
Can you find: five five-letter words with twenty-five unique letters?
FJORD
GUCKS
NYMPH
VIBEX
WALTZ
Q
Matt: 32 days
Benjamin: 15 minutes
Fred: 30 seconds
Constraints:
- No duplicate letters (valid words have 5 unique characters)
- Order of letters irrelevant (ignore anagrams during search)
- i.e. Word is Set of Characters
Representation:
- 32-bit number
- 26 bits for the letters A-Z
- 6 bits unused
25 0
ABCDEFGHIJKLMNOPQRSTUVWXYZ
1 1 1 1 1 fjord
---D-F---J----O--R-------- fjord
--C---G---K-------S-U----- gucks
-------------------------- fjord AND gucks (INTERSECTION)
--CD-FG--JK---O--RS-U----- fjord OR gucks (UNION)
*/
class Wordle {
private static List<String> rawWords;
public static void main(String[] args) throws IOException {
Stopwatch stopwatch = new Stopwatch();
rawWords = new ArrayList<>();
// Uncomment the following 1 line to find 538 solutions:
// rawWords.addAll(Files.readAllLines(Path.of("words_alpha.txt")));
// Uncomment the following 2 lines to find 10 solutions:
rawWords.addAll(Files.readAllLines(Path.of("wordle-nyt-answers-alphabetical.txt")));
rawWords.addAll(Files.readAllLines(Path.of("wordle-nyt-allowed-guesses.txt")));
rawWords.removeIf(word -> word.length() != 5);
System.out.println(rawWords.size() + " raw words");
int[] cookedWords = rawWords.stream()
// A---E------L---P---------- apple
// --C-----I--L-----------XY- cylix
// --C-----I--L-----------XY- xylic
.mapToInt(Wordle::encodeWord)
// remove words with duplicate characters
.filter(word -> Integer.bitCount(word) == 5)
.sorted()
// remove anagrams
.distinct()
.toArray();
System.out.println(cookedWords.length + " cooked words\n");
// for (int i = 0; i < cookedWords.length; ++i) {
IntStream.range(0, cookedWords.length).parallel().forEach((int i) -> {
int A = cookedWords[i];
for (int j = i + 1; j < cookedWords.length; ++j) {
int B = cookedWords[j];
if ((A & B) != 0) continue;
int AB = A | B;
for (int k = j + 1; k < cookedWords.length; ++k) {
int C = cookedWords[k];
if ((AB & C) != 0) continue;
int ABC = AB | C;
for (int l = k + 1; l < cookedWords.length; ++l) {
int D = cookedWords[l];
if ((ABC & D) != 0) continue;
int ABCD = ABC | D;
for (int m = l + 1; m < cookedWords.length; ++m) {
int E = cookedWords[m];
if ((ABCD & E) != 0) continue;
System.out.printf("%s\n%s\n\n",
stopwatch.elapsedTime(),
decodeWords(A, B, C, D, E));
}
}
}
}
});
System.out.println(stopwatch.elapsedTime());
}
private static String decodeWord(int word) {
// --C-----I--L-----------XY- cylix/xylic
return rawWords.stream()
.filter(raw -> encodeWord(raw) == word)
.collect(Collectors.joining("/", visualizeWord(word) + " ", ""));
}
private static String decodeWords(int... words) {
// ----E-----K-M--P---T------ kempt
// ---D---H------O------V---Z vozhd
// --C-----I--L-----------XY- cylix/xylic
// -B----G------N---R--U----- brung
// A----F----------Q-S---W--- waqfs
return Arrays.stream(words)
.mapToObj(Wordle::decodeWord)
.collect(Collectors.joining("\n"));
}
private static int encodeWord(String raw) {
// 1 1 1 1 1 fjord
int bitset = 0;
for (int i = 0; i < raw.length(); ++i) {
bitset |= 1 << 26 >> raw.charAt(i);
}
return bitset;
}
private static String visualizeWord(int word) {
// 1 1 1 1 1
// ---D-F---J----O--R--------
char[] a = new char[26];
word <<= 6;
for (int i = 0; i < a.length; ++i, word <<= 1) {
a[i] = (word < 0) ? (char) ('A' + i) : '-';
}
return new String(a);
}
}
class Stopwatch {
private final Instant start = Instant.now();
public String elapsedTime() {
Instant now = Instant.now();
Duration duration = Duration.between(start, now).truncatedTo(ChronoUnit.MILLIS);
String formatted = DateTimeFormatter.ISO_LOCAL_TIME.format(duration.addTo(LocalTime.of(0, 0)));
return "[" + formatted + "] ";
}
}