6260-w06syl

2
CS 6260-01 Computational Complexity Winter 2006 MWF 1:20–2:30 p.m. Sc S 105 Instructor: William R. Nico Oce: WA 775 Phone: (510)885-3386 (or leave messages at dept. oce: (510)885-3414) E-mail : [email protected] (On the mcs system just “nico” will work.) Web: www.mcs.csueastbay.edu/~nico Oce hours: MWF 9:30–10:00 a.m., MW 3:00–4:00 p.m., or by appointment. Text: M. Sipser, Introduction to the Theory of Computation , PWS Publishing Co., 1997. Recommended: M. Garey and D. Johnson, Computers and Intractability : A Guide to the Theory of NP-Completenes s , W. H. Freeman, San Francisco, 1979. Recommended: E. Rei te r and C. M. Johnso n, The Limits of Computation , (notes av ailable locally). This course will survey the theory of computational complexity and, in particular, of NP- comple teness . This materi al is cont ained in chapter s 7–10 of the Sipser book and in chapte rs 1–7 of the “class ic” Garey and Johnson book. A certain amount of backgro und material and material regarding decidability is in earlier chapters of the Sipser book or the Reiter/Johnson notes, and such material which is not covered in lecture is available there for self-study. The course will begin with the introduction of basic results about Turing machines and de- cidabi lit y . The heart of the cours e is the treatment of the conce pts of reducibility and of  NP- completeness and closely related complexit y classes. Additi onal complexit y classes, e.g., the poly- nomial hierarchy, circuit complexity, random complexity classes, will be covered as time allows. Treatment of approximate solutions of NP-complete problems will receive similar coverage. Students will be expected to be able to understand and create proofs of complexity results. They will also be expected to write these in a clear and convincing manner. They may on occasion be required to present their results orally to the class. Grading: The course gra de will be comput ed rough ly as follo ws. (The date of the midter m is subject to change. Any change will be announced in class.) 1. Written homework . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15% 2. Midterm (Monday , February 6) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35% 3. Final exam (Wednes day , Marc h 15, 2:00–3:50 p.m.) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50% Late homework will not be accepted. Homework is to be turne d in at the beginning of class on the due date. Homework is to represent individual eorts! Any work not your own, e.g., results obtained from reference sources, should receive appropriate bibliographic citations . Plagiarism will be subject to appropriate penalties. Written work: Any written work submitted for the cours e, including in-class tests , must be done in ink ! Make-up policy: Make-up tests will be considered only in unusual circumstances, and then only if arrangements have been made in advance .

Upload: alper-kayisi

Post on 03-Apr-2018

218 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: 6260-w06syl

7/28/2019 6260-w06syl

http://slidepdf.com/reader/full/6260-w06syl 1/1

CS 6260-01 Computational Complexity

Winter 2006

MWF 1:20–2:30 p.m.

Sc S 105

Instructor: William R. NicoOffice: WA 775Phone: (510)885-3386 (or leave messages at dept. office: (510)885-3414)E-mail: [email protected] (On the mcs system just “nico” will work.)Web: www.mcs.csueastbay.edu/~nico

Office hours: MWF 9:30–10:00 a.m., MW 3:00–4:00 p.m., or by appointment.Text: M. Sipser, Introduction to the Theory of Computation , PWS Publishing Co., 1997.Recommended: M. Garey and D. Johnson, Computers and Intractability : A Guide to the Theory 

of NP-Completeness , W. H. Freeman, San Francisco, 1979.Recommended: E. Reiter and C. M. Johnson, The Limits of Computation , (notes availablelocally).

This course will survey the theory of computational complexity and, in particular, of NP-completeness. This material is contained in chapters 7–10 of the Sipser book and in chapters 1–7of the “classic” Garey and Johnson book. A certain amount of background material and materialregarding decidability is in earlier chapters of the Sipser book or the Reiter/Johnson notes, andsuch material which is not covered in lecture is available there for self-study.

The course will begin with the introduction of basic results about Turing machines and de-cidability. The heart of the course is the treatment of the concepts of  reducibility  and of  NP-

completeness  and closely related complexity classes. Additional complexity classes, e.g., the poly-nomial hierarchy, circuit complexity, random complexity classes, will be covered as time allows.Treatment of approximate solutions of NP-complete problems will receive similar coverage.

Students will be expected to be able to understand and create proofs of complexity results.

They will also be expected to write these in a clear and convincing manner. They may on occasionbe required to present their results orally to the class.

Grading: The course grade will be computed roughly as follows. (The date of the midterm issubject to change. Any change will be announced in class.)

1. Written homework . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15%2. Midterm (Monday, February 6) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35%3. Final exam (Wednesday, March 15, 2:00–3:50 p.m.) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50%

Late homework will not  be accepted. Homework is to be turned in at the beginning  of classon the due date. Homework is to represent individual  efforts! Any work not your own, e.g., resultsobtained from reference sources, should receive appropriate bibliographic citations . Plagiarism  willbe subject to appropriate penalties.

Written work: Any written work submitted for the course, including in-class tests , must be donein ink !

Make-up policy: Make-up tests will be considered only in unusual  circumstances, and then onlyif arrangements have been made in advance .