天天天蓝: study

9月19日

Wed, 19 Sep 2007 13:21:27 GMT

CTW(day 3)
Invited talk:
Uri(Tel Aviv)：关于parity games，是simple stochastic games的一个sub class，主要的困难是由于要考虑infinite run。之前有一个sub-exp的随机算法，然后Uri给了一个sub-exp的确定性算法。主要的open problems是这个game是不是在P里面的，有点令人诧异的是关于这个game没有hardness方面的结果，比如PPAD-C。非常清晰的present，听着很舒服^_^

Session 8：都是关于game的近似算法
Constantinos(Berkeley)：PTAS for anonymous games，考虑的是n个players，不过似乎是只针对pure纳十均衡的
Shahar(Hebrew)：auction problem for n bidders and m indentical items，设计了truthful 2-approximation mechanism for general bidders。这个证明看上去挺容易的。同时证明了对于maximal in range algorithms，要求truthful的话ratio下界就是2。整个这些VCG的framework似乎在这个方向很有名，不懂。。。
Yury(Princeton)：unique games，著名的Khot's Unique Games Conjecture（UGC，其实我也是今天才知道），很多hardness result都依赖于UGC的成立，比如MAX CUT、Vertex Cover。给了三个不同结果的近似算法，看上去结果不错，nearly optimal，技巧也用了不少non-trivial的东东，so依然不懂…… 补充一句，此人的声音真好听^_^

Session 9：都是跟Semidefinite Programming relaxations(SDP relaxations)有关的结果。SDP是一个类似LP的东东。
只听了一点，然后溜回去睡觉了-_-b

9月18日

Tue, 18 Sep 2007 12:58:43 GMT

CTW(day 2)
Invited talk:
Alexander(Princeton)：proof complexity，一个看上去挺有希望解决P vs NP的方向。20年之前，circuit 被认为是一个很有希望的方向，很多大牛做了相当多重要的结果，1987年左右这个方向陷入了完全的停滞状态，近几年鲜有这方面的结果，尤其缺乏突破性的结果。这个talk大概是想引入proof system的东东，重新构建了一套framework，试图能够有所突破。定义了一个S^1_2的proof system，其能力相当于P。有一个挺有意思的例子：Ferma's Little Theorem is not provable in S^1_2 unless FACTORING is easy. 然后讲了一些weak and strong proof system，讲这些proof system证明鸽笼原理的复杂性。总的来说，只能在相当high level上面follow他的思想，具体的细节啥也不懂，私下总结说，这种P vs NP的东东还是要等功成名就之后慢慢做@_@

Session 5:
Dana(Weizmann)：Low Degree Testing problem: verify f is close to a polynomial of total degree <=d. 给了一个sub-constant error and almost-linear size的PCP证明。似乎是本次CTW唯一一个和PCP紧密相关的talk。用到了Fourier analysis，前面也有talk用过，不了解具体是啥……
Alexandr(MIT)：talk是Mihai给的，关于edit distance embed into (l_2)^2 = \Omega(log d/log log )d。方法是证明了edit distance在cc的two-way model下的下界，然后直接imply了embedding中的结果。细节完全不知道，Mihai也没怎么讲，不过我真是惊叹于Mihai对这个方向的熟悉程度-_-b 这个题目曾经也看过一段时间，近两年Ulam有几个不错的结果。
Amir(Weizmann)：Arithmetic Circuit lower bound!!! 现在还能有circuit的lower bound，也真是不容易啊。可惜限制条件挺强的，只针对Syntactically Multilinear的情况。

Session 6：基本都是quantum相关的，听不懂。。。
Gus(Waterloo)：对于strategies in classical and quantum games的一个framework，有一个很general的result，比如quantum min-max theorem。还定义了一个Refereed Games problem的model/复杂性类，证明QRG = RG = EXP，不清楚重要性，只是觉得EXP也忒大了些。。。
Robert(Cambridge)：Alice和Bob拥有一个partially secret key X，Eve拥有prior information of X C，然后Alice和Bob要设计一个protocol通过传递public communication Y来产生一个安全的密钥Z = E(X,Y)，当然要求Eve能得到的partial information比原来更少。用了extractor来做到，细节totally不懂……
Stephanie(CWI)：做的是多次测量时关于Entropy的不确定性关系，用了一个叫做Clifford algebra的工具，细节同样不懂……

Session 7：全是Extractor的结果，都是关于给定一个不是很好的随机源，如何能够产生接近uniform的随机源。和pseudorandomness的区别在于：extractor是要求得到的随机源在信息论意义下接近uniform，而且是把一个长的不好的随机源变成一个略短的好的随机源，而pseudorandomness是要求得到的随机源在可计算性意义下和uniform不可区分，并且通常是把一个短的好的随机源变成长的不坏的随机源。另一大类Extractor的结果是对于input的随机源只要求是k-source的，没有更多的假设，但可以有少量uniform random seed。这一大类已经有almost optimal的结果。P.S.这个方向还比较感兴趣，十一之后考虑看看^_^
Zeev(Weizmann)：Source is a low-degree mapping
Ariel(Weizmann)：Source is (n,k)-affine sources
Anup(Texas)：Source is low-weight affine sources。两天以来唯一一个在technique上稍微听懂一点的报告，不容易啊……

9月17日

Mon, 17 Sep 2007 16:00:29 GMT

CTW(day 1)

时间问题，写的有点简略，欢迎补充^_^
Session 1:
Maria(CMU): clustering, machine learning, 不懂，大概是说在XX条件下满足XX的kernel能够达到如何如何的cluestering
Paul(MIT): how many samples we need to know whether (1) one distribution is uniform or far away from the other distribution(or some fixed distribution) or (2) one distribution is close to or far away from the other distribution. 一大堆tight result，看上去很不错的结果啊。他也show了一点technique的东西，觉得也有点意思:) p.s.此人就是那个Valiant的儿子。。。

Session 2: 全都是CC(communication complexity)方向的结果，好亲切啊^_^
Mihai(MIT)：就是那个大牛。。。个人打扮以及ppt以及讲talk都很cool@_@ 做的也是下界，不过换了一个比较强的model（reject model），so这个下界应该好证一些吧。讲了三个case study，都没怎么听明白与问题的关系。。。我倒是记住了第一页slides上的话：Lesson from Hollywood about job talks: Sex and violence are the key to successful presentations. :)
Nick(MIT)：依然下界，about Matroid Intersection Results，还和群表示扯上了关系，使得我立马景仰无比，sigh，我还是很fan数学的-_-b talk最后有一个conjecture让我很感兴趣：问Is the communication complexity of InSameCylce \Omega(n log n). The importance is that if this is true, then N_0(f) and N_1(f) < R(f) < D(f). 恩，哪天有空要瞅一眼paper。
Adi(Hebrew)：用一个叫Factorization Norms来做cc的下界，主要是randomized model and quantum model。没怎么听，前一大半都在讲well-known的定义和结果，外加口音问题听不太明白

Session 3:
alvin：听过n次，没啥可说的。不过alvin给talk能力真是突飞猛进啊，不愧是给过一大堆conference or seminar talk的人啊……赞^_^
Loizos(Harvard)：想不到还有Harvard的人来，我一直觉得那儿没有做这个方向的人。。。不过确实没听懂，讲一个evolution相关的东东，居然还听到了mutation, genotype之类的词。是Valiant 06年搞出来的一套东西。
Mingji(CAS)：holograph方向，具体没听

Session 4：
Weiping(CAS)：wireless sensor network里面的一个近似算法，感觉结果和证明有点trivial，没啥让人觉得exciting的东西。。。
Alexa(Cornell)：讲incremental algorithm以及和online algorithm之间的关系，报告做的是相当有激情。没有讲任何证明，不知道本身technique上面有没有什么有趣的东西，不过结果还蛮有意思，起码不少都是tight的结果。
Mingyu(港中文)：minimum k-way cut problem的某一个算法tight approximation ratio，讲的那个叫抑扬顿挫啊。和Andy合作的结果，据说其中一个推算Andy闭关若干天，耗费一厚叠草稿纸搞定@_@

7月24日

Tue, 24 Jul 2007 02:35:56 GMT

今天写一小点学术的东西
题目：
给定n个正方形（或者推广成为长方形也可）的边长，把他们彼此不重叠的摆放在一个二维平面上，求一种摆放方式，使得摆完之后的外围周长最短且内部没有空隙。比如一种可能的摆放方式是把他们沿着x轴依次摆放起来。

xiaoming给了一个对长方形情形的NP完全证明，从subset-sum规约。个人觉得对于正方形的情况应该也是npc的，可惜同样的技巧肯定用不了。
然后对正方形的case，我在考虑一个贪心的算法，希望证明有常数近似比。算法是先按照正方形的边长从大到小排列，每次加入一个正方形的时候都选择使周长增加最少的位置加。如果有多个这样的位置，尽量选择使得宽增加的位置，即使得不增加周长情况下可以再容纳的面积最大（这个规则可以去掉，我觉得有可能也能证明常数近似比）。这个算法不是最优的，反例如下：6个正方形，9，6，4，3，3，3。最优解：54（15×12），贪心解：56（16×12）。个人觉得贪心的算法通常都能有个还不错的近似比，不过目前既没有给出反例，也没有给出证明。。。

这个题目没什么很强的背景，也不知道是不是之前有人做过。纯粹某天听一个做生物的人说他做的东东的时候想到的，不过觉得描述简单，也比较有趣，可以练习一下怎么证明近似比。唉，真的给了一个题目，才发现自己一点都不会。。。

计原实验调试总结

Fri, 25 Nov 2005 06:37:46 GMT

在昏天黑地几天之后，总算搞定了，还掉实验箱的一刻长长的舒了一口气，终于结束了。不过好歹还是学到了不少东西，总结一下，或许对日后有用。按时间顺序，至少看上去可以有条理一点：）

11.15 下午3点多到次日凌晨2点，调试微程序基本部分。去实验室的时候已经把所有需要事先准备的rom都弄好了，并调通了仿真。过去研究一下怎么烧片，烧完测试发现跑不起监控，检查很久不知道为什么。烧了一些小程序到rom，单步调试一些比较容易出错误的跳转、调用、输入输出指令，都通过了，但屏幕就是没有输出。停的位置在监测8251状态字那里，也是应该停留的位置。三个人加上KB看了很久不知何故，怀疑输入输出有问题。后来把我们自己的rom放到别人实验箱上面一下跑出了监控。。。三人ft了很久，依然不知何故。听从劝告重新烧了gal4,gal6,gal8，依然没有起色。焦点集中在串口那里，几乎把和输入输出相关的芯片都换过了，仍然不见效。放弃，准备第二天找老师处理。

11.16 下午1点半到次日凌晨5点，调试微程序基本部分。招来老师也不知道为什么，最后换了一根数据线，一切搞定！Sigh，其实前一天就怀疑过数据线有问题，可惜实验室里面没有可以更换的数据线。不过搞定之后总还是大喜，然后调扩展指令，发现不对。用单步+万用表折腾了半天，最后怀疑焦点集中在scc gal上面，研究了一下网络学堂给出的scc gal，发现确实有问题。改好，调试通过。这时发现9#昨天已经贴出帖子，说了gal不正确的问题，由此得出第一个经验教训：做实验一定要时时刻刻关注一切信息来源。然后烧了KB写的miniwalk程序，用来测试所有基本指令是否正确，发现跑不出来（插一句，事后发现我们真是没事找事，监控都跑起来还折腾什么，白白费了10个小时）。直接作为监控跑不起来，用标准监控调入程序也跑不起来，不过两者停在不同的地方，后者停在了应该停的位置，但是不知何故没有输出，前者是彻底跑飞掉了。调试前者发现某一个跳转指令跳转到地址不对。拿着逻辑笔测试了半天，发现执行该条指令时数据总线上给出的数据确实不正确。首先怀疑是rom烧的过程出现错误，折腾半天，排除了这个可能；然后，又测了半天，偶然发现某一个地址信号给出的电压居然不足。灯亮，但管脚的实际电压只有2.7伏左右，归为低电位，一看，发现数据总线确实是按该位为低给出了rom里面的数据。三个人和KB都很奇怪为什么会有这样的情况出现，无论高低电位都不应该出现这样的状况。不得已把板子翻过来，对着密密麻麻的布线研究都有哪些管脚和该管脚相连，并试图发现怎么会导致这样的问题。不过最后无功而返。

11.17 下午4点到12点，微程序基本部分调试结束，并行调试组合逻辑基本部分和硬件乘法。首先还是找老师解决昨天的问题，几个老师看了看都不知道为什么，最后还是找来了王老师。果然是高手，指导怎么调试句句点中要害，很快就找到问题，是负载端过重导致，由于直接连的负载只有rom和ram，所以可能是用来烧监控的片子坏了导致。那次调试让人觉得很赏心悦目，看高手过招，着实能学到不少东西。其实硬件的调试和软件类似，试图发现是输入还是负载出问题，关键是面对密密麻麻的布线和芯片，要冷静分析哪儿输入、哪儿输出。监控跑不了miniwalk最后发现是因为初始化了两次串口导致。至此，微程序的调试全部结束。很无奈的发现，虽然我们写的rom从一开始就是正确的，但居然调了将近30个小时！！！

然后开始调试组合逻辑，先碰到的问题是不知道怎么绑定管脚，问遍实验室里的人都没有人知道，不得已只好远程求助，但只学会了一个具麻烦无比的方法。好在KB还是及时从天而降，想了半天之后总算找到了应该怎么绑定管脚。后来我们组陆陆续续教过很多人怎么绑管脚，很奇怪这样基本的东西是不是应该在实验指导里面说一下，为这样的事情浪费n个小时实在是不太值得。烧mach和timing gal，try，直接跑起来监控，刚兴奋了一下，发现A和U出了问题，也是调了半天不知道为什么。同时开始研究硬件乘法的扩展，修改原有的rom，没有通过仿真，因为仿真软件看不到Q，调试很麻烦，同时怀疑是因为仿真对这样的扩展支持不够，决定直接在硬件上面开始调试。不过那天烧片子队伍实在太长，最后没有烧来尝试。

11.22 晚上7点到次日凌晨2点，调试组合逻辑&硬件乘法。换了一个人的组合逻辑，尝试一下，通过测试，大家都已经懒得在管，于是直接开始做扩展。先花了一点时间研究了直接写rom的方法，发现果然是好方法！以后烧一些小的监控程序都改为直接在实验箱上面写，省时省力，不用排长长的队伍等待烧片，再后来调试硬件乘法的过程中省去了我们很多的时间。硬件乘法也是无论如何跑不对，不仅如此，监控再跑了几分钟之后就会出现不稳定的情况，出现各种乱码。首先仔细想了微指令之间的跳转关系，从逻辑排除了由于加入7条微指令导致跑飞了可能。然后怀疑是烧的片子有损坏现象，拿下来测试了一下，用组合逻辑对这些rom进行读写，发现每个片子都正常可读可写。于是又一次觉得很莫名，拿了原先好的rom二分测试了这些新的rom，最后将焦点集中在了一片rom上面，换了一个重新烧，跑对了监控，不过硬件乘法的结果还是不正确。由于Q寄存器在运算器内部，外面看不到他的值，给调试带来了很多困难。有方法是要加几条微指令用来察看Q的值，但由于硬件乘法用运算器自身功能实现for循环，加入微指令需要全部改写指令循环结构，颇为复杂。当时坚信指令控制信号本身应该没有问题，也不认为是运算器的问题，没有采用这个方法（还好没有，这也是个挺浩大的工程）。最后发现是gal4的问题，老师给出的gal4又是错的。然后很奇怪为什么监控能够跑对了，当时认为有几条指令在gal4的问题下不可能跑正确。烧了正确的gal4，硬件乘法调试通过。准备第二天和老师反映一下。

11.23 下午1点半到5点（终于结束了），检查&陪老师聊天：）先是检查，最后助教听我们讲了讲，都没有让我们演示，也没有提问。多多少少觉得调的这么辛苦居然都没有人看！和老师说了我们的发现，并认为监控可能有些问题。回去重新烧了错误的gal4，并且写了一个小监控调试认为有问题的几条指令，结果很诧异的发现没有问题。仔细研究了一下，发现虽然写的是PUSH SR，但实际指令的实现是用的DR，这也导致这几条指令和gal4的错误无关。所有调试结束，赶紧还掉实验箱啊！

几点remark：
1、调试整个过程的控制信号都没有出过问题，每次都是有片子坏了或者gal有问题……
2、硬件调试一定要对任何部件都持怀疑态度，分析的时候要保持头脑冷静，想清楚可能的逻辑因果关系，盲目的单步实在是很浪费时间。
3、至今不知道怎么检测片子的好坏，调试这个实在是很浪费时间。
4、老师给的东西最好自己看一看对不对，其实做什么都是这样，最好还是自己能看一看，想一想，毕竟只是以前的学生自己写的，有错误也很正常。到调试的时候再发现，往往要花更多时间。