John Sickels在個人網站上預言，王建民今年將再拿一勝，以17勝7敗防禦率3.77結束球季，接著John Sickels也預言阿民明年勝場降低，不過三振數將首度破百，而阿民20勝的夢想要等到2010年，而且那一年也是取得自由球員資格前最後一個球季。
John Sickels也預言，建仔2014年離開洋基王建民職棒生涯的巔峰不過到了2013年就會開始走下坡，繳出5勝12敗的成績，在2014年離開洋基隊，2015投效老虎隊，最後將在2017年結束大聯盟的選手生涯，王建民一共+會在大聯盟出賽13個球季，拿下126勝94敗防禦率4.10的成績。
…以上資料摘錄自奇摩新聞…不曉得準不準，先將它copy下來，
以後自有分曉。
這幾天暑假結束，
圖書館的自習座位在星期一到星期五，又多了起來。
我注意到圖書館有很好的一點，
就是中文圖書，每個月好像都會更新。
不過我用網路查了一下"新進館西文圖書"，得不到任何一筆結果。
而查"新進館視聽資料"，也是得不到任何一筆結果。
也就是說西文圖書和視聽資料不是每個月都更新的，
這讓我有點小小的失望。
4號公園的這個圖書館，西文圖書區，是不開放外借的，
我想西文圖書除了比較貴以外，有啥麼理由是不外借的呢？
難道是因為智慧財產法？…不懂啊…
本圖書館的2f資訊區，
有一點，我一直覺得滿奇怪的，
就是有些電腦有灌無蝦米輸入法，有些電腦沒灌無蝦米輸入法，
而本人偏愛打無蝦米，所以感到有點困擾。
我知道無蝦米是有版權的軟体，
但還是希望哪天能把全部2F裡的電腦都灌無蝦米，
我會覺得方便許多。
最近在想一個問題，
令問題X為，求取求解任一考卷上decidable的是非題的程序，
X 是否在polynomial time能reduce to SAT(satifiability) problem？
我假設，考卷上的是非題目其中一題，是有限個字的，為n個字。
且所用的字，可以在一本符號大全的書上找到，
而這本書有X'個符號，(包含空字元符號)，這我們把題目上的每一個字用logX'取上高斯的bit數來表示，
令bit數為K。則我們可以設計一SAT Algorithm把題目每一個字都輸入下去，看是否satisfy。
總共是輸入nk個bit看是否satisfy，若是satisfy 則 輸出為圈，否則輸出為叉.
所以求解任一考卷上的(decidable)是非題的問題應該是能在polynomial time reduce to SAT problem的!
再想想，若不是是非題的情況，
則假設答案是有限個字所能表示的情況，令最多可用i個字表示，
因為所選的符號書包含空字元符號，所以答案實際上為j個字<=i,
而答案是什麼，可想成答案中每一個字元的第y個bit是否為1 ，(y有i*k個)，
若satisfy則為1。所以要run SAT i*k次。
PS. any NP problem reduce to SAT is trivial, but SAT reduce to NP problem X, X is called NP-Complete.
這一、兩天花了一些時間在研究啥是NP,NP-Complete,NP hard,
首先介紹P,是找得到polynomial time可解決的problem,
而NP problem 就是Non-determistic polynomial time problem,
也就是找得到nd-choice在polynomial time可解決的problem.
至於NP hard:有一problem X,而所有的NP problem在polynomial time可reduce to X,
稱problem X為NP hard.
在這邊reduce指的是: A is reducible to problem B, 表示解了B就可以解決A問題,所以計算A問題,
不比計算B問題複雜(A cannot be harder than solving B)
NP-Complete:若是一個problem 屬於NP,也屬於NP hard,則此problem 是NP-COmplete.
而且若是一個NP-Complete problem存在一polynomial time的解法，
則所有NP problem都有 polynomial time的解法。
