Joku oli ilmeisesti saanut tuon ratkaistua siten että ensin uudelleenjärjesteli datan sellaiseen muotoon että enempi brute force ratkaisu on mahdollinen.
Itse päädyin lopulta opettelemaan Z3:n käytön. Kait siitäkin jotain hyötyä joskus on.
Olen joskus raivonnut Ericille suoraan nästä ns. project euler-päivistä, mutta loppujen lopuksi hän saa toki tehdä mitä haluaa, muiden iloksihan hän tätä on vuodet pyöritellyt.
Jari Komppa 🇫🇮
npub12s…2hk2r
2025-12-11 04:33:41 UTC
in reply to nevent1q…0jsy
Author Public Key
npub12sfj76hnphhsvzja0nph4ky0tkkyc5tuptmucknq7m3fjydglfzqs2hk2rSeen on
wss://relay.momostr.pinkPublished at
2025-12-11 04:33:41 UTCEvent JSON
{
"id": "7cbe4e3f76a96d88f492921abc53bc005eab3ec493cfdb033e41a64ec76d35f2",
"pubkey": "54132f6af30def060a5d7cc37ad88f5dac4c517c0af7cc5a60f6e29911a8fa44",
"created_at": 1765427621,
"kind": 1,
"tags": [
[
"p",
"203cb993e2c994058de7d0d892be22ca1588e52a4bc37ba52a9f1d94ebd30771"
],
[
"proxy",
"https://mastodon.gamedev.place/@sol_hsa/115699064594258537",
"web"
],
[
"e",
"289c3c1af3a5a1b27effa5e64324cf911eb8488341b135a9b0b9cb69705cb7d8",
"",
"root",
"203cb993e2c994058de7d0d892be22ca1588e52a4bc37ba52a9f1d94ebd30771"
],
[
"proxy",
"https://mastodon.gamedev.place/users/sol_hsa/statuses/115699064594258537",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mastodon.gamedev.place/users/sol_hsa/statuses/115699064594258537",
"pink.momostr"
],
[
"-"
]
],
"content": "Joku oli ilmeisesti saanut tuon ratkaistua siten että ensin uudelleenjärjesteli datan sellaiseen muotoon että enempi brute force ratkaisu on mahdollinen.\n\nItse päädyin lopulta opettelemaan Z3:n käytön. Kait siitäkin jotain hyötyä joskus on.\n\nOlen joskus raivonnut Ericille suoraan nästä ns. project euler-päivistä, mutta loppujen lopuksi hän saa toki tehdä mitä haluaa, muiden iloksihan hän tätä on vuodet pyöritellyt.",
"sig": "32d8d023be4f4564cd0988a9a4b4aa8199a65ebec019685490bf852a769bde98305254b9f4c46706413731ea5237f15564f700d0cfa27e8d7b75226d249f6123"
}