Derandomization: Difference between revisions