X

Basics of Computational Complexity

By Prof. Nitin Saxena   |   IIT Kanpur
Learners enrolled: 1889   |  Exam registration: 137
ABOUT THE COURSE:
We will start this course by mathematically formalizing computation and algorithms. Our approach in the course would be to look at famous concrete problems and prove theorems about their uncomputability, or, if computable, then how fast can they be computationally solved. The problems we will cover in this course are: the halting problem, boolean formula satisfiability (the P!=NP question), quantified boolean formula, formula minimization, polynomial identity testing, undirected graph reachability, permanent and graph isomorphism. While studying these computational problems we will define various complexity classes and develop various tools used in modern complexity theory.

INTENDED AUDIENCE: Computer Science & Engineering, Mathematics, Electronics, Physics, & similar disciplines.

PREREQUISITES: Preferable (but not necessary)-- Theory of Computation, or Algorithms, or Discrete Mathematics.

INDUSTRY SUPPORT: Discrete Optimization, Cryptography/ Cyber Security, Coding theory, Computer Algebra, Symbolic Computing Software, , Learning Software.
Summary
Course Status : Ongoing
Course Type : Elective
Duration : 12 weeks
Category :
  • Computer Science and Engineering
Credit Points : 3
Level : Undergraduate/Postgraduate
Start Date : 22 Jan 2024
End Date : 12 Apr 2024
Enrollment Ends : 05 Feb 2024
Exam Registration Ends : 16 Feb 2024
Exam Date : 21 Apr 2024 IST

Note: This exam date is subjected to change based on seat availability. You can check final exam date on your hall ticket.


Page Visits



Course layout

Week 1:  Formalizing Problems, Machines, Time & Space.
Week 2: Computability. Complexity Classes
Week 3: Nondeterminism. Reduction.
Week 4: co-Classes. EXP-classes.
Week 5: Hierarchy theorems.
Week 6: Oracle. Relativization.
Week 7: Space complexity.
Week 8: Polynomial hierarchy.
Week 9: Counting classes.
Week 10: Counting vs Hierarchy.
Week 11: Probabilistic TM.
Week 12: Interaction & Circuits.

Books and references

https://www.cse.iitk.ac.in/users/nitin/courses/CS640-2017-18-I/
Text Book: Arora & Barak, Computational Complexity (Cambridge University Press)

Instructor bio

Prof. Nitin Saxena

IIT Kanpur
Prof. Nitin Saxena did B.Tech in CSE from the Indian Institute of Technology, Kanpur in 2002 and Ph.D. in the same department, under Manindra Agrawal, in 2006. He is broadly interested in Algebraic Complexity, Computational Algebra, Geometry and Number Theory. He was a visiting graduate student in Princeton University (2003-2004) and National University of Singapore (2004-2005); a postdoc at CWI, Amsterdam (2006-2008) and a Bonn Junior Fellow (W2 Professor) at Hausdorff Center for Mathematics, Bonn (2008-2013). Since April 2013, he is a faculty in CSE, IIT Kanpur. He is the coordinator of the Center for Developing Intelligent Systems (CDIS). He has two of the most prestigious honors in the field of theoretical computer science and discrete mathematics, Gödel Prize (2006) and Fulkerson Prize (2006). In fact, he is the youngest Gödel Prize winner ever. He is a recipient of numerous other prestigious awards including the Distinguished Alumnus Award (2003, IIT Kanpur) for his exceptional academic brilliance, the INSA Young Scientist Medal (2015), the SwarnaJayanti Fellowship (2013-14), and the Shanti Swarup Bhatnagar Award in Mathematical Sciences (2018). He is a Fellow of IASc, NASI, and INAE. In 2022, he was profiled by DST (Ministry of S&T, India) in the list of “75 Scientists under 50 shaping today’s India”. In 2009, he was voted one of the top 50 alumni by the IIT Kanpur Alumni Association to celebrate 50 years of the institute.

Course certificate

The course is free to enroll and learn from. But if you want a certificate, you have to register and write the proctored exam conducted by us in person at any of the designated exam centres.
The exam is optional for a fee of Rs 1000/- (Rupees one thousand only).
Date and Time of Exams: 21 April 2024 Morning session 9am to 12 noon; Afternoon Session 2pm to 5pm.
Registration url: Announcements will be made when the registration form is open for registrations.
The online registration form has to be filled and the certification exam fee needs to be paid. More details will be made available when the exam registration form is published. If there are any changes, it will be mentioned then.
Please check the form for more details on the cities where the exams will be held, the conditions you agree to when you fill the form etc.

CRITERIA TO GET A CERTIFICATE

Average assignment score = 25% of average of best 8 assignments out of the total 12 assignments given in the course.
Exam score = 75% of the proctored certification exam score out of 100

Final score = Average assignment score + Exam score

YOU WILL BE ELIGIBLE FOR A CERTIFICATE ONLY IF AVERAGE ASSIGNMENT SCORE >=10/25 AND EXAM SCORE >= 30/75. If one of the 2 criteria is not met, you will not get the certificate even if the Final score >= 40/100.

Certificate will have your name, photograph and the score in the final exam with the breakup.It will have the logos of NPTEL and IIT Kanpur .It will be e-verifiable at nptel.ac.in/noc.

Only the e-certificate will be made available. Hard copies will not be dispatched.

Once again, thanks for your interest in our online courses and certification. Happy learning.

- NPTEL team


MHRD logo Swayam logo

DOWNLOAD APP

Goto google play store

FOLLOW US