Registry
Module Specifications
Current Academic Year 2012 - 2013
Please note that this information is subject to change.
| |||||||||||||||||||||||||||||||||||||||||
| Description | |||||||||||||||||||||||||||||||||||||||||
|
The aim of this course is to introduce the student to the fundamentals of complexity theory. | |||||||||||||||||||||||||||||||||||||||||
| Learning Outcomes | |||||||||||||||||||||||||||||||||||||||||
|
1. Explain and define the four classes of grammar in the Chomsky hierarchy; design automata for specific problems in each class of the Chomsky hierarchy 2. Define a Turing machine, and explain what it can be used for; write Turing machines to compute simple functions 3. Define time and space complexity 4. Write functions using big-O notation, and order complexities of functions in terms of big-O notation 5. Compute the time complexity of basic algorithmic functions 6. Explain the classes of functions NP, NP-complete, and NP-intermediate; and describe and compare approximate solutions to such problems which run in polynomial time and space 7. Explain the two classes DSPACE and NSPACE, and describe the relationships between time and space complexity classes | |||||||||||||||||||||||||||||||||||||||||
All module information is indicative and subject to change. For further information,students are advised to refer to the University's Marks and Standards and Programme Specific Regulations at: http://www.dcu.ie/registry/examinations/index.shtml |
|||||||||||||||||||||||||||||||||||||||||
| Indicative Content and Learning Activities | |||||||||||||||||||||||||||||||||||||||||
|
Sets, relations and functions. Proofs by induction, breadth-first search and diagonalisation.Alphabets, words and languages. Turning machines. Machines and languages. Reducibilitybetween languages.. The class P. Polynomial-time reducibility.. The class NP. NP-complete languages. Cook's theorem. NP-intermediate languages.. The class coNP. The Boolean hierarchy. The polynomial hierarchy. Exponential-time. complexity classes.. Space Complexity. Space complexity classes. Relations between time and space. Logarithmic space. Polynomial space.. | |||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||
| Indicative Reading List | |||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||
| Other Resources | |||||||||||||||||||||||||||||||||||||||||
| 1097, website, Andy Way, 0, CA313 Algorithms & Complexity, DCU, Dublin, Ireland, http://www.computing.dcu.ie/~away/CA313/, | |||||||||||||||||||||||||||||||||||||||||
| Array | |||||||||||||||||||||||||||||||||||||||||
| Programme or List of Programmes | |||||||||||||||||||||||||||||||||||||||||
| BSSA | Study Abroad (DCU Business School) | ||||||||||||||||||||||||||||||||||||||||
| SHSA | Study Abroad (Science & Health) | ||||||||||||||||||||||||||||||||||||||||
| Timetable this semester: Timetable for CA313 | |||||||||||||||||||||||||||||||||||||||||
| Date of Last Revision | 10-JAN-11 | ||||||||||||||||||||||||||||||||||||||||
| Archives: |
| ||||||||||||||||||||||||||||||||||||||||









