算法
进化算法的模式、涌现与困难性研究 豆瓣
2012 - 2
《进化算法的模式、涌现与困难性研究》旨在系统地介绍进化算法的模式、涌现与困难性等若干问题的理论研究和典型应用,共分为7章内容。
首先,建立了进化计算的统一框架和进化算子的统一表示。其次,将建筑块的思想推广到整个进化计算领域,得到了准确的模式公式、模式的形式不变性和变长度的模式公式。证明了满足一定条件的有限群体遗传算法构成Devaney意义下的混沌。提出了一种可以直接测试适应值曲面特征的排序统计分析方法;分析了遗传算法适应值曲面的复杂程度,提出了基于随机游走模型的适应值曲面关联维数测试方法。最后,提出了一种改进的子群遗传算法,并将其应用于多模态函数的优化求解。
《进化算法的模式、涌现与困难性研究》可以作为管理科学和信息技术专业的研究生教材,亦可作为有关科研人员和工程技术人员的参考用书。
抽样理论与方法 豆瓣
作者: 扎库拉・戈文达拉玉卢 出版社: 机械工业出版社 2005 - 6
本书全面介绍了抽样调查的基本理论和方法,并结合实践给出许多调查示例。参照这些例证过程,读者可以设计出精确度高、成本低的抽样调查方案。不同于一般介绍抽样调查的书籍,本书着重强调采用现代统计方法学来设计抽样调查方案及分析数据。书中介绍了许多流行的抽样调查方法,如不等概率抽样法、贝叶斯方法、刀切法、自助法、多重抽样法等。而且,每章的结尾都给出与具体数据相关的习题和参考文献。
本书只要求读者具备高等代数和概率统计基础知识,适合作为高等院校高年级本科生和研究生的教材,也可供进行抽样调查的实际工作者使用。
最优化导论 豆瓣
An Introduction to Optimization,Foulth Edition
作者: Edwin K. P. Chong / Stanislaw H. Zak 译者: 孙志强 / 白圣建 出版社: 电子工业出版社 2015 - 10
本书是一本关于最优化技术的入门教材,全书共分为四部分。第一部分是预备知识。第二部分主要介绍无约束的优化问题,并介绍线性方程的求解方法、神经网络方法和全局搜索方法。第三部分介绍线性优化问题,包括线性优化问题的模型、单纯形法、对偶理论以及一些非单纯形法,简单介绍了整数线性优化问题。第四部分介绍有约束非线性优化问题,包括纯等式约束下和不等式约束下的优化问题的最优性条件、凸优化问题、有约束非线性优化问题的求解算法和多目标优化问题。中文版已根据作者提供的勘误表进行了内容更正。
数据压缩入门 豆瓣
作者: [美]柯尔特·麦克安利斯(Colt McAnlis)[美]亚历克斯·海奇(Ale 译者: 王凌云 出版社: 人民邮电出版社 2020 - 3
本书的主题是数据压缩,也就是用最紧凑的方式来表示数据。本书先讲解了5类数据压缩算法,即变长编码、统计压缩、字典编码、上下文模型和多上下文模型,然后介绍了香农的信息论,以及怎样通过各种方法来突破熵,如统计编码、自适应统计编码、字典转换、上下文数据转换、数据建模等。本书还讨论了数据压缩中的一些要点,如多媒体数据压缩和通用压缩,并介绍了有损数据压缩。本书最后说明了数据压缩与你、你的公司以及未来的技术是如何相互关联的。
数据压缩导论(第4版) 豆瓣
Introduction to data compression, fourth edition
作者: [美] Khalid Sayood 译者: 贾洪峰 出版社: 人民邮电出版社 2014 - 1
数据压缩已经成为信息革命的一门支撑技术,这场革命已经改变了我们的生活,而在此过程中,数据压缩也变得几乎无处不在。从MP3播放器到智能手机,再到数字电视和数字电影,数据压缩几乎成了所有信息技术的必备要素。
近年来,以大数据为标志的互联网技术高歌猛进。数据规模大、产生速度快、来源多样等特性,导致数据存储和处理都前所未有地复杂。《数据压缩导论(第4版)》作为迄今为止数据压缩领域最全面而深入的著作,多年来一直被业内人士奉为权威,一版再版。
最新版本主要介绍了以下内容。
详细介绍了当代压缩技术的理论基础,并辅以应用示例来解释相关概念(本书配套网站datacompression.unl.edu提供相关应用的实现技术和算法);
深度剖析无损和有损压缩、霍夫曼编码、算术编码、词典编码技术、基于上下文的压缩算法、标量和矢量编码等内容;
深入探讨了新兴标准和已经建立的标准,包括JPEG 2000、JPEG-LS、MPEG-2、 H.264、 JBIG 2、ADPCM、LPC、CELP、 MELP和 iLBC;
增加了范式霍夫曼编码以及更多有关二进制算法编码的内容。
算法设计手册 豆瓣
The Algorithm Design Manual (2nd Ed.)
作者: 斯基恩纳 出版社: 清华大学出版社 2009 - 9
《算法设计手册(第2版)》是算法设计畅销书的最新版本,是设计实用且高效算法的最全面指导书。《算法设计手册(第2版)》揭密了算法的设计与分析,以简单易懂的写作风格,介绍了各种算法技术,着重强调了算法分析,全书包括两大部分,“技术”部分介绍了设计和分析计算机算法的各种方法,“资源”部分给出了大量的参考资源,以及算法实现的各种资源,此外,在作者的个人网址http://www.CS.sunysb.edu/~algorith/I-还提供了各种教学资源和参考材料,这些资源对读者很有参考价值。
《算法设计手册(第2版)》可以作为算法设计课程的主教材,也是程序人员、研究人员和学生的常备参考书。
最优化理论与方法 豆瓣
作者: 袁亚湘 出版社: 科学出版社 1997 - 1
《最优化理论与方法》全面、系统地介绍了无约束最优化、约束最优化和非光滑最优化的理论和计算方法,它包括了近年来国际上关于优化研究的最新成果。《最优化理论与方法》在经济计划、工程设计、生产管理、交通运输等方面得到了广泛应用。
Distributed Algorithms 豆瓣
作者: Nancy A. Lynch 出版社: Morgan Kaufmann 1996 - 3
In "Distributed Algorithms", Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers. "Distributed Algorithms" contains the most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting. The algorithms are proved correct, and their complexity is analyzed according to precisely defined complexity measures. The problems covered include resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election, global snapshots, and many others. The material is organized according to the system model-first by the timing model and then by the interprocess communication mechanism. The material on system models is isolated in separate chapters for easy reference. The presentation is completely rigorous, yet is intuitive enough for immediate comprehension. This book familiarizes readers with important problems, algorithms, and impossibility results in the area: readers can then recognize the problems when they arise in practice, apply the algorithms to solve them, and use the impossibility results to determine whether problems are unsolvable. The book also provides readers with the basic mathematical tools for designing new algorithms and proving new impossibility results. In addition, it teaches readers how to reason carefully about distributed algorithms - to model them formally, devise precise specifications for their required behavior, prove their correctness, and evaluate their performance with realistic measures.
永恒的图灵 豆瓣
The Once and Future Turing:Computing the World
作者: [美]S. 巴里·库珀(S. Barry Cooper) 安德鲁·霍奇斯 译者: 堵丁柱 / 高晓沨 出版社: 机械工业出版社 2018 - 4
2019年5月14日 已读
硬核图灵的继承者们,都是各领域大佬啊。部分章节没学数理逻辑是看不懂的。感觉最开始马丁·戴维斯的不可解性定理的证明和12章斯科特·阿伦森用“奈特不确定性”对“自由”进行数学形式化的部分还是值得看的。其实感觉很多东西玩来玩去到最后还是碰壁新世纪七大数学难题、哥本哈根解释、哥德尔不完备定理这些硬东西,由此也可以看出当年图灵的洞察力(其实香农也类似),一抓全是核心问题,还能在好几个核心问题上做出开辟,祖师爷级别的思维真不一样,他们会对问题进行特别的解构,绕过纠缠的部分,然后由此构建出新东西。
CS akb biography 数学文化 文化
计算机程序设计艺术・卷1 豆瓣
The Art of Computer Programming, Vol 1: Fundamental Algorithms
作者: Donald E. Knuth 译者: 李伯民 / 范明 出版社: 人民邮电出版社 2016 - 1
《计算机程序设计艺术》系列是公认的计算机科学领域经典之作,深入阐述了程序设计理论,对计算机领域的发展有着极为深远的影响。本书是该系列的第 1 卷,讲解基本算法,其中包含了其他各卷都需用到的基本内容。本卷从基本概念开始,然后讲述信息结构,并辅以大量的习题及答案。
凸优化 豆瓣
Convex Optimization
作者: Stephen Boyd / Lieven Vandenberghe 译者: 王书宁 / 许鋆 出版社: 清华大学出版社 2013 - 1
《信息技术和电气工程学科国际知名教材中译本系列:凸优化》内容非常丰富。理论部分由4章构成,不仅涵盖了凸优化的所有基本概念和主要结果,还详细介绍了几类基本的凸优化问题以及将特殊的优化问题表述为凸优化问题的变换方法,这些内容对灵活运用凸优化知识解决实际问题非常有用。应用部分由3章构成,分别介绍凸优化在解决逼近与拟合、统计估计和几何关系分析这三类实际问题中的应用。算法部分也由3章构成,依次介绍求解无约束凸优化模型、等式约束凸优化模型以及包含不等式约束的凸优化模型的经典数值方法,以及如何利用凸优化理论分析这些方法的收敛性质。通过阅读《信息技术和电气工程学科国际知名教材中译本系列:凸优化》,能够对凸优化理论和方法建立完整的认识。
图论——一个迷人的世界 豆瓣
作者: 本杰明,查特兰,张萍 译者: 程晓亮 / 管涛 出版社: 机械工业出版社 2001 - 1
本书介绍了图论的基本概念,解释了图论中各种经典问题。例如,熄灯的问题、小生成树问题、哥尼斯堡七桥问题、中国邮递员问题、国际象棋中马的遍历问题和路的着色问题等等。书中也给出了各种类型的图,例如,二部图、欧拉图、彼得森图和树;等等。每一章都为读者设置了练习题,包含了具有挑战性的探索性问题。
Approximation Algorithms 豆瓣
作者: Vijay V. Vazirani 出版社: Springer 2001 - 7
'This book covers the dominant theoretical approaches to the approximate solution of hard combinatorial optimization and enumeration problems. It contains elegant combinatorial theory, useful and interesting algorithms, and deep results about the intrinsic complexity of combinatorial problems. Its clarity of exposition and excellent selection of exercises will make it accessible and appealing to all those with a taste for mathematics and algorithms' - Richard Karp, University Professor, University of California at Berkeley. Following the development of basic combinatorial optimization techniques in the 1960s and 1970s, a main open question was to develop a theory of approximation algorithms. In the 1990s, parallel developments in techniques for designing approximation algorithms as well as methods for proving hardness of approximation results have led to a beautiful theory. The need to solve truly large instances of computationally hard problems, such as those arising from the Internet or the human genome project, has also increased interest in this theory. The field is currently very active, with the toolbox of approximation algorithm design techniques getting always richer. It is a pleasure to recommend Vijay Vazirani's well-written and comprehensive book on this important and timely topic. "I am sure the reader will find it most useful both as an introduction to approximability as well as a reference to the many aspects of approximation algorithms' - Laszlo Lovasz, Senior Researcher, Microsoft Research.
算法引论 豆瓣
Introduction to Algorithms:A Creative Approach
作者: [美]Udi Manber 译者: 黄林鹏 / 谢瑾奎 出版社: 电子工业出版社 2005 - 9
本书是国际算法大师乌迪·曼博(Udi Manber)博士撰写的一本享有盛誉的著作。全书共分12章:第1章到第4章为介绍性内容,涉及数学归纳法、算法分析、数据结构等内容;第5章提出了与归纳证明进行类比的算法设计思想;第6章到第9章分别给出了4个领域的算法,如序列和集合的算法、图算法、几何算法、代数和数值算法;第10章涉及归约,也是第11章的序幕,而后者涉及NP完全问题;第12章则介绍了并行算法;最后是部分习题的答案及参考文献。本书的特色有二,旨在提高读者的问题求解能力,使读者能够理解算法设计的过程和思想:一是强调算法设计的创造性过程,注重算法设计背后的创造性思想,而不拘泥于某个具体算法的详细讨论;二是将算法设计类比于定理归纳证明,揭示了算法设计的基本思想和本质。
本书的组织结构清晰且易于理解,强调了创造性,具有浓郁特色,时至今日仍有其巨大的价值,并且适合作为计算机及相关专业算法和高级算法课程的教材。
The Golden Ticket 豆瓣
作者: Lance Fortnow 出版社: Princeton University Press 2013 - 3
The P-NP problem is the most important open problem in computer science, if not all of mathematics. The Golden Ticket provides a nontechnical introduction to P-NP, its rich history, and its algorithmic implications for everything we do with computers and beyond. In this informative and entertaining book, Lance Fortnow traces how the problem arose during the Cold War on both sides of the Iron Curtain, and gives examples of the problem from a variety of disciplines, including economics, physics, and biology. He explores problems that capture the full difficulty of the P-NP dilemma, from discovering the shortest route through all the rides at Disney World to finding large groups of friends on Facebook. But difficulty also has its advantages. Hard problems allow us to safely conduct electronic commerce and maintain privacy in our online lives. The Golden Ticket explores what we truly can and cannot achieve computationally, describing the benefits and unexpected challenges of the P-NP problem.
C Interfaces and Implementations 豆瓣
作者: David R. Hanson 出版社: Addison-Wesley Professional 1996 - 8
Every programmer and software project manager must master the art of creating reusable software modules; they are the building blocks of large, reliable applications. Unlike some modern object-oriented languages, C provides little linguistic support or motivation for creating reusable application programming interfaces (APIs). While most C programmers use APIs and the libraries that implement them in almost every application they write, relatively few programmers create and disseminate new, widely applicable APIs. C Interfaces and Implementations shows how to create reusable APIs using interface-based design, a language-independent methodology that separates interfaces from their implementations. This methodology is explained by example. The author describes in detail 24 interfaces and their implementations, providing the reader with a thorough understanding of this design approach.
Computer Age Statistical Inference 豆瓣
作者: Bradley Efron / Trevor Hastie 出版社: Cambridge University Press 2016 - 7
The twenty-first century has seen a breathtaking expansion of statistical methodology, both in scope and in influence. 'Big data', 'data science', and 'machine learning' have become familiar terms in the news, as statistical methods are brought to bear upon the enormous data sets of modern science and commerce. How did we get here? And where are we going? This book takes us on an exhilarating journey through the revolution in data analysis following the introduction of electronic computation in the 1950s. Beginning with classical inferential theories - Bayesian, frequentist, Fisherian - individual chapters take up a series of influential topics: survival analysis, logistic regression, empirical Bayes, the jackknife and bootstrap, random forests, neural networks, Markov chain Monte Carlo, inference after model selection, and dozens more. The distinctly modern approach integrates methodology and algorithms with statistical inference. The book ends with speculation on the future direction of statistics and data science.
Clarifies both traditional methods and current, popular algorithms (e.g. neural nets, random forests)
Written by two world-leading researchers
Addressed to all fields that work with data