John E.Hopcroft 于斯坦福大学获得博士学位,现为康奈尔大学计算机科学系教授。1994年到2001年,任康奈尔大学工程学院院长。他是1986年图灵奖获得者。他的研究兴趣集中在计算理论方面,尤其是算法分析、自动机理论等。
Rajeev Motwani 于加州大学伯克利分校获得博士学位,现为斯坦福大学计算机科学系教授。他的研究兴趣包括:数据库、数据挖掘,Web搜索和信息检索、机器人等。
Jeffrey D. Ullman 斯坦福大学计算机科学系 Stanford W. Ascherman 教授,数据库专家,美国国家工程院院士。他的研究兴趣包括:数据库理论、数据库集成、数据挖掘、理论计算等。
发表于2025-03-24
Introduction to Automata Theory, Languages and Computation 2025 pdf epub mobi 电子书
书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS,是这么表述的: 给定一个无向图(n个顶点)和一个数k,问这个图存不存在k个顶点的独立集。 这个问题是P的。因为,对于题面中给定的k,从全部n个定点中选出k个顶点的子集...
评分内容不错啊,讲的挺详细,即使我这个非计算机专业的拿来看也能顺着看下去。当然,前提是你能忍受得了这翻译。有的地方也太“直译”了,有的地方读起来有当初看GRE长难句的感觉。慢慢看下去习惯了翻译也就觉得书还是不错的。
评分读《Introduction to Automata Theory、Languages and Computation》(自动机理论、语言和计算导论)时候。遇到了一个问题。这个问题是这样的。 书在讲到P与NP时,首先要给“时间复杂性”下一个定义。那就是,对于一台图灵机,首先要求它不论接受与否总会停机(也就...
评分内容不错啊,讲的挺详细,即使我这个非计算机专业的拿来看也能顺着看下去。当然,前提是你能忍受得了这翻译。有的地方也太“直译”了,有的地方读起来有当初看GRE长难句的感觉。慢慢看下去习惯了翻译也就觉得书还是不错的。
评分书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS,是这么表述的: 给定一个无向图(n个顶点)和一个数k,问这个图存不存在k个顶点的独立集。 这个问题是P的。因为,对于题面中给定的k,从全部n个定点中选出k个顶点的子集...
图书标签: 计算机 自动机理论 编译原理 语言学 计算机科学 理论计算机科学 Computer.Science CS
搞了半天结果读的是这本书的第一个版本,1979年出版,有点年头了
评分搞了半天结果读的是这本书的第一个版本,1979年出版,有点年头了
评分搞了半天结果读的是这本书的第一个版本,1979年出版,有点年头了
评分搞了半天结果读的是这本书的第一个版本,1979年出版,有点年头了
评分搞了半天结果读的是这本书的第一个版本,1979年出版,有点年头了
Introduction to Automata Theory, Languages and Computation 2025 pdf epub mobi 电子书