Mirasycle 的博客

摘要： 模擬對數空間的圖靈機 基本概述 問題一般分類為判定型，構造型，計數型 \(\dots\) 可以構造模擬對數空間的圖靈機。\(M(x,y)\)，其中 \(x\) 是輸入，\(y\) 是需要判定的東西。計數題就是判定有多少個 \(y\) 合法，或者是統計 \(y\) 的容斥系數。比如說我們在統計序列數量 閱讀全文