The neural dynamics associated with computational complexity
Fig 6
Instances were sampled using a 2x2 factorial design, ensuring that each participant answered an equal number of instances for each of the four possible categories of TCC and proof hardness. Each category presents a distinct profile of proof hardness (the computational difficulty of validating a solution) and complexity (the computational difficulty of solving the instance).