【手続補正書】
【提出日】令和2年3月5日(2020.3.5)
【手続補正１】
【補正対象書類名】特許請求の範囲
【補正対象項目名】全文
【補正方法】変更
【補正の内容】
【特許請求の範囲】
【請求項１】
共通インターフェースを含むソルバー層による実行のための１つ以上の命令を生成する方法であって、ここで、１つ以上の命令は、少なくとも１つのコンピュータープロセッサ及びメモリを含むデジタルコンピューターによって生成され、デジタルコンピューターは、ソルバー層を含むｑｕａｎｔｕｍ−ｒｅａｄｙ又はｑｕａｎｔｕｍ−ｅｎａｂｌｅｄのコンピューティングシステムに連結され、ソルバー層は出力を生成するために１つ以上の命令を実行し、前記方法は、
ａ．アプリケーションがデジタルコンピューター上で実行される、アプリケーションインターフェースにてアプリケーションからユーザー入力を承諾する工程；
ｂ．ユーザー入力の要求に少なくとも部分的に依存して発見的又は正確に解かれる１つ以上のアルゴリズムをアルゴリズム層で実施する工程であって、１つ以上のアルゴリズムはアプリケーションの複雑性を除外する、工程；
ｃ．制約なし多項式二値変数最適化（ＰＵＢＯ）の形態で、アプリケーション空間から１つ以上の命令へと１つ以上のアルゴリズムを変換する工程；及び
ｄ．ソルバー層の共通インターフェースにてＰＵＢＯの形態で１つ以上の命令を実行する工程であって、ここで共通インターフェースは、量子的又は古典的コンピューターに依存しないインターフェースを提供する１つ以上の制約なし多項式二値変数最適化（ＰＵＢＯ）ソルバーを含む、工程
を含むことを特徴とする方法。
【請求項２】
ｑｕａｎｔｕｍ−ｒｅａｄｙ又はｑｕａｎｔｕｍ−ｅｎａｂｌｅｄのコンピューティングシステムは、量子アニーラー、イジングソルバー、光パラメトリック発振器（ＯＰＯ）、量子計算のゲートモデル、又は別のタイプの量子コンピューターを含む、ことを特徴とする請求項１に記載の方法。
【請求項３】
制約なし多項式二値変数最適化（ＰＵＢＯ）形態は、制約なし二次形式二値変数最適化（ＱＵＢＯ）形態である、ことを特徴とする請求項１に記載の方法。
【請求項４】
ソルバー層の共通インターフェースの１つ以上の制約なし多項式二値変数最適化（ＰＵＢＯ）のソルバーは、１つ以上の制約なし二次形式二値変数最適化（ＱＵＢＯ）のソルバーを含む、ことを特徴とする請求項１に記載の方法。
【請求項５】
１つ以上のアルゴリズムはアルゴリズム層、制約付き多項式整数最適化層、又は制約付き多項式二値変数最適化層にて変換される、ことを特徴とする請求項１に記載の方法。
【請求項６】
１つ以上のアルゴリズムは二元多項式層を使用して変換される、ことを特徴とする請求項１に記載の方法。
【請求項７】
１つ以上のアルゴリズムはソルバー層の共通インターフェースによって変換される、ことを特徴とする請求項１に記載の方法。
【請求項８】
アルゴリズム層は、ｍａｘ（最大）ｋ−準クリーク、彩色数、グラフ類似性、カラーリング実行可能性、最大ｃｏ−κ−プレックス、最小クリーク被覆、κ−クリーク被覆の実行可能性、線形ナップサック、及び平衡化分割のうち１つ以上を含む、ことを特徴とする請求項１に記載の方法。
【請求項９】
１つ以上のアルゴリズムの変換は、制約なし多項式二値変数最適化（ＰＵＢＯ）形態の制約なし二次形式二値変数最適化（ＱＵＢＯ）形態への変換、二元多項式の操作、及び二元空間における効果的な探索のうち１つ以上の使用を含む、ことを特徴とする請求項１に記載の方法。
【請求項１０】
１つ以上の制約なし多項式二値変数最適化（ＰＵＢＯ）ソルバーは、Ｄ−Ｗａｖｅ、ｍｕｌｔｉ−ａｇｅｎｔ  Ｔａｂｕ  １−Ｏｐｔソルバー、Ｔａｂｕ  １−Ｏｐｔソルバー、ＰＴＩＣＭソルバー、パスに再リンクするソルバー、及びＧＰＵベースのシミュレートされた量子アニーリングソルバーのうち１つ以上を含む、ことを特徴とする請求項１に記載の方法。
【請求項１１】
１つ以上のアルゴリズムは、古典的な最適化システム又は量子オラクルを使用して実施される、ことを特徴とする請求項１に記載の方法。
【請求項１２】
共通インターフェースを含むソルバー層による実行のために１つ以上の命令を生成するためのシステムであって、該システムは、
ａ．ソルバー層を含むｑｕａｎｔｕｍ−ｒｅａｄｙ又はｑｕａｎｔｕｍ−ｅｎａｂｌｅｄのコンピューティングシステム；
ｂ．ｑｕａｎｔｕｍ−ｒｅａｄｙ又はｑｕａｎｔｕｍ−ｅｎａｂｌｅｄのコンピューティングシステムに連結される、少なくとも１つのコンピュータープロセッサを含むデジタルコンピューター；
ｃ．少なくとも１つのコンピュータープロセッサにより実行された時に方法を実施する、コンピュータープロセッサ実行可能命令を保存するコンピューターメモリ
を含み、前記方法は、
ｉ．アプリケーションがデジタルコンピューター上で実行される、アプリケーションインターフェースにてアプリケーションからユーザー入力を承諾する工程；
ｉｉ．ユーザー入力の要求に少なくとも部分的に依存して発見的又は正確に解かれる１つ以上のアルゴリズムをアルゴリズム層で実施する工程であって、１つ以上のアルゴリズムはアプリケーションの複雑性を除外する、工程；
ｉｉｉ．制約なし多項式二値変数最適化（ＰＵＢＯ）の形態で、アプリケーション空間から１つ以上の命令へと１つ以上のアルゴリズムを変換する工程；及び
ｉｖ．ソルバー層の共通インターフェースにてＰＵＢＯの形態で１つ以上の命令を実行する工程であって、ここで共通インターフェースは、量子的又は古典的コンピューターに依存しないインターフェースを提供する１つ以上の制約なし多項式二値変数最適化（ＰＵＢＯ）ソルバーを含む、工程
を含む、ことを特徴とするシステム。
【請求項１３】
ｑｕａｎｔｕｍ−ｒｅａｄｙ又はｑｕａｎｔｕｍ−ｅｎａｂｌｅｄのコンピューティングシステムは、量子アニーラー、イジングソルバー、光パラメトリック発振器（ＯＰＯ）、量子計算のゲートモデル、又は別のタイプの量子コンピューターを含む、ことを特徴とする請求項１２に記載のシステム。
【請求項１４】
制約なし多項式二値変数最適化（ＰＵＢＯ）形態は、制約なし二次形式二値変数最適化（ＱＵＢＯ）形態である、ことを特徴とする請求項１２に記載のシステム。
【請求項１５】
ソルバー層の共通インターフェースの１つ以上の制約なし多項式二値変数最適化（ＰＵＢＯ）のソルバーは、１つ以上の制約なし二次形式二値変数最適化（ＱＵＢＯ）のソルバーを含む、ことを特徴とする請求項１２に記載のシステム。
【請求項１６】
１つ以上のアルゴリズムはアルゴリズム層、制約付き多項式整数最適化層、又は制約付き多項式二値変数最適化層にて変換される、ことを特徴とする請求項１２に記載のシステム。
【請求項１７】
１つ以上のアルゴリズムは二元多項式層を使用して変換される、ことを特徴とする請求項１２に記載のシステム。
【請求項１８】
１つ以上のアルゴリズムはソルバー層の共通インターフェースによって変換される、ことを特徴とする請求項１２に記載のシステム。
【請求項１９】
アルゴリズム層は、ｍａｘ（最大）ｋ−準クリーク、彩色数、グラフ類似性、カラーリング実行可能性、最大ｃｏ−κ−プレックス、最小クリーク被覆、κ−クリーク被覆の実行可能性、線形ナップサック、及び平衡化分割のうち１つ以上を含む、ことを特徴とする請求項１２に記載のシステム。
【請求項２０】
１つ以上のアルゴリズムの変換は、制約なし多項式二値変数最適化（ＰＵＢＯ）形態の制約なし二次形式二値変数最適化（ＱＵＢＯ）形態への変換、二元多項式の操作、及び二元空間における効果的な探索のうち１つ以上の使用を含む、ことを特徴とする請求項１２に記載のシステム。
【請求項２１】
１つ以上の制約なし多項式二値変数最適化（ＰＵＢＯ）ソルバーは、Ｄ−Ｗａｖｅ、ｍｕｌｔｉ−ａｇｅｎｔ  Ｔａｂｕ  １−Ｏｐｔソルバー、Ｔａｂｕ  １−Ｏｐｔソルバー、ＰＴＩＣＭソルバー、パスに再リンクするソルバー、及びＧＰＵベースのシミュレートされた量子アニーリングソルバーのうち１つ以上を含む、ことを特徴とする請求項１２に記載のシステム。
【請求項２２】
１つ以上のアルゴリズムは、古典的な最適化システム又は量子オラクルを使用して実施される、ことを特徴とする請求項１２に記載のシステム。
【請求項２３】
機械実行可能コードを含む非一時的コンピューター可読媒体であって、該機械実行可能コードは、１つ以上のコンピュータープロセッサによる実行時、少なくとも１つのコンピュータープロセッサ及びメモリを含むデジタルコンピューターによって実施可能なアプリケーションを生成し、共通インターフェースを含んでいるｑｕａｎｔｕｍ−ｒｅａｄｙ又はｑｕａｎｔｕｍ−ｅｎａｂｌｅｄのコンピューティングシステムのソルバー層による実行のために１つ以上の命令を生成して、出力を生成し、前記命令は、
ａ．アプリケーションがデジタルコンピューター上で実行される、アプリケーションインターフェースにてアプリケーションからユーザー入力を承諾する工程；
ｂ．ユーザー入力の要求に少なくとも部分的に依存して発見的又は正確に解かれる１つ以上のアルゴリズムをアルゴリズム層で実施する工程であって、１つ以上のアルゴリズムはアプリケーションの複雑性を除外する、工程；
ｃ．制約なし多項式二値変数最適化（ＰＵＢＯ）の形態で、アプリケーション空間から１つ以上の命令へと１つ以上のアルゴリズムを変換する工程；及び
ｄ．ソルバー層の共通インターフェースにてＰＵＢＯの形態で１つ以上の命令を実行する工程であって、ここで共通インターフェースは、量子的又は古典的コンピューターに依存しないインターフェースを提供する１つ以上の制約なし多項式二値変数最適化（ＰＵＢＯ）ソルバーを含む、工程
を含む方法を実行するように構成される、ことを特徴とする非一時的コンピューター可読媒体。
【請求項２４】
制約なし多項式二値変数最適化（ＰＵＢＯ）形態は、制約なし二次形式二値変数最適化（ＱＵＢＯ）形態である、ことを特徴とする請求項２３に記載の非一時的コンピューター可読媒体。
【請求項２５】
ソルバー層の共通インターフェースの１つ以上の制約なし多項式二値変数最適化（ＰＵＢＯ）のソルバーは、１つ以上の制約なし二次形式二値変数最適化（ＱＵＢＯ）のソルバーを含む、ことを特徴とする請求項２３に記載の非一時的コンピューター可読媒体。
【請求項２６】
１つ以上のアルゴリズムはアルゴリズム層、制約付き多項式整数最適化層、又は制約付き多項式二値変数最適化層にて変換される、ことを特徴とする請求項２３に記載の非一時的コンピューター可読媒体。
【請求項２７】
１つ以上のアルゴリズムは二元多項式層を使用して変換される、ことを特徴とする請求項２３に記載の非一時的コンピューター可読媒体。
【請求項２８】
１つ以上のアルゴリズムはソルバー層の共通インターフェースによって変換される、ことを特徴とする請求項２３に記載の非一時的コンピューター可読媒体。
【請求項２９】
アルゴリズム層は、ｍａｘ（最大）ｋ−準クリーク、彩色数、グラフ類似性、カラーリング実行可能性、最大ｃｏ−κ−プレックス、最小クリーク被覆、κ−クリーク被覆の実行可能性、線形ナップサック、及び平衡化分割のうち１つ以上を含む、ことを特徴とする請求項２３に記載の非一時的コンピューター可読媒体。
【請求項３０】
１つ以上のアルゴリズムの変換は、制約なし多項式二値変数最適化（ＰＵＢＯ）形態の制約なし二次形式二値変数最適化（ＱＵＢＯ）形態への変換、二元多項式の操作、及び二元空間における効果的な探索のうち１つ以上の使用を含む、ことを特徴とする請求項２３に記載の非一時的コンピューター可読媒体。
【請求項３１】
１つ以上の制約なし多項式二値変数最適化（ＰＵＢＯ）ソルバーは、Ｄ−Ｗａｖｅ、ｍｕｌｔｉ−ａｇｅｎｔ  Ｔａｂｕ  １−Ｏｐｔソルバー、Ｔａｂｕ  １−Ｏｐｔソルバー、ＰＴＩＣＭソルバー、パスに再リンクするソルバー、及びＧＰＵベースのシミュレートされた量子アニーリングソルバーのうち１つ以上を含む、ことを特徴とする請求項２３に記載の非一時的コンピューター可読媒体。