English
Related papers

Related papers: Phase transition for cutting-plane approach to ver…

200 papers

We investigate the gap between theory and practice for exact branching algorithms. In theory, branch-and-reduce algorithms currently have the best time complexity for numerous important problems. On the other hand, in practice,…

Data Structures and Algorithms · Computer Science 2014-11-12 Takuya Akiba , Yoichi Iwata

Counting the solution number of combinational optimization problems is an important topic in the study of computational complexity, especially on the #P-complete complexity class. In this paper, we first investigate some organizations of…

Computational Complexity · Computer Science 2015-06-19 Wei Wei , Renquan Zhang , Baolong Niu , Binghui Guo , Zhiming Zheng

We consider a natural generalization of the Partial Vertex Cover problem. Here an instance consists of a graph G = (V,E), a positive cost function c: V-> Z^{+}, a partition $P_1,..., P_r$ of the edge set $E$, and a parameter $k_i$ for each…

Data Structures and Algorithms · Computer Science 2015-03-19 Suman Kalyan Bera , Shalmoli Gupta , Amit Kumar , Sambuddha Roy

The phylogenetic tree construction is to infer the evolutionary relationship between species from the experimental data. However, the experimental data are often imperfect and conflicting each others. Therefore, it is important to extract…

Artificial Intelligence · Computer Science 2007-05-23 Andy Auyeung , Ajith Abraham

Typical-case computation complexity is a research topic at the boundary of computer science, applied mathematics, and statistical physics. In the last twenty years the replica-symmetry-breaking mean field theory of spin glasses and the…

Disordered Systems and Neural Networks · Physics 2014-06-17 Jin-Hua Zhao , Hai-Jun Zhou

In this paper, we study two generalizations of Vertex Cover and Edge Cover, namely Colorful Vertex Cover and Colorful Edge Cover. In the Colorful Vertex Cover problem, given an $n$-vertex edge-colored graph $G$ with colors from $\{1,…

Data Structures and Algorithms · Computer Science 2023-08-31 Sayan Bandyapadhyay , Aritra Banik , Sujoy Bhore

This work introduces two techniques for the design and analysis of branching algorithms, illustrated through the case study of the Vertex Cover problem. First, we present a method for automatically generating branching rules through a…

Data Structures and Algorithms · Computer Science 2025-10-13 Katie Clinch , Serge Gaspers , Tao Zixu He , Simon Mackenzie , Tiankuang Zhang

In this paper we tackle the problem of persistently covering a complex non-convex environment with a team of robots. We consider scenarios where the coverage quality of the environment deteriorates with time, requiring to constantly revisit…

Robotics · Computer Science 2024-01-25 José Manuel Palacios-Gasós , Danilo Tardioli , Eduardo Montijano , Carlos Sagüés

The vertex cover problem is a fundamental and widely studied combinatorial optimization problem. It is known that its standard linear programming relaxation is integral for bipartite graphs and half-integral for general graphs. As a…

Data Structures and Algorithms · Computer Science 2023-07-28 Danish Kashaev , Guido Schäfer

The paper presents an algorithm for minimum vertex cover problem, which is an NP-Complete problem. The algorithm computes a minimum vertex cover of each input simple graph. Tested by the attached MATLAB programs, Stage 1 of the algorithm is…

Discrete Mathematics · Computer Science 2016-10-30 Gang Hu

We consider a natural variant of the Erd\H{o}s-R\'enyi random graph process in which $k$ vertices are special and are never put into the same connected component. The model is natural and interesting on its own, but is actually inspired by…

Combinatorics · Mathematics 2018-06-29 Adam Logan , Mike Molloy , Pawel Pralat

A common approach for designing scalable algorithms for massive data sets is to distribute the computation across, say $k$, machines and process the data using limited communication between them. A particularly appealing framework here is…

Data Structures and Algorithms · Computer Science 2017-05-24 Sepehr Assadi , Sanjeev Khanna

We consider the Vertex Cover problem in intersection graphs of axis-parallel rectangles on the plane. We present two algorithms: The first is an EPTAS for non-crossing rectangle families, rectangle families $\calR$ where $R_1 \setminus R_2$…

Data Structures and Algorithms · Computer Science 2010-01-20 Reuven Bar-Yehuda , Danny Hermelin , Dror Rawitz

Optimization problems consist of either maximizing or minimizing an objective function. Instead of looking for a maximum solution (resp. minimum solution), one can find a minimum maximal solution (resp. maximum minimal solution). Such…

Data Structures and Algorithms · Computer Science 2018-11-08 Kaveh Khoshkhah , Mehdi Khosravian Ghadikolaei , Jerome Monnot , Florian Sikora

In this paper we show that the problem of identifying an edge $(i,j)$ in a graph $G$ such that there exists an optimal vertex cover $S$ of $G$ containing exactly one of the nodes $i$ and $j$ is NP-hard. Such an edge is called a weak edge.…

Data Structures and Algorithms · Computer Science 2007-12-21 Qiaoming Han , Abraham P. Punnen

Temporal graphs naturally model graphs whose underlying topology changes over time. Recently, the problems TEMPORAL VERTEX COVER (or TVC) and SLIDING-WINDOW TEMPORAL VERTEX COVER(or $\Delta$-TVC for time-windows of a fixed-length $\Delta$)…

Data Structures and Algorithms · Computer Science 2024-03-22 Thekla Hamm , Nina Klobas , George B. Mertzios , Paul G. Spirakis

Capacitated Vertex Cover is the hard-capacitated variant of Vertex Cover: given a graph, a capacity for every vertex, and an integer $k$, the task is to select at most $k$ vertices that cover all edges and assign each edge to one of its…

Data Structures and Algorithms · Computer Science 2026-04-22 Michael Lampis , Manolis Vasilakis

Most optimization problems are notoriously hard. Considerable efforts must be spent in obtaining an optimal solution to certain instances that we encounter in the real world scenarios. Often it turns out that input instances get modified…

Data Structures and Algorithms · Computer Science 2019-04-25 Mehul Kumar , Amit Kumar , C. Pandu Rangan

Eternal vertex cover problem is a variant of the classical vertex cover problem modeled as a two player attacker-defender game. Computing eternal vertex cover number of graphs is known to be NP-hard in general and the complexity status of…

Discrete Mathematics · Computer Science 2022-01-19 Jasine Babu , K. Murali Krishnan , Veena Prabhakaran , Nandini J. Warrier

Modern, inherently dynamic systems are usually characterized by a network structure, i.e. an underlying graph topology, which is subject to discrete changes over time. Given a static underlying graph $G$, a temporal graph can be represented…

Computational Complexity · Computer Science 2019-08-13 Eleni C. Akrida , George B. Mertzios , Paul G. Spirakis , Viktor Zamaraev