NerdleBuddy

Metodologia NerdleBuddy

Co jest obliczane, co generowane, co pochodzi ze źródła zewnętrznego i gdzie kończą się wnioski.

Ostatnia aktualizacja

Zbiór równań#

NerdleBuddy generuje matematycznie poprawne ośmioznakowe równania zgodne z wymodelowanym formatem Nerdle Classic: jeden znak równości, poprawna arytmetyka, wartości całkowite i standardowa kolejność działań. Wygenerowany plik zapisuje, czy każde równanie kwalifikuje się jako odpowiedź, czy tylko jako próba.

Zbiór danychLiczbaJak jest używany
Formy zapisu odpowiedzi17,723Możliwe odpowiedzi, kandydaci solvera i łamigłówki
Formy tylko do prób49,623Wymodelowane sondy zawierające samodzielne zero po lewej stronie
Wszystkie wymodelowane próby67,346Pytania-kandydaci dla solvera
Przemienne grupy wygrywające10,757Formy odpowiedzi traktowane jako równoważne według akceptowanej reguły

Forma zapisu to dokładny ciąg znaków. Grupa przemienna może zawierać więcej niż jeden akceptowany układ, więc zbiór 17,723 form zapisu zwija się do 10,757 grup wygrywających, gdy ta reguła jest włączona.

To liczby z modelu NerdleBuddy, a nie wyczerpujący eksport oficjalnej gry. Nerdle podaje, że swoje 17 723 obliczenia odpowiedzi wybrał spośród ponad 100 000 poprawnych obliczeń, a jego reguły akceptowania prób mogą się zmieniać. Zobacz oficjalny opis Nerdle Classic.

Jak klasyfikowane są próby#

Dla proponowanej próby solver oblicza informację zwrotną z pól, jaką otrzymałaby wobec każdej wciąż możliwej odpowiedzi. Odpowiedzi z tą samą informacją zwrotną tworzą kubełek. Użyteczna próba tworzy wiele małych kubełków, bo niemal każda możliwa reakcja planszy zostawia krótką listę kandydatów.

Rankingi otwarć mierzą pełne partie w ramach wygenerowanej strategii kontynuacji NerdleBuddy. Obecnie opublikowany artefakt otwarć zapisuje i sortuje oczekiwaną liczbę prób z dokładnością do czterech miejsc po przecinku. Dzięki temu opublikowana kolejność jest odtwarzalna, ale równania zremisowane przy tej precyzji trzeba traktować jako remis, a nie nadawać im znaczącą dokładną pozycję w rankingu. Nie dowodzi to też, że nie istnieje lepsza strategia.

Domyślny solver na żywo i gracz traktują przemienne przestawienie jako wygraną, a zapisane drzewo decyzyjne i artefakt trudności są punktowane według tego samego wzorca prawdziwych reguł; bardziej rygorystyczna tabela otwarć oparta na formach zapisu pozostaje dostępna pod przełącznikiem trybu ścisłego w solverze. Mimo to liczby mierzą różne rzeczy: 2,983 z tabeli otwarć to szacunek oczekiwanej liczby prób dla pojedynczego otwarcia przy zachłannej strategii kontynuacji, a zweryfikowane 2,964 zapisanej strategii to średnia po całej puli dla dokładnie punktowanego drzewa. Nie są zamienne.

Ważne zastrzeżenie. „Najlepszy” w NerdleBuddy oznacza najlepszy zmierzony wynik dla opublikowanego zbioru danych i zapisanej strategii. Nie oznacza matematycznego dowodu globalnego optimum.

Ten przystępnie napisany przewodnik po solverze wyjaśnia kubełki informacji zwrotnej na przykładach. Solver na żywo stosuje te same reguły informacji zwrotnej do wierszy, które wpisujesz.

Ocena trudności#

Trudność to ranga percentylowa wśród wszystkich 17,723 wymodelowanych form zapisu odpowiedzi. Odpowiedzi są uporządkowane najpierw według liczby prób użytych na ścieżce zapisanej strategii według prawdziwych reguł Nerdle, potem według rozmiaru ich kubełka informacji zwrotnej po otwarciu strategii. Ciąg znaków równania jest deterministycznym, ostatecznym rozstrzygnięciem remisów.

Uporządkowana lista jest dzielona na pięć grup o równej wielkości. Odpowiedź 5/5 należy do najtrudniejszych 20% według tego wzorca; 1/5 do najłatwiejszych 20%. To spójne narzędzie porównawcze, a nie przewidywanie, jak łamigłówka wyda się konkretnej osobie ani ilu prób będzie wymagała twoja własna partia.

Daty codziennych łamigłówek#

Archiwum NerdleBuddy używa 1 stycznia 2000 jako wygodnego punktu początkowego. Daty przechodzą przez wyznaczoną ziarnem permutację pełnej puli form odpowiedzi, więc każda forma pojawia się raz, zanim zacznie się kolejna przetasowana pętla. Ta sama data UTC zawsze wskazuje to samo równanie.

To przypisanie działa wstecz. To sposób na uporządkowanie oryginalnych gier, a nie zapis oficjalnych łamigłówek Nerdle. Sam Nerdle wystartował w 2022 roku, a każda strona archiwum niesie to rozróżnienie obok elementów sterujących grą.

Codzienna odpowiedź Classic#

Pojedyncza strona „Dzisiejszy Nerdle” jest oddzielna od archiwum łamigłówek. Odczytuje publiczną stronę Nerdle z datowanymi odpowiedziami Classic, a potem weryfikuje żądaną datę UTC, oczekiwany numer łamigłówki, ośmioznakowy format i matematyczną równość. Przynależność do modelu jest sprawdzana osobno; równanie spoza modelu wciąż może zostać pobrane ze źródła, podczas gdy jego trudność wyliczona z modelu i liczby kandydatów są wstrzymywane.

Zweryfikowane odpowiedzi zapisujemy według daty i wykorzystujemy ponownie. Ponawiamy próby uzyskania jeszcze niezweryfikowanych odpowiedzi; każda nowa data UTC ma własną odpowiedź. Jeśli źródło jest niedostępne lub nie przejdzie walidacji, strona informuje, że trwa weryfikacja odpowiedzi.

Ograniczenia i aktualizacje#

Generator równań modeluje opublikowane reguły gry, ale to Nerdle kontroluje oficjalną grę, harmonogram i wszelkie zmiany reguł. Puli odpowiedzi NerdleBuddy nie należy traktować jak oficjalnej listy. Wyniki strategii zależą też od dokładnej puli, implementacji informacji zwrotnej, próbkowania kandydatów i zapisanego drzewa decyzyjnego.

Pliki zbioru danych są generowane przez skrypty w projekcie i trafiają do tej samej bazy kodu co strona. Daty aktualizacji redakcyjnych zmieniają się, gdy tekst, obliczenia albo zachowanie źródła zmieniają się w istotny sposób — nie po to, by strona wyglądała na świeżą.

Aby zobaczyć te metody w praktyce, strona statystyk Nerdle na bieżąco przelicza liczbę łamigłówek, średnią trudność i najtrudniejszy dzień tego i zeszłego miesiąca na podstawie tego samego archiwum i tej samej skali trudności, opisanych powyżej.

Najczęstsze pytania#

Czy NerdleBuddy zna oficjalny harmonogram przyszłych odpowiedzi?

Publiczny klient gry zdradza, że harmonogram jest wygenerowany z góry, ale NerdleBuddy nie używa tego do publikowania przyszłych odpowiedzi. Strona Dzisiaj czeka na publiczną stronę Nerdle z datowaną odpowiedzią już po starcie łamigłówki.

Czy najwyżej sklasyfikowane otwarcie jest dowiedzione jako globalnie optymalne?

Nie. Ma najlepszy zmierzony wynik pełnej partii w opublikowanym rankingu NerdleBuddy przy wygenerowanej strategii. To mocna przesłanka w ramach tego modelu, ale nie dowód obejmujący każdą możliwą strategię.

Czy daty w archiwum to oficjalna historia Nerdle?

Archiwum Classic zawiera zweryfikowane oficjalne odpowiedzi. Osobne archiwum NerdleBuddy przypisuje autorskie równania do dat do ćwiczeń.

Zaprzęgnij metodę do pracy

Użyj własnej informacji zwrotnej z pól w solverze albo przeczytaj wyjaśnienie strategii.