计算理论导引第二版中的内容介绍，包括一致布尔电路、只读一次的分支程序等内容(Introduction to the second edition of computational theory, including consistent Boolean circuits, read-only branching programs, and so forth)