If Model 2 is more likely than Model 1, behavior is basically guaranteed to be arbitrary.
How so? The part of the distribution that matters consists of the programs that respond to input, so we might as well stipulate that we only allow such programs in the distribution, and “Model 2” can’t be part of it. This restriction doesn’t dramatically change the original form of the decision algorithm.
How so? The part of the distribution that matters consists of the programs that respond to input, so we might as well stipulate that we only allow such programs in the distribution, and “Model 2” can’t be part of it. This restriction doesn’t dramatically change the original form of the decision algorithm.