| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2025-12-12 10:50 一般化均衡に対する非協調的合理合成の計算複雑さ ○高田喜朗（高知工科大）・関 浩之（武庫川女子大）  SS2025-29 |
|
| 抄録 | （和） | 利用者や通信相手等の制御できないプレイヤとの相互作用を考慮して, 仕様を満たす状態機械が合成可能か否か答える, 非協調的合理合成問題 (NCRSP) を扱う. プレイヤの合理的な挙動は均衡という概念で表される. Nash均衡 (NE) がよく知られているが, セキュア均衡 (SE), doomsday均衡 (DE) 等の改良も提案されている. 著者らは以前, NE, SE, DEをすべて表現可能な一般化均衡を提案した. 本研究では，一般化均衡に対するNCRSPの計算複雑さを考察する. |
| （英） | This paper concerns with the non-cooperative rational synthesis problem (NCRSP), which answers whether or not a state-transition model satisfying a given specification can be synthesized, while considering the interaction between the synthesized system and uncontrollable entities such as human users and other companies' systems. In this problem, the rational behavior of uncontrollable entities is represented by the concept called an equilibrium. Nash equilibria (NE) is a well-known equilibrium concept. Some refinements of NE such as secure equilibria (SE) and doomsday equilibria (DE) have been proposed. The authors have proposed generalized equilibrium that includes NE, SE, and DE as special cases. In this paper, we investigate the computational complexity of NCRSP for the generalized equilibria. | |
| キーワード | （和） | 合理合成 / 均衡 / 計算複雑さ / / / / / |
| （英） | rational synthesis / equilibrium / computational complexity / / / / / | |
| 文献情報 | 信学技報, vol. 125, no. 288, SS2025-29, pp. 37-42, 2025年12月. | |
| 資料番号 | SS2025-29 | |
| 発行日 | 2025-12-04 (SS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | SS2025-29 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2025-12-11 - 2025-12-12 |
| 開催地（和） | 姫路商工会議所（兵庫県姫路市） |
| 開催地（英） | Himeji chamber of commerce and industry |
| テーマ（和） | ソフトウェアサイエンスおよび一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2025-12-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 一般化均衡に対する非協調的合理合成の計算複雑さ |
| サブタイトル（和） | |
| タイトル（英） | On the complexity of the non-cooperative rational synthesis for generalized equilibria |
| サブタイトル（英） | |
| キーワード(1)（和/英） | 合理合成 / rational synthesis |
| キーワード(2)（和/英） | 均衡 / equilibrium |
| キーワード(3)（和/英） | 計算複雑さ / computational complexity |
| キーワード(4)（和/英） | / |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 高田 喜朗 / Yoshiaki Takata / タカタ ヨシアキ |
| 第1著者 所属（和/英） | 高知工科大学 (略称： 高知工科大) Kochi University of Technology (略称： Kochi Univ. of Tech.) |
| 第2著者 氏名（和/英/ヨミ） | 関 浩之 / Hiroyuki Seki / セキ ヒロユキ |
| 第2著者 所属（和/英） | 武庫川女子大学 (略称： 武庫川女子大) Mukogawa Women's University (略称： Mukogawa Women's Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2025-12-12 10:50:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | SS2025-29 |
| 巻番号（vol） | vol.125 |
| 号番号（no） | no.288 |
| ページ範囲 | pp.37-42 |
| ページ数 | 6 |
| 発行日 | 2025-12-04 (SS) |
[研究会発表申込システムのトップページに戻る]