scholarly journals Improved exact algorithms for mildly sparse instances of Max SAT

2017 ◽  
Vol 697 ◽  
pp. 58-68
Author(s):  
Takayuki Sakai ◽  
Kazuhisa Seto ◽  
Suguru Tamaki ◽  
Junichi Teruyama
Keyword(s):  
Exact Algorithms ◽  
Max Sat

scholarly journals Improved exact algorithms for MAX-SAT

2004 ◽  
Vol 142 (1-3) ◽  
pp. 17-27 ◽  
Author(s):  
Jianer Chen ◽  
Iyad A Kanj
Keyword(s):  
Exact Algorithms ◽  
Max Sat

scholarly journals Exact Algorithms for MAX-SAT

2003 ◽  
Vol 86 (1) ◽  
pp. 190-203 ◽  
Author(s):  
Hantao Zhang ◽  
Haiou Shen ◽  
Felip Manyà
Keyword(s):  
Exact Algorithms ◽  
Max Sat

Efficient Computation of Representative Families with Applications in Parameterized and Exact Algorithms

2016 ◽  
Vol 63 (4) ◽  
pp. 1-60 ◽  
Author(s):  
Fedor V. Fomin ◽  
Daniel Lokshtanov ◽  
Fahad Panolan ◽  
Saket Saurabh
Keyword(s):  
Exact Algorithms ◽  
Efficient Computation

Efficient Directed Densest Subgraph Discovery

2021 ◽  
Vol 50 (1) ◽  
pp. 33-40
Author(s):  
Chenhao Ma ◽  
Yixiang Fang ◽  
Reynold Cheng ◽  
Laks V.S. Lakshmanan ◽  
Wenjie Zhang ◽  
...  
Keyword(s):  
Approximation Algorithms ◽  
State Of The Art ◽  
Exact Algorithms ◽  
Large Datasets ◽  
Dense Subgraph ◽  
Extensive Evaluation ◽  
Wide Range ◽  
Edge Graph ◽  
Community Mining ◽  
Densest Subgraph

Given a directed graph G, the directed densest subgraph (DDS) problem refers to the finding of a subgraph from G, whose density is the highest among all the subgraphs of G. The DDS problem is fundamental to a wide range of applications, such as fraud detection, community mining, and graph compression. However, existing DDS solutions suffer from efficiency and scalability problems: on a threethousand- edge graph, it takes three days for one of the best exact algorithms to complete. In this paper, we develop an efficient and scalable DDS solution. We introduce the notion of [x, y]-core, which is a dense subgraph for G, and show that the densest subgraph can be accurately located through the [x, y]-core with theoretical guarantees. Based on the [x, y]-core, we develop both exact and approximation algorithms. We have performed an extensive evaluation of our approaches on eight real large datasets. The results show that our proposed solutions are up to six orders of magnitude faster than the state-of-the-art.

scholarly journals Secure the IoT Networks as Epidemic Containment Game

Symmetry ◽  
2021 ◽  
Vol 13 (2) ◽  
pp. 156
Author(s):  
Juntao Zhu ◽  
Hong Ding ◽  
Yuchen Tao ◽  
Zhen Wang ◽  
Lanping Yu
Keyword(s):  
Heuristic Algorithms ◽  
Heuristic Method ◽  
Exact Algorithms ◽  
Epidemic Threshold ◽  
Solution Quality ◽  
Sis Model ◽  
Linear Programming Formulation ◽  
Iot Devices ◽  
General Graphs ◽  
The Internet Of Things

The spread of a computer virus among the Internet of Things (IoT) devices can be modeled as an Epidemic Containment (EC) game, where each owner decides the strategy, e.g., installing anti-virus software, to maximize his utility against the susceptible-infected-susceptible (SIS) model of the epidemics on graphs. The EC game’s canonical solution concepts are the Minimum/Maximum Nash Equilibria (MinNE/MaxNE). However, computing the exact MinNE/MaxNE is NP-hard, and only several heuristic algorithms are proposed to approximate the MinNE/MaxNE. To calculate the exact MinNE/MaxNE, we provide a thorough analysis of some special graphs and propose scalable and exact algorithms for general graphs. Especially, our contributions are four-fold. First, we analytically give the MinNE/MaxNE for EC on special graphs based on spectral radius. Second, we provide an integer linear programming formulation (ILP) to determine MinNE/MaxNE for the general graphs with the small epidemic threshold. Third, we propose a branch-and-bound (BnB) framework to compute the exact MinNE/MaxNE in the general graphs with several heuristic methods to branch the variables. Fourth, we adopt NetShiled (NetS) method to approximate the MinNE to improve the scalability. Extensive experiments demonstrate that our BnB algorithm can outperform the naive enumeration method in scalability, and the NetS can improve the scalability significantly and outperform the previous heuristic method in solution quality.

Sign in / Sign up

Export Citation Format

Share Document