promise to post no more than one thread a day - on Tonita, CS / AI, politics, education, exercise, food, beer, whatever I feel like - and no more than 3 per week on any one topic :)
The Valiant--Vazirani theorem, which shows that SAT is NPH even under a "unique solution if satisfiable" promise, is another such beauty.
You might appreciate this easy result in a similar vein: scholar.google.com/scholar?clus...
The Valiant--Vazirani theorem, which shows that SAT is NPH even under a "unique solution if satisfiable" promise, is another such beauty.
You might appreciate this easy result in a similar vein: scholar.google.com/scholar?clus...