To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Formal languages and automata have long been fundamental to theoretical computer science, but students often struggle to understand these concepts in the abstract. This book provides a rich source of compelling exercises designed to help students grasp the subject intuitively through practice. The text covers important topics such as finite automata, regular expressions, push-down automata, grammars, and Turing machines via a series of problems of increasing difficultly. Problems are organised by topic, many with multiple follow-ups, and each section begins with a short recap of the basic notions necessary to make progress. Complete solutions are given for all exercises, making the book well suited for self-study as well as for use as a course supplement. Developed over the course of the editors' two decades of experience teaching the acclaimed Automata, Formal Languages, and Computation course at the University of Warsaw, it is an ideal resource for students and instructors alike.
Before reading and studying the results on random graphs included in the text one should become familiar with the basic rules of asymptotic computation, find leading terms in combinatorial expressions, choose suitable bounds for the binomials, as well as get acquainted with probabilistic tools needed to study tail bounds, i.e., the probability that a random variable exceeds (or is smaller than) some real value. This chapter offers the reader a short description of these important technical tools used throughout the text.
In this chapter, we see how many random edges are required to have a particular fixed size subgraph w.h.p. In addition, we will consider the distribution of the number of copies of strictly balanced subgraphs. From these general results, one can deduce thresholds for small trees, stars, cliques, bipartite cliques, and many other small subgraphs which play an important role in the analysis of the properties not only of classic random graphs but also in the interpretation of characteristic features of real-world networks. Computing the frequency of small subgraphs is a fundamental problem in network analysis, used across diverse domains: bioinformatics, social sciences, and infrastructure networks studies.
In this chapter, we study some typical properties of the degree sequence of a random graph. We begin by discussing the typical degrees in a sparse random graph, i.e., one with cn/2 edges for some positive constant c. We prove some results on the asymptotic distribution of degrees. We continue by looking at the typical values of the minimum and maximum degrees in dense random graphs, i.e., when edge probability p is constant. Given these properties of the degree sequence of dense graphs, we can then describe a simple canonical labeling algorithm that enables one to solve the graph isomorphism problem on a dense random graph.
In this chapter, we formally introduce both Erdős–Rényi–Gilbert’s models, study their relationships, and establish conditions for their asymptotic equivalence. We also define and study the basic features of the asymptotic behavior of random graphs, i.e., the existence of thresholds for monotone graph properties.