中文
相关论文

相关论文: A short note on exponential-time algorithms for hy…

200 篇论文

For an arbitrary tree we investigate the problems of constructing a maximum matching which minimizes or maximizes the cardinality of a maximum matching of the graph obtained from original one by its removal and present corresponding…

离散数学 · 计算机科学 2007-07-17 R. R. Kamalian , V. V. Mkrtchyan

In this article, we construct explicit examples of pairs of non-isomorphic trees with the same restricted $U$-polynomial for every $k$; by this we mean that the polynomials agree on terms with degree at most $k+1$. The main tool for this…

组合数学 · 数学 2020-02-20 José Aliste-Prieto , Anna de Mier , José Zamora

We show how a collection of Euler-tour trees for a forest on $n$ vertices can be stored in $2 n + o (n)$ bits such that simple queries take constant time, more complex queries take logarithmic time and updates take polylogarithmic amortized…

数据结构与算法 · 计算机科学 2021-06-30 Travis Gagie , Sebastian Wild

A seed in a word is a relaxed version of a period in which the occurrences of the repeating subword may overlap. We show a linear-time algorithm computing a linear-size representation of all the seeds of a word (the number of seeds might be…

数据结构与算法 · 计算机科学 2019-03-15 Tomasz Kociumaka , Marcin Kubica , Jakub Radoszewski , Wojciech Rytter , Tomasz Walen

We propose a new arithmetic for non-empty rooted unordered trees simply called trees. After discussing tree representation and enumeration, we define the operations of tree addition, multiplication and stretch, prove their properties, and…

离散数学 · 计算机科学 2016-02-02 Fabrizio Luccio

We give an algorithm that decides whether the bipartite crossing number of a given graph is at most $k$. The running time of the algorithm is upper bounded by $2^{O(k)} + n^{O(1)}$, where $n$ is the number of vertices of the input graph,…

数据结构与算法 · 计算机科学 2015-12-21 Yasuaki Kobayashi , Hisao Tamaki

Consider a rooted tree $T$ with leaf-set $[n]$, and with all non-leaf vertices having out-degree $2$, at least. A rooted tree $\mathcal T$ with leaf-set $S\subset [n]$ is induced by $S$ in $T$ if $\mathcal T$ is the lowest common ancestor…

概率论 · 数学 2021-08-12 Boris Pittel

The Tree Evaluation Problem ($\mathsf{TreeEval}$) is a computational problem originally proposed as a candidate to prove a separation between complexity classes $\mathsf{P}$ and $\mathsf{L}$. Recently, this problem has gained significant…

计算复杂性 · 计算机科学 2026-04-09 Vahid R. Asadi , Richard Cleve

We present two effective tools for computing the positive tropicalization of algebraic varieties. First, we outline conditions under which the initial ideal can be used to compute the positive tropicalization, offering a real analogue to…

代数几何 · 数学 2025-07-31 Kemal Rose , Máté L. Telek

We show that the query containment problem for monadic datalog on finite unranked labeled trees can be solved in 2-fold exponential time when (a) considering unordered trees using the axes child and descendant, and when (b) considering…

计算机科学中的逻辑 · 计算机科学 2014-04-03 André Frochaux , Martin Grohe , Nicole Schweikardt

We first prove a one-to-one correspondence between finding Hamiltonian cycles in a cubic planar graphs and finding trees with specific properties in dual graphs. Using this information, we construct an exact algorithm for finding…

组合数学 · 数学 2015-12-07 Bohao Yao , Charl Ras , Hamid Mokhtar

We give an efficient method of counting bi-colored A'Campo forests and provide a stratification criterion for the space of those graphs. We deduce an algorithm to count these forests in polynomial time, answering an open question of…

代数几何 · 数学 2017-02-27 Noémie Combe , Vincent Jugé

We present a new threshold phenomenon in data structure lower bounds where slightly reduced update times lead to exploding query times. Consider incremental connectivity, letting t_u be the time to insert an edge and t_q be the query time.…

数据结构与算法 · 计算机科学 2011-03-29 Mihai Patrascu , Mikkel Thorup

The history of gene families -- which are equivalent to event-labeled gene trees -- can to some extent be reconstructed from empirically estimated evolutionary event-relations containing pairs of orthologous, paralogous or xenologous genes.…

离散数学 · 计算机科学 2019-10-30 Manuel Lafond , Marc Hellmuth

In mathematical phylogenetics, the time-consistent galled trees provide a simple class of rooted binary network structures that can be used to represent a variety of different biological phenomena. We study the enumerative combinatorics of…

Let $P$ and $S$ be two disjoint sets of $n$ and $m$ points in the plane, respectively. We consider the problem of computing a Steiner tree whose Steiner vertices belong to $S$, in which each point of $P$ is a leaf, and whose longest edge…

计算几何 · 计算机科学 2013-05-02 Ahmad Biniaz , Anil Maheshwari , Michiel Smid

We give an algorithm for computing the Teichm\"uller polynomial for a certain class of fibered alternating links associated to trees. Furthermore, we exhibit a mutant pair of such links distinguished by the Teichm\"uller polynomial.

几何拓扑 · 数学 2020-03-27 Robert Billet , Livio Liechti

For an undirected tree with $n$ edges labelled by single letters, we consider its substrings, which are labels of the simple paths between pairs of nodes. We prove that there are $O(n^{1.5})$ different palindromic substrings. This solves an…

数据结构与算法 · 计算机科学 2020-11-30 Paweł Gawrychowski , Tomasz Kociumaka , Wojciech Rytter , Tomasz Waleń

Motivated by the problem in [6], which studies the relative efficiency of propositional proof systems, 2-edge colorings of complete bipartite graphs are investigated. It is shown that if the edges of $G=K_{n,n}$ are colored with black and…

离散数学 · 计算机科学 2012-01-13 Maria Axenovich , Marcus Krug , Georg Osang , Ignaz Rutter

In biology, a phylogenetic tree is a tool to represent the evolutionary relationship between species. Unfortunately, the classical Schr\"oder tree model is not adapted to take into account the chronology between the branching nodes. In…

数据结构与算法 · 计算机科学 2019-01-15 Olivier Bodini , Antoine Genitrini , Mehdi Naima