A (non-unique) best strategy for Dark is to leave the deck alone, regardless of the observer's prior
If I were a Dark, I would try to rearrange the cards so they look random to an unsophisticated observer. No long runs of same color, no obvious patterns in numbers (people are bad random number generators, they think that random string is string without any patterns, not string without big patterns, 17 is the most random number, blah blah blah).
(It's possible that the variation of it can be a good strategy even against more sophisticated agents, because if by a pure chance string of cards has low Kolmogorov complexity, agent is going to take this as evidence for Bright, and I don't want him to believe in Bright)
I think I have a proof that the only Nash equilibrium strategies for Dark playing against a perfect reasoner are those that lead to a uniform distribution over observed decks. K-complexity doesn't seem to come into it. What Dark should do against an imperfect reasoner is a different question, which we can't solve because we don't have a good theory of imperfect reasoning.
This article is going to be in the form of a story, since I want to lay out all the premises in a clear way. There's a related question about religious belief.
Let's suppose that there's a country called Faerie. I have a book about this country which describes all people living there as rational individuals (in a traditional sense). Furthermore, it states that some people in Faerie believe that there may be some individuals there known as sorcerers. No one has ever seen one, but they may or may not interfere in people's lives in subtle ways. Sorcerers are believed to be such that there can't be more than one of them around and they can't act outside of Faerie. There are 4 common belief systems present in Faerie:
This is completely exhaustive, because everyone believes there can be at most one sorcerer. Of course, some individuals within each group have different ideas about what their sorcerer is like, but within each group they all absolutely agree with their dogma as stated above.
Since I don't believe in sorcery, a priori I assign very high probability for case 4, and very low (and equal) probability for the other 3.
I can't visit Faerie, but I am permitted to do a scientific phone poll. I call some random person, named Bob. It turns out he believes in Bright. Since P(Bob believes in Bright | case 1 is true) is higher than the unconditional probability, I believe I should adjust the probability of case 1 up, by Bayes rule. Does everyone agree? Likewise, the probability of case 3 should go up, since disbelief in Dark is evidence for existence of Dark in exactly the same way, although perhaps to a smaller degree. I also think the case 2 and case 4 have to lose some probability, since it adds up to 1. If I further call a second person, Daisy, who turns out to believe in Dark, I should adjust all probabilities in the opposite direction. I am not asking either of them about the actual evidence they have, just what they believe.
I think this is straightforward so far. Here's the confusing part. It turns out that both Bob and Daisy are themselves aware of this argument. So, Bob says, one of the reasons he believes in Bright, is because that's positive evidence for Bright's existence. And Daisy believes in Dark despite that being evidence against his existence (presumably because there's some other evidence that's overwhelming).
Here are my questions:
I am looking forward to your thoughts.