Algorithms and Complexity

COMP36111 Algorithms and Complexity 10 Semester 1 Undergraduate Level 3 Ian Pratt-Hartmann Unit coordinator Department of Computer Science 1 FHEQ level (Framework for Higher Education Qualifications) ' Last part of a Bachelors ' European Credit Transfer & Accumulation System Rating : 5.0 The Unit constitutes a self-contained introduction to the theory of Computational Complexity. It assumes no pre-requisites other than a knowledge of basic algorithms and mathematical notation. The teaching will be exclusively by means of traditional lectures, supported by the prescribed course text. The Unit is divided into two sections, of roughly equal weight. The first comprises a survey of some classic algorithms in Computer Science and analyses their complexity. The second section looks at the intrinsic complexity of problems (rather than of the algorithms for solving them), and comprises a basic introduction to the theory of computational complexity. The unit aims to make students familiar with the basic concepts and techniques of the theory of Computational Complexity.  ILO 1: implement and analyse basic algorithms encountered in Computer Science (graph processing, string searching, flow networks, matching etc.)ILO 2: recite the standard hierarchy of commonly-encountered complexity classes defined in relation to the Turing model of computation.ILO 3: determine the computational complexity of a range of problems.ILO 4: define the concepts of (problem-) reduction and computational hardness, and to develop familiarity with techniques for establishing lower complexity bounds---especially, NPTime-hardness.ILO 5: prove the most important and central theorems in Complexity Theory (Cook's theorem, Ladner's theorem, Savitch's theorem the Immerman-Szelepcsényi theorem). Analytical skills Innovation/creativity Problem solving Directed graphs---topological ordering and Kosaraju's algorithm; undirected graphs--- union find; the Grzegorczyk hierarchy; flow networks---optimal flows, min-cost max-flow; 2D matching; string-processing algorithms; Turing Machines and computability; the Entscheidungsproblem; measuring computational complexity; separation theorems; SAT, k-SAT, Horn-SAT and QBF-SAT; hardness and reductions---Cook's theorem; graph-theoretical problems---3-colouring, Hamiltonian and Eulerian circuits; the TSP; integer linear programming; Savitch's theorem and the Immerman-Szelepcsényi theorem. Two 1-hour lectures per week; coursework to provide practice for examination; final lecture on how to pass the examination. 1 Written exam 80% 9 Set exercise 20%  Through coursework in weeks 4, 7 and 10 COMP11120 Mathematical Techniques for Computer Science Pre-Requisite Compulsory COMP11212 Fundamentals of Computation Pre-Requisite Compulsory COMP26120 Algorithms and Data Structures Pre-Requisite Compulsory MATH11121 Mathematical Foundations & Analysis Pre-Requisite Compulsory MATH10111 Foundations of Pure Mathematics B Pre-Requisite Compulsory MATH10101 Foundations of Pure Mathematics A Pre-Requisite Compulsory COMP26120, COMP11212, and COMP11120 are pre-requisites. For CM students, MATH11121 or equivalent is required.COMP26120, COMP11212, and COMP11120 are pre-requisites. For CM students, MATH11121 or equivalent is required. Y <ol><li>Sipser, Michael. (2013). Introduction to the theory of computation. Cengage Learning. ISBN:<a href="https://www.librarysearch.manchester.ac.uk/discovery/search?query=isbn,contains,9781133187813&search_scope=MyInst_and_CI&sortby=rank&vid=44MAN_INST:MU_NUI&lang=en&mode=advanced&offset=0" target="_blank"> 9781133187813</a>  </li><li>Arora, Sanjeev. (2009). Computational complexity: a modern approach. Cambridge University Press. ISBN:<a href="https://www.librarysearch.manchester.ac.uk/discovery/search?query=isbn,contains,9780511804090&search_scope=MyInst_and_CI&sortby=rank&vid=44MAN_INST:MU_NUI&lang=en&mode=advanced&offset=0" target="_blank"> 9780511804090</a>  </li><li>Goodrich, Michael T. (2015). Algorithm design and applications. Wiley. ISBN:<a href="https://www.librarysearch.manchester.ac.uk/discovery/search?query=isbn,contains,9781119028482&search_scope=MyInst_and_CI&sortby=rank&vid=44MAN_INST:MU_NUI&lang=en&mode=advanced&offset=0" target="_blank"> 9781119028482</a>  </li><li>Roughgarden, Tim. (2022). Algorithms illuminated. Soundlikeyourself Publishing. ISBN:<a href="https://www.librarysearch.manchester.ac.uk/discovery/search?query=isbn,contains,9780999282984&search_scope=MyInst_and_CI&sortby=rank&vid=44MAN_INST:MU_NUI&lang=en&mode=advanced&offset=0" target="_blank"> 9780999282984 </a></li></ol> Lectures 22 0 78