From lucia@site.uottawa.ca Fri Nov  9 13:12:33 2001
Date: Fri, 9 Nov 2001 12:45:32 -0500 (EST)
From: Lucia Moura <lucia@site.uottawa.ca>
To: undisclosed-recipients:  ;
Cc: Lucia Moura <lucia@site.uottawa.ca>
Subject: Assignment#2; Q1(34-3-extra)


Dear csi4105 students:

This is about Assignmnet#2, question 1, part 34-3-extra:
* typo: 
  "illustrate the reduction from 3-CNF-SAT to graph colouring" 
  should read
  "illustrate the reduction from 3-CNF-SAT to 3-COLOUR"   
  
* change:
  For the example for "non-satisfiable 3-CNF formula", just
  give the formula; you don't have to show the graph. The
  graph would probably be too big and too time consuming to draw.
  For the satisfiable one, do show formula and graph. In this case, 
  please show a formula with at least 2 clauses.

regards,

Lucia Moura