|
Trudy Instituta Matematiki i Mekhaniki UrO RAN, 2013, Volume 19, Number 2, Pages 285–294
(Mi timm954)
|
|
|
|
This article is cited in 8 scientific papers (total in 8 papers)
Hybrid method for the approximate solution of the $3$-satisfiability problem associated with the factorization problem
R. T. Faizullina, V. I. Dul'keitb, Yu. Yu. Ogorodnikovc a Omsk State Technical University
b LuxSoft
c Omsk State University
Abstract:
We consider a hybrid method for the approximate solution of the $3$-satisfiability problem associated with the factorization problem. The method consists of two stages: a segment genetic algorithm and the method of successive approximations. We propose a method for finding most probable bits of the solution. The method consists of several independent tests and makes it possible to approach the convergence domain of the hybrid method and determine several bits of the factors.
Keywords:
satisfiability problem, factorization, segment genetic algorithm, minimization.
Received: 10.02.2013
Citation:
R. T. Faizullin, V. I. Dul'keit, Yu. Yu. Ogorodnikov, “Hybrid method for the approximate solution of the $3$-satisfiability problem associated with the factorization problem”, Trudy Inst. Mat. i Mekh. UrO RAN, 19, no. 2, 2013, 285–294
Linking options:
https://www.mathnet.ru/eng/timm954 https://www.mathnet.ru/eng/timm/v19/i2/p285
|
Statistics & downloads: |
Abstract page: | 400 | Full-text PDF : | 113 | References: | 84 | First page: | 20 |
|