中文
相关论文

相关论文: The comparison of tree-sibling time consistent phy…

200 篇论文

Soient donn\'es deux graphes $\Gamma_1$, $\Gamma_2$ \`a $n$ sommets. Sont-ils isomorphes? S'ils le sont, l'ensemble des isomorphismes de $\Gamma_1$ \`a $\Gamma_2$ peut \^etre identifi\'e avec une classe $H \pi$ du groupe sym\'etrique sur…

群论 · 数学 2017-10-13 Harald Andrés Helfgott

One strategy for reconstruction of phylogenetic networks is to solve the phylogenetic network problem, which involves inferring phylogenetic trees first and subsequently computing the smallest phylogenetic network that displays all the…

组合数学 · 数学 2023-09-26 Laurent Bulteau , Louxin Zhang

The graph similarity problem, also known as approximate graph isomorphism or graph matching problem, has been extensively studied in the machine learning community, but has not received much attention in the algorithms community: Given two…

数据结构与算法 · 计算机科学 2018-02-26 Martin Grohe , Gaurav Rattan , Gerhard J. Woeginger

There are many classical problems in P whose time complexities have not been improved over the past decades. Recent studies of "Hardness in P" have revealed that, for several of such problems, the current fastest algorithm is the best…

数据结构与算法 · 计算机科学 2017-10-24 Yoichi Iwata , Tomoaki Ogasawara , Naoto Ohsaka

Binets and trinets are phylogenetic networks with two and three leaves, respectively. Here we consider the problem of deciding if there exists a binary level-1 phylogenetic network displaying a given set $\mathcal{T}$ of binary binets or…

数据结构与算法 · 计算机科学 2014-11-26 Katharina Huber , Leo van Iersel , Vincent Moulton , Celine Scornavacca , Taoyang Wu

Rooted triples, rooted binary phylogenetic trees on three leaves, are sufficient to encode rooted binary phylogenetic trees. That is, if $\mathcal T$ and $\mathcal T'$ are rooted binary phylogenetic $X$-trees that infers the same set of…

组合数学 · 数学 2020-12-07 Charles Semple , Gerry Toft

In a graph, a perfect matching cut is an edge cut that is a perfect matching. Perfect Matching Cut (PMC) is the problem of deciding whether a given graph has a perfect matching cut, and is known to be NP-complete. We revisit the problem and…

离散数学 · 计算机科学 2021-07-15 Van Bang Le , Jan Arne Telle

Phylogenetic networks generalize phylogenetic trees by allowing the modelization of events of reticulate evolution. Among the different kinds of phylogenetic networks that have been proposed in the literature, the subclass of binary…

数据结构与算法 · 计算机科学 2020-07-01 Gabriel Cardona , Joan Carles Pons , Celine Scornavacca

In the matching interdiction problem, we are given an undirected graph with weights and interdiction costs on the edges and seek to remove a subset of the edges constrained to some budget, such that the weight of a maximum weight matching…

离散数学 · 计算机科学 2008-04-23 Rico Zenklusen

We give a new fpt algorithm testing isomorphism of $n$-vertex graphs of tree width $k$ in time $2^{k\operatorname{polylog} (k)}\operatorname{poly} (n)$, improving the fpt algorithm due to Lokshtanov, Pilipczuk, Pilipczuk, and Saurabh (FOCS…

数据结构与算法 · 计算机科学 2018-03-20 Martin Grohe , Daniel Neuen , Pascal Schweitzer , Daniel Wiebking

We study homomorphism polynomials, which are polynomials that enumerate all homomorphisms from a pattern graph $H$ to $n$-vertex graphs. These polynomials have received a lot of attention recently for their crucial role in several new…

计算复杂性 · 计算机科学 2020-11-17 Balagopal Komarath , Anurag Pandey , C. S. Rahul

Evolutionary histories for species that cross with one another or exchange genetic material can be represented by leaf-labelled, directed graphs called phylogenetic networks. A major challenge in the burgeoning area of phylogenetic networks…

数据结构与算法 · 计算机科学 2021-09-24 Leo van Iersel , Sjors Kole , Vincent Moulton , Leonie Nipius

We give a fixed-parameter tractable algorithm that, given a parameter $k$ and two graphs $G_1,G_2$, either concludes that one of these graphs has treewidth at least $k$, or determines whether $G_1$ and $G_2$ are isomorphic. The running time…

数据结构与算法 · 计算机科学 2014-12-11 Daniel Lokshtanov , Marcin Pilipczuk , Michał Pilipczuk , Saket Saurabh

This work addresses the intrinsic relationship between trees and networks (i.e. graphs). A complete (invertible) mapping is presented which allows trees to be mapped into weighted graphs and then backmapped into the original tree without…

物理与社会 · 物理学 2008-08-07 Luciano da Fontoura Costa , Francisco Aparecido Rodrigues

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…

数据结构与算法 · 计算机科学 2015-11-10 Ken-ichi Kawarabayashi

We solve the subgraph isomorphism problem in planar graphs in linear time, for any pattern of constant size. Our results are based on a technique of partitioning the planar graph into pieces of small tree-width, and applying dynamic…

数据结构与算法 · 计算机科学 2007-05-23 David Eppstein

We investigate a relaxation of the notion of fractional treewidth-fragility, namely fractional tree-independence-number-fragility. In particular, we obtain polynomial-time approximation schemes for meta-problems such as finding a…

数据结构与算法 · 计算机科学 2025-04-23 Esther Galby , Andrea Munaro , Shizhou Yang

We prove that isomorphism of tournaments of twin width at most $k$ can be decided in time $k^{O(\log k)}n^{O(1)}$. This implies that the isomorphism problem for classes of tournaments of bounded or moderately growing twin width is in…

数据结构与算法 · 计算机科学 2026-03-11 Martin Grohe , Daniel Neuen

The Surjective Homomorphism problem is to test whether a given graph G called the guest graph allows a vertex-surjective homomorphism to some other given graph H called the host graph. The bijective and injective homomorphism problems can…

离散数学 · 计算机科学 2016-12-16 Petr A. Golovach , Bernard Lidický , Barnaby Martin , Daniël Paulusma

Considering the worst-case scenario, junction tree algorithm remains the most general solution for exact MAP inference with polynomial run-time guarantees. Unfortunately, its main tractability assumption requires the treewidth of a…

离散数学 · 计算机科学 2022-02-10 Alexander Bauer , Shinichi Nakajima