圖書標籤: 計算機 計算理論 計算機科學 自動機 automata cs 計教 數理邏輯
发表于2024-11-07
Introduction to Automata Theory, Languages, and Computation (2nd Edition) pdf epub mobi txt 電子書 下載 2024
John E.Hopcroft 於斯坦福大學獲得博士學位,現為康奈爾大學計算機科學係教授。1994年到2001年,任康奈爾大學工程學院院長。他是1986年圖靈奬獲得者。他的研究興趣集中在計算理論方麵,尤其是算法分析、自動機理論等。
Rajeev Motwani 於加州大學伯剋利分校獲得博士學位,現為斯坦福大學計算機科學係教授。他的研究興趣包括:數據庫、數據挖掘,Web搜索和信息檢索、機器人等。
Jeffrey D. Ullman 斯坦福大學計算機科學係 Stanford W. Ascherman 教授,數據庫專傢,美國國傢工程院院士。他的研究興趣包括:數據庫理論、數據庫集成、數據挖掘、理論計算等。
這本書收藏很久瞭,雖然上課的時候已經講過一部分,但是海市想讀完這本書。
評分這本書收藏很久瞭,雖然上課的時候已經講過一部分,但是海市想讀完這本書。
評分CS theory必讀,沒想到第三版都齣瞭。
評分這本書收藏很久瞭,雖然上課的時候已經講過一部分,但是海市想讀完這本書。
評分CS theory必讀,沒想到第三版都齣瞭。
书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS,是这么表述的: 给定一个无向图(n个顶点)和一个数k,问这个图存不存在k个顶点的独立集。 这个问题是P的。因为,对于题面中给定的k,从全部n个定点中选出k个顶点的子集...
評分书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS,是这么表述的: 给定一个无向图(n个顶点)和一个数k,问这个图存不存在k个顶点的独立集。 这个问题是P的。因为,对于题面中给定的k,从全部n个定点中选出k个顶点的子集...
評分建议大家还是直接读原著吧,不要看翻译的了。 今天看的时候,发现一句话很费解,特意对比了一下: 翻译版本的41页第二段:“重要的是注意,子集构造是这样一个例子:说明如何……” 看了一下原文是这样写的(原书第二版61页第一段):“It is important for us to observe th...
評分书中通过将 3SAT 问题多项式时间规约到独立集问题。证明了独立集问题是NP完全的。 但他的独立集问题IS,是这么表述的: 给定一个无向图(n个顶点)和一个数k,问这个图存不存在k个顶点的独立集。 这个问题是P的。因为,对于题面中给定的k,从全部n个定点中选出k个顶点的子集...
評分翻译,一如既往的烂,估计换了个译者名而已,和第二版没啥区别。 斯坦福系的大作,从自动机(有穷,下推)到图灵机,对照着编译原理,才能勉强猜出大概思路。课后题是宝库。国内教材估计也是仿照它写的。这本书的作者还是龙书,数据库等等的作者。
Introduction to Automata Theory, Languages, and Computation (2nd Edition) pdf epub mobi txt 電子書 下載 2024