@article{oai:nagoya.repo.nii.ac.jp:00010822, author = {小野, 孝男 and 平田, 富夫 and 浅野, 孝夫}, issue = {9}, journal = {電子情報通信学会論文誌}, month = {Sep}, note = {充足最大化問題(MAX SAT)とは正の重みの付いた節の集合が与えられたときに,充足する節の重みの和を最大にする変数への真理値の割当てを求める問題である.本論文では MAX SATに対してJohnsonのアルゴリズムとGoemans-Williamsonの近似アルゴリズムを組み合わせた近似アルゴリズムを考え,得られる解に摂動を加えることで0.7685-近似アルゴリズムが得られることを示す.}, pages = {1107--1111}, title = {摂動法によるMAX SAT近似アルゴリズムの改良}, volume = {J81-D}, year = {1998} }