English 字幕

← 18-28 Evolution Of 3-SAT Algorithms



Showing Revision 1 created 10/03/2012 by Amara Bot.

  1. This table here is taken from a survey by Tobias Riege and Jorg Rothe.
  2. I had chose the development of better and better algorithms for 3-SAT
  3. So up here, you can see the deterministic algorithms for 3-SAT
  4. and down here you can see randomized algorithms for 3-SAT
  5. and you can see how over the years the algorithms
  6. get better and better and better and the same thing over here.
  7. Now, this is of course going to be a rather easy question,
  8. but which of these two algorithm categories generally seems to be better
  9. Is it the deterministic algorithms up here or the randomized algorithms down here.