npm - erdos-problems - Versions diffs - 0.3.6 → 0.3.7 - Mend

erdos-problems 0.3.6 → 0.3.7

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (15) hide show

package/packs/number-theory/problems/848/ANCHOR_SUBSET_SEARCH_PREFIX10_K3_K4.json ADDED Viewed

@@ -0,0 +1,737 @@
+{
+  "generatedAt": "2026-04-05T11:59:54.569Z",
+  "method": "anchor_subset_search",
+  "problemId": "848",
+  "parameters": {
+    "max": 10000,
+    "top": 15,
+    "candidateCount": 10,
+    "setSizes": [
+      3,
+      4
+    ],
+    "candidates": [
+      7,
+      32,
+      57,
+      82,
+      107,
+      132,
+      157,
+      182,
+      207,
+      232
+    ]
+  },
+  "results": {
+    "3": [
+      {
+        "anchors": [
+          32,
+          82,
+          132
+        ],
+        "failureCount": 41,
+        "tailStart": 3751,
+        "worstFailures": [
+          31,
+          34,
+          43,
+          52,
+          61,
+          69,
+          70,
+          75,
+          79,
+          2104,
+          2339,
+          3750
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          132,
+          232
+        ],
+        "failureCount": 44,
+        "tailStart": 3761,
+        "worstFailures": [
+          52,
+          61,
+          69,
+          70,
+          75,
+          79,
+          88,
+          97,
+          106,
+          115,
+          124,
+          3760
+        ]
+      },
+      {
+        "anchors": [
+          132,
+          182,
+          232
+        ],
+        "failureCount": 129,
+        "tailStart": 4839,
+        "worstFailures": [
+          123,
+          124,
+          125,
+          126,
+          127,
+          128,
+          129,
+          130,
+          131,
+          134,
+          2045,
+          4838
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          182,
+          232
+        ],
+        "failureCount": 55,
+        "tailStart": 6152,
+        "worstFailures": [
+          133,
+          142,
+          151,
+          155,
+          160,
+          169,
+          173,
+          178,
+          3946,
+          4019,
+          4828,
+          6151
+        ]
+      },
+      {
+        "anchors": [
+          57,
+          132,
+          232
+        ],
+        "failureCount": 86,
+        "tailStart": 7596,
+        "worstFailures": [
+          183,
+          1751,
+          1931,
+          3515,
+          4127,
+          4523,
+          4595,
+          5279,
+          5549,
+          5720,
+          7043,
+          7595
+        ]
+      },
+      {
+        "anchors": [
+          82,
+          132,
+          232
+        ],
+        "failureCount": 90,
+        "tailStart": 7596,
+        "worstFailures": [
+          84,
+          89,
+          90,
+          95,
+          98,
+          116,
+          125,
+          134,
+          2300,
+          4397,
+          6881,
+          7595
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          82,
+          232
+        ],
+        "failureCount": 43,
+        "tailStart": 8217,
+        "worstFailures": [
+          43,
+          52,
+          61,
+          69,
+          70,
+          75,
+          79,
+          977,
+          2087,
+          2672,
+          5191,
+          8216
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          82,
+          182
+        ],
+        "failureCount": 42,
+        "tailStart": 8357,
+        "worstFailures": [
+          34,
+          43,
+          52,
+          61,
+          69,
+          70,
+          75,
+          79,
+          1300,
+          4354,
+          6367,
+          8356
+        ]
+      },
+      {
+        "anchors": [
+          82,
+          132,
+          182
+        ],
+        "failureCount": 90,
+        "tailStart": 8469,
+        "worstFailures": [
+          84,
+          89,
+          90,
+          95,
+          98,
+          116,
+          125,
+          134,
+          1898,
+          2398,
+          5867,
+          8468
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          132,
+          182
+        ],
+        "failureCount": 47,
+        "tailStart": 8906,
+        "worstFailures": [
+          70,
+          75,
+          79,
+          88,
+          97,
+          106,
+          115,
+          124,
+          1849,
+          1996,
+          7141,
+          8905
+        ]
+      },
+      {
+        "anchors": [
+          57,
+          107,
+          182
+        ],
+        "failureCount": 108,
+        "tailStart": 9104,
+        "worstFailures": [
+          6259,
+          6331,
+          6439,
+          6817,
+          6859,
+          6895,
+          7339,
+          7915,
+          7969,
+          8311,
+          8581,
+          9103
+        ]
+      },
+      {
+        "anchors": [
+          132,
+          157,
+          232
+        ],
+        "failureCount": 142,
+        "tailStart": 9159,
+        "worstFailures": [
+          1931,
+          2045,
+          3515,
+          3956,
+          4127,
+          4523,
+          4595,
+          5279,
+          7043,
+          7595,
+          8462,
+          9158
+        ]
+      },
+      {
+        "anchors": [
+          7,
+          132,
+          182
+        ],
+        "failureCount": 66,
+        "tailStart": 9246,
+        "worstFailures": [
+          3613,
+          4765,
+          4838,
+          4933,
+          5377,
+          5867,
+          6909,
+          6961,
+          7141,
+          8437,
+          8905,
+          9245
+        ]
+      },
+      {
+        "anchors": [
+          107,
+          132,
+          182
+        ],
+        "failureCount": 128,
+        "tailStart": 9246,
+        "worstFailures": [
+          3613,
+          4765,
+          4933,
+          5377,
+          6259,
+          6439,
+          6909,
+          6961,
+          7141,
+          8437,
+          8905,
+          9245
+        ]
+      },
+      {
+        "anchors": [
+          132,
+          182,
+          207
+        ],
+        "failureCount": 143,
+        "tailStart": 9246,
+        "worstFailures": [
+          2045,
+          3613,
+          4765,
+          4933,
+          5377,
+          6909,
+          6961,
+          7141,
+          8437,
+          8468,
+          8905,
+          9245
+        ]
+      }
+    ],
+    "4": [
+      {
+        "anchors": [
+          7,
+          32,
+          57,
+          82
+        ],
+        "failureCount": 15,
+        "tailStart": 30,
+        "worstFailures": [
+          4,
+          5,
+          6,
+          9,
+          13,
+          14,
+          17,
+          21,
+          23,
+          24,
+          25,
+          29
+        ]
+      },
+      {
+        "anchors": [
+          7,
+          32,
+          82,
+          132
+        ],
+        "failureCount": 17,
+        "tailStart": 70,
+        "worstFailures": [
+          6,
+          9,
+          13,
+          14,
+          17,
+          21,
+          23,
+          24,
+          25,
+          29,
+          61,
+          69
+        ]
+      },
+      {
+        "anchors": [
+          7,
+          32,
+          82,
+          182
+        ],
+        "failureCount": 17,
+        "tailStart": 70,
+        "worstFailures": [
+          6,
+          9,
+          13,
+          14,
+          17,
+          21,
+          23,
+          24,
+          25,
+          29,
+          61,
+          69
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          57,
+          82,
+          207
+        ],
+        "failureCount": 35,
+        "tailStart": 80,
+        "worstFailures": [
+          25,
+          26,
+          27,
+          28,
+          29,
+          30,
+          31,
+          34,
+          43,
+          52,
+          75,
+          79
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          82,
+          107,
+          182
+        ],
+        "failureCount": 38,
+        "tailStart": 80,
+        "worstFailures": [
+          28,
+          29,
+          30,
+          31,
+          34,
+          43,
+          52,
+          61,
+          69,
+          70,
+          75,
+          79
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          82,
+          132,
+          182
+        ],
+        "failureCount": 38,
+        "tailStart": 80,
+        "worstFailures": [
+          28,
+          29,
+          30,
+          31,
+          34,
+          43,
+          52,
+          61,
+          69,
+          70,
+          75,
+          79
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          82,
+          132,
+          207
+        ],
+        "failureCount": 38,
+        "tailStart": 80,
+        "worstFailures": [
+          28,
+          29,
+          30,
+          31,
+          34,
+          43,
+          52,
+          61,
+          69,
+          70,
+          75,
+          79
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          82,
+          132,
+          232
+        ],
+        "failureCount": 38,
+        "tailStart": 80,
+        "worstFailures": [
+          28,
+          29,
+          30,
+          31,
+          34,
+          43,
+          52,
+          61,
+          69,
+          70,
+          75,
+          79
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          82,
+          182,
+          207
+        ],
+        "failureCount": 38,
+        "tailStart": 80,
+        "worstFailures": [
+          28,
+          29,
+          30,
+          31,
+          34,
+          43,
+          52,
+          61,
+          69,
+          70,
+          75,
+          79
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          82,
+          182,
+          232
+        ],
+        "failureCount": 38,
+        "tailStart": 80,
+        "worstFailures": [
+          28,
+          29,
+          30,
+          31,
+          34,
+          43,
+          52,
+          61,
+          69,
+          70,
+          75,
+          79
+        ]
+      },
+      {
+        "anchors": [
+          57,
+          82,
+          107,
+          182
+        ],
+        "failureCount": 61,
+        "tailStart": 96,
+        "worstFailures": [
+          52,
+          53,
+          54,
+          55,
+          56,
+          59,
+          63,
+          67,
+          71,
+          75,
+          79,
+          95
+        ]
+      },
+      {
+        "anchors": [
+          57,
+          82,
+          132,
+          207
+        ],
+        "failureCount": 61,
+        "tailStart": 96,
+        "worstFailures": [
+          52,
+          53,
+          54,
+          55,
+          56,
+          59,
+          63,
+          67,
+          71,
+          75,
+          79,
+          95
+        ]
+      },
+      {
+        "anchors": [
+          7,
+          32,
+          132,
+          232
+        ],
+        "failureCount": 18,
+        "tailStart": 98,
+        "worstFailures": [
+          9,
+          13,
+          14,
+          17,
+          21,
+          23,
+          24,
+          25,
+          29,
+          61,
+          69,
+          97
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          107,
+          132,
+          232
+        ],
+        "failureCount": 41,
+        "tailStart": 107,
+        "worstFailures": [
+          31,
+          34,
+          43,
+          52,
+          61,
+          69,
+          70,
+          75,
+          79,
+          88,
+          97,
+          106
+        ]
+      },
+      {
+        "anchors": [
+          32,
+          57,
+          132,
+          182
+        ],
+        "failureCount": 36,
+        "tailStart": 116,
+        "worstFailures": [
+          26,
+          27,
+          28,
+          29,
+          30,
+          31,
+          34,
+          43,
+          52,
+          75,
+          79,
+          115
+        ]
+      }
+    ]
+  }
+}