(I Can't Get No) 3-Satisfaction
Wednesday, September 29, 2010, 5:00 p.m.
Neville Hall, Room 100
Dr. Jonathan Farley
Department of Computer Science
University of Maine
Abstract:
Alan loved apples. He just thought apples were to die for.
Alan also was lazy. He wished he could write one computer program and never have to write another computer program again.
Alan also hated to waste time. He wanted to know, when his programs were taking too long to run, were they caught in an infinite loop or just slow?
Alan also helped defeat the Nazis and so forth but we're not interested in that. We're interested in this halting problem.
We'll wrap up with an approach to proving P is not equal to NP.
Pizza and refreshments provided.