There are O(p(n)2) Boolean variables, each encodeable in space O(log p(n)).
Υπάρχουν O(p(n)2) μεταβλητές Boolean,καθεμία κωδικοποιημένη στο διάστημα O(log p(n)).