Algorithms for Formula Manipulation Based upon Hashing Technique and their Applications to Pseudo-Boolean Programming

情報処理学会

この論文をさがす

説明

We propose algorithms for formula manipulation of Boolean functions and pseudo-Boolean functions. They are based on hashing technique and take Ｏ(m) computation time where in is the number of terms involved in the function being processed. The performance of the algorithms is verified through some experiments. They are found to be successfully applicable to the pseudo-Boolean programming algorithm.

We propose algorithms for formula manipulation of Boolean functions and pseudo-Boolean functions. They are based on hashing technique and take Ｏ(m) computation time, where in is the number of terms involved in the function being processed. The performance of the algorithms is verified through some experiments. They are found to be successfully applicable to the pseudo-Boolean programming algorithm.

収録刊行物

詳細情報 詳細情報について

問題の指摘

ページトップへ