ノート:計算機科学の未解決問題
質問
[編集]最初の節に、『（前略）素因数分解や充足可能性問題など現在効率的な算法の存在しない問題を解くことができる。』とありますが、 『（前略）素因数分解や充足可能性問題など現在効率的な算法の存在しない問題に効率的な算法が存在することを示す。』というのが正確なのでは？という疑問があるのですが、どなたかご教示いただけないものでしょうか。--Caserio（会話） 2016年6月16日 (木) 04:35 (UTC)
最初の節に、『（前略）素因数分解や充足可能性問題など現在効率的な算法の存在しない問題を解くことができる。』とありますが、 『（前略）素因数分解や充足可能性問題など現在効率的な算法の存在しない問題に効率的な算法が存在することを示す。』というのが正確なのでは？という疑問があるのですが、どなたかご教示いただけないものでしょうか。--Caserio（会話） 2016年6月16日 (木) 04:35 (UTC)[返信]