部分ぶぶん問題もんだい

出典しゅってん: フリー百科ひゃっか事典じてん『ウィキペディア(Wikipedia)』

部分ぶぶん問題もんだい(ぶぶんわもんだい)は、計算けいさん複雑ふくざつせい理論りろん暗号あんごう理論りろんにおける問題もんだいで、あたえられた n 整数せいすう a1,...,an から部分ぶぶん集合しゅうごうをうまくえらんで、その集合しゅうごうないかずあたえられたかず Nひとしくなるようにできるかどうかを判定はんていする問題もんだいである。NP完全かんぜんであることがられている。

部分ぶぶん問題もんだいは、分割ぶんかつ問題もんだい (Number Partitioning) の一般いっぱんがたでもある。分割ぶんかつ問題もんだいとは、あたえられた n 整数せいすう a1,...,anふたつの集合しゅうごうけ、各々おのおの集合しゅうごうないかずがもう一方いっぽう集合しゅうごうないかずひとしくなるようにできるかどうかを判定はんていする問題もんだいである。分割ぶんかつ問題もんだいも、NP完全かんぜんであることがしめされている。

たとえば、「{1,3,7,10,13} の部分ぶぶんやわで、が 21 になるものは存在そんざいするか?」であれば存在そんざいする({1,7,13}である)、がこたえである。また「{2,4,6,8,10} の部分ぶぶんやわで、が 19 になるものは存在そんざいするか?」であれば、存在そんざいしない(どんな部分ぶぶん偶数ぐうすうにしかならない)、がこたえである。


部分ぶぶん問題もんだいは、ナップサック問題もんだいふくまれるため、動的どうてき計画けいかくほうひとし手法しゅほうくことができる。(くわしくは、ナップサック問題もんだいこう参照さんしょう。)