Algorithm Research & Explore
|
1406-1410

Effective conditions for warning propagation algorithm convergence on WP solvable formula

Cui Li
Wang Xiaofeng
Niu Jin
School of Computer Science & Engineering, North Minzu University, Yinchuan 750021, China

Abstract

Through the analysis of the mathematical principle of WP algorithm, it could be found that the partial variables determined by high probability are closely related to the backbone set and backdoor set of the formula. For the study of the convergence of WP-solvable formula and WP algorithm, this paper defined WP-solvable formula based on backbone set and backdoor set, and proved the convergence of the WP algorithm by using the G(n, 3, m) model and the planted distribution model, it gave the necessary and sufficient conditions for the convergence of the algorithm. Finally, it carried out the numerical experiments on the model of the planted distribution formula. The results show that if a satisfiability formula WP-solvable formula, if and only if the WP algorithm has a high probability of convergence.

Foundation Support

国家自然科学基金资助项目(61462001,61762019,61762002,11761002,61561002)
北方民族大学重点科研项目(2017KJ24,2017KJ25)
2018宁夏回族自治区重点研发计划项目(2018BEE03019)
宁夏高等学校一流学科建设(电子科学与技术学科)资助项目(NXYLXK2017A07)
北方民族大学创新项目(YCX19060)
北方民族大学校级科研一般项目(2019XYZJK05)
宁夏自然科学基金资助项目(NZ17111,2019AAC03120,2019AAC03119)

Publish Information

DOI: 10.19734/j.issn.1001-3695.2018.11.0791
Publish at: Application Research of Computers Printed Article, Vol. 37, 2020 No. 5
Section: Algorithm Research & Explore
Pages: 1406-1410
Serial Number: 1001-3695(2020)05-024-1406-05

Publish History

[2020-05-05] Printed Article

Cite This Article

崔立, 王晓峰, 牛进. WP可解公式上警示传播算法收敛的有效条件 [J]. 计算机应用研究, 2020, 37 (5): 1406-1410. (Cui Li, Wang Xiaofeng, Niu Jin. Effective conditions for warning propagation algorithm convergence on WP solvable formula [J]. Application Research of Computers, 2020, 37 (5): 1406-1410. )

About the Journal

  • Application Research of Computers Monthly Journal
  • Journal ID ISSN 1001-3695
    CN  51-1196/TP

Application Research of Computers, founded in 1984, is an academic journal of computing technology sponsored by Sichuan Institute of Computer Sciences under the Science and Technology Department of Sichuan Province.

Aiming at the urgently needed cutting-edge technology in this discipline, Application Research of Computers reflects the mainstream technology, hot technology and the latest development trend of computer application research at home and abroad in a timely manner. The main contents of the journal include high-level academic papers in this discipline, the latest scientific research results and major application results. The contents of the columns involve new theories of computer discipline, basic computer theory, algorithm theory research, algorithm design and analysis, blockchain technology, system software and software engineering technology, pattern recognition and artificial intelligence, architecture, advanced computing, parallel processing, database technology, computer network and communication technology, information security technology, computer image graphics and its latest hot application technology.

Application Research of Computers has many high-level readers and authors, and its readers are mainly senior and middle-level researchers and engineers engaged in the field of computer science, as well as teachers and students majoring in computer science and related majors in colleges and universities. Over the years, the total citation frequency and Web download rate of Application Research of Computers have been ranked among the top of similar academic journals in this discipline, and the academic papers published are highly popular among the readers for their novelty, academics, foresight, orientation and practicality.


Indexed & Evaluation

  • The Second National Periodical Award 100 Key Journals
  • Double Effect Journal of China Journal Formation
  • the Core Journal of China (Peking University 2023 Edition)
  • the Core Journal for Science
  • Chinese Science Citation Database (CSCD) Source Journals
  • RCCSE Chinese Core Academic Journals
  • Journal of China Computer Federation
  • 2020-2022 The World Journal Clout Index (WJCI) Report of Scientific and Technological Periodicals
  • Full-text Source Journal of China Science and Technology Periodicals Database
  • Source Journal of China Academic Journals Comprehensive Evaluation Database
  • Source Journals of China Academic Journals (CD-ROM Version), China Journal Network
  • 2017-2019 China Outstanding Academic Journals with International Influence (Natural Science and Engineering Technology)
  • Source Journal of Top Academic Papers (F5000) Program of China's Excellent Science and Technology Journals
  • Source Journal of China Engineering Technology Electronic Information Network and Electronic Technology Literature Database
  • Source Journal of British Science Digest (INSPEC)
  • Japan Science and Technology Agency (JST) Source Journal
  • Russian Journal of Abstracts (AJ, VINITI) Source Journals
  • Full-text Journal of EBSCO, USA
  • Cambridge Scientific Abstracts (Natural Sciences) (CSA(NS)) core journals
  • Poland Copernicus Index (IC)
  • Ulrichsweb (USA)