English
Related papers

Related papers: Recognizing Interval Bigraphs by Forbidden Pattern…

200 papers

A circular-arc graph is the intersection graph of arcs of a circle. It is a well-studied graph model with numerous natural applications. A certifying algorithm is an algorithm that outputs a certificate, along with its answer (be it…

Discrete Mathematics · Computer Science 2014-08-13 Mathew Francis , Pavol Hell , Juraj Stacho

The \emph{thinness} of a graph is a width parameter that generalizes some properties of interval graphs, which are exactly the graphs of thinness one. Graphs with thinness at most two include, for example, bipartite convex graphs. Many…

Discrete Mathematics · Computer Science 2023-10-06 Flavia Bonomo-Braberman , Gastón Abel Brito

Recently, Yamazaki et al. provided an algorithm that enumerates all non-isomorphic interval graphs on $n$ vertices with an $O(n^4)$ time delay. In this paper, we improve their algorithm and achieve $O(n^3 \log n)$ time delay. We also extend…

Combinatorics · Mathematics 2023-06-22 Patryk Mikos

In graph theory, the longest path problem is the problem of finding a simple path of maximum length in a given graph. For some small classes of graphs, the problem can be solved in polynomial time [2, 4], but it remains NP-hard on general…

Data Structures and Algorithms · Computer Science 2014-09-15 Lajos L. Pongrácz

Blocking flows, introduced by Dinic [2] for network flow, have been used to speed up many augmenting-path type algorithms, especially matching algorithms e.g., [18, 23, 16]. We present an $O(m)$ time algorithm for blocking trails for…

Data Structures and Algorithms · Computer Science 2021-12-09 Harold N. Gabow

When solving the Hamiltonian path problem it seems natural to be given additional precedence constraints for the order in which the vertices are visited. For example one could decide whether a Hamiltonian path exists for a fixed starting…

Discrete Mathematics · Computer Science 2025-02-28 Jesse Beisegel , Fabienne Ratajczak , Robert Scheffler

The competition graph of a doubly partial order is known to be an interval graph. The competition-common enemy graph of a doubly partial order is also known to be an interval graph unless it contains a cycle of length 4 as an induced…

Combinatorics · Mathematics 2010-06-01 Suh-Ryung Kim , Jung Yeun Lee , Boram Park , Won Jin Park , Yoshio Sano

It was recently shown \cite{STV} that satisfiability is polynomially solvable when the incidence graph is an interval bipartite graph (an interval graph turned into a bipartite graph by omitting all edges within each partite set). Here we…

Data Structures and Algorithms · Computer Science 2016-02-26 Serge Gaspers , Christos Papadimitriou , Sigve Hortemo Saether , Jan Arne Telle

A graph is reconstructible if it is determined up to isomorphism by the multiset of its proper induced subgraphs. The reconstruction conjecture postulates that every graph of order at least 3 is reconstructible. We show that interval graphs…

Combinatorics · Mathematics 2026-05-13 Irene Heinrich , Masashi Kiyomi , Yota Otachi , Pascal Schweitzer

We describe a synchronous distributed algorithm which identifies the edge-biconnected components of a connected network. It requires a leader, and uses messages of size O(log |V|). The main idea is to preorder a BFS spanning tree, and then…

Distributed, Parallel, and Cluster Computing · Computer Science 2007-05-23 David Pritchard

A bipartite graph $G=(U,V,E)$ is convex if the vertices in $V$ can be linearly ordered such that for each vertex $u\in U$, the neighbors of $u$ are consecutive in the ordering of $V$. An induced matching $H$ of $G$ is a matching such that…

Data Structures and Algorithms · Computer Science 2023-05-17 Boris Klemz , Günter Rote

Laman graphs are fundamental to rigidity theory. A graph G with n vertices and m edges is a generic minimally rigid graph (Laman graph), if m=2n-3 and every induced subset of k vertices spans at most 2k-3 edges. We consider the verification…

Combinatorics · Mathematics 2008-01-17 Ovidiu Daescu , Anastasia Kurdia

We present a Monte Carlo algorithm for Hamiltonicity detection in an $n$-vertex undirected graph running in $O^*(1.657^{n})$ time. To the best of our knowledge, this is the first superpolynomial improvement on the worst case runtime for the…

Data Structures and Algorithms · Computer Science 2010-08-04 Andreas Björklund

Bipartite graphs are a fundamental concept in graph theory with diverse applications. A graph is bipartite iff it contains no odd cycles, a characteristic that has many implications in diverse fields ranging from matching problems to the…

Combinatorics · Mathematics 2024-12-10 Marzieh Eidi , Sayan Mukherjee

Subgraph Isomorphism is a very basic graph problem, where given two graphs $G$ and $H$ one is to check whether $G$ is a subgraph of $H$. Despite its simple definition, the Subgraph Isomorphism problem turns out to be very broad, as it…

Data Structures and Algorithms · Computer Science 2015-04-14 Marek Cygan , Jakub Pachocki , Arkadiusz Socała

We study the problem of generating graphs with prescribed degree sequences for bipartite, directed, and undirected networks. We first propose a sequential method for bipartite graph generation and establish a necessary and sufficient…

Methodology · Statistics 2026-03-13 Tong Sun , Jianshu Hao , Michael C. Fu , Guangxin Jiang

We consider the algorithmic complexity of recognizing bipartite temporal graphs. Rather than defining these graphs solely by their underlying graph or individual layers, we define a bipartite temporal graph as one in which every layer can…

Computational Complexity · Computer Science 2021-11-18 Till Fluschnik , Pascal Kunz

Graph isomorphism is an important computer science problem. The problem for the general case is unknown to be in polynomial time. The base algorithm for the general case works in quasi-polynomial time. The solutions in polynomial time for…

Discrete Mathematics · Computer Science 2017-11-23 Vaibhav Amit Patel

In this note, we fix a graph $H$ and ask into how many vertices can each vertex of a clique of size $n$ can be "split" such that the resulting graph is $H$-free. Formally: A graph is an $(n,k)$-graph if its vertex sets is a pairwise…

Combinatorics · Mathematics 2025-02-05 Maria Axenovich , Ryan R. Martin

We consider Hamilton cycles in the random digraph $D_{n,m}$ where the orientation of edges follows a pattern other than the trivial orientation in which the edges are oriented in the same direction as we traverse the cycle. We show that if…

Combinatorics · Mathematics 2020-10-19 Alan Frieze , Xavier Perez-Gimenez , Pawel Pralat