Inicio  /  Algorithms  /  Vol: 14 Par: 1 (2021)  /  Artículo
ARTÍCULO
TITULO

A Dynamic Clause Specific Initial Weight Assignment for Solving Satisfiability Problems Using Local Search

Abdelraouf Ishtaiwi    
Feda Alshahwan    
Naser Jamal    
Wael Hadi and Muhammad AbuArqoub    

Resumen

For decades, the use of weights has proven its superior ability to improve dynamic local search weighting algorithms? overall performance. This paper proposes a new mechanism where the initial clause?s weights are dynamically allocated based on the problem?s structure. The new mechanism starts by examining each clause in terms of its size and the extent of its link, and its proximity to other clauses. Based on our examination, we categorized the clauses into four categories: (1) clauses small in size and linked with a small neighborhood, (2) clauses small in size and linked with a large neighborhood, (3) clauses large in size and linked with a small neighborhood, and (4) clauses large in size and linked with a large neighborhood. Then, the initial weights are dynamically allocated according to each clause category. To examine the efficacy of the dynamic initial weight assignment, we conducted an extensive study of our new technique on many problems. The study concluded that the dynamic allocation of initial weights contributes significantly to improving the search process?s performance and quality. To further investigate the new mechanism?s effect, we compared the new mechanism with the state-of-the-art algorithms belonging to the same family in terms of using weights, and it was clear that the new mechanism outperformed the state-of-the-art clause weighting algorithms. We also show that the new mechanism could be generalized with minor changes to be utilized within the general-purpose stochastic local search state-of-the-art weighting algorithms.

 Artículos similares

       
 
Maksym Diachuk and Said M. Easa    
The paper presents a technique of motion planning for autonomous vehicles (AV) based on simultaneous trajectory and speed optimization. The method includes representing the trajectory by a finite element (FE), determining trajectory parameters in Frenet ... ver más
Revista: Applied Sciences

 
Shitu Chen, Ling Feng, Xuteng Bao, Zhe Jiang, Bowen Xing and Jingxiang Xu    
Path planning is crucial for unmanned surface vehicles (USVs) to navigate and avoid obstacles efficiently. This study evaluates and contrasts various USV path-planning algorithms, focusing on their effectiveness in dynamic obstacle avoidance, resistance ... ver más

 
Anqing Wang, Longwei Li, Haoliang Wang, Bing Han and Zhouhua Peng    
In this paper, a swarm trajectory-planning method is proposed for multiple autonomous surface vehicles (ASVs) in an unknown and obstacle-rich environment. Specifically, based on the point cloud information of the surrounding environment obtained from loc... ver más

 
Tianlong Li, Tao Zhang and Wenhua Li    
This paper presents a two-step approach for optimizing the configuration of a mobile photovoltaic-diesel-storage microgrid system. Initially, we developed a planning configuration model to ensure a balance between the mobility of components and a sustain... ver más
Revista: Applied Sciences

 
Jie Zhang, Qiao Wang, Paul Mitchell and Hamed Ahmadi    
Integrated access and backhaul (IAB) networks offer transformative benefits, primarily their deployment flexibility in locations where fixed backhaul faces logistical or financial challenges. This flexibility is further enhanced by IAB?s inherent ability... ver más
Revista: Information