說起來簡單，可是因為SAT與QBF間橫隔一個大境界差距，此過程無法在多項式時間內處理。
至少在圍棋AI研究的早期，地球人嘗試這條道路完全走不通。
好在拉斯有力大飛磚的超絕計算力，能幫徐林將這個轉化變作現實。
徐林讓拉斯做的第一件事就是這個：將珍瓏棋局轉為SAT問題，無論在難度還是形式上，都比原本更加簡單。
想要零知識證明珍瓏棋局，只需要零知識證明其相對應的SAT問題。
SAT雖只是NP之境，卻也是NP巔峰大圓滿，人稱NP完全境。
SAT足以降維打擊一切NP境以內的敵人。所有NP問題都可在多項式時間內化歸為SAT問題。
零知識證明SAT，實際上就能零知識證明一切NP問題。
可實際上，徐林也沒有直接處理SAT問題，而是轉而尋求其他NP巔峰大圓滿的高手。
同為NP巔峰大圓滿，SAT與其他高手並沒有區別，零知識證明任意一個NP完全問題都足以實現回推。
徐林求助的正是三染色問題：給定一張圖G，求問能否用三種顏色給圖G的所有端點染色，使得相鄰頂點顏色不同。
（注：一張圖是指一些頂點用一些線連線在一起。）
所有NP巔峰大圓滿都可以在多項式時間內相互轉化，SAT也可以按照某種規則轉化為3染色問題。
。】符位佔【】假【】真【為染點端個三，形角三本基個一造構先首：解理淺下如以可化轉個這
。起一在線連法方的適合過，點的圖做當句語輯邏與數變林布的有所將後然
。】假【】真【值賦句語輯邏與數變林布個每給是就上際實，案方染三的圖個這對
。題問染三明證識知零要需只，TAS明證識知零，之言而總
。的鬆輕當相是明證識知零的題問染三，同不TAS與
。可即同相不否是點端個兩右左的邊得所樣次一每證驗，查地停不上圖的染3確正在要需只
。解正的局棋瓏珍取竊而從，案方染的林徐解破來訊資的到得所查檢用圖試會他，者查檢的意惡個一是人碑守，中驗考的君神在可
。洩部全便訊資切一，時圖染3的林徐歷遍他當。況的點端個兩邊條這悉獲會都者查檢，時樣的邊行進次一每，說是就也
。”中之項導誤些一在藏案答將“：言建林徐向曾汐小
。路思般這用要是就恰恰明證識知零的染3但，現實可有沒乎似聽一乍
）？我誇不思誇只麼什為那：汐（
。染三的G圖了現實種三藍綠紅用在現林徐設假
。紅染方地的藍染該本把再，藍染方地的綠染該本把，綠染方地的紅染該本把次這但，G圖張一備準再：是作步一下的他
。同不舊依的上染所點端鄰相，裡圖的到得新在，象想以可
。本副染三的G圖份6作製以可共總林徐，打法辦種6有種三藍綠紅
。看者查檢給邊條這的上本副個那將，本副個一取機隨就林徐，時邊條一查者查檢意惡當每
。點端綠個一與點端紅個一了線連邊條這到看者查檢如比
？嗎綠塗個一，紅塗個一，案答抄照能他那
。能不是案答
？綠了染被然居次這，點的紅染被該本：現發地外意能可就，時邊的點紅線連查次一下他為因
。現出機隨地勻均中}藍綠，紅綠，紅藍，綠藍，綠紅，藍紅{在會果結查檢的點端兩，邊條一何任於對
。同不點端兩有僅，項事的曉知鑿確能一唯者查檢
。TAS的來化轉棋圍括包中其，案方明證識知零有都題問PN切一而進，明證識知零可題問染三，此至
睜眼已是亂世，陳越成了縣內藥鋪學徒，人命如草芥，仙途多詭譎。
幸得一塊無名面板，以苦行為薪火，以執念鑄道基。
浪里潛行，藏一身鋒芒；
鐵骨鍛體，扛世間風霜；
內丹築基，積萬丈底蘊；
龍神火燃，焚九天邪魔。
他在黑暗中一路死磕前行，待到回首，萬界俯首，萬法歸心，他已是獨步古今的無上真君。
丹聖顧淵，因丹爐爆炸墜落，重生為天玄大陸臭名昭著的花花少爺。丹田被廢，家族倒塌，強敵環繞。
在這個以武為尊的世界里，弱者連生活的資格都沒有！
“既然重活一輩子，我就用丹道通神，用武道鎮天！”
左手無上丹術，煉天地為爐，逆生死，奪造化；右手無敵戰技，破山河，破萬法，敗盡天驕！
顧淵從人人唾棄的廢物到世界震顫的至尊，邁出的每一步都在告訴世界——
“要麼屈服，要麼毀滅！”
一代丹帝重返十五歲，這一世，不僅要彌補前世所有遺憾，更要成就武道至尊！比功法？我的小弟人手一本神級功法。比丹藥？我的極品丹藥拿來喂狗。天才？凡是遇到我的天才，全是被碾壓的命！順我者昌，逆我者死！
【女強 甜寵 醫妃 玄學 爽文】
玄門大師陸昭菱修復龍脈時被炸飛，穿越周朝。
靈魂不穩時撞進晉王懷裡，立刻給自己抱了一條大粗腿。
於是，陸家的災難開始了。
她屠版了京城小報頭條。
各行各業的惡魔紛紛瑟瑟發抖。
她的東西，誰碰誰倒霉，她的身份，誰占誰吃虧，她要保護的人，閻王也拿不去。
一眼看生死，一符去百病，一手掐霉運，還時不時看到財富，撿起來就不愁吃喝。
死後只剩下一塊牌位的太上皇：兒砸！聽她的！一定要讓她保我大周強盛！
晉王：王妃這麼強，本王的腿還抱着嗎？
十大仙帝之一，因得重寶吞天神鼎，被圍攻慘死；帶着神鼎重生歸來，吞下四海，容八荒……一代邪神，踏天血洗仙界！
一隻哥布林=1熟練度一隻牛頭怪=10熟練度……達到對應的熟練度，技能就能升級，練滿自動進化！
從【摸魚】到【遁形】，從【斬擊】到【幻影劍舞】，從【火球術】到【炙炎流星】……只要一直肝下去，就能不斷變強。 …
玄幻腦洞，系統文，無敵流！誰家剛繼承宗門，就遇到長老叛宗投敵？自己瀕死垂危不說，唯一的一個弟子還被叛長老打成重傷。好在系統眷顧時序，最強宗門系統登場，屬於時序的系統終於來了！沒錯，我就是開了！誰敢一戰？
少年蘇塵，被抽取天龍血脈，毀去丹田，送往北荒城葉家，成為葉家的贅婿。萬念俱灰之際，融合了母親留下的葬天古戒，成為葬天古戒之主，修葬天神功，悟絕世神通，從此走上了一條橫掃萬界天驕的無敵之路。若這天地不公，我便埋葬諸天！
為了當年的驚鴻一瞥，江清婉隱姓埋名嫁入將軍府，花了半身修為幫秦家改命。
誰知男子曾經回到北京，帶回了美麗華貴的縣主。
婆婆明褒暗貶地逼她讓位，甚至喊了她五年母親的養子，也輕蔑地看着她。
“你是一個商女，怎麼配做我媽媽？”
看透一切的江清婉拋下一紙和離書，收回了對秦家的保佑，讓他們厄運纏身。
本想逍遙離京，卻遇到了身負怪命格的九王爺，竟能幫她恢復修養。
她成了九王爺的幕僚，京城謠言四起，都說她是王府的外室嬌娘。
男人冷着張俊美如仙的臉，充滿了厭惡。
“她只是我邀請的天師。”
後來，江清婉成了著名的東京神算，京中權貴紛紛跪求一卦。
前夫後悔不已，糾纏不清，一聲“婉婉”喊得真心切。
貴氣清冷的九王爺化身醋精加寵妻狂魔，抱着人的小腰宣誓主權。
什麼天師？這是他的小嬌娘。