English
Related papers

Related papers: Good Will Hunting's Problem: Counting Homeomorphic…

200 papers

We study effective randomness-preserving transformations of path-incompressible trees. Some path-incompressible trees with infinitely many paths do not compute perfect path-random trees with computable oracle-use. Sparse perfect…

Combinatorics · Mathematics 2024-01-11 George Barmpalias , Xiaoyan Zhang

We define $\Psi$-autoreducible sets given an autoreduction procedure $\Psi$. Then, we show that for any $\Psi$, a measurable class of $\Psi$-autoreducible sets has measure zero. Using this, we show that classes of cototal, uniformly…

Logic · Mathematics 2024-02-14 Ang Li

Consider a collection of weighted subsets of a ground set N. Given a query subset Q of N, how fast can one (1) find the weighted sum over all subsets of Q, and (2) sample a subset of Q proportionally to the weights? We present a tree-based…

Data Structures and Algorithms · Computer Science 2013-09-27 Teppo Niinimaki , Mikko Koivisto

We consider three probability measures on subsets of edges of a given finite graph $G$, namely those which govern, respectively, a uniform forest, a uniform spanning tree, and a uniform connected subgraph. A conjecture concerning the…

Probability · Mathematics 2007-05-23 G. R. Grimmett , S. N. Winkler

`Terquem's problem' is a name given in the twentieth century to the problem of enumerating certain integer sequences whose entries alternate in parity. In particular, this problem asks for the count of strictly increasing length $m$…

History and Overview · Mathematics 2023-03-13 Robert G. Donnelly , Molly W. Dunkum , Rachel McCoy

A proper vertex of a rooted tree with totally ordered vertices is a vertex that is less than all its proper descendants. We count several kinds of labeled rooted trees and forests by the number of proper vertices. Our results are all…

Combinatorics · Mathematics 2013-04-02 Ira M. Gessel , Seunghyun Seo

A chessboard has the property that every row and every column has as many white squares as black squares. In this mostly methodological note, we address the problem of counting such rectangular arrays with a fixed (numeric) number of rows,…

Combinatorics · Mathematics 2025-02-07 Robert Dougherty-Bliss , Christoph Koutschan , Natalya Ter-Saakov , Doron Zeilberger

Electric utilities are struggling to manage increasing wildfire risk in a hotter and drier climate. Utility transmission and distribution lines regularly ignite destructive fires when they make contact with surrounding vegetation. Trimming…

Computer Vision and Pattern Recognition · Computer Science 2021-05-11 Austin Park , Farzaneh Rajabi , Ross Weber

Cutting and Packing problems are occurring in different industries with a direct impact on the revenue of businesses. Generally, the goal in Cutting and Packing is to assign a set of smaller objects to a set of larger objects. To solve…

Artificial Intelligence · Computer Science 2021-10-28 Stefan Böhm , Martin Neumayer , Oliver Kramer , Alexander Schiendorfer , Alois Knoll

Pedigrees, or family trees, are graphs of family relationships that are used to study inheritance. A fundamental problem in computational biology is to find, for a pedigree with $n$ individuals genotyped at every site, a set of…

Data Structures and Algorithms · Computer Science 2016-02-16 Bonnie Kirkpatrick

Let $T$ be an oriented tree on $n$ vertices with maximum degree at most $e^{o(\sqrt{\log n})}$. If $G$ is a digraph on $n$ vertices with minimum semidegree $\delta^0(G)\geq(\frac12+o(1))n$, then $G$ contains $T$ as a spanning tree, as…

Combinatorics · Mathematics 2024-07-25 Felix Joos , Jonathan Schrodt

We address the problem of visually guided rearrangement planning with many movable objects, i.e., finding a sequence of actions to move a set of objects from an initial arrangement to a desired one, while relying on visual inputs coming…

Let $H$ be a fixed graph. The $H$-Transversal problem, given a graph $G$, asks to remove the smallest number of vertices from $G$ so that $G$ does not contain $H$ as a subgraph. While a simple $|V(H)|$-approximation algorithm exists and is…

Computational Complexity · Computer Science 2021-12-06 Euiwoong Lee , Pengxiang Wang

Given a graph, the sparsest cut problem asks for a subset of vertices whose edge expansion (the normalized cut given by the subset) is minimized. In this paper, we study a generalization of this problem seeking for $ k $ disjoint subsets of…

Data Structures and Algorithms · Computer Science 2017-02-21 Ramin Javadi , Saleh Ashkboos

An important problem in geometric computing is defining and computing similarity between two geometric shapes, e.g. point sets, curves and surfaces, etc. Important geometric and topological information of many shapes can be captured by…

Computational Geometry · Computer Science 2015-08-17 Hangjun Xu

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…

Optimization and Control · Mathematics 2022-10-27 Alessandro Alla , Peter M. Dower , Vincent Liu

The problem of ranking can be described as follows. We have a set of combinatorial objects $S$, such as, say, the k-subsets of n things, and we can imagine that they have been arranged in some list, say lexicographically, and we want to…

Computational Complexity · Computer Science 2007-05-23 Boris Ryabko

[libralesso_anytime_2020] proposed an anytime tree search algorithm for the 2018 ROADEF/EURO challenge glass cutting problem (https://www.roadef.org/challenge/2018/en/index.php). The resulting program was ranked first among 64 participants.…

Artificial Intelligence · Computer Science 2020-04-21 Florian Fontan , Luc Libralesso

This paper investigates some properties of the number of subtrees of a tree with given degree sequence. These results are used to characterize trees with the given degree sequence that have the largest number of subtrees, which generalizes…

Combinatorics · Mathematics 2012-09-04 Xiu-Mei Zhang , Xiao-Dong Zhang , Daniel Gray , Hua Wang

We study the following problem that is motivated by demand-aware network design: Given a tree~$G$, the task is to find a binary tree~$H$ on the same vertex set. The objective is to minimize the sum of distances in~$H$ between vertex pairs…

Data Structures and Algorithms · Computer Science 2026-04-23 Leon Kellerhals , Mitja Krebs , André Nichterlein , Stefan Schmid