中文
相关论文

相关论文: Spanning Trees in Random Satisfiability Problems

200 篇论文

Deciding whether a collection of unrooted trees is compatible is a fundamental problem in phylogenetics. Two different graph-theoretic characterizations of tree compatibility have recently been proposed. In one of these, tree compatibility…

离散数学 · 计算机科学 2012-10-16 Sudheer Vakati , David Fernández-Baca

Reachability analysis is a powerful tool when it comes to capturing the behaviour, thus verifying the safety, of autonomous systems. However, general-purpose methods, such as Hamilton-Jacobi approaches, suffer from the curse of…

最优化与控制 · 数学 2022-10-27 Alessandro Alla , Peter M. Dower , Vincent Liu

We prove that finding a rooted subtree with at least $k$ leaves in a digraph is a fixed parameter tractable problem. A similar result holds for finding rooted spanning trees with many leaves in digraphs from a wide family $\cal L$ that…

数据结构与算法 · 计算机科学 2007-05-23 Noga Alon , Fedor Fomin , Gregory Gutin , Michael Krivelevich , Saket Saurabh

Let $T$ be a tree, a vertex of degree one is a \emph{leaf} of $T$ and a vertex of degree at least three is a \emph{branch vertex} of $T$. The {\it reducible stem } of $T$ is the smallest subtree that contains all branch vertices of $T$. In…

组合数学 · 数学 2023-05-15 Pham Hoang Ha , Le Dinh Nam , Ngoc Diep Pham

Accessibility percolation is a new type of percolation problem inspired by evolutionary biology. To each vertex of a graph a random number is assigned and a path through the graph is called accessible if all numbers along the path are in…

统计力学 · 物理学 2013-04-04 Stefan Nowak , Joachim Krug

We consider the stochastic geometry model where the location of each node is a random point in a given metric space, or the existence of each node is uncertain. We study the problems of computing the expected lengths of several…

数据结构与算法 · 计算机科学 2015-02-18 Lingxiao Huang , Jian Li

Reachability is the problem of deciding whether there is a path from one vertex to the other in the graph. Standard graph traversal algorithms such as DFS and BFS take linear time to decide reachability however their space complexity is…

计算复杂性 · 计算机科学 2019-02-06 Rahul Jain , Raghunath Tewari

A tree $t$-spanner of a graph $G$ is a spanning tree $T$ in which the distance between any two adjacent vertices of $G$ is at most $t$. The smallest $t$ for which $G$ has a tree $t$-spanner is called tree stretch index. The…

离散数学 · 计算机科学 2022-08-31 Fernanda Couto , Luís Cunha , Diego Ferraz

We investigate the complexity of finding a transformation from a given spanning tree in a graph to another given spanning tree in the same graph via a sequence of edge flips. The exchange property of the matroid bases immediately yields…

数据结构与算法 · 计算机科学 2022-01-13 Nicolas Bousquet , Takehiro Ito , Yusuke Kobayashi , Haruka Mizuta , Paul Ouvrard , Akira Suzuki , Kunihiro Wasa

We present an algorithm that, with high probability, generates a random spanning tree from an edge-weighted undirected graph in $\tilde{O}(n^{4/3}m^{1/2}+n^{2})$ time (The $\tilde{O}(\cdot)$ notation hides $\operatorname{polylog}(n)$…

数据结构与算法 · 计算机科学 2017-06-22 David Durfee , Rasmus Kyng , John Peebles , Anup B. Rao , Sushant Sachdeva

In this paper, we study some spanning trees with bounded degree and leaf degree from eigenvalues. For any integer $k\geq2$, a $k$-tree is a spanning tree in which every vertex has degree no more than $k$. Let $T$ be a spanning tree of a…

组合数学 · 数学 2024-07-29 Chang Liu , Jianping Li

Regression trees are one of the oldest forms of AI models, and their predictions can be made without a calculator, which makes them broadly useful, particularly for high-stakes applications. Within the large literature on regression trees,…

机器学习 · 计算机科学 2023-04-11 Rui Zhang , Rui Xin , Margo Seltzer , Cynthia Rudin

We revisit the \textsc{$k$-Secluded Tree} problem. Given a vertex-weighted undirected graph $G$, its objective is to find a maximum-weight induced subtree $T$ whose open neighborhood has size at most $k$. We present a fixed-parameter…

数据结构与算法 · 计算机科学 2022-06-27 Huib Donkers , Bart M. P. Jansen , Jari J. H. de Kroon

Suppose a target is hidden in one of the vertices of an edge-weighted graph according to a known probability distribution. The expanding search problem asks for a search sequence of the vertices so as to minimize the expected time for…

离散数学 · 计算机科学 2019-11-21 Ben Hermans , Roel Leus , Jannik Matuschke

We introduce a novel interpretable tree based algorithm for prediction in a regression setting. Our motivation is to estimate the unknown regression function from a functional decomposition perspective in which the functional components…

机器学习 · 统计学 2023-08-04 Munir Hiabu , Enno Mammen , Joseph T. Meyer

We introduce and study the {\em orderly spanning trees} of plane graphs. This algorithmic tool generalizes {\em canonical orderings}, which exist only for triconnected plane graphs. Although not every plane graph admits an orderly spanning…

数据结构与算法 · 计算机科学 2015-02-06 Yi-Ting Chiang , Ching-Chi Lin , Hsueh-I Lu

One of the important features of an interconnection network is its ability to efficiently simulate programs or parallel algorithms written for other architectures. Such a simulation problem can be mathematically formulated as a graph…

In this paper we introduce a new model of random spanning trees that we call choice spanning trees, constructed from so-called choice random walks. These are random walks for which each step is chosen from a subset of random options,…

概率论 · 数学 2024-02-09 Eleanor Archer , Matan Shalev

Uniform spanning trees are a statistical model obtained by taking the set of all spanning trees on a given graph (such as a portion of a cubic lattice in d dimensions), with equal probability for each distinct tree. Some properties of such…

统计力学 · 物理学 2009-11-10 N. Read

In this paper we describe an extension of the Variable Neighbourhood Search (VNS) which integrates the basic VNS with other complementary approaches from machine learning, statistics and experimental algorithmic, in order to produce…

人工智能 · 计算机科学 2015-09-30 Sergio Consoli , Josè Andrès Moreno Pèrez