Radio Spies - new problem 251
source link: https://www.codeabbey.com/index/forum_topic/56582fa7ea7e292f2dc88945b98deb60
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Radio Spies - new problem 251
Back to General discussions forum
Friends and Colleagues!
Unwilling to end this year with "too round" number of tasks - so here is yet another interactive puzzle, based upon the paper-and-pencil game we played in university.
According to logs our dear colleague Mathias aka gardengnome
is already testing
it bombing the server with requests :)
Just wanted to note - attempts limit for it was set quite arbitrarily, upon average from several my manual runs. If you feel it is too prohibitive for automated solver - let's discuss. I myself haven't yet tried to solve it programmatically (it was partly my goal to create a task on which I can compete too).
Mathias, Hi! Wow, that was fast :) I thought it will hang unsolved for a couple days (judging by my own ideas how I'd try solving it)! Thanks for test/proving this!
temptation to invoke Z3 :)
Wow once more :) I have just learned something new. By quick glance it's something reminding of good old Prolog, but my knowledge of the topic is very limited. Probably I should try to figure out how this works!
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK