Search Paper
  • Home
  • Login
  • Categories
  • Post URL
  • Academic Resources
  • Contact Us

 

Novel Analysis of Transition Probabilities in Randomized K-Sat Algorithm

google+
Views: 46                 

Author :  Abolfazl Javan

Affiliation :  University of Tehran, Iran

Country :  Iran

Category :  Computer Science & Information Technology

Volume, Issue, Month, Year :  04, 06, November, 2014

Abstract :


In this paper, we propose a new analysis for randomized 2-SAT and 3-SAT algorithms, and show that we could determine more precise boundaries for transition probability of Markov chain using Karnaugh map. In our analysis we will show the probability that the selected literal has been flipped correctly is so close to 2 3 and 4 7 , respectively for 2-SAT and 3-SAT with large number of variables. Then we will extend our result to k-SAT and show that both transition probability of Markov chain in randomized algorithm for kSAT approaches to 0.5. Finally we use this result to determine the probability and complexity of finding the satisfying assignment for randomized k-SAT algorithm. It will be shown that the probability of finding satisfying assignment and its complexity respectively are within a polynomial factor of (0.9272 ) n and (1.0785 ) n for satisfiable 3-SAT with n variables (for n   ).

Keyword :  SAT, random walk, satisfiability, Markov chain, Karnaugh map

Journal/ Proceedings Name :  computer science and information technology

URL :  https://wireilla.com/papers/ijfcst/V4N6/4614ijfcst01.pdf

User Name : Devino
Posted 08-07-2026 on 17:31:45 AEDT



Related Research Work

  • Brain Information Processing Analysis Using Artificial Intelligence Methods
  • Design And Implementation Of Automated Visualization For Input/output For Processes In Sofl Formal Specifications
  • July 2026: Top 10 Download Article In Computer Science, Engineering And Applications
  • Pilgrimage (hajj) Crowd Management Using Agent-based Method

About Us | Post Cfp | Share URL Main | Share URL category | Post URL
All Rights Reserved @ Call for Papers - Conference & Journals