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

 

Novel Analysis of Transition Probabilities in Randomized K-Sat Algorithm

google+
Views: 14                 

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

  • Anomaly Detection In Telecom Billing Using Self-supervised Learning
  • Lashlens: Intelligent System Recommending Makeup For The Eye Lashes
  • Deep Learning Aided Software Vulnerability Detection: A Survey
  • Business And Technical Requirements Of Software-as-a-service: Implications In Portuguese Enterprise Business Context

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