JP7468655B2 - 不整合判定装置、方法、および、プログラム - Google Patents
不整合判定装置、方法、および、プログラム Download PDFInfo
- Publication number
- JP7468655B2 JP7468655B2 JP2022533283A JP2022533283A JP7468655B2 JP 7468655 B2 JP7468655 B2 JP 7468655B2 JP 2022533283 A JP2022533283 A JP 2022533283A JP 2022533283 A JP2022533283 A JP 2022533283A JP 7468655 B2 JP7468655 B2 JP 7468655B2
- Authority
- JP
- Japan
- Prior art keywords
- inconsistency
- formula
- terms
- constraint
- equation
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000000034 method Methods 0.000 title claims description 34
- 238000005457 optimization Methods 0.000 claims description 49
- 230000014509 gene expression Effects 0.000 claims description 39
- 230000006870 function Effects 0.000 description 42
- 230000005366 Ising model Effects 0.000 description 18
- 238000010586 diagram Methods 0.000 description 10
- 239000000284 extract Substances 0.000 description 9
- 238000006467 substitution reaction Methods 0.000 description 5
- 238000000137 annealing Methods 0.000 description 4
- 238000009472 formulation Methods 0.000 description 4
- 239000000203 mixture Substances 0.000 description 4
- 238000002922 simulated annealing Methods 0.000 description 4
- 230000010365 information processing Effects 0.000 description 3
- 238000004891 communication Methods 0.000 description 2
- 230000000694 effects Effects 0.000 description 2
- 230000003287 optical effect Effects 0.000 description 2
- 230000001052 transient effect Effects 0.000 description 2
- 230000006399 behavior Effects 0.000 description 1
- 238000006243 chemical reaction Methods 0.000 description 1
- 239000000696 magnetic material Substances 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 238000000638 solvent extraction Methods 0.000 description 1
- 230000001131 transforming effect Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/10—Complex mathematical operations
- G06F17/18—Complex mathematical operations for evaluating statistical data, e.g. average values, frequency distributions, probability functions, regression analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/10—Complex mathematical operations
- G06F17/11—Complex mathematical operations for solving equations, e.g. nonlinear equations, general mathematical optimization problems
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
- G06N99/00—Subject matter not provided for in other groups of this subclass
Landscapes
- Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Data Mining & Analysis (AREA)
- Theoretical Computer Science (AREA)
- Mathematical Physics (AREA)
- Mathematical Optimization (AREA)
- Computational Mathematics (AREA)
- Pure & Applied Mathematics (AREA)
- Mathematical Analysis (AREA)
- Software Systems (AREA)
- General Engineering & Computer Science (AREA)
- Operations Research (AREA)
- Databases & Information Systems (AREA)
- Algebra (AREA)
- Bioinformatics & Computational Biology (AREA)
- Probability & Statistics with Applications (AREA)
- Evolutionary Biology (AREA)
- Bioinformatics & Cheminformatics (AREA)
- Life Sciences & Earth Sciences (AREA)
- Computing Systems (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Description
図1は、本発明の第1の実施形態の不整合判定装置の構成例を示すブロック図である。第1の実施形態の不整合判定装置1は、入力部2と、分割部3と、不整合判定部4と、提示部5とを備える。
本発明の第2の実施形態の不整合判定装置は、第1の実施形態の不整合判定装置と同様に、図1に示すブロック図で表すことができるので、図1を用いて第2の実施形態を説明する。第1の実施形態と同様の事項については、適宜、説明を省略する。
図4は、本発明の第3の実施形態の不整合判定装置の構成例を示すブロック図である。第1の実施形態や第2の実施形態の要素と同様の要素には、図1に示す符号と同一の符号を付す。第3の実施形態の不整合判定装置1は、入力部2と、不整合判定部4と、提示部5とを備える。
個々のスピンの状態を第1の値または第2の値で表すモデルのエネルギー関数に変換される、組合せ最適化問題におけるエネルギーを表す式の中に不整合が生じているか否かを判定する不整合判定手段を備える
ことを特徴とする不整合判定装置。
前記エネルギーを表す式を複数の項に分割する分割手段を備え、
前記不整合判定手段は、
前記複数の項の中から、制約を表す項である制約項を2個以上抽出し、
抽出した2個以上の制約項が表す制約間に不整合がある場合に、前記エネルギーを表す式の中に不整合が生じていると判定する
付記1に記載の不整合判定装置。
制約項が表す制約が式で表され、
前記不整合判定手段は、
制約を表す式を、別の制約を表す式に代入したときに不整合が生じるならば、代入した式に対応する制約と、代入された式に対応する制約の間に不整合があると判定する
付記2に記載の不整合判定装置。
前記エネルギーを表す式を複数の項に分割する分割手段を備え、
前記不整合判定手段は、
スピンの状態を表す変数の次数を2に下げるための補助変数を用いた式を予め記憶し、
分割によって得られた項の組合せであって、予め記憶している前記式に該当する項の組合せの有無を判定し、
前記組合せが有る場合に、前記補助変数を特定し、
前記組合せに含まれない項で前記補助変数が用いられている場合に、前記エネルギーを表す式の中に不整合が生じていると判定する
付記1に記載の不整合判定装置。
前記不整合判定手段は、
前記エネルギーを表す式とともに、スピンの状態を表す各変数を定義した文字列を取り込み、
前記文字列で定義された各変数のうち、前記エネルギーを表す式で用いられていない変数がある場合に、前記エネルギーを表す式の中に不整合が生じていると判定する
付記1に記載の不整合判定装置。
コンピュータが、
個々のスピンの状態を第1の値または第2の値で表すモデルのエネルギー関数に変換される、組合せ最適化問題におけるエネルギーを表す式の中に不整合が生じているか否かを判定する
ことを特徴とする不整合判定方法。
前記コンピュータが、
前記エネルギーを表す式を複数の項に分割し、
前記複数の項の中から、制約を表す項である制約項を2個以上抽出し、
抽出した2個以上の制約項が表す制約間に不整合がある場合に、前記エネルギーを表す式の中に不整合が生じていると判定する
付記6に記載の不整合判定方法。
前記コンピュータが、
前記エネルギーを表す式を複数の項に分割し、
スピンの状態を表す変数の次数を2に下げるための補助変数を用いた式を予め記憶し、
分割によって得られた項の組合せであって、予め記憶している前記式に該当する項の組合せの有無を判定し、
前記組合せが有る場合に、前記補助変数を特定し、
前記組合せに含まれない項で前記補助変数が用いられている場合に、前記エネルギーを表す式の中に不整合が生じていると判定する
付記6に記載の不整合判定方法。
前記コンピュータが、
前記エネルギーを表す式とともに、スピンの状態を表す各変数を定義した文字列を取り込み、
前記文字列で定義された各変数のうち、前記エネルギーを表す式で用いられていない変数がある場合に、前記エネルギーを表す式の中に不整合が生じていると判定する
付記6に記載の不整合判定方法。
コンピュータに、
個々のスピンの状態を第1の値または第2の値で表すモデルのエネルギー関数に変換される、組合せ最適化問題におけるエネルギーを表す式の中に不整合が生じているか否かを判定する不整合判定処理を実行させる
不整合判定プログラムを記録したコンピュータ読取可能な記録媒体。
前記コンピュータに、
前記エネルギーを表す式を複数の項に分割する分割処理を実行させ、
前記不整合判定処理で、
前記複数の項の中から、制約を表す項である制約項を2個以上抽出させ、
抽出した2個以上の制約項が表す制約間に不整合がある場合に、前記エネルギーを表す式の中に不整合が生じていると判定させる
不整合判定プログラムを記録した付記10に記載のコンピュータ読取可能な記録媒体。
前記コンピュータは、スピンの状態を表す変数の次数を2に下げるための補助変数を用いた式を予め記憶し、
前記コンピュータに、
前記エネルギーを表す式を複数の項に分割する分割処理を実行させ、
前記不整合判定処理で、
分割によって得られた項の組合せであって、予め前記コンピュータに記憶されている前記式に該当する項の組合せの有無を判定させ、
前記組合せが有る場合に、前記補助変数を特定させ、
前記組合せに含まれない項で前記補助変数が用いられている場合に、前記エネルギーを表す式の中に不整合が生じていると判定させる
不整合判定プログラムを記録した付記10に記載のコンピュータ読取可能な記録媒体。
前記コンピュータに、
前記不整合判定処理で、
前記エネルギーを表す式とともに、スピンの状態を表す各変数を定義した文字列を取り込ませ、
前記文字列で定義された各変数のうち、前記エネルギーを表す式で用いられていない変数がある場合に、前記エネルギーを表す式の中に不整合が生じていると判定させる
不整合判定プログラムを記録した付記10に記載のコンピュータ読取可能な記録媒体。
2 入力部
3 分割部
4 不整合判定部
5 提示部
Claims (10)
- 個々のスピンの状態を第1の値または第2の値で表すモデルのエネルギー関数に変換される、組合せ最適化問題におけるエネルギーを表す式を目的関数を表す項および複数の項に分割する分割手段と、
前記複数の項が表す制約間に不整合が生じているか否かを判定する不整合判定手段を備える
ことを特徴とする不整合判定装置。 - 前記不整合判定手段は、
前記複数の項の中から、制約を表す項である制約項を2個以上抽出し、
抽出した2個以上の制約項が表す制約間に不整合がある場合に、前記エネルギーを表す式の中に不整合が生じていると判定する
請求項1に記載の不整合判定装置。 - 制約項が表す制約が式で表され、
前記不整合判定手段は、
制約を表す式を、別の制約を表す式に代入したときに不整合が生じるならば、代入した式に対応する制約と、代入された式に対応する制約の間に不整合があると判定する
請求項2に記載の不整合判定装置。 - 前記不整合判定手段は、
スピンの状態を表す変数の次数を2に下げるための補助変数を用いた式を予め記憶し、
分割によって得られた項の組合せであって、予め記憶している前記式に該当する項の組合せの有無を判定し、
前記組合せが有る場合に、前記補助変数を特定し、
前記組合せに含まれない項で前記補助変数が用いられている場合に、前記エネルギーを表す式の中に不整合が生じていると判定する
請求項1に記載の不整合判定装置。 - コンピュータが、
個々のスピンの状態を第1の値または第2の値で表すモデルのエネルギー関数に変換される、組合せ最適化問題におけるエネルギーを表す式を目的関数を表す項および複数の項に分割し、
前記複数の項が表す制約間に不整合が生じているか否かを判定する
ことを特徴とする不整合判定方法。 - 前記コンピュータが、
前記複数の項の中から、制約を表す項である制約項を2個以上抽出し、
抽出した2個以上の制約項が表す制約間に不整合がある場合に、前記エネルギーを表す式の中に不整合が生じていると判定する
請求項5に記載の不整合判定方法。 - 前記コンピュータが、
スピンの状態を表す変数の次数を2に下げるための補助変数を用いた式を予め記憶し、
分割によって得られた項の組合せであって、予め記憶している前記式に該当する項の組合せの有無を判定し、
前記組合せが有る場合に、前記補助変数を特定し、
前記組合せに含まれない項で前記補助変数が用いられている場合に、前記エネルギーを表す式の中に不整合が生じていると判定する
請求項5に記載の不整合判定方法。 - コンピュータに、
個々のスピンの状態を第1の値または第2の値で表すモデルのエネルギー関数に変換される、組合せ最適化問題におけるエネルギーを表す式を目的関数を表す項および複数の項に分割する分割処理、および、
前記複数の項が表す制約間に不整合が生じているか否かを判定する不整合判定処理を実行させる
不整合判定プログラム。 - 前記コンピュータに、
前記不整合判定処理で、
前記複数の項の中から、制約を表す項である制約項を2個以上抽出させ、
抽出した2個以上の制約項が表す制約間に不整合がある場合に、前記エネルギーを表す式の中に不整合が生じていると判定させる
請求項8に記載の不整合判定プログラム。 - 前記コンピュータは、スピンの状態を表す変数の次数を2に下げるための補助変数を用いた式を予め記憶し、
前記コンピュータに、
前記不整合判定処理で、
分割によって得られた項の組合せであって、予め前記コンピュータに記憶されている前記式に該当する項の組合せの有無を判定させ、
前記組合せが有る場合に、前記補助変数を特定させ、
前記組合せに含まれない項で前記補助変数が用いられている場合に、前記エネルギーを表す式の中に不整合が生じていると判定させる
請求項8に記載の不整合判定プログラム。
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
PCT/JP2020/025539 WO2022003784A1 (ja) | 2020-06-29 | 2020-06-29 | 不整合判定装置、方法、および、コンピュータ読取可能な記録媒体 |
Publications (3)
Publication Number | Publication Date |
---|---|
JPWO2022003784A1 JPWO2022003784A1 (ja) | 2022-01-06 |
JPWO2022003784A5 JPWO2022003784A5 (ja) | 2023-02-22 |
JP7468655B2 true JP7468655B2 (ja) | 2024-04-16 |
Family
ID=79315793
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2022533283A Active JP7468655B2 (ja) | 2020-06-29 | 2020-06-29 | 不整合判定装置、方法、および、プログラム |
Country Status (3)
Country | Link |
---|---|
US (1) | US20240037185A1 (ja) |
JP (1) | JP7468655B2 (ja) |
WO (1) | WO2022003784A1 (ja) |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2008114960A (ja) | 2006-11-02 | 2008-05-22 | Hitachi Ltd | 輸送計画システム |
Family Cites Families (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH0869380A (ja) * | 1994-08-29 | 1996-03-12 | Fujitsu Ltd | ソースプログラムチェック装置 |
-
2020
- 2020-06-29 WO PCT/JP2020/025539 patent/WO2022003784A1/ja active Application Filing
- 2020-06-29 JP JP2022533283A patent/JP7468655B2/ja active Active
- 2020-06-29 US US18/011,329 patent/US20240037185A1/en active Pending
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2008114960A (ja) | 2006-11-02 | 2008-05-22 | Hitachi Ltd | 輸送計画システム |
Non-Patent Citations (3)
Title |
---|
"量子アニーリングマシンなどで「組合せ最適化問題」を解くためのQUBOを自動で構築するドメイン固有言語『PyQUBO』を開発",Press Release [online],株式会社リクルートコミュニケーションズ,2018年09月25日,[2023年11月02日検索],インターネット<URL:https://www.recruit.co.jp/newsroom/recruit-rco/pressrelease/2018/180925_RCOpress.pdf> |
左尾将隆 ほか,"組合せ最適化問題を高速に解くデジタルアニーラの活用技術",FUJITSU,2018年07月01日,Vol. 69,No. 4,P. 77-83,ISSN: 0016-2515 |
金丸翔 ほか,"実イジング計算機による制約付きスロット配置問題の解法",情報処理学会研究報告,2019年03月10日,Vol. 2019-EMB-50,No. 52,ISSN: 2188-868X |
Also Published As
Publication number | Publication date |
---|---|
JPWO2022003784A1 (ja) | 2022-01-06 |
US20240037185A1 (en) | 2024-02-01 |
WO2022003784A1 (ja) | 2022-01-06 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6020161B2 (ja) | グラフ作成プログラム、情報処理装置、およびグラフ作成方法 | |
US20200151608A1 (en) | Merging feature subsets using graphical representation | |
JP6231944B2 (ja) | 学習モデル作成装置、判定システムおよび学習モデル作成方法 | |
JP7251645B2 (ja) | 求解システム、求解方法および求解プログラム | |
JP7007520B6 (ja) | 情報処理装置、演算装置、及び情報処理方法 | |
JP2021039640A (ja) | 学習装置、学習システム、および学習方法 | |
CN108463836A (zh) | 图像处理装置、图像处理方法和图像处理程序 | |
WO2020234984A1 (ja) | 学習装置、学習方法、コンピュータプログラム及び記録媒体 | |
US20190205361A1 (en) | Table-meaning estimating system, method, and program | |
JP7468655B2 (ja) | 不整合判定装置、方法、および、プログラム | |
Toloo et al. | Finding an initial basic feasible solution for DEA models with an application on bank industry | |
JP7484318B2 (ja) | 学習装置及び学習プログラム | |
JP6729703B2 (ja) | 情報提示方法、装置、及びプログラム | |
JP5429164B2 (ja) | 有限オートマトン生成システム | |
JP2702930B2 (ja) | フィルタリング方法 | |
JP7420257B2 (ja) | 求解システム、求解方法、および、求解プログラム | |
WO2020054819A1 (ja) | データ解析装置、データ解析方法及びプログラム | |
JP2022045731A (ja) | 情報処理装置、情報処理システムおよび情報処理方法 | |
US20240070539A1 (en) | Learning device | |
JP5098632B2 (ja) | 活動管理装置、活動管理システムおよび活動管理プログラム | |
US8856059B2 (en) | Inference device and inference method | |
JP7184155B2 (ja) | テンソル分解処理システム、方法およびプログラム | |
JP7487790B2 (ja) | 機械学習プログラム、機械学習方法及び機械学習装置 | |
JP6700843B2 (ja) | 情報処理装置、情報処理方法及びプログラム | |
WO2024047997A1 (ja) | 文書分析装置、及び文書分析用プログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20221207 |
|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20221207 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20231114 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20231206 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20240305 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20240318 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 7468655 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |