**CSE 596, Fall 2009**

** **

**Introduction to the Theory of Computation**

** **

Mondays, Wednesdays, and Fridays, 1 p.m. to 1:50 p.m., 322 Clemens

**Instructor. **Alan L. Selman. My office is located at 223 Bell Hall; telephone 645-3180,
ext. 104; e-mail: selman@cse.buffalo.edu. I will announce office hours as soon as
I know my full schedule for the semester.

Please be certain that you are registered for one of the recitation sections and attend regularly.

**Text.** The required text is ÒComputability and
Complexity TheoryÓ by Steven Homer and Alan L. Selman, Springer, NY. My Web page contains a link with much
information about the text, and, therefore, about this course.

**Theory of Computation**
is concerned with the following kinds of questions: What is computation? What features are necessary in general
models of computation? What are
the limitations of computers? What
problems can computers not solve?

**Complexity Theory **is
concerned with providing quantitative measures on the resources needed to solve
computational problems.
Computational complexity addresses questions about which problems can be
solved efficiently and which cannot be solved efficiently.

In this course we will study several of the more important and exciting intellectual achievements of the twentieth century, including the important theory of NP-completeness.

**Prerequisites. **Here
is some personal advice on appropriate background for this course. You must have taken a course in
discrete mathematics (or in some manner know the material that such a course
contains). Most students have
difficulty with this course unless they have taken an undergraduate course in
theory of computing (such as CSE 396).
If you have not taken an undergraduate course in theory of computing, I
think that it would be the rare student who will do well in CSE 596 without
some other prior courses that develop analytical thinking. For example, prior courses in
mathematical logic, algebra (at the level of groups, rings, and fields), or number theory, would all
serve this purpose. The Preface of
the text contains a similar statement.

You will need to write proofs of theorems in this course.

**Study
Habits. **Study the text. You need to study the text outside of
class in order to reinforce your understanding of the material in class. You might want to read material before
coming to class and then again in greater detail after class. Students frequently tell me that they
ÒunderstandÓ the material even though they do not perform well on exams. The problem here is that
ÒunderstandingÓ is different from Òlearning.Ó The former is passive and means
that the student follows what I say in class. Learning is active.
I recommend the following technique. Do not read as you do in other subjects. Instead, as you read, write everything
you read in your own hand. This
activity forces you to dwell on and digest the details. If you get stuck on a detail and cannot
figure it out, get help. I will be
glad to help as will the TA.

**Homework. **You will hand in homework assignments. There are
extensive homework assignments, because you *learn* the material
primarily by working at it.

Homework assignments must be legible–the TA cannot
grade what they cannot read. Use a
sharp pencil. Erase neatly. **Do not use a pen**.
Staple the pages together.
Please remember to print your name on every page that you hand in.

Hand in homework to a TA by the following protocol. Homework assigned during week *n * (*n
* ³ 1) is due Friday of week *n *+1. Do not attempt to hand in homework
after this deadline. (If there is
no class on a Friday, then the homework is due the following Monday.) The TAs will review homework solutions
during recitation sections.

What homework is due on Friday? This is the question we receive most often. Do not ask this question because it is your responsibility to know the answer. I will assign homework exercises as I cover the material. Your job is to write the assignments down, keep a record, and hand in the solutions the following week.

**Academic Honesty.** All of the work that you hand in for
this class must be the result of your own independent effort. All work that you
claim to be yours must be yours. You must not accept solutions to homework
problems, or assistance with homework, from other students or from any other
sources (other than the TA and me).

You may talk about homework problems, but when you do, you may not write solutions together. You must write your own solutions by yourself. If you are uncertain about this policy, it is safest not to talk about homework solutions with other students. Most importantly, please seek the help you need from the TA and/or from me.

**All instances of academic dishonesty will result in an F
in this course**. There are no minor infractions.

Once again, seek help only from the TA and from me.

**Course Grade.
**The grade at the end of the course
will be in accordance with the following table:

Homework assignments 40%

Midterm 20% Monday, October 19

Final Exam 40%

** **

**Attendance. **I require regular attendance.** **You
must come to class, and you must come on time. The class does not start at 1:10
p.m. It begins at 1:00 p.m. Students who do not attend class
regularly risk receiving a failing grade in the course. You are not required to attend class on
days listed in the university calendar as major religious holy days (although I
assume that you practice at most one religion).

**EaGL**. The second Eastern Great Lakes Theory
of Computation Workshop will meet at the Center for Tomorrow, October 3 and
4. All students are invited to
participate. Please refer to the
URL

http://www.cse.buffalo.edu/events/theory-II/

for details.

**End of Semester.** Do not plan to travel home at the end
of the semester until final exam week is over. I do not know when the final exam for this course will be
scheduled, and I will not give an early final exam to any student.

**Incompletes** (the
grade of ÒIÓ) will not in general be given. This is reserved for the rare circumstance that prevents a
student from completing the work in the course. University and Department policy dictates that an ÒIÓ can be
given only if both of the following conditions are met: (i) Only a small amount of work
remains, such as the final exam and one or two assignments, and (ii) the
student has a passing average in the work completed. In such a circumstance, the student will be given
instructions and a deadline for completing the work, which is usually no more
than 30 days past the end of the semester.

Incompletes cannot be given as a shelter for poor grades. It is the student's responsibility to resign from the course in a timely manner if doing poorly. The last day to resign with a grade of ÒRÓ is November 13, 2009.

**Newsgroup.** We will
regularly post information about the course on the news group
sunyab.cse.596. Check this
frequently.

**Course Web page. **Look for**
**solutions to the homework problems on the
course Web page www.cse.buffalo.edu/courses/cse596/