期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2008
卷号：8
期号：8
页码：247-254
出版社：International Journal of Computer Science and Network Security
摘要：Recent biological researches have corroborated that gene sequence variants has a rule for the development and progression of common diseases. Some technological constraints restricts us from collecting haplotype data directly, instead we collect genotype data. To infer haplotype data from genotype data, Haplotype Inference By Pure Parsimony which minimizes the number of distinct haplotypes to explain certain number of genotype, is a good option. HIPP can be reduced to equivalent boolean satisfiablity problem. The performance of this approach depends the choice of branching rules and preprocessing steps dramatically. In this paper, we experiment on different combination of preprocessing choices and branching rules of SAT solver. This paper proposes a solution to the HIPP problem, based on this SAT model implemented on a distributed environment. Keeping the complexity of the search problem in mind, we developed SAT solver on distributed environment. And at the upshot of our work, we tested some problem instances under the combination of six branching rules and three pre-processing to give the decision which variant of the SAT model is best for HIPP.
关键词：haplotype inference by pure parsimony, HIPP, SAT solver, distributed environment
