This book is intended to be used as a textbook for graduate students studying theoretical computer science. It can also …