Ta上传的资源 (0)

Thisbookisanintrouuction,ontheundergraduatelevel,totheclassicalandcontemporarytheoryofcomputation.Thetopicscoveredare,inafewwords,thetheoryofautomataa

The study of type systems—and of programming languages from a type- theoretic perspective—has become an energetic field with major applications in sof

Windows Azure Storage (WAS) is a cloud storage system that provides customers the ability to store seemingly limitless amounts of data for any duratio

动态规划是信息学竞赛中的常见算法，本文的主要内容就是分析 它的特点。 文章的第一部分首先探究了动态规划的本质，因为动态规划的特 点是由它的本质所决定的。第二部分从动态规划的设计和实现这两个 角度分析了动态规划的多样性、模式性、技巧性这三个特点。第三部 分将动态规划和递推、搜索、网络流这三个相关算法作

This paper describes an abstract framework, called valuation network (VN), for representing and solving discrete optimization problems. In VNs, we rep