English
Related papers

Related papers: Revisiting Tree Canonization using polynomials

200 papers

For every integer $g$, isomorphism of graphs of Euler genus at most $g$ can be decided in linear time. This improves previously known algorithms whose time complexity is $n^{O(g)}$ (shown in early 1980's), and in fact, this is the first…

Data Structures and Algorithms · Computer Science 2015-11-10 Ken-ichi Kawarabayashi

A T-graph (a special case of a chordal graph) is the intersection graph of connected subtrees of a suitable subdivision of a fixed tree T . We deal with the isomorphism problem for T-graphs which is GI-complete in general - when T is a part…

Discrete Mathematics · Computer Science 2022-03-01 Deniz Ağaoğlu Çağırıcı , Petr Hliněný

Fine-grained visual classification (FGVC) tasks, such as insect and bird identification, demand sensitivity to subtle visual cues while remaining robust to spatial transformations. A key challenge is handling geometric biases and noise,…

Computer Vision and Pattern Recognition · Computer Science 2025-10-10 Johann Schmidt , Sebastian Stober

The \textsc{Co-Path Packing} (resp., \textsc{Co-Path Set}) problem asks whether a given graph can be edited to a collection of induced paths by deleting at most $k$ vertices (resp., $k$ edges). Both are fundamental problems with significant…

Data Structures and Algorithms · Computer Science 2026-05-20 Yuxi Liu , Kangyi Tian , Mingyu Xiao

For an arbitrary, fixed graph (pattern graph), we study the algorithmic complexity of counting homomorphisms, subgraph isomorphisms, and induced subgraph isomorphisms from the pattern graph to $n$-vertex, $d$-degenerate graphs as input.…

Data Structures and Algorithms · Computer Science 2025-11-07 Balagopal Komarath , Anant Kumar , Akash Pareek

In deep neural networks, better results can often be obtained by increasing the complexity of previously developed basic models. However, it is unclear whether there is a way to boost performance by decreasing the complexity of such models.…

Machine Learning · Computer Science 2021-09-07 Junran Wu , Jianhao Li , Yicheng Pan , Ke Xu

Algorithms are given for determining $L_\infty$ isotonic regression of weighted data. For a linear order, grid in multidimensional space, or tree, of $n$ vertices, optimal algorithms are given, taking $\Theta(n)$ time. These improve upon…

Data Structures and Algorithms · Computer Science 2017-06-26 Quentin F. Stout

This paper studies tree-automatic ordinals (or equivalently, well-founded linearly ordered sets) together with the ordinal addition operation +. Informally, these are ordinals such that their elements are coded by finite trees for which the…

Formal Languages and Automata Theory · Computer Science 2019-03-21 Sanjay Jain , Bakhadyr Khoussainov , Philipp Schlicht , Frank Stephan

We consider the subgraph isomorphism problem where, given two graphs G (source graph) and F (pattern graph), one is to decide whether there is a (not necessarily induced) subgraph of G isomorphic to F. While many practical heuristic…

Data Structures and Algorithms · Computer Science 2019-08-30 Josef Malík , Ondřej Suchý , Tomáš Valla

Roberston and Seymour introduced tangles of order $k$ as objects representing highly connected parts of a graph and showed that every graph admits a tree-decomposition of adhesion $<k$ in which each tangle of order $k$ is contained in a…

Combinatorics · Mathematics 2017-03-06 Joshua Erde

The computational complexity of the isomorphism problem for regular trees, regular linear orders, and regular words is analyzed. A tree is regular if it is isomorphic to the prefix order on a regular language. In case regular languages are…

Formal Languages and Automata Theory · Computer Science 2011-02-15 Markus Lohrey , Christian Mathissen

We consider the problem of finding the smallest graph that contains two input trees each with at most $n$ vertices preserving their distances. In other words, we look for an isometric-universal graph with the minimum number of vertices for…

Data Structures and Algorithms · Computer Science 2025-06-17 Edgar Baucher , François Dross , Cyril Gavoille

Canonical orderings and their relatives such as st-numberings have been used as a key tool in algorithmic graph theory for the last decades. Recently, a unifying concept behind all these orders has been shown: they can be described by a…

Discrete Mathematics · Computer Science 2016-07-18 Lena Schlipf , Jens M. Schmidt

In this paper we compare and illustrate the algorithmic use of graphs of bounded tree-width and graphs of bounded clique-width. For this purpose we give polynomial time algorithms for computing the four basic graph parameters independence…

Data Structures and Algorithms · Computer Science 2008-12-18 Frank Gurski

In this paper, we investigate the computational complexity of subgraph reconfiguration problems in directed graphs. More specifically, we focus on the problem of reconfiguring arborescences in a digraph, where an arborescence is a directed…

Data Structures and Algorithms · Computer Science 2023-03-16 Takehiro Ito , Yuni Iwamasa , Yasuaki Kobayashi , Yu Nakahata , Yota Otachi , Kunihiro Wasa

Automated construction of bilingual dictionaries using monolingual embedding spaces is a core challenge in machine translation. The end performance of these dictionaries relies upon the geometric similarity of individual spaces, i.e., their…

Computation and Language · Computer Science 2023-10-20 Muhammad Asif Ali , Yan Hu , Jianbin Qin , Di Wang

Given two rooted, ordered, and labeled trees $P$ and $T$ the tree inclusion problem is to determine if $P$ can be obtained from $T$ by deleting nodes in $T$. This problem has recently been recognized as an important query primitive in XML…

Data Structures and Algorithms · Computer Science 2011-01-19 Philip Bille , Inge Li Goertz

For a fixed property (graph class) ${\Pi}$, given a graph G and an integer k, the ${\Pi}$-deletion problem consists in deciding if we can turn $G$ into a graph with the property ${\Pi}$ by deleting at most $k$ edges. The ${\Pi}$-deletion…

Discrete Mathematics · Computer Science 2023-07-14 Ivo Koch , Nina Pardal , Vinicius Fernandes dos Santos

In Grochow and Qiao (SIAM J. Comput., 2021), the complexity class Tensor Isomorphism (TI) was introduced and isomorphism problems for groups, algebras, and polynomials were shown to be TI-complete. In this paper, we study average-case…

Computational Complexity · Computer Science 2026-04-02 Tiange Li , Yinan Li , Youming Qiao , Dacheng Tao , Yingjie Wang

We give an algorithm that takes as input an $n$-vertex graph $G$ and an integer $k$, runs in time $2^{O(k^2)} n^{O(1)}$, and outputs a tree decomposition of $G$ of width at most $k$, if such a decomposition exists. This resolves the…

Data Structures and Algorithms · Computer Science 2023-08-21 Tuukka Korhonen , Daniel Lokshtanov