theoryCS Q&A site

Ref.: The Geomblog: cstheory Q&A site now open to the public !

Theoretical Computer Science - Stack Exchange 是一個以理論計算機科學為主軸的討論網站, 有點像是數學的 Math Overflow、和資訊工程的 Stack Overflow.

這個網站是由 Suresh 推動的, 目前已經進入公開測試狀態. 有興趣的人可以去玩一玩.

TCS 新聞幾則

Ref.: International Congress of Mathematicians 2010, Hyderabad » Prize Winners 2010

ICM 2010 剛宣布了今年度的 Fields Medalists 和 Rolf Nevanlinna Prize 的贏家. Rolf Nevanlinna Prize 今年是頒給了 Daniel Spielman

Daniel Spielman of Yale University, USA, has been chosen for the 2010 Rolf Nevanlinna Prize for smoothed analysis of Linear Programming, algorithms for graph-based codes and applications of graph theory to Numerical Computing.

Daniel Spielman 和 Teng Shang-Hua 共同發明了 smoothed analysis 的概念. 是很厲害沒錯啦, 不過我個人不是很喜歡這個概念. 我第一次聽到這個概念是強者我同學在實驗室的報告. (他跑到 Dartmouth 唸博班, 進入國際標準, 如果我這個待在國內的騙吃騙喝的弱者還輕率地稱他強者, 那就辱沒他了, 希望有一天他能嶄露頭角成為國際級的強者)

不過前一陣子最熱門的理論計算機科學相關新聞應該是HP 研究員 Vinay Deolalikar 號稱解決了 NP!=P 的猜想. 連 BBC News 都報導了這個消息. 不過經過兩個星期的公開討論後, 這個證明已經被駁回了.

這中間當然也牽扯到很多問題, 其中一個問題就是, 花這麼多時間去審查這種論文值不值得!?

這類已解決重大難題的宣言其實並不少見, 費馬最後定理, 哥德巴赫猜想, 還有 P vs. NP 猜想, 都是常常被提到的問題. 主要的原因可能是這些問題的描述都比較簡單, 基本上業餘的數學愛好者就可以看懂這些問題. 所以常常會有些非專業的人號稱解決的這個問題. 這次之所以會受到注目, 原因之一就是因為這是由專家學者提出 Vinay Deolalikar.

不過當然並不是所有的人都這麼看好, Lance Fortnow 似乎是興趣缺缺. 尤其 Russel Impagliazzo 更明白指出這是浪費時間. 當然 Timothy Gowers 和 Terence Tao 可能不這麼認為, 畢竟他們一起推動了 Polymath projects. 對他們來說, 知識分享方式也是一種研究方法的實驗. 對他們來說, 這種互動方式, 能對我們的研究有什麼樣的幫助是更加重要. 就像 Terence Tao 所說的

I think there are several levels to the basic question “Is the proof correct?”:

1. Does Deolalikar’s proof, after only minor changes, give a proof that P {\neq} NP?
2. Does Deolalikar’s proof, after major changes, give a proof that P {\neq} NP?
3. Does the general proof strategy of Deolalikar (exploiting independence properties in random {k}-SAT or similar structures) have any hope at all of establishing non-trivial complexity separation results?

實際上 Polymath1Wiki 有一個條目就是用來討論 Deolalikar 的 P vs NP 論文.

Ref.: MIT News: 3 questions: P vs. NP
Ref.: BLOG@CACM: A Tale of A Serious Attempt At P≠NP, Richard J. Lipton
Ref.: P vs. NP，我们从过去的一周中学到了什么？ - Apple4.us

打不倒的勇者

Ref.: 【打不倒的勇者 INVICTUS】｜彌勒熊 FUN 電影｜電影部落格｜中時部落格｜中時電子報

Ref.: 詩與人生-打不倒的勇者〈Invictus〉｜看不完的城市｜電影部落格｜中時部落格｜中時電子報

看完這部電影之後, 我還蠻感動的, 老實說我不覺得這部電影拍得特別好, 或許是跟史實有關, 所以有諸多限制吧. 很多地方我都覺得太溫和了, 缺乏衝擊的力道. 況且故事的範圍侷限在一個小故事上, 難免有神化曼德拉之處. 但是我想還是一部值得一看的電影.

看完這部電影, 實在不得不感嘆, 曼德拉真是城府極深之人.可幸的是他把這份城府用在建設家國之上.

Ref.: Invictus From Wikipedia, the free encyclopedia

Out of the night that covers me,
Black as the pit from pole to pole,
I thank whatever gods may be
For my unconquerable soul.

In the fell clutch of circumstance
I have not winced nor cried aloud.
Under the bludgeonings of chance
My head is bloody, but unbowed.

Beyond this place of wrath and tears
Looms but the Horror of the shade,
And yet the menace of the years
Finds and shall find me unafraid

It matters not how strait the gate,
How charged with punishments the scroll,
I am the master of my fate:
I am the captain of my soul.

謎樣的雙眼 The Secret in their Eyes --- 愛情還是正義?

Ref.: The Secret in Their Eyes From Wikipedia, the free encyclopedia

昨天看完了奧斯卡最佳外語片 <謎樣的雙眼>. 我個人覺得拍得很不錯, 雖然網路上很多人提到這部電影一個長達五分鐘的一鏡到底鏡頭, 但是老實說我沒注意到這個部分.

雖然很多人都說這部片在追尋司法無力迄及的正義, 但前面花了那麼多力氣去追求正義, 要將兇手繩之於法, 最後卻任由受害者家屬動用私刑, 而且男女主角也搞起婚外情, 這實在非常詭異. 欺騙自己的配偶是可以被接受的嗎? 正義跑到哪裡去了? 當然, 從比較感性的角度來說, 男女主角因為身分地位的差距等等理由, 將內心的感情壓抑了數十年, 在真相終於大白之後, 看透世情決定在一起, 也可說是個美談. 不過要說這部電影是要追求正義, 我倒不以為然.

我認為 謎樣的雙眼 根本就是一部愛情電影. 男主角之所以對這個案件這麼投入, 與其說是對正義或真相的執著, 不如說是被受害者丈夫的那份愛給感動, 他契而不捨的找出兇手, 除了是為了撫慰受害者家屬的傷痛, 也是為了對他們的愛情致敬, 更進一步的說, 是為了給自己勇氣, 男主角對女主角的愛意, 深刻但缺乏勇氣, 自己只是高中畢業的法院書記, 女主角卻是康乃爾畢業的法官. 由於他沒有勇氣超越社會的藩籬, 他更想幫助受害者家屬, 想為世間的真愛盡一份力, 促使他不茲不倦地想要找出兇手.

至於正義之類的, 只是附帶的而已.

Ref.: 不負責任推薦區: [電影] 謎樣的雙眼～司法給不起的正義

如果你喜歡保持你的性格，那麼，你就無權拒絕你的際遇

Ref.: Jserv's blog: 爸，我想寫軟體程式

記得 Romain Rolland 說過：「一個人的性格決定他的際遇。如果你喜歡保持你的性格，那麼，你就無權拒絕你的際遇」

我在 Wikiquote 上沒看到句話. 不過我還蠻喜歡 Romain Rolland 的句子. 不過我應該只有看過他寫的傳記, 沒看過他的文學作品. 所以下面是我從 Wikiquote 上找出來的.

Ref.: Romain Rolland - Wikiquote

Skepticism, riddling the faith of yesterday, prepared the way for the faith of tomorrow.

* As quoted in The Great Quotations (1960) by George Seldes, p. 864

Every man who is truly a man must learn to be alone in the midst of all others, and if need be against all others.

* As quoted in A Book of French Quotations‎ (1963) by Norbert Guterman, p. 365

One makes mistakes; that is life. But it is never a mistake to have loved.
* As quoted in On Relationships: A Book for Teenagers (1999) by Kimberly Kirberger

No one ever reads a book. He reads himself through books, either to discover or to control himself. And the most objective books are the most deceptive. The greatest book is not the one whose message engraves itself on the brain, as a telegraphic message engraves itself on the ticker-tape, but the one whose vital impact opens up other viewpoints, and from writer to reader spreads the fire that is fed by the various essences, until it becomes a vast conflagration leaping from forest to forest.
* Ch. 2 : The Three Revelations

購物

今天去 shopping mall 買東西（鞋子, 短褲, 簡易廚具），下午一點三十五分出門，等車20分鐘，車程＋路程約40 分鐘，回程同樣程序重複一遍，到宿舍時間是下午四點. 我果然不適合逛街XD

等等走路去公園運動一下 :)

開出租車的前首席研究員

Ref.: 開出租車的前首席研究員

蔡明傑（Mingjie Cai），中科院的碩士，斯坦福大學的博士，在新加坡科技研究局（A*STAR）的分子與細胞生物學研究所(Institute of Molecular and Cell Biology，IMCB）擔任了 16 年的首席研究員，2008 年突然遭到解聘。解聘的原因，他在 blog 講是「uniquely Singapore」新加坡特有的，但沒有明確說怎麼回事。

失業後，他積極尋找新的工作，多處投遞簡歷，但是沒能找到合適的工作。他科研經歷豐富，學術成果也不少，為何會找不到工作呢。我唯一能想到的求職劣勢，是他失業時的年齡，55 歲，對大多數大學研究所來說，他有點老了。另外，他也趕上了經濟危機。2008 年年末，他決定去開出租車，按他的話來講，是當時新加坡唯一還在招聘的行當。考了出租車執照後，2009 年 2、3 月份，他就上路了

我之前就聽過這個故事, 不過沒有特別記下來. 剛好今天又看到有人提起, 把另一個知名的故事查出來.

Ref.: 冷暖自知_謳歌_新浪博客

六年前，精通科學史的饒毅列出《21項值得獲諾貝爾生理學或醫學獎的工作及科學家》，到現在為止名單上21項已有9項獲獎，其中就有今年這三位。在他列出的第八項中，與錢永健並列的還有一位名叫Douglas Prasher的人。錢永健發明了鈣染料，Douglas Prasher發現了綠色螢光蛋白GFP，在2002年時，他在美國農業部麻州Otis植物保護中心工作。

而現在，這位曾經點亮了細胞內部結構的Douglas Prasher，正一身藍領打扮，為阿拉巴馬州的一家豐田汽車經銷商開一輛接客的小中巴。

歷史上當然有很多被埋沒的天才的故事. 但這兩個故事並不屬於那一類, 而是懇懇切切努力做研究的一般科學家的故事, 他們也有很不錯的研究成果, 但是或許因為機運等因素, 還是非常落魄. 雖然 2008 年諾貝爾化學獎頒給螢光基因相關研究, Douglas Prasher 卻不在其中, 並且在 wikipedia 和網路上我都查不到他後來的際遇. 在 Pubmed 上, 他最新的論文也只到 1997 年而已. 真是讓人不勝唏噓阿.