天天天蓝: Blog

deadline

Tue, 18 Nov 2008 04:23:29 GMT

刚赶完deadline，第一次投STOC

其实能有东西投这样的会，我就已经很知足了

这次deadline赶的非常惊心动魄，一个接着一个的发现bug

越来越痛苦的fix bug，最后一次fix把原来poly的结果变成指数了，而且第二天还发现即使这样还有bug

然后很崩溃很崩溃，一直到deadline前两天还是搞不定。。。

然后最后两天跟老板讨论半天，又换了一个metric重新搞

最后能够smooth地证出来很出乎我的意料

不过finally，done

学到的东西只有一个，做theory应该keep on thinking

虽然连续n天n星期n月想不出来解决的方法是件非常让人郁闷的事情

但是也许只有那样才能在最后的时候突然顿悟吧

一堆人都在赶deadline，发现theory的圈子还是很小的

弄完了看blog，正好看到mihai新一篇的blog，很有同感啊

他今年一篇都没投，呵呵，很少见。

http://infoweekly.blogspot.com/2008/11/stoc.html

11月6日

Thu, 06 Nov 2008 12:15:00 GMT

CSTCS(4)

Wed, 22 Oct 2008 12:09:30 GMT

Title: Flows and Disjoint Paths in Networks
Speaker: Sanjeev Khanna

Edge Disjoint Paths Problem(EDP): Given graph G and source-sink pairs, the goal is to route a maximum # of pairs using edge-disjoint paths.
Usage: can be used to solve maximum matching,
Complexity result:  1. For two pairs, if G is directed, it is NP-hard.   2. If G is undirected, any constant number of pairs can be solved
Approximate result:  Greedy algorithm has ratio O(m^{1/2});  Multicommodity flow relaxation(LP)
Allow congestion:  O(1)-approximation with congestion \Theta(log n/loglog n); Hardness result
Basic idea of approximation: Show fractional solution with short flow paths
New idea: using well-linked set. A EDP instance can be reduced to a collection of instances of well-linked set will small-loss of optimal solution.

Title: Discounted Deterministic Markov Decision Processes
Speaker: Uri Zwick Tel Aviv

MDP：可以看作一个图上的游戏，点属于两个游戏玩家，边上有权值，当前点的拥有者可以决定下一步往那个邻居走，走过的边上的权计入分数（按零和的方式）。

Discounted: each step has a ratio \alpha discount
Deterministic: after each step, the node arrived is deterministic, not a distribution.
Main result: an O(mn)-time algorithm for finding optimal strategies for discounted, infinite-horizon, Deterministic Markov Decision Processes (DMDP), where n is the number of vertices (or states) and m is the number of edges (or actions).
This improves a recent O(mn^2)-time algorithm of Andersson and Vorobyov 87'.
Deterministic MDP = truck driver's problem
Discounted DMDP = unreliable truck driver's problem.
Open problem:
  1. Equivalence of non-discounted DMDPs and discounted DMDPs.
  2. Different discount factors for different edges?
  3. (non-deterministic) Markov Decision Processes?

CSTCS(3)

Wed, 22 Oct 2008 12:02:35 GMT

Title: One Time Programs (Cryptography in presence of side channel attacks)
Speaker: Shafi Goldwasser Weizmann & MIT
Basic assumption of cryptography: there exists private key and computation is "black box" based on this private key. But, it is not true. we can extract secret information by physics observation: timing, power consumer, etc (called computational side channel attacks). Two types of possible leakage: (1)computational side channel: leakage of information of secret keys as a result of performing a computation on the said data;(2)Memory Leakage: no computation has been done. Leakage is only because the data is in the memory. 这个talk主要是用来解决第一个问题的，提出了one time program，需要用hardware，并且希望尽可能减少在hardware上的计算（因为任何计算都可能泄露secret）。用的gadget叫ROK，是一个hardware，上面有两个key，读取一个key的同时会erase掉另一个。怎么做的没明白。。。

Title: Towards Universal Semantic Communication
Speaker: Madhu Sudan MIT
讲的是我们怎么能跟外星人交流（也就是交流双方都不懂对方的语言）^_^ 去年的CTW也有一个这样的talk。第一部分考虑的是：Bob is computational limited but wishes to solve hard problem, and Alice can solve the problem and helpful (try to communicate with Bob to tell him the answer). Model: Bob wants to know whether x\in S. Alice knows the answer. But they do not know the language of the other person. Different from IP: in IP, Bob does not trust Alice. Main result: If S is PSPACE-complete, then there exists a S-universal Bob. 这个topic蛮有意思的，虽然不知道有什么具体意义？网上有ppt

Title: Resilient Mechanism Design
Speaker: Silvio Micali MIT
唯一一个mechanism的talk，非常fancy。但是因为很fancy，导致我lost掉了，连main result是什么都没有明白。。。

Title: Natural Algorithms
Speaker: Bernard Chazelle Princeton
这个talk很飘逸，内容和风格跟santafe那套挺像的。讲自然界现象的，比如怎么描述鸟群的运动。也是一个很fancy的talk，有很多fancy的视频:) 虽然里面也讲了一些数学方法，但是我其实不太明白为什么放在一个theory的会上面。

Title: The Truth About Quantum Computers
Speaker: Umesh Vazirani Berkeley
讲了一个叫做Adiabatic quantum optimization的东西，不懂。。。不过说目前的物理实验显示Polynomial Adiabatic algorithm for 3SAT是可能的。感觉还蛮偏物理的，似乎不像很多做quantum的工作完全建立在一个well-defined的数学模型之上，跟物理没啥关系。只是感觉，总的来说不懂。。。

CSTCS(2)

Wed, 22 Oct 2008 09:27:18 GMT

Title: Semidefinite Programming and Approximation Algorithms: A Survey of Recent Results
Speaker: Sanjeev Arora Princeton
A lot of NPC problem => a lot of approximation algorithms. Some problems have bad news, like MAX-3SAT is hard to approximate better than random if P\neq NP. But there are still a lot of problems unsolvable, and it seems some interesting algorithm design methods remain undiscovered. Maybe SDP is helpful.
SDP = generalization of linear program
主要的想法是说要理解SDP等价于understanding phenomena in high dimension geometry。然后介绍了两代利用SDP做rounding的方法，第一代的结果大多是90年代的，rounding的方法主要是local的；第二代是最近几年的，更加注重global rounding。1st generation的例子是说 ratio 1.13 for MAX-CUT，2nd generation的例子是说 \sqrt(log n) for c-balanced separator。还讲了一些别的相关的内容，就没follow上了。网上有ppt

Title: A Computational Theory of Clustering
Speaker: Avrim Blum CMU
传统的clustering是把data看作是有权重的图，再把目标定成诸如k-median, k-means, min-sum等，然后找近似算法计算这些。但这些目标本身并不是我们想要得到的，能否绕过这些来做clustering.主要的想法是只关注比如k-median所带给我们的性质来做聚类，而不是k-median本身。而同时，similarity是比distance要弱的概念，因为前者不需要是metric。我理解的是Blum想要找一些性质，证明这些性质可以导致聚类有好的算法。比如最简单的 Suppose S has property that all x are more simlar to points y in their own cluster than to any y' in other clusters. 还讲了一个弱一些的条件：for all clusters C1, C2, all Ai\sebuset Ci, the average distance between A1 and A2 is larger than Ai and Ci/Ai.有人提到每个object有多个标签（就是属于多个类）的情况，我曾经和别人讨论social network的时候也讨论过这样的情况，目前这块儿似乎只有一些实验结果，没听说任何理论结果。

Title: Subconsensus task: Renaming is Weaker than Set Agreement
Speaker: Maurice Herlihy Brown
算是我老板吧^_^结果是用拓扑的方法做的，这块儿的内容不太好描述，都作了大半年了，现在想个简单的东西还是总是想不清楚。定义了一个叫做Manifold problem，这个问题完全就是根据拓扑会导致的complex量身定做的，然后证明了这类问题中的一个问题（叫Moebius task）可以用来解决renaming，但不能用来解决consensus。前者是直接给了"算法"，在拓扑里就是给出了两个complex之间的mapping，后者是用Sperner's lemma证的，ms一半以上的用拓扑的方法都跟这个lemma有关。
这一块儿给我的感觉就是如果能对分布式计算和complex、subdivision这些结果之间的对应关系了然于心，并且有很好的空间想象能力，其实想明白证明的idea并不难。但是如果去看整个框架的精确描述，会觉得很困难的:( 真的做东西的时候，就发现无数次地回到初始定义重新过一遍整个框架体系是怎么搭起来的。。。

Title: Hashing and the New Multicore Algorithmics
Speaker: Nir Shavit, Tel-Aviv
讲了两个hashing的方法，一个叫Split-ordered hashing，大概的想法是不移动要加入的value，而移动放这些value的bucket。另一个是Hopscotch Hashing，motivation来自于Cuckoo hashing。这两个hashing方法本身很神奇，wiki上可以找到详细介绍。在brown的时候作过一个多月这块的东西，主要是想要把bloom filter做成concurrent操作的，这个本身也是一个很神奇的东西。可以最后在理论上没有折腾出来什么有意思的东西来:(

10月17日-CSTCS（1）

Fri, 17 Oct 2008 14:37:35 GMT

先写三个

Title: The Algorithmic Lense: How the Computational Perspective Is Transforming Science
Speaker: Christos Papadimitriou, UCSD

很飘逸的讲了TCS和各种各样东西之间的联系，比如数学、物理、生物、统计、经济、社会科学。。。

Title: The Art of Reduction (or Depth through Breadth)
Speaker: Avi Widgerson IAS

相对前一个没有这么飘逸@@ 从NP规约讲起，主线是3-SAT hard to approximate的结果，介绍了IP, PCP,ZKIP等与各个复杂性类之间的关系，permanent, hardness amplification。Ms还说其中的想法借用了Reingold很著名的SL=L结果中的想法。基本上就是survey，给我们讲了这个方向的发展历史。

这两个talk的slides都可以在网上找到，有兴趣的自己看吧，肯定比我写的要清楚@@

Title: Steiner Trees
Speaker: Ronald Graham, UCSD（中文说得非常非常好！）

Input X: finite set of points in the plane

Minimum steiner tree of X: minimum spanning tree of set V contains X

History: 1926,1938,1951,1956,1957, ( On the history of minimum spanning tree...) 1965.Fermat, Steiner point.

Basic result: degree <=3,

Can be partitioned into subtrees which is pure steiner trees (only leaves are from X).

Euclidean Minimum Steiner Tree: NPC

Approximate: By Minimum Spanning tree. Ratio 1/2 -> 0.8, 0.8241(a root of a polynomial with degree 12...)

0.866(Du Ding Zhu)

Polynomial time approximate algorithm:

If only consider points in two parallel line, it is still NPC.

What about simplex S^3? 1995

For any finite set X in R^3, the ratio is >= 0.78419. If true, it is the best we can do.

There exists set X, no finite steiner tree can do better than it.

The rectilinear plane: also NPC, history.

Bonach-Minkowski planes, consider different metric. Large than 2/3.

Conjecture: <= \sqrt(3)/2, with equality if and only if B is ellipse.

The previous results are most discussed in math. In TCS, we consider: Graph G(V,E), weighted. Minimum Steiner Tree for vertices set X.

Do not have PTAS unless P=NP (1998) The proof involves a deep connection between NP and approximate algorithm based on PCP.

Steiner trees for random weighted graph

MST: phase transition (2008)

Open problem

Can we check the length of Steiner tree less than L: it is NP (equivalent to check a sum of square root is less than L or not.)
"small" Steiner tree. Still hard

10月17日

Fri, 17 Oct 2008 13:24:44 GMT

随便写点东西，今天没心情折腾学术-_-b

过去的一个月似乎过得特别快，CTW开一周的会，接着十一到处玩，然后折腾在brown做的那点东西，试图想要搞成一篇paper的样子，过程中发现有些困难我不记得怎么绕过去了，或者也可能当时根本就没能绕过去，是我自己想错了。。。然后就是开始开CSTCS，跟brown的老板讨论，一会儿进一会儿退的progress，什么时候才能真真正正有个没有bug能说清楚的结果？昨天陪professor及其家属们去旅游，天安门故宫北海胡同国家大剧院，蛮好玩的。乱七八糟的聊天，有时候扯点学术。我还是很喜欢聊天的时候忽然有人冒出来一句theory的专用词汇/短语的笑话，有点暖暖的感觉。

这个会来了20位教授，都是理论方向顶级大牛，这点上很倾佩老板的能力，毕竟能同时请到这么多大牛可不是容易的事情。有4位jj，应该说是4对couple。。。然后不可避免地想起alvin总说的定理，我就越发觉得fz。。。谁给我举个反例出来，我bg顿饭，路费自理哈^_^

最近的心情总是因为progress的起起落落而上上下下，总觉得这样不好，不过最后还是避免不了。。。基本上已经把在brown做的那些东西推翻光了，现在处于一切重新开始的状态中-_-b 原本老板说考虑投今年11月中的STOC或者明年初的PODC，现在我觉得任务还很遥远，结果还没搞定呢，先别忙着研究怎么写paper:(

不知道是不是很多好朋友都在找工作的缘故，我最近越来越觉得当学生的日子没多久了，然后就总是想趁着现在可以随意翘班的日子出去玩@@ 北京的秋天很漂亮，但是漂亮的秋天已经没几天了，嗯，所以要抓紧玩^_^ 研究研究周末去什么的地方玩，目前想去市里西面的一个第四纪冰川擦痕遗迹。另外下周周中想找个时间去香山~~~应该都是骑车，到时候看体力状况，有没有人想同行？

10月17日

Fri, 17 Oct 2008 12:32:52 GMT

强烈感谢yijia友情支援的PCP！！！不好意思今天才看见。。。

考虑到很多看我blog的朋友都是订阅的，所以我从回复里面转贴了一份过来:)

最近在开CSTCS（介绍请看我们组主页），内容还在整理中，希望尽快能贴上来吧^_^

很高兴brown的老板这次来了，不好的是，不停的讨论+听talk+陪同旅游+接送机导致累的要死要活的:(

不说闲话，先贴yijia写的PCP:D

我们可以从最基本的NP开始。一般NP的定义是基于nondeterministic Turing machine，但我们也可以用类似于Interactive Proof的系统来刻画：

一个语言Q是在NP内当且仅当存在一个多项式时间的算法V (i.e., verifier) 满足下面一系列条件：
1. V有两个输入x和y，并且|y|=poly(|x|)；
2. 对于任意的x，我们有
2.1 如果x \in Q，那么存在一个y使得V(x,y)=1，i.e.,V accepts (x,y);
2.2 如果x \notin Q，那么对于任意y都有V(x,y)=0，i.e.,V rejects (x,y).

在2.1中，y可以看成是x \in Q 的一个证明。对于3Sat问题，我们可以设计这样的V: x是一个3CNF公式，而y是一个对x中所有变元的赋值。Verifier V就是用来验证y是否满足x。直观上V必须读完整个y才能确认x\in Q。那么有没有可能改进这一点，让V只读y的一部分，来增加效率? 比如现有的Graph Minor Theory的证明有几百页，如果只要其中几页就能确认其正确那么就会省去Reviewer的很多时间。如果V是个确定时间的算法，这就等价于要求|y|=o(|x|)。那么如果每个NP问题都有这样的Prover，我们就可以证明NP包含Subexponential Time里。一般公认这不可能成立。

但如果我们允许V使用Randomness，问题就开始变得有趣了。这也就是Probabilistic Checkable Proof (PCP)。

要定义一个PCP系统, 我们先要给定两个函数r,q: N \to N。我们说一个随机算法V是一个(r(n),q(n))-restricted verifier, 如果V在输入(x,y)上使用O(r(|x|))位随机数，访问y的O(q(|x|))位。直观上，V扔了O(r(|x|))个骰子，然后根据结果去访问证明y的O(q(|x|))位。当然V还要是一个多项式时间算法，|y|=poly(|x|)，同时满足所谓的non-adaptive条件（写起来太罗嗦了，所以就不写了)。

我们说这样的V定义了一个语言Q当且仅当对于任意的x，我们有
(a) 如果x \in Q，那么存在一个y使得Pr[V(x,y)=1]=1;
(b) 如果x \notin Q，那么对于任意y都有Pr[V(x,y)=1]<1/2.

要注意的是并不是所有的V都定义了一个语言，因为(b)不是总能满足的。

非常壮观的PCP定理就是

Theorem 1. NP=PCP(\log n,1)

也就是说，对于每个NP语言我们都可以构造一个V，在每个(x,y)上，仅使用O(\log|x|)位随机数，访问证明y中的常数多位，就能以很高的概率正确判断是否x \in Q。

由于可以证明PCP(\log n,1)对于多项式时间规约(PTIME reductions)封闭，所以PCP定理也可以叙述为

Theorem 2. 3Sat \in PCP(\log n,1)

除了本身非常有趣和counter intuitive，PCP的一个重要应用就是近似算法的下届:

Corollary. 如果NP \ne P, 那么Max-3Sat没有PTAS，同时Max-Clique不存在constant approximation。

这个结论的证明就是通过PCP，构造所谓的Gap Instances：给定常数\delta \in (0,1)，Gap_\delta-3Sat是如下的问题

input: 一个3CNF公式x使得要么存在一个满足x的赋值，要么所有的赋值最多满足\delta-fraction的clauses。
question： x 是否可满足？

Corollary 3. 存在一个\delta，使得存在一个3Sat到Gap_\delta-3Sat的规约。

实际上我们可以证明

Theorem PCP定理成立当且仅当上面的Corollary成立。

现在PCP定理有两个证明：一个就是由Arora，Sudan等人在90初完成的基于代数的方法，直接证明Theorem 2。证明的核心某种意义上就是Error Correcting Code。另一个就是Dinur前几年完成的基于Expander的组合方法，直接证明Cororllary 3。前者的证明很长，但实际上比较初等，而后者短一些且非常漂亮。

10月10日

Fri, 10 Oct 2008 11:52:00 GMT

下周组里又有一个会，n多n多大牛们要来@@

有人已经到了，比如今天下午就有人给了一个talk，嗯，我的blog也热身一下^_^

因为note直接用英文写的，懒得翻译了，大家凑和一下-_-b

忘了应该先介绍一下speaker，主要贡献是PCP吧？ps，有没有人愿意友情支援，写一下PCP的？

Title: Local Testability and the Decodability of Sparse Linear Codes

Speaker: Madhu Sudan MIT, Joint work with Tali Kaufman

Time: October 10th. 17:00-18:00

Intuition: Need algorithm that can infer global properties from local observation

Assumption: oracle-access to input, implicit output(may be not the entire output)

Answers of the form: input close to having property.

Error Correcting Codes: distance of codes

Algorithm problems about ECC:

Encode: cannot be performed "locally"
Detect error : can -> locally testable code (LTC)
Decode: can -> locally decodable code (LDC)

Application: PCP, PIR, hardness amplification

Assumption: Allow k queries (constant)

Problems: 1. local testing: accept if r\in C; reject with constant probability if d( r,C)>epsilon

Local self-correction
Decoding

Example: Hadamard codes: test (3 query). It is a really surprising and important result.

A long history of LTC, LDC, PIR, PCP, etc…

Basic codes: algebraic

Exception: Meir '08 not algebraic

Main result: Every "sparse", "linear" codes of "large distance" is locally testable, correctible.

Linear: x.y\in C implies x+y\in C

t-Sparse: |C|\leq n^t not so many codeword

r-Large distance: d( C) > 1/2- n^{-r} distance is almost one half

Formal version: \forall r>0, t<\infty, \exists k<\infty, such that if code C is t-sparse, linear and has r-large-distance then C is k-locally testable.

For correctible.

r-Balance, 1/2-n^{-r} < distance < 1/2+n^{-r} distance is nearly one half

\forall r>0, t<\infty, \exists k<\infty, such that if C is t-sparse, linear and has r-balance distance then C is k-locally correctible.

Corollaries: Hadamard and dual-BCH (old code), random codes

Previous result: Kaufman-Litsyn. They require r>=1/2, require balanced codes, only for test not correctibility.

Similar technique.

Technique detail

Dual: can be used to test x. Pick low-weight (\leq k) y\in C^{\bot}. Also can be used to self-corrector: to correct c_i, pick low-weight y s.t. y_i=1
1. This is the basic algorithm framework.
Question:
1. Does dual have any low-weight code words: random codes have
2. Is the distribution of non-zero code words of low-weight y s.t. y_i=1 roughly uniform?
3. How to even analyze the test?
Weight distribution C_i (number of code words of weight i). So what we need is the weight distribution of C^{\bot} and C^{-i} (means delete ith bit), C^{-i,j}.
MacWilliams Identities: can compute weight distribution of dual from weight distribution of primal … exactly!
But, does not have primal distribution exactly
1. Kiwi's work: try to learn primal distribution exactly
2. Kaufman-Litsyn's work: try to mostly learn it
3. This talk: learn less information is enough
Analyze: the form of MacWilliams Identities has double summation and many negative terms. Cancellations?
Balanced: weight distribution of Primal is "narrow" around n/2 in the picture
Krawtchouk Polynomial: zeros are "narrow" around n/2
1. Ever if we consider a litter "wider" area, the polynomial may still works well. (main difference from the previous results?)
2. k>> t/r, it can work!
Correction:
1. Claim: C_{k,i}^{\bot} (#code word in Dual with k-weight and y_i=1) = C_k^{\bot} - (C^{-i})_k^{\bot}
2. C^{-i} is also sparse and balanced and we can compute the weight distribution
Unbalanced codes
1. Step1: codes of max weight <5/8 n. weak balance
2. Step2: reduce general case to weak balance case
Open problem:
Self-correct unbalanced codes
Are random sparse codes locally list-decodable?
Simpler proof for random codes?
Is this just a logarithmic saving in locality? ?
How to find a explicit low-weight dual code for some given code ?
1. Here, to prove the results is by counting.
2. Even BCH code, we do not know what the dual code looks like.
How can we prove some code is not LTC?

10月3日十三陵(2)

Sat, 04 Oct 2008 09:40:43 GMT

早上起来继续上路。一出农家院心情就很好，蓝天白云绿树青山^_^ 不像前一天在水库转悠时天色已晚，还有些阴沉，今天早上一出门就发现万里无云，视野很好。

去昭陵村找了个早点摊吃了点东西，绕过昭陵、定陵到长陵，还是好多车，好多人。。。从长陵向西北行进，途径献陵、庆陵、裕陵、茂陵。这些帝陵都不对外开放，尽管之前开放的我也没进去看-_-b 献陵形还在，而茂陵则已非常残败，只有入口处的石刻才能让人意识到这也是一座帝王的陵墓吧。最喜欢的还是骑在车上，远远的看见某某陵在枝叶之间若隐若现，背后是群山环绕，然后遥指着陵，问身边蹬三轮的老爷爷，那是什么。这远比到了跟前在一堆卖农产品的小摊以及铁门之外看一眼地面建筑要有意境的多。茂陵往前有两条路，选了一条去康陵的路，但不知何时却拐上了一条乡间小道，结果又绕回了定陵。不过这条小路不错，没车，人少，路上还偶遇了一群羊^_^

到定陵时已经是中午，本打算从康陵经泰陵然后去银山塔林，不过既然已经绕回来了，犹豫片刻后就开始往回赶。吸取前一天的经验教训，坚决不在六环以前上G110了。问过路人后走各种省道和小路，直接穿到了昌平城区，横穿过整个城区后，在白浮泉路（应该是高速百葛口吧）转上了G110。然后沿G110一路骑到西三旗桥（高速西三旗口），共经过了7个出口@@。在转走安宁庄路到上地后，又从上地骑上信息路，此后就只需要一路往北。我的自行车在厢白旗桥下终于被扎破，找了n久n久的修车摊。汗啊汗啊，要是在国道或山路上没气了该怎么办呢？嗯，回来的路上比较顺利，没再很郁闷地从大货车边上穿行^_^

10月2日十三陵（1）

Sat, 04 Oct 2008 08:37:49 GMT

我也不知道为什么有这样的冲动，不过还是去了，然后回来了。。。

独自骑车去了十三陵，普通车，没啥装备，手机钱包钥匙本本，连指南针都没带。。。

从宿舍到昭陵附近一个农家院一共花了3个半小时，发现比我想象的近很多。路线是从上地沿轻轨西侧一直向北到北清路（其实我一开始就走错了，在上地轻轨站以前就应该转上八达岭高速的！），然后向东到110国道（八达岭高速的辅路）。这段基本是市内公路，没啥可说的，骑就是了。接着沿110到昌平西关出口，其中从辛庄桥（高速北安河出口）到六环花了40分钟，除了沙河镇那一段之外这段路都很容易骑，周围风景还凑合，空气也不错。然后从六环开始痛苦地旅程就开始了。。。从科技园出口开始连绵的堵车，连续堵了3个高速出口一直到昌平西关出口。110国道是有专门的自行车道的，但是堵车的时候就自动成为了机动车道@@ 直接导致自行车只能在异常狭窄的空间里穿行，这段路唯一好的就是还有人行道，虽然高低不平，但是实在过不去的时候还可以走走人行道。从西关环岛之后继续又沿着110走了8~9公里到得胜口桥，继续严重堵车中，那段路就更加不堪回首了，因为机动车经常连人行道一块占了，我总觉得我一不小心就会翻到沟里面去。路上绝大部分车都是大型货车，每次擦着货车巨大的轮子骑过的时候都胆战心惊的。从六环开始的空气就很不好（显然，那么多车堵着！），其实风景应该还可以的，可惜想象一下在一大堆大型货车之间穿梭的过程，那是显然看不到任何风景的-_-b 110国道从得胜口桥之后开始进入山区，还好我也到目的地了，不然我目前还是不敢在根本没有自行车道的盘山路上和一堆大型货车争道:( 恩，如果不是后面一段骑的如此郁闷的话，我觉得3个小时就足够到了。

到住处沐浴更衣，我敢说能洗下一堆尘土来。。。下午从昭陵经过定陵去十三陵水库，从东侧开始绕水库一周然后回来，历时3个小时。这段路虽然并不郁闷，但其实危险系数相对大一点，因为一路大部分都是盘山路，不停地上坡下坡，很多大的转弯，而且没有专门自行车道。唯一庆幸的是多数都是轿车，有时候有些大客车就会有些麻烦，还好几乎没有大货车，不然!@#$%。这段路没有地图，基本是靠方向+问人认路的。距离上来说是不应该要花3个小时的，但是一来盘山路绕的很，车速也不敢快了；二来碰上稍微陡点的上坡基本是推上去的。。。555，我想要买辆山地车。。。水库挺好看，可惜不能坐在水库边上，环水库的路上n多n多的车，也早就没有宁静的感觉了。回来的路上太阳已快下山了（这可是我赖以辨认方向的工具啊），加上一路上看到了好几起交通事故，我突然就觉得心慌慌的。。。虽然已经开始饿了，又很累，但还是没敢多休息，决心一定要在天黑之前赶回去啊。恩，有一条来自米国的短信让我感动了很久。。。

最后还是回来了，在路上还有光亮的时候，平平安安。晚上在农家院里写我的thesis proposal，突然觉得有点点寂寞。其实一个人跑出来玩还是蛮不错的，想去什么地方都可以去，自己选择，自己负责。很久没有这样的冲动了，是不是应该好好珍惜？不知道还有多久，就不会再有这样的心境和自由了。。。

10月1日首博+鸟巢

Sat, 04 Oct 2008 08:29:50 GMT

1号骑车去了首都博物馆看传说中的中华瑰宝展，果然都是国宝级的东东啊，强烈推荐！！！骑过去只花了1个小时多一点，找到首博又花了半个多小时-_-b 不是故意拖到了十一长假才去看的，不过研究了一下发现6号闭馆，7号就是展览最后一天了。另外想了想，觉得国庆节当天去看这样的展览也蛮有意义的，so，就冲过去了。然后直接导致了n多n多人，先是排了很久的队伍买票，然后进去之后发现排队等待进入瑰宝展的更加夸张，从一楼绕一圈绕到地下一层又绕了一圈。。。

先看了地下几个别的展览，然后看着人一点没减少的意思，只好咬咬牙开始排队。排了40多分钟的队伍才轮到进去，然后进去之后发现要挤进去看任何一个展品都是很困难的事情。。。其他几个展览我喜欢古希腊那个，长江那个我觉得展厅布置的好混乱，东一块西一块的。文物精品展是我最后逛的，已经累得不行了，就没太仔细逛。好在这个是常设展览，以后也可以看。其他展区我只看了一个老北京民俗的展览，还蛮有意思的，本人对瓷器青铜不太感兴趣，恩，觉得还是玉石金银器之类的好看^_^

接近4点的时候从首博出来，去西单吃了点东西，就骑车去了鸟巢。号称十一长假期间那里的夜景灯光会完全打开，于是想跑去看看。这好像已经是我第n次（n>=3）骑车去鸟巢转悠了，我发现北京一开奥运，我就总去那里转@@ 除了水立方晚上确实很漂亮，其他夜景我蛮失望的。。。我还是觉得北京哪里的夜景都不行，很想念外滩，十一的外滩一定很繁华吧。。。唉，不过拿着上海的夜景要求别的地方，大概能让我觉得漂亮的地方也不多了吧@@

9月27-29日坝上

Sat, 04 Oct 2008 08:21:36 GMT

9月26日 CTW2008 第五天

Sat, 04 Oct 2008 08:13:22 GMT

CTW2008 第五天

Session12。第一个talk是我的，讲在brown做的那点东东，ms是我第一次正式给talk。。。第二个talk和session6最后一个talk做的同样的东西。还是PODC08的paper，主要关于communication complexity和phase complexity之间的tradeoff，还是觉得很混乱。觉得应该直接看paper.

Session13。第一个talk讲两个互不信任而且还可能malicious的人怎么样能够fairly flip coin。多轮，任何一方都可以随时abort。Match了Cleve的lower bound。现讲了有一个dealer存在的时候（unbounded computation power）怎么做，然后再说怎么simulate这个dealer(bounded computation power)。有点用了做secret sharing的意思。第二个是这次唯一一个和quantum有关的talk。Alice只有limited quantum power（只需要准备16个量子qubit中的一个），希望Bob帮他做量子计算（poly-size quantum circuit），要求keep input privacy，同时可以detect Bob with optimal probability。设计了一个类似universal gate的gadget，然后就可以慢慢搭积木了(layer by layer)。

Session14。第一个talk证明UGC在expander graph上是错误的。为什么每次都有这么多关于UGC的talk？第二个talk关于Locally Testable Code，之前这个的结果都是用PCP做的，这个结果match了之前的结果，并且方法不能用于PCP，一定程度上说明了LTC是弱于PCP的。最后一个talk是个很有意思的题目，关于计算两个图之间的同态数，这个在general意义下是undecidable（！！！），然后talk给了在什么情况下这个是可以计算的。

over了，之后的blog写写我的十一吧，今年的十一还是非常丰富多彩的^_^

9月25日 CTW2008 第四天

Sat, 04 Oct 2008 08:11:42 GMT

CTW2008 第三天

Travel，我没去。。。

CTW2008 第四天

Session8。第一个talk讲怎么做Delaunay triangulations，一个self-improving learning algorithm。假设input有一个未知的分布，然后慢慢学习，可以做到比O(n logn)好，与input分布的entropy有关。唯一不太好的是要求每个点的分布互相独立，推广到不独立（即使是两两独立）的情况的主要困难是需要exponential space来存贮相关信息（有lower bound证明）。这个talk给的很好，讲的很清楚^_^ 第二个talk是关于IP的，prover(may not honest)有poly-time能力，而verifier有linear-time运算的能力，双方有public coin. 结论： every function computable by family {C_n} of poly-size L-uniform circuits of depth d has a (public-coin) interactive proof. Unconditional的结果（这个很强啊）！我怎么总觉得MIT的人给的talk风格都很像@@

Session9。第一个talk讲test halfspace的算法，结果比learning做的好。以前的test都是用learning做的。用Fourier分析，想法是要对halfspace和非halfspace的情况找到一个gap。我看到和Fourier有关的东东就必然不懂detail了。。。第二个关于auction，唯一一个和计算经济有关的talk吧。在不要求truthful的条件下，把原有结果从1/4改进到1/2，然后设计了一种把原有allocation algo.做为black box设计truthful算法的方法。觉得结果不是很好，ms这样的mechanism应该有改进空间啊。

Session 10，这个session是mm session^_^ 第一个talk说的是有人有一些数据希望别人可以用作科研的目的，但又希望有些privacy的保证。没听懂。。。和learning有关。第二个讲multi-party computation（只考虑加法和乘法），要保证correct, privacy, robustness. 考虑byzantine failure,且计算能力无限。用的是secret sharing，即用多项式表示来做。然后对算n个随机值把通信复杂性改进到了O(n^2)。第三个talk是关于e-cash的，要保证privacy以及unforgeable。Cyptography的东东，内容很好玩。

Session11。第一个talk给了对direct product theorem（如果一个问题是hard的，那么解它的multiple instances会更难，这里指的是在circuit model下计算boolean function）的一个新的证明，从coding theory那边看的。然后证明了一个更强的version：如果一个问题在平均意义下hard，那么对超过一定比例随机选取的instances计算正确是更难的。Open: uniform version的结果如何？第二个talk考虑two prover XOR game与SDP的关系。对strong parallel repetition conjecture给出了general的反例。第三个还是SDP的，我没听。。。

9月23日 CTW2008 第二天

Sat, 04 Oct 2008 08:10:16 GMT

汗，不是故意拖了这么多天的。。。主要是因为周五是我自己的talk，然后一直忙着准备，给完talk之后我就开始到处玩了，然后就拖了这么久才放上来-_-b

今天要放的blog可能比较多。。。

CTW2008 第二天

第一个是Luca的invited talk，讲Max Cut问题的一种近似算法，第一个不直接使用SDP的算法（不过分析还是用SDP做的）。结果比最好的略差一些，数量级相当。做法是仿照second eigenvalue和edge expansion的联系建立了smallest eigenvalue和图是否接近bipartite之间的联系。

Session5是两个complexity方面的talk。第一个关于approximation resistant，即NP-hard来区分optimal是大于1-e还是小于e more than a random assignment，差不多就是任何approx.的算法都不会比直接random好多少。结果是在UGC的条件下，改进了哪些predicate是resistant的结果。第二个是关于怎么learning smallest size DNF的，在某些复杂性假设条件下。

Session6。第一个关于FPT：dominated set problem是W[2]-hard，给了在H-minor-free的图中FPT result。Open：是否存在FPT算法，n的指数（常数c）与H无关？第二个是首个mm的talk，讲怎么安排飞行航班线路的，即nondecreasing path in a weighted graph。对single source-single destination给了第一个线性算法(RAM model，comparion based model下为m loglogn)，对all pairs给了一个truly subcubic的算法。大概是同时用Dij and DFS，再加上数据结构（比如atomic heap）。第三个算是分布式的吧，同步系统、同时考虑byzantine and crash failure,非全连通图，目标是perfectly transfer information（no adversary can gain any information about the message），结论是vertex disjoint path大于blabla…关注的参数有communication complexity和protocol phase。周五还有一个talk内容跟这个差不多，我总觉得这两个talk的结果很混乱，没太明白难点和贡献到底在什么地方。。。

Session7，两个复杂性的结果。第一个是关于整数乘法的快速算法，大概做法是用了两层的FFT，有一些代数结果支持，我理解是直接用一个ring做FFT比较慢，然后套了一个small ring来做。第二个是alvin的talk，就不用多说了。呵呵，我怎么觉得有人讲了那么多次talk之后还是有点紧张呢？

9月22日 CTW2008 第一天

Mon, 22 Sep 2008 14:44:48 GMT

CTW08第一天

Session1: 两个approximation方向的talk。第一个关于degree bounded network design，即在min一些network（比如spanning tree, steiner tree）cost的同时，还要求每个点的degree不超过B（B是只考虑degree的最优解）。问题本身是NP的。主要的方法对linear programming做rounding的技巧(iterative rounding)进行了改进，然后一个Additive approximation result （B+1）还蛮有意思的。第二个totally lost掉了。问题是sparsest cuts，很经典的一个问题，ms是用了一个online learning里面XX技巧给了一个approx. algo.，和原来的结果持平。

Session2: 第一个talk是关于learning Monotone Functions，一个hardness结果（跟one-way function有关，所以是crypto意义下的），然后在平均意义下给了一个learning算法，针对poly-sized monotone DNF。第二个就是某大牛的talk，虽然我很努力地想follow，但是还是lost掉了。。。讲的是computational complexity里做下界的一个方法以及下界的结果，太难了。。。

Session3: 两个embedding方向的talk。第一个talk是提出了一个新的host space，原来L_1, L_2, L_\infinity的product space。这个space一方面rich，Ulam到它有O(1)distortion embedding（虽然我还是没明白为什么Ulam或者说edit distance很重要？）。另一方面这个space中找nearest neighbor有O(log log n)approx. ratio的算法 with reasonable running time and space。恩，也是个ssgg^_^ 第二个是用k sparsest vector来近似一个被压缩过的arbitrary vector，选择expander来做压缩，有near-linear的decoding time和不错的stretch。motivation偏应用。

Session4: 两个复杂性的结果。第一个talk是从那个素数集合含有任意长度的等差数列讲起的@_@ 结果表述不太容易，大概是想说要证明一个集合的某子集和这个集合在计算意义下不可区分（即pseudorandom吧），只要证明对这两个集合的dense subset结论成立就可以了。这个结果是原来有的，然后这个talk给了它的另一个证明，从hardcore thm那边过来。第二个talk关于Lasserre hierarchy，一个用来做approximate algo.的方法（来源于用semidefinite program做approx.）。talk给了用这个方法对很多问题（比如vertex cover）能做到的approx. ratio的lower bound。

大部分talk的result还是依靠ppt册、paper abstract才能follow的。。。至于technique detail，真的是会lost掉的。。。

恩，找找有没有可以做的题目。但是但是，好像来的人里面就没有做我这个方向的，topic都差的好远。。。

9月21日

Mon, 22 Sep 2008 07:54:41 GMT

9月20日

Sat, 20 Sep 2008 13:21:49 GMT

9月10日

Wed, 10 Sep 2008 08:36:08 GMT

9月9日

Tue, 09 Sep 2008 07:21:49 GMT

8月28日

Thu, 28 Aug 2008 15:18:33 GMT

8月17日

Sun, 17 Aug 2008 07:59:34 GMT

8月14日

Thu, 14 Aug 2008 09:58:17 GMT

8月6日

Wed, 06 Aug 2008 01:37:20 GMT

回家了

Thu, 19 Jun 2008 10:31:32 GMT

6月16日

Mon, 16 Jun 2008 13:30:09 GMT

6月11日

Wed, 11 Jun 2008 05:33:30 GMT

5月17日

Sat, 17 May 2008 13:53:11 GMT

5月13日

Tue, 13 May 2008 12:11:10 GMT

5月8日

Thu, 08 May 2008 17:30:16 GMT

一篇blog断断续续的写了一个星期，omg

刚开始写这篇的时候正是心情最烦躁的时候，因为下个星期就要回国了，题目还是如几个星期前那样悬在那里。。。
但是今天心情很好，昨天下午凝神静气算了一下午，终于有了点progress^_^

刚刚结束在brown的最后一次meeting，没几天就要回去了。。。

现在总结欧做一个research题目的过程是这样的，准确的说，是没做出来的题目

第一阶段：通过自己看paper或者讨论或者老板给得到一个题目，了解背景，看看自己是不是感兴趣、有没有sense。至于这个题目是不是容易做出来，我现在发现别说我自己看不出来，牛老板们也看不出来他的某个学生能不能做出来，觉得不同的人对同一个题目的sense真的很不好说。。。

第二阶段：具体开始做，有一些idea，每个idea经历从一小时到几个星期之后被证明不对。比如给出了一个反例，当然这是比较好的情况，有时候就是证不出来，最后这个idea也就不了了之了；虽然每每总是无用功，但是多多少少还是有点progress，有些东西可以拿来讨论讨论。时不时冒出点灵感，生活还能有点小惊喜。

第三阶段：连idea都没有了，totally没有progress，每天瞪大眼睛盯着天花板不知道应该想点啥。。。坚持一段时间之后，换题目。不能说换吧，做点别的题目，偶们不能在一棵树上吊死是不是。这个题嘛，或者某天灵感突现又翻出来想想，或者别人做出来，或者碰上谁拿来讨论讨论，再或者，就不了了之了

前两个阶段都好说，每次进入第三个阶度我就发现自己浮躁的要命。总是做不到心平气和的面对那种连续n个星期连无用的progress都没有的状态:( 可惜做得出来的题目永远都大大少于做不出来的题目，大部分时候总是面对着这样的情况。每次到最后总是免不了要想：偶干吗这么吃力不讨好的跑来做学术了呢？还做的是theory！！！

前几天去了一个"preparing for your first year as a faculty member"的panel discussion，回来给xiaoru打了半天电话讲faculty的事情。research做得越久越觉得这条路走起来艰难啊-_-b 都说选择作学术是选择了一种life style，现在觉得所谓天赋、所谓勤奋都不那么重要，重要的还是self-motivation。。。

问大家一个问题，xiaoru那天问我的：你觉得看电影看小说玩游戏逛街etc 与看paper讨论想问题，哪个更快乐一点呢？嗯，偶犹豫了半天还是不知道自己的答案。。。不过个人觉得，要是毫不犹豫觉得是前者，那就不应该做research:) 个人意见哈。。。

从纽约回来到现在也就昨天有了点progress，之前一直浮躁沮丧的不行了。。。经sunny推荐，看完了诛仙、搜神记、蛮荒记和仙楚@_@ 都是玄幻类小说，其中蛮荒记是搜神记的续集，然后仙楚讲的是这之后几千年的故事。推荐一下搜神记和蛮荒记，写的很不错啊^_^ 诛仙的尾巴太烂，之前还不错；仙楚的人物刻画不够，找不出什么丰满的角色来，不过最后交待了一下蛮荒记里蚩尤及其老婆的结果。诛仙有相对应的rpg网游，不知道啥叫rpg网游啊？有没有相对应的单机版rpg？还看到过一个搜神记的网游，虽然ms不是同一件事情。。。

4月30日

Wed, 30 Apr 2008 22:19:43 GMT

4月24日

Fri, 25 Apr 2008 02:59:11 GMT

来写点reserach相关的，不过无关题目
只是上次碰到chenxi师兄聊起来关于TCS的grant，今天有心跑去网上看了看米国的TCS funding状况

不太好找具体数据，看到FOCS 05的business meeting上说05年TCS的funding是6M刀。然后06找到了一些多一些的数据：Budget from NSF = $4.1 million, plus 2.8, a share of the money for three subprograms. 然后那一年NSF的申请情况：大约500个CS的proposal，其中90-100个是theory方面的，最后theory给了funding有18个，成功率差不多20%-_-b 不知道其他方向情况如何？

再后来看到某大牛的留言，说briefly noted that out of 0.5 billion to CS, Theory gets 6-10 million，差不多是1-2%的比例。这个我理解是不仅仅指NSF，基本上是theory一年所有的funding了。chenxi号称FOCS 07的business meeting说07年只有3、4M？不过我怎么也没找到07年数据，姑且认为有6-10M吧。再给一个数据：Take the number of faculty members at top-10 research universities in the US, and see how many of these are theoreticians. I haven't done the calculation but I have been told that the result is between 10% and 20%. (Berkeley in on the low end, at about 15%.) 当然，要说明的是如果把top 10放宽到top 30，那么这个比例会drop dramatically... 稍微差一点点的学校，几乎就见不到theory的老师了:(

那么，最后我们来算一算。按我老板的说法，他养一个phd要10万dollar一年，这个数字吓了我一跳，这比postdoc贵多了。。。不过怎么说5、6万一年总也是要的。整个TCS一年6-10 million，还有不在少数的postdoc，不知道能不能养得起100个phd？一个phd至少也要读4年吧，所以应届毕业的能有25个不？还没考虑中途转硕之类之类的，我觉得这个数字或许都高估了。。。然后总有人会想去industry的，最后打算留下来做学术会有几个。。。

其实呢，宛转这么半天我是想说，我们组现在一年招10个phd！谁告诉我，我是该喜该悲？

btw，这个TCS是指哪些我并不太清楚。不过想来像quantum这种有钱方向应该不属于，bio computing更加不用说了，不知道密码这种在不在其中？

4月18日-纽约

Fri, 18 Apr 2008 23:14:42 GMT

4月16日-Upenn & Princeton

Thu, 17 Apr 2008 01:38:48 GMT

4月14日

Tue, 15 Apr 2008 02:42:36 GMT

4月12日-CMU

Sat, 12 Apr 2008 19:16:29 GMT

4月10日

Fri, 11 Apr 2008 04:01:39 GMT

4月7日

Mon, 07 Apr 2008 20:04:37 GMT

4月4日

Sat, 05 Apr 2008 01:22:04 GMT

3月28日

Sat, 29 Mar 2008 01:50:12 GMT

3月27日

Fri, 28 Mar 2008 04:50:48 GMT

3月26日

Thu, 27 Mar 2008 02:53:22 GMT

3月25日

Tue, 25 Mar 2008 21:52:33 GMT

3月17日

Tue, 18 Mar 2008 04:13:22 GMT

3月14日

Fri, 14 Mar 2008 14:16:53 GMT

3月12日

Wed, 12 Mar 2008 15:37:41 GMT

zz一篇文章，虽然我离找工作还早
ps, It is becoming more common in our field to take a second or third postdoc and is no longer frowned upon when you reapply for permanent jobs. 汗颜。。。

http://weblog.fortnow.com/2008/03/long-slog.html
The Long Slog

Posted by Lance Mid-March is the time of year we begin to hear concern from students and postdocs on the job market. The CS job market is a lengthy affair running from January to June and beyond. But still if one has had few or no interviews scheduled yet, one cannot help but worry whether the situation will improve.

Some Advice:

Don't Panic. Universities start with their very top candidates, often the very same people for each school. It is only after these candidates start deciding that schools will start bringing in other applicants. Also many CS departments first try to hire in applied areas and failing that will only then start to consider theory candidates. So sit tight, there is still a long way to go in this market.
Expand your opportunities. Consider some schools you may not have thought of before. There are many possibilities overseas as well, especially for postdocs. The Internet is the great equalizer, allowing one to do strong research from just about anywhere.
Consider another postdoc. It is becoming more common in our field to take a second or third postdoc and is no longer frowned upon when you reapply for permanent jobs.
Keep busy. Keep your mind off the job hunt. Do some more research. Work hard on your thesis or journal versions of your papers. Take a vacation. Don't just sit at your computer checking your email every 15 seconds.
Make some money. The hard truth is that there are not enough good academic jobs for all of the qualified applicants. But CS PhD's don't drive cabs. So join an Internet company or a hedge fund and go have a happy well-funded life.

3月10日

Tue, 11 Mar 2008 00:22:27 GMT

3月5日

Wed, 05 Mar 2008 16:37:24 GMT

2月27日

Wed, 27 Feb 2008 19:52:24 GMT

天天天蓝: Blog

deadline

11月6日

CSTCS(4)

CSTCS(3)

CSTCS(2)

10月17日-CSTCS（1）

10月17日

10月17日

10月10日

10月3日 十三陵(2)

10月2日 十三陵（1）

10月1日 首博+鸟巢

9月27-29日 坝上

9月26日 CTW2008 第五天

9月25日 CTW2008 第四天

9月23日 CTW2008 第二天

9月22日 CTW2008 第一天

9月21日

9月20日

9月10日

9月9日

8月28日

8月17日

8月14日

8月6日

回家了

6月16日

6月11日

5月17日

5月13日

5月8日

4月30日

4月24日

4月18日-纽约

4月16日-Upenn & Princeton

4月14日

4月12日-CMU

4月10日

4月7日

4月4日

3月28日

3月27日

3月26日

3月25日

3月17日

3月14日

3月12日

3月10日

3月5日

2月27日

10月3日十三陵(2)

10月2日十三陵（1）

10月1日首博+鸟巢

9月27-29日坝上