English
Related papers

Related papers: Tight Algorithm for Connected Odd Cycle Transversa…

200 papers

Width parameterizations of SAT, such as tree-width and path-width, enable the study of computationally more tractable and practical SAT instances. We give two simple algorithms. One that runs simultaneously in time-space…

Computational Complexity · Computer Science 2011-08-12 Shiteng Chen , Tiancheng Lou , Periklis Papakonstantinou , Bangsheng Tang

The maximum/minimum bisection problems are, given an edge-weighted graph, to find a bipartition of the vertex set into two sets whose sizes differ by at most one, such that the total weight of edges between the two sets is…

Data Structures and Algorithms · Computer Science 2020-09-17 Tesshu Hanaka , Yasuaki Kobayashi , Taiga Sone

There has been great interest in identifying tractable subclasses of NP complete problems and designing efficient algorithms for these tractable classes. Constraint satisfaction and Bayesian network inference are two examples of such…

Artificial Intelligence · Computer Science 2012-12-12 Yong Gao

We investigate the parameterized complexity of the Isometric Path Partition problem when parameterized by the treewidth ($\mathrm{tw}$) of the input graph, arguably one of the most widely studied parameters. Courcelle's theorem shows that…

Data Structures and Algorithms · Computer Science 2025-09-23 Dibyayan Chakraborty , Oscar Defrain , Florent Foucaud , Mathieu Mari , Prafullkumar Tale

Structural measures of graphs, such as treewidth, are central tools in computational complexity resulting in efficient algorithms when exploiting the parameter. It is even known that modern SAT solvers work efficiently on instances of small…

Artificial Intelligence · Computer Science 2025-11-17 Yasir Mahmood , Markus Hecher , Johanna Groven , Johannes K. Fichte

In this note, we investigate listing cliques of arbitrary sizes in bandwidth-limited, dynamic networks. The problem of detecting and listing triangles and cliques was originally studied in great detail by Bonne and Censor-Hillel (ICALP…

Data Structures and Algorithms · Computer Science 2022-12-27 Quanquan C. Liu

We introduce a framework for proving lower bounds on computational problems over distributions against algorithms that can be implemented using access to a statistical query oracle. For such algorithms, access to the input distribution is…

Computational Complexity · Computer Science 2016-08-16 Vitaly Feldman , Elena Grigorescu , Lev Reyzin , Santosh Vempala , Ying Xiao

We prove that with high probability over the choice of a random graph $G$ from the Erd\H{o}s-R\'enyi distribution $G(n,1/2)$, the $n^{O(d)}$-time degree $d$ Sum-of-Squares semidefinite programming relaxation for the clique problem will give…

Computational Complexity · Computer Science 2016-04-13 Boaz Barak , Samuel B. Hopkins , Jonathan Kelner , Pravesh K. Kothari , Ankur Moitra , Aaron Potechin

The Odd Cycle Transversal problem (OCT) asks whether a given graph can be made bipartite by deleting at most $k$ of its vertices. In a breakthrough result Reed, Smith, and Vetta (Operations Research Letters, 2004) gave a $\BigOh(4^kkmn)$…

Data Structures and Algorithms · Computer Science 2015-03-19 Stefan Kratsch , Magnus Wahlström

The clique-width is a measure of complexity of decomposing graphs into certain tree-like structures. The class of graphs with bounded clique-width contains bounded tree-width graphs. We give a polynomial time graph isomorphism algorithm for…

Computational Complexity · Computer Science 2016-04-29 Bireswar Das , Murali Krishna Enduri , I. Vinod Reddy

We study the fine-grained complexity of graph connectivity problems in unweighted undirected graphs. Recent development shows that all variants of edge connectivity problems, including single-source-single-sink, global, Steiner,…

Data Structures and Algorithms · Computer Science 2023-04-18 Zhiyi Huang , Yaowei Long , Thatchaphol Saranurak , Benyu Wang

A new bound on the minimum distance of q-ary cyclic codes is proposed. It is based on the description by another cyclic code with small minimum distance. The connection to the BCH bound and the Hartmann--Tzeng (HT) bound is formulated…

Information Theory · Computer Science 2012-09-03 Alexander Zeh , Sergey Bezzateev

We give unconditional parameterized complexity lower bounds on pure dynamic programming algorithms - as modeled by tropical circuits - for connectivity problems such as the Traveling Salesperson Problem. Our lower bounds are higher than the…

Computational Complexity · Computer Science 2025-12-30 Kacper Kluk , Jesper Nederlof

Reachability is the problem of deciding whether there is a path from one vertex to the other in the graph. Standard graph traversal algorithms such as DFS and BFS take linear time to decide reachability however their space complexity is…

Computational Complexity · Computer Science 2019-02-06 Rahul Jain , Raghunath Tewari

We study the power of the bounded-width consistency algorithm in the context of the fixed-template Promise Constraint Satisfaction Problem (PCSP). Our main technical finding is that the template of every PCSP that is solvable in bounded…

Computational Complexity · Computer Science 2021-07-14 Albert Atserias , Víctor Dalmau

We study the possibility of designing $N^{o(1)}$-round protocols for problems of substantially super-linear polynomial-time (sequential) complexity on the congested clique with about $N^{1/2}$ nodes, where $N$ is the input size. We show…

Distributed, Parallel, and Cluster Computing · Computer Science 2024-12-24 Andrzej Lingas

The recently introduced graph parameter tree-cut width plays a similar role with respect to immersions as the graph parameter treewidth plays with respect to minors. In this paper, we provide the first algorithmic applications of tree-cut…

Data Structures and Algorithms · Computer Science 2022-06-03 Robert Ganian , Eun Jung Kim , Stefan Szeider

We are interested in computing the treewidth $\tw(G)$ of a given graph $G$. Our approach is to design heuristic algorithms for computing a sequence of improving upper bounds and a sequence of improving lower bounds, which would hopefully…

Data Structures and Algorithms · Computer Science 2022-02-17 Hisao Tamaki

Many variants of Optimal Transport (OT) have been developed to address its heavy computation. Among them, notably, Sliced Wasserstein (SW) is widely used for application domains by projecting the OT problem onto one-dimensional lines, and…

Machine Learning · Computer Science 2025-06-10 Viet-Hoang Tran , Trang Pham , Tho Tran , Minh Khoi Nguyen Nhat , Thanh Chu , Tam Le , Tan M. Nguyen

In the Vertex Planarization problem one asks to delete the minimum possible number of vertices from an input graph to obtain a planar graph. The parameterized complexity of this problem, parameterized by the solution size (the number of…

Data Structures and Algorithms · Computer Science 2015-11-30 Marcin Pilipczuk
‹ Prev 1 3 4 5 6 7 10 Next ›