文献

J-GLOBAL ID：201702265121954609   整理番号：17A0180836

Vemaque kクリークと最大クリーク問題の検証可能な遠隔計算近似【Powered by NICT】

Vemaque: Approximately verifiable remote computation of k-clique and maximum clique problems

著者 (3件)： Samarawickrama R.G.L.M (University of Colombo School of Computing, Sri Lanka) ,  Ranasinghe D. N. (University of Colombo School of Computing, Sri Lanka) ,  Sritharan T. (University of Colombo School of Computing, Sri Lanka)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2016  号： ICTer  ページ： 124-131  発行年： 2016年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： クライアントがタスクの計算を委任他の関係者にする必要がある場合,しばしば結果であることを関係者から戻ったを確認し,計算の全体を再実行せずに要求があるであろう。検証可能な遠隔計算に関する最近の研究は,実用に近いそれを解くことによりこの問題に顕著な進歩を遂げた。しかしこのような研究は,線形計算のような計算の制限されたクラスを取り入れただけである。このギャップの解決に向けて,本論文ではVemaque,以前の研究では解らない二NP完全計算(k-clique問題と最大クリーク問題)を検証近似的にシステムを提案した。実験結果はVemaqueは検証の98%以上の精度と確率的証明システムを用いた妥当な性能を達成したことを示した。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： *近似法 ,  線形性
準シソーラス用語： *最大クリーク問題 , 【Automatic Indexing@JST】

分類 (2件)： グラフ理論基礎  (IA02020S) ,  計算理論  (JB02000A)

タイトルに関連する用語 (5件)： クリーク ,  最大クリーク問題 ,  検証 ,  計算 ,  近似