登入
洞見 - 計算理論
2-MAXSAT問題は多項式時間で解くことができない
Chen氏の提案する2-MAXSAT問題の多項式時間アルゴリズムには重大な欠陥があり、P=NPを示すことはできない。
シンボリックリストを計算として
シンボリックリストを使用した計算の代数的モデルを提案し、その複雑さに関連するChowランクを確立します。
単調な最小完全ハッシュの簡略化された厳密な下限
単調な最小完全ハッシュ関数（MMPHF）に関する厳密な下限を証明し、問題を解決する。
局所計算による部分量化子除去
PQEは局所計算の一形態であり、SAT問題をPQEによって解決することが有益である。
計算的な深さの概念を結ぶ
強い深さのシーケンスはすべて順序的に深いことが示された。
厳密なベイジアン推論：生成関数を用いたループ確率プログラムの正確な解析
生成関数を使用した厳密なベイジアン推論方法の提案と実装に焦点を当てる。
連続時間における計算の複雑さ
空間の複雑さは精度に対応する。
コール・バイ・バリューにおけるガード付き表現とガード付きパラメータ化モナドの表現
プログラムの構造的特性としてのガード付けを明確にする。
スコレム問題の計数複雑性について
線形再帰列のゼロを数える問題は#P-hardであることが示された。
© 2024 by Linnk AI