What counterarguments exist against the complexity results presented in Table 1 for different variants of Skolem/Positivity/Uniform Positivity
Skolem/Positivity/Uniform Positivityの異なる変種に対するTable 1で示された複雑さ結果に対する反論として次の点が挙げられます。
結果は特定条件下でしか成立しない可能性：表中で示されている結果はあくまでも特定条件下（例えばLRS of order 6）で得られたものです。一般的な場合や他のパラメーター設定では異なる結果が出る可能性もあります。
実装上の課題：理論上はPSPACE complexityと言われていますが、実際にこれを扱う際に必要とされる計算資源や時間枠は現実世界では限られており、実用的ではない場合も考えられます。
近似方法：厳密解決法以外でも近似手法を活用したり、問題を別視点から捉え直すことでより効率的かつ現実的なアプローチを見つけ出す余地があるかもしれません。