発明が解決しようとする課題[発明の詳細な説明]から抜粋

上述した特許文献１、２の開示技術を始めとした量子ドットによる演算回路により、光の回折限界に支配されることなく演算処理が可能となり、将来の大容量情報処理への要求に応えることも可能となった。 ところで、上述した量子ドットによる演算処理では、何れも一又は複数の入力に対して一の結果を出力するものである。これに対して、図１３（ａ）でいうところの一の出力Ｙが決まっている場合にそれを満たすことができる複数の入力Ａ、Ｂを逆に探索することが可能な量子ドットによる演算回路は今まで特に提案されてきていなかった。 特に、解が予め与えられた場合にこれを満たす入力を探索する技法として、与えられた命題論理式の全体を“真”とするために、それに含まれる変数の値を探索する、いわゆる充足可能性問題（Satisfiability Problem, SAT）がある。この充足可能性問題は、ソフトウェアおよびハードウェア検証、ならびにコンピュータ支援設計を含む、多くのアプリケーションで使用される。特にこの充足可能性問題は、巡回セールスマン問題(Traveling Salesman Problem/TSPと同じクラスに属する計算複雑性をもつ代表的な組み合わせ最適化問題の解を探索するものであり、今後の情報化社会において特にその重要性が高まっている。この充足可能性問題を解く場合には、しらみつぶし法等の方法が従来より知られている。しかしながら、かかる充足可能性問題を光の回折限界に支配されることなくナノスケールのデバイスで、かつ超高速で低エネルギー消費量で解く技術は今まで特段提案されていない。 そこで本発明は、上述した問題点に鑑みて案出されたものであり、その目的とするところは、予め入力された探索問題情報として命題論理式が与えられた場合に、量子ドットを利用してその命題論理式に含まれる変数を探索して求めることが可能な量子ドットによる解探索システムを提供することにある。

課題を解決するための手段[発明の詳細な説明]から抜粋

上述した構成からなる本発明によれば、与えられた命題論理式を満たす変数の割り当てを探索する、いわゆる充足可能性問題等を始めとした問題を量子ドットに探索させて解を導くことが可能となる。しかも本発明では、その探索解を光の回折限界に支配されることなくナノスケールのデバイスで解くことが可能となる。また、量子ドットにおける励起子の移動は超高速であることから、解の探索を行わせる量子ドットデバイス側が律速になることが無くなり、より高速に探索解を導き出すことが可能となる。また励起子の移動にエネルギー損失を伴わないため、より低エネルギー消費量で解探索を実現することができる。