English
Related papers

Related papers: Linear Time LexDFS on Cocomparability Graphs

200 papers

Multi-Agent Path Finding in Continuous Time (\mapfr) extends the classical MAPF problem by allowing agents to operate in continuous time. Conflict-Based Search with Continuous Time (CCBS) is a foundational algorithm for solving \mapfr…

Multiagent Systems · Computer Science 2025-08-29 Andy Li , Zhe Chen , Danial Harabor , Mor Vered

Graph-based ranking methods, such as LexRank, are fundamental in Natural Language Processing (NLP) applications like text summarization, as they measure the relative importance of textual units. Building on recent advances in ranking…

Optimization and Control · Mathematics 2025-09-10 Anna Timonina-Farkas

We introduce a logic called distance neighborhood logic with acyclicity and connectivity constraints ($\mathsf{A\&C~DN}$ for short) which extends existential $\mathsf{MSO_1}$ with predicates for querying neighborhoods of vertex sets and for…

Data Structures and Algorithms · Computer Science 2022-12-09 Benjamin Bergougnoux , Jan Dreier , Lars Jaffke

We prove that the combinatorial Weisfeiler-Leman algorithm of dimension $(3k+4)$ is a complete isomorphism test for the class of all graphs of rank width at most $k$. Rank width is a graph invariant that, similarly to tree width, measures…

Data Structures and Algorithms · Computer Science 2023-05-30 Martin Grohe , Daniel Neuen

There is substantial literature dealing with fixed parameter algorithms for the dominating set problem on various families of graphs. In this paper, we give a $k^{O(dk)} n$ time algorithm for finding a dominating set of size at most $k$ in…

Data Structures and Algorithms · Computer Science 2008-12-18 Noga Alon , Shai Gutner

We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the…

Data Structures and Algorithms · Computer Science 2014-07-09 Bruno Courcelle , Cyril Gavoille , Mamadou Moustapha Kanté

Graph isomorphism problem is a known hard problem. In this paper, a novel randomized algorithm is proposed for this problem which is very simple and fast. It solves the graph isomorphism problem with running time O(n^2.373) for any pair of…

Combinatorics · Mathematics 2019-09-25 Ameneh Farhadian

Let ${\cal G}$ be a minor-closed graph class and let $G$ be an $n$-vertex graph. We say that $G$ is a $k$-apex of ${\cal G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to ${\cal G}$. Our first result…

Data Structures and Algorithms · Computer Science 2024-08-14 Laure Morelle , Ignasi Sau , Giannos Stamoulis , Dimitrios M. Thilikos

We present a factor $14D^2$ approximation algorithm for the minimum linear arrangement problem on series-parallel graphs, where $D$ is the maximum degree in the graph. Given a suitable decomposition of the graph, our algorithm runs in time…

Discrete Mathematics · Computer Science 2014-10-17 Martina Eikel , Christian Scheideler , Alexander Setzer

We prove that given any $\alpha$-approximation LOCAL algorithm for Minimum Dominating Set (MDS) on planar graphs, we can construct an $f(g)$-round $(3\alpha+1)$-approximation LOCAL algorithm for MDS on graphs embeddable in a given Euler…

Distributed, Parallel, and Cluster Computing · Computer Science 2026-05-20 Marthe Bonamy , Avinandan Das , Cyril Gavoille , Timothé Picavet , Jukka Suomela , Alexandra Wesolek

Subgraph matching is a fundamental problem in graph analysis with a wide range of applications. However, due to its inherent NP-hardness, enumerating subgraph matches efficiently on large real-world graphs remains highly challenging. Most…

Databases · Computer Science 2026-03-11 Linglin Yang , Xunbin Su , Lei Zou , Xiangyang Gou , Yinnian Lin

Given a graph $G$, and terminal vertices $s$ and $t$, the TRACKING PATHS problem asks to compute a minimum number of vertices to be marked as trackers, such that the sequence of trackers encountered in each s-t path is unique. TRACKING…

Data Structures and Algorithms · Computer Science 2020-02-19 Pratibha Choudhary

We present the first near optimal approximation schemes for the maximum weighted (uncapacitated or capacitated) $b$--matching problems for non-bipartite graphs that run in time (near) linear in the number of edges. For any…

Data Structures and Algorithms · Computer Science 2018-06-19 Kook Jin Ahn , Sudipto Guha

We develop two different methods to achieve subexponential time parameterized algorithms for problems on sparse directed graphs. We exemplify our approaches with two well studied problems. For the first problem, {\sc $k$-Leaf…

Data Structures and Algorithms · Computer Science 2010-01-07 Frederic Dorn , Fedor V. Fomin , Daniel Lokshtanov , Venkatesh Raman , Saket Saurabh

In this paper we focus on the following constrained reachability problem over edge-labeled graphs like RDF -- "given source node x, destination node y, and a sequence of edge labels (a, b, c, d), is there a path between the two nodes such…

Databases · Computer Science 2012-03-14 Medha Atre , Vineet Chaoji , Mohammed J. Zaki

This short note provides space-efficient linear time algorithms for computing bridges, topological sorting, and strongly connected components improving on several recent results of Elmasry et al. [STACS'15], Banerjee et al. [COCOON'16] and…

Data Structures and Algorithms · Computer Science 2017-12-12 Sankardeep Chakraborty , Seungbum Jo , Srinivasa Rao Satti

In algorithmic graph theory, a classic open question is to determine the complexity of the Maximum Independent Set problem on $P_t$-free graphs, that is, on graphs not containing any induced path on $t$ vertices. So far, polynomial-time…

Data Structures and Algorithms · Computer Science 2018-04-12 Gábor Bacsó , Daniel Lokshtanov , Dániel Marx , Marcin Pilipczuk , Zsolt Tuza , Erik Jan van Leeuwen

We present new refinement heuristics for the balanced graph partitioning problem that break with an age-old rule. Traditionally, local search only permits moves that keep the block sizes balanced (below a size constraint). In this work, we…

Social and Information Networks · Computer Science 2025-05-13 Nikolai Maas , Lars Gottesbüren , Daniel Seemaier

Depth-first search (DFS) is the basis for many efficient graph algorithms. We introduce general techniques for the efficient implementation of DFS-based graph algorithms and exemplify them on three algorithms for computing strongly…

Data Structures and Algorithms · Computer Science 2017-03-30 Kurt Mehlhorn , Stefan Näher , Peter Sanders

Many fixed-parameter tractable algorithms using a bounded search tree have been repeatedly improved, often by describing a larger number of branching rules involving an increasingly complex case analysis. We introduce a novel and general…

Discrete Mathematics · Computer Science 2015-05-19 James Nastos , Yong Gao
‹ Prev 1 8 9 10 Next ›