3 ms·
The issue with defining such terms properly is that it's unclear what makes an 'average' problem instance. For SAT, you can sort of correlate difficulty with t
by fooker 4y ago
The issue with defining such terms properly is that it's unclear what makes an 'average' problem instance.
For SAT, you can sort of correlate difficulty with the number of irreducible clauses.
- cubefox 4y agoThat seems very reasonable for SAT.