Viewing profile — aan1092j

I'm with you. SSC posts are high on rhetoric and low on actual conceptual knowledge/insights. The examples are ridiculously long and somewhat contrived. s.

Ah my bad. I wrote hastily and did not consider the full implication of the word `forced`, i.e. it would involve proving the opponent has no winning options.

For problems in NP (i.e. for which a solution can be verified in polynomial time), we can construct a Zero Knowledge Proof by reducing it to 3SAT, then constructing a PCP (Probabil…