博士到底有沒有用 拿tcs 來看看

博士是不是0？

我證明經驗告訴我 通常要證明一個東西不是0

如果已經知道他大於等於0 那會比較簡單 可以看他等於0 然後反證

但如果正負未知 就難度比較高

因為正負相消

如果計算機複雜度 來說明 電腦如果要 嚴格計算 positive sum 是sharp p hard 很難 但如果只要relative error 只要bpp to the np oracle

這個是 stockmayer theorem of approximate counting 

https://en.m.wikipedia.org/wiki/%E2%99%AFP

但如果說 今天是正負的東西加起來 嚴格計算是Gap hard

而且Relative error remains gap hard 估計也是一樣難

要證明他是0就變得非常困難 甚至近似也是很困難

https://en.m.wikipedia.org/wiki/GapP

所以說 如果你認為博士是大於等於0 或大於等於碩 那大概有機會估計他的強度 有可能證明他大於0

但因為你回台灣 所以博士正負未知 可能輸2線 輸89

所以可能是負的 導致根本無法估計博士強度 所以台灣整天吵博士有沒有用 至今無解 因為不是保證變好 

他企圖證明博士不等於0

我：oh 超難 輸89