Mostly they can’t, which is why there are a lot more questions posted about it than people who answer correctly. I can’t think of any FDT problem that has been answered correctly where there were more than 3 binary inputs to the decision function, and even some with 2 bits have been controversial.

For the few cases where they can, it’s the same way that humans solve any mathematical problem: via an ill defined bunch of heuristics, symmetry arguments, experience with similar problems, and some sort of intuition or insight.

Hmm, that limits its usefulness quite a bit. For math, one can at least write an unambguous expression and use CAS like mathematica or maple and click “solve for …” Would be nice to have something like that for various DTs.

Hmm, if FDT is so complex, how can humans evaluate it? Where does the pruning happen and how?

Mostly they can’t, which is why there are a lot more questions posted about it than people who answer correctly. I can’t think of any FDT problem that has been answered correctly where there were more than 3 binary inputs to the decision function, and even some with 2 bits have been controversial.

For the few cases where they can, it’s the same way that humans solve any mathematical problem: via an ill defined bunch of heuristics, symmetry arguments, experience with similar problems, and some sort of intuition or insight.

Hmm, that limits its usefulness quite a bit. For math, one can at least write an unambguous expression and use CAS like mathematica or maple and click “solve for …” Would be nice to have something like that for various DTs.