Its actually pretty hard for even humans to eyeball a graph and figure it out. For example, the wiki article on the peterson graph (https://en.wikipedia.org/wiki/Petersen_graph) has a few drawings that you cant easily say are the same graph.
I would think adding more salt would only worsen the problem. Adding soluble salts are used to precipitate other salts (e.g common ion effect). Not sure how valid that is here tho.
Would alternative control by the private sector be better? There are tons of cases where private control of public services has been bad for the people (jails, schools etc).
Idk why you're being downvoted when you're right. I guess people are incorrectly thinking you support this behaviour instead of simply stating how it is capitalist.
I think op's problem is different than the one normally studied - he wants to design a halting program and find the class of programs for which it works.
This is typically not very popular as these statements depend a lot on the program, and the representations of programs unlike the halting problem computability statement.
Turing machines output yes/no or indefinitely go on, so that might be like your possible outputs of halts/doesn't halt/don't know. I'm not really sure how much to assume you know, so the [wiki page](https://en.wikipedia.org/wiki/Halting_problem) might help
The main issue is the definition of surprise for perfectly rational entities. Your argument doesn't really add much as you can just fix that time of day when all executions occur, and you've just restated the paradox.