Sign In
insight - 計算複雑性理論
閉じた時間的曲線を持つ計算の計算可能性理論
本稿では、過去への時間移動能力、すなわち、幅や長さに制限のないドイッチェ的な閉じた時間的曲線（CTC）を備えたチューリングマシンによって何が計算可能かという問題を探求し、その計算能力が計算可能なマルコフ連鎖や量子チャネルの近似的な不動点を見つけることの複雑さと密接に関係していることを示す。
推移関数の組合せ測度間の分離
本稿では、推移関数の組合せ測度間の関係と分離について考察し、特に決定性クエリ複雑性と他の測度（ゼロエラーランダム化クエリ複雑性、量子クエリ複雑性、次数など）の間の分離を示す新しい推移関数を構築する。
非可換有理式の決定性準多項式時間ブラックボックス同一性テスト
非可換有理式の同一性テストの決定性準多項式時間ブラックボックスアルゴリズムを提案する。