Centrala begrepp
疎多項式および定数サポート多項式との等価性判定問題は、入力多項式が疎表現で与えられた場合、任意の体上でNP困難である。
本論文は、疎多項式および定数サポート多項式との等価性判定問題の計算複雑性に関する研究論文である。具体的には、入力多項式が疎表現で与えられた場合、これらの問題が任意の体上でNP困難であることを示している。
論文は、導入、準備、疎多項式に対する等価性判定のNP困難性の証明、定数サポート多項式に対する等価性判定のNP困難性の証明、結論の順に構成されている。