NerdleBuddy

NerdleBuddyの方法論

何を計算し、何を生成し、何を外部ソースから得ているのか。そして結論はどこで止まるのか。

最終更新

計算式データセット#

NerdleBuddyは、モデル化したClassic Nerdleの形式に従う、数学的に正しい8文字の計算式を生成しています:等号1つ、正しい算術、整数の値、標準の計算の順序。生成されたファイルには、各計算式が答えになり得るか、推測としてのみ有効かが記録されます。

データセット件数使いみち
解答表記形17,723答えの候補、ソルバーの候補、そしてパズル
推測専用形49,623左辺に単独のゼロを含む、モデル化された探りの一手
モデル化された全推測67,346ソルバーが検討する候補の推測
交換法則による勝利グループ10,757受理ルールの下で同等に扱われる解答形

表記形とは、文字列そのものを指します。1つの交換法則グループには複数の受理される並びが含まれ得るため、17,723通りの表記形は、このルールを有効にすると10,757通りの勝利グループにまとまります。

これらはNerdleBuddyのモデルによる件数であり、公式ゲームの完全なエクスポートではありません。Nerdleは、17,723通りの解答計算式を10万通り以上の有効な計算式から選んだと公表しており、受理される推測のルールも変わり得ます。詳しくはClassic Nerdleの公式説明をご覧ください。

推測の順位付けの方法#

提案された推測について、ソルバーは、まだ可能性の残るすべての答えに対して受け取るはずのタイルフィードバックを計算します。同じフィードバックになる答え同士がバケツを作ります。有用な推測は小さなバケツをたくさん作ります。どんな返答が来ても、候補リストが短く残るからです。

初手ランキングは、NerdleBuddyが生成したフォローアップ戦略の下でゲームを最後まで測定します。現在公開中の初手成果物は、期待手数を小数第4位まで保存し、その値で並べ替えています。これにより公開順位は再現可能ですが、その精度で並んだ計算式は、意味のある正確な順位を持つものとしてではなく、同順位として扱う必要があります。また、これより良い戦略が存在しないことの証明にもなりません。

初期設定のソルバーとプレイヤーは、交換法則による並べ替えを勝ちとして扱い、保存済みの決定木と難易度成果物も同じ実ルール基準で採点されています。より厳密な表記形単位の初手テーブルは、ソルバーの厳密モード切り替えの中に残されています(その下では52-34=18のスコアは3.0438です)。それでも、数字は測っているものが違います:初手ランキングテーブルの2.983は貪欲なフォローアップ戦略の下での初手ごとの期待手数の推定値であり、確定済み戦略の検証済み2.964は、正確に採点された決定木の全プール平均です。両者は交換できません。

大切なただし書き。 NerdleBuddyでの「最良」とは、公開データセットと保存済み戦略に対する最良の測定結果を意味します。全体最適の数学的証明を意味するものではありません。

やさしいソルバー解説では、フィードバックのバケツを例つきで説明しています。ライブソルバーは、あなたが入力した行に同じフィードバックルールを適用します。

難易度評価#

難易度は、モデル化された全17,723通りの解答表記形にまたがるパーセンタイル順位です。答えはまず、実際のNerdleルールの下で保存済み戦略パスが使う手数で並べ、次に戦略の初手後のフィードバックバケツの大きさで並べます。計算式の文字列が、決定的な最後のタイブレークです。

この順序付きリストを、同じ大きさの5つのグループに分割します。5/5の答えはこの基準で最も難しい20%に、1/5は最も易しい20%に入ります。これは一貫した比較のための道具であり、ある人がそのパズルをどう感じるか、あなたのゲームが何手かかるかの予測ではありません。

デイリーパズルの日付#

NerdleBuddyのアーカイブは、扱いやすい起点として2000年1月1日を使います。日付はシードで決まる解答形プール全体の並べ替えをたどるため、次のシャッフルが始まる前に各表記形がちょうど1回ずつ登場します。同じUTC日付は、常に同じ計算式に解決されます。

この割り当ては遡及的なものです。オリジナルのゲームを整理するための方法であって、Nerdle公式パズルの記録ではありません。Nerdle自体は2022年に公開されており、アーカイブの全ページがパズル操作の隣にその区別を明記しています。

Classicの今日の答え#

唯一の今日のNerdleの答えページは、パズルアーカイブとは別物です。Nerdleが公開している日付付きClassic答えページを読み取り、要求されたUTC日付、期待されるパズル番号、8文字の形式、数学的な等価性を検証します。モデルへの帰属は別途チェックされます。モデル外の計算式でも出典付きで掲載でき、その場合はモデル由来の難易度と候補数を非公開にします。

検証済みの答えは日付ごとに保存し、再利用します。未検証の答えは取得を再試行し、新しいUTC日付ごとにその日の答えを確認します。情報源が利用できない場合や検証に通らない場合は、ページに検証中と表示します。

限界と更新#

計算式ジェネレーターは公開されているゲームルールをモデル化していますが、公式ゲーム、スケジュール、ルール変更を握っているのはNerdleです。NerdleBuddyの解答プールを公式リストとして扱うべきではありません。戦略の結果も、プールの中身、フィードバックの実装、候補のサンプリング、保存済み決定木に依存します。

データセットのファイルはプロジェクト内のスクリプトで生成され、サイトと同じコードベースにチェックインされています。編集上の更新日が変わるのは、コピー、計算、または取得元の挙動が実質的に変わったときです——ページを新しく見せるためだけには変えません。

これらの手法が実際に動いている様子は、Nerdle統計ページで継続的に確認できます。上で説明したのと同じアーカイブと難易度スケールから、今月と先月のパズル数、平均難易度、最も難しかった日を再計算しています。

よくある質問#

NerdleBuddyは公式の将来の答えスケジュールを知っていますか?

公開されているゲームクライアントからスケジュールが事前生成されていることはわかりますが、NerdleBuddyはそれを将来の答えの公開には使いません。Todayページは、パズルの開始後にNerdleの公開日付付き答えページを待ちます。

最上位の初手は全体最適だと証明されていますか?

いいえ。生成された戦略の下で、NerdleBuddyの公開ランキングにおける最良のフルゲーム測定結果を持っている、ということです。このモデルにとっての強い証拠ではありますが、あらゆる戦略にわたる証明ではありません。

アーカイブの日付はNerdleの公式履歴ですか?

Classicアーカイブには検証済みの公式解答があります。別のNerdleBuddyアーカイブは、練習用のオリジナル数式を日付に割り当てています。

この方法を実戦へ

自分のタイルフィードバックをソルバーに入力するか、戦略の解説を読んでみましょう。