English
Related papers

Related papers: A Linear-Time Algorithm for Finding an Odd Cycle T…

200 papers

Firstly, for a general graph, we find a recursion formula on the number of Hamiltonian cycles and one on cycles. By this result, we give some new polynomial invariants. Secondly, we give a condition to tell whether a polynomial defined by…

Combinatorics · Mathematics 2017-06-30 Yi Bo

Let $\Gamma$ be a subgroup of $PSL(2,R)$ generated by three parabolic transformations. The main goal of this paper is to present an algorithm to determine whether or not $\Gamma$ is discrete. Historically discreteness algorithms have been…

Geometric Topology · Mathematics 2020-12-02 Caleb Ashley

We give algorithms with running time $2^{O({\sqrt{k}\log{k}})} \cdot n^{O(1)}$ for the following problems. Given an $n$-vertex unit disk graph $G$ and an integer $k$, decide whether $G$ contains (1) a path on exactly/at least $k$ vertices,…

Data Structures and Algorithms · Computer Science 2017-04-25 Fedor V. Fomin , Daniel Lokshtanov , Fahad Panolan , Saket Saurabh , Meirav Zehavi

It is shown that each subgroup of odd index in an alternating group of degree at least 10 has all insoluble composition factors to be alternating. A classification is then given of 2-arc-transitive graphs of odd order admitting an…

Combinatorics · Mathematics 2021-05-11 Cai Heng Li , Jing Jian Li , Zai Ping Lu

In 1991, Gnanajothi [4] proved that the path graph P_n with n vertex and n-1 edge is odd graceful, and the cycle graph C_m with m vertex and m edges is odd graceful if and only if m even, she proved the cycle graph is not graceful if m odd.…

Information Theory · Computer Science 2010-04-22 M. Ibrahim Moussa

In 1991, Gnanajothi [4] proved that the path graph P_n with n vertex and n-1 edge is odd graceful, and the cycle graph C_m with m vertex and m edges is odd graceful if and only if m even, she proved the cycle graph is not graceful if m odd.…

Networking and Internet Architecture · Computer Science 2010-07-15 M. Ibrahim Moussa

Given a family $\mathcal{F}$ of graphs, a graph is \emph{$\mathcal{F}$-subgraph-free} if it has no subgraph isomorphic to a member of $\mathcal{F}$. We present a fixed-parameter linear-time algorithm that decides whether a planar graph can…

Discrete Mathematics · Computer Science 2025-10-20 Shinwoo An , Seonghyuk Im , Seokbeom Kim , Myounghwan Lee

An explicit algorithm is presented for testing whether two non-directed graphs are isomorphic or not. It is shown that for a graph of n vertices, the number of n independent operations needed for the test is polynomial in n. A proof that…

Data Structures and Algorithms · Computer Science 2007-05-23 Moshe Schwartz

We claimed that there is a polynomial algorithm to test if two graphs are isomorphic. But the algorithm is wrong. It only tests if the adjacency matrices of two graphs have the same eigenvalues. There is a counterexample of two…

Computational Complexity · Computer Science 2022-10-18 Reiner Czerwinski

In this paper we explore mathematical tools that can be used to relate directed and undirected random graph models to each other. We identify probability spaces on which a directed and an undirected graph model are equivalent, and…

Probability · Mathematics 2025-03-03 Mike van Santvoort , Pim van der Hoorn

For a nonlinear ordinary differential equation solved with respect to the highest order derivative and rational in the other derivatives and in the independent variable, we devise two algorithms to check if the equation can be reduced to a…

Classical Analysis and ODEs · Mathematics 2017-04-28 Dmitry Lyakhov , Vladimir Gerdt , Dominik Michels

Let G be a digraph (without parallel edges) such that every directed cycle has length at least four; let $\beta(G)$ denote the size of the smallest subset X in E(G) such that $G\X$ has no directed cycles, and let $\gamma(G)$ be the number…

Combinatorics · Mathematics 2012-11-01 Maria Chudnovsky , Paul Seymour , Blair D. Sullivan

Many common graph data mining tasks take the form of identifying dense subgraphs (e.g. clustering, clique-finding, etc). In biological applications, the natural model for these dense substructures is often a complete bipartite graph…

Data Structures and Algorithms · Computer Science 2019-01-28 Kyle Kloster , Blair D. Sullivan , Andrew van der Poel

In this paper a greedy algorithm to detect conflict cliques in interval graphs and circular-arc graphs is analyzed. In a graph, a stable set requires that at most one vertex is chosen for each edge. It is equivalent to requiring that at…

Discrete Mathematics · Computer Science 2008-12-12 Gabrio Caimi , Holger Flier , Martin Fuchsberger , Marc Nunkesser

We present a randomized algorithm that, given a constant $\epsilon > 0$, outputs a proper $(1+\epsilon)\Delta$-edge-coloring of an $m$-edge simple graph $G$ of maximum degree $\Delta \geq 1/\epsilon$ in $O(m)$ time with high probability.…

Data Structures and Algorithms · Computer Science 2025-02-10 Anton Bernshteyn , Abhishek Dhawan

We give a linear-time algorithm to decide 3-colorability of a triangle-free graph embedded in a fixed surface, and a quadratic-time algorithm to output a 3-coloring in the affirmative case. The algorithms also allow to prescribe the…

Discrete Mathematics · Computer Science 2020-11-10 Zdenek Dvorak , Daniel Kral , Robin Thomas

Uncover the vertices of a given graph, deterministic or random, in random order; we consider both a discrete-time and a continuous-time version. We study the evolution of the number of visible edges, and show convergence after normalization…

Probability · Mathematics 2023-12-22 Svante Janson

In this paper we study the realizability question for commuting graphs of finite groups: Given an undirected graph $X$ is it the commuting graph of a group $G$? And if so, to determine such a group. We seek efficient algorithms for this…

Group Theory · Mathematics 2022-06-03 V. Arvind , Peter. J. Cameron

Graph matching, also known as network alignment, refers to finding a bijection between the vertex sets of two given graphs so as to maximally align their edges. This fundamental computational problem arises frequently in multiple fields…

Data Structures and Algorithms · Computer Science 2021-08-10 Cheng Mao , Mark Rudelson , Konstantin Tikhomirov

It was shown by Beisegel, Chudnovsky, Gurvich, Milani\v{c}, and Servatius in 2022 that every induced $2$-edge path in a vertex-transitive graph closes to an induced cycle. Similar results were obtained for 3-edge paths closing to cycles in…

Combinatorics · Mathematics 2025-10-08 Martin Milanič , Đorđe Mitrović