最新 | 最热门 | 最高评价
---

+0  Turing机、人工智能以及我们的世界

Tag: 算法 | Brain Storm | 哲学
Matrix67 发于 2012年03月06日 12:33 | 点击: 2939 | 展开摘要
    昨天终于读完了《The Annotated Turing》一书，第一次完整地阅读了 Turing 最经典的那篇论文，理解了 Turing 机提出的动机和由此带来的一系列结论。不过，这本书的最大价值，则是让我开始重新认识和思考这个世界。在这里，我想把我以前积累的哲学观点和最近一些新的思考记下来，与大家一同分享。《The Annotated Turing》一书中的一些学术内容，留待以后几篇日志与大家分享。今年是 Alan Turin

查看全文: http://www.udpwork.com/item/6949.html
^..^

+0  基于php分布式程序开发问题

Tag: php | 算法与读书 | 优化 | 分布式
lajabs 发于 2012年01月29日 21:40 | 点击: 2220 | 展开摘要
一、伸缩性扩展性问题

根据不同系统层次，实现横向扩展设计，可简单地通过增加主机数或处理进程数来扩展；

在前端浏览器层面，可以通过动态调用不同资源实现一定程度分流，如JavaScript、Flash(ActionScript)中加载应用服务器列表，并根据均衡策略选择其中一台服务器进行请求；

在域名解析层面，可以考虑动态DNS解析服务，为跨机房跨区域服务系统部署提供IP地址的映射达到分流目的；

在可使用负载均

查看全文: http://www.udpwork.com/item/10903.html
^..^

+0  经典证明：星际争霸是NP-hard的

Tag: 算法 | Brain Storm | 图论 | 复杂度 | 游戏 | 证明
Matrix67 发于 2012年01月28日 03:07 | 点击: 2345 | 展开摘要
    今天看到这里给出了一个“星际争霸是 NP-hard 问题”的一个证明。具体地说，给定一个初始布局（包括地图、双方已有资源、双方已有建筑、双方已有兵力），判断其中一方是否能获胜，这个问题是 NP-hard 的。当然，考虑到即时战略游戏的复杂性，这个结论并不出人意料；真正有趣的，则是如何巧妙地利用游戏中的元素，构造出极其精巧的初始局面，从而转化成某个已知的 NP-complete 问题。下面是原文中给出的证明。这个证明有没有什么漏洞

查看全文: http://www.udpwork.com/item/6748.html
1

+0  漫话中文自动分词和语义识别（下）：句法结构和语义结构

Tag: 算法 | Brain Storm | 语言学 | 文字游戏
Matrix67 发于 2012年01月05日 16:25 | 点击: 2864 | 展开摘要
    这篇文章是漫话中文分词算法的续篇。在这里，我们将紧接着上一篇文章的内容继续探讨下去：如果计算机可以对一句话进行自动分词，它还能进一步整理句子的结构，甚至理解句子的意思吗？这两篇文章的关系十分紧密，因此，我把前一篇文章改名为了《漫话中文自动分词和语义识别（上）》，这篇文章自然就是它的下篇。我已经在很多不同的地方做过与这个话题有关的演讲了，在这里我想把它们写下来，和更多的人一同分享。

    

查看全文: http://www.udpwork.com/item/6654.html
^..^

+0  Buddy memory allocation (伙伴内存分配器)

Tag: 算法 | 语言与设计
云风 发于 2011年12月20日 21:38 | 点击: 6486 | 展开摘要
今天吃晚饭的时候想到，我需要一个定制的内存分配器。主要是为了解决 共享内存 中的字符串池的管理。

这个内存分配器需要是非入侵式的，即不在要分配的内存块中写 cookie 。

而我的需求中，需要被管理的内存块都是很规则的，成 2 的整数次幂的长度。buddy memory allocation 刚好适用。

算法很简单，就是每次把一个正内存块对半切分，一直切到需要的大小分配出去。回收的时候，如果跟它配对的块也是未被使用的，就合并成一个大的块。标准算法下，分配和释放的时间复

查看全文: http://www.udpwork.com/item/6560.html
---

+0  对角线方法之后的故事

Tag: 算法 | Brain Storm | 集合 | 递归 | 无穷 | 证明
Matrix67 发于 2011年12月07日 16:35 | 点击: 2454 | 展开摘要
    同样是无穷集合，如果集合里的元素能够与全体正整数构成一一对应的关系，我们就说它是可数的，否则就说它是不可数的。 1874 年， Cantor 发表了一篇重要的论文，论文中证明了全体有理数甚至是全体代数数都是可数的，但全体实数却是不可数的。换句话说，同样是无穷多，实数的数量比有理数、代数数的数量都高出了一个级别。不过，当时 Cantor 证明实数集不可数的方法并不容易理解。 1891 年， Cantor 发表了另一篇论文，给出了实

查看全文: http://www.udpwork.com/item/6488.html
---

+0  基站轨迹定位算法

Tag: lbs技术 | Viterbi算法 | 基站定位 | 轨迹定位
editor 发于 2011年12月02日 20:58 | 点击: 2938 | 展开摘要
前言

我在哪？是LBS领域首先要解决的问题。因为技术限制，传统的GPS卫星定位只有室外的空旷地区才能够准确定位，对于室内环境来说，GPS定位往往会因“搜星”失败而无法定位。正因为GPS定位的天然缺陷，基于手机基站的定位技术正在蓬勃发展。然而因为基站的覆盖范围大，很难以取得高精度的效果，本文利用基站轨迹，提出了一个提高基站定位精度的方法。

关键字：基站定位，轨迹定位，Viterbi算法

绪论

对于单基站定位，如果仅根据用户当前的基站ID进行定位，精度必定有限。用户可能出

查看全文: http://www.udpwork.com/item/6449.html
---

+0  一些有意思的算法代码

Tag: C/C++语言 | Java语言 | Python | 技术读物 | 杂项资源 | 编程语言 | Algorithm | C++ | 算法
陈皓 发于 2011年11月29日 11:11 | 点击: 3516 | 展开摘要
Keith Schwarz是一个斯坦福大学计算机科学系的讲师。他对编程充满了热情。他的主页上他自己正在实现各种各样的有意思的算法和数据结构，http://www.keithschwarz.com/interesting/， 目前这个网页上有88个（见下面的列表），但这位大哥要干135个，你可以看看他的To-Do List。

从这个列表上，我们可以看到，他从去年7月份就在自己实现这些东西了，我把他实现的这些算法转过来，

一方面我们可以学习一下这些算法和代码，因为很多东西对我

查看全文: http://www.udpwork.com/item/6424.html
^..^

+0  汉字地图第二版

Tag: 算法 | Brain Storm | Mathematica | 统计 | 图片 | 文字游戏
Matrix67 发于 2011年11月26日 21:13 | 点击: 2311 | 展开摘要
    去年年初的时候，我曾经发布过某专业课期末作业研究过程中带来的一个有趣的副产品：汉字的字义网络图。不过，当时我是直接调用的 Mathematica 的相关函数，函数几乎不能调整参数，并且也无法处理边上权重不同的情况。最近在研究引力斥力绘图算法，突然想到把当时的数据重新画一张图。于是就有了汉字地图第二版（点击小图看大图）：

   

    还是简述一下整个图的

查看全文: http://www.udpwork.com/item/6387.html
---

+0  闲话移动app中c/s通信的身份验证——原理篇

Tag: 开发技术 | 算法
雨水无香 发于 2011年11月25日 01:04 | 点击: 6015 | 展开摘要
话说月初的时候曾想玩玩移动app开发，目前app开发比较流行c/s架构，不，用时髦点的话说是云端架构。对于网络应用来说，第一个遇到的问题就是用户身份验证。之前基本上就没做过c/s架构的东西（和b/s对应的c/s），所以在这方面算是空白。后来面试过两个Android开发者，把这个问题当做一个系统设计的题目来问，也没有得到更多的想法。

当年做b/s时，用户身份验证这种事靠的是cookie&session，即浏览器发送请求时携带写入cookie的session_id，服

查看全文: http://www.udpwork.com/item/6379.html
1

+1  如此保证选举公正性能成吗？

Tag: 算法 | Brain Storm | 证明
Matrix67 发于 2011年11月23日 17:16 | 点击: 2058 | 展开摘要
    一个小镇上即将进行大选，候选人有 m ≥ 3 个，选民一共有 n 人。选举时，每个选民在选票上写下一个候选人的名字，然后由计算机根据某种选举机制算出大选的获胜者来。如果把 n 个选民的选票依次记为 x1, x2, ..., xn 的话，那么选举机制的算法其实就是一个映射到 {1, 2, ..., m} 的函数 f(x1, x2, ..., xn) 。

    为了保证选举程序的公平性，让

查看全文: http://www.udpwork.com/item/6368.html
^..^

+0  Paxos小议

Tag: 分布式基础 | paxos | 分布式 | 选举算法
editor 发于 2011年11月23日 15:08 | 点击: 9388 | 展开摘要
问题

最近我们在做一个项目的时候有这样一个需求：我们有多台服务器资源，希望彼此协作完成一项工作。这项工作可以被划分为N个小的模块，但由于这项工作会依赖于持续不断的输入(在线业务)，因此我们无法使用人工指定的方式将此工作分发到不同服务器进行。目前我们想到一个方法，将这项工作划分出的小模块放到一个稳定可靠的地方，例如mola存储系统，然后每台服务器去存储系统上取得一定数量的模块进行工作，完成后再将处理的结果输出到前述的存储系统上。这些小的模块虽然可以被不同的服务器运行，然后重复

查看全文: http://www.udpwork.com/item/6367.html
|<<<45678910>>>| 一共12页, 143条记录