中文
相关论文

相关论文: Reachability in arborescence packings

200 篇论文

We pursue a study of the Generalized Demand Matching problem, a common generalization of the $b$-Matching and Knapsack problems. Here, we are given a graph with vertex capacities, edge profits, and asymmetric demands on the edges. The goal…

数据结构与算法 · 计算机科学 2017-05-31 Sara Ahmadian , Zachary Friggstad

The theorem of factorisation forests shows the existence of nested factorisations -- a la Ramsey -- for finite words. This theorem has important applications in semigroup theory, and beyond. The purpose of this paper is to illustrate the…

计算机科学中的逻辑 · 计算机科学 2007-05-23 Thomas Colcombet

A matroid is a machine capturing linearity of mathematical objects and producing combinatorial structures. Matroid structure arises everywhere since linearity is a ubiquitous concept. One natural way to obtain matroids is by considering…

组合数学 · 数学 2023-03-14 Jaeho Shin

We present a first exact study on higher-dimensional packing problems with order constraints. Problems of this type occur naturally in applications such as logistics or computer architecture and can be interpreted as higher-dimensional…

数据结构与算法 · 计算机科学 2007-05-23 Sandor P. Fekete , Ekkehard Koehler , Juergen Teich

Edmonds' fundamental theorem on arborescences characterizes the existence of $k$ pairwise arc-disjoint spanning arborescences with prescribed root sets in a digraph. In this paper, we study the problem of packing branchings in digraphs…

组合数学 · 数学 2022-01-27 Hui Gao , Daqing Yang

Motivated by the increasing appeal of robots in information-gathering missions, we study multi-agent path planning problems in which the agents must remain interconnected. We model an area by a topological graph specifying the movement and…

人工智能 · 计算机科学 2019-03-12 Tristan Charrier , Arthur Queffelec , Ocan Sankur , François Schwarzentruber

This paper, dating from May 1991, contains preliminary (and unpublishable) notes on investigations about iteration trees. They will be of interest only to the specialist. In the first two sections I define notions of support and embeddings…

逻辑 · 数学 2016-09-06 William Mitchell

We address the problem of efficiently gathering correlated data from a wired or a wireless sensor network, with the aim of designing algorithms with provable optimality guarantees, and understanding how close we can get to the known…

网络与互联网体系结构 · 计算机科学 2009-08-03 Jian Li , Amol Deshpande , Samir Khuller

We introduce the families of solvable and nilpotent matroids, examining their realization spaces, closures, and associated matroid and circuit varieties. We study their realizability, as well as the irreducible decomposition of their…

组合数学 · 数学 2025-10-29 Emiliano Liwski , Fatemeh Mohammadi

We present approximation algorithms for the following NP-hard optimization problems related to bottleneck spanning trees in metric spaces. 1. The disjoint bottleneck spanning tree problem: Given $n$ pairs of points in a metric space, find…

计算几何 · 计算机科学 2021-11-11 Ahmad Biniaz , Anil Maheshwari , Michiel Smid

Merge trees are fundamental structures in topological data analysis. Interleaving distance is a widely accepted metric for comparing merge trees, with applications in visualization and scientific computing. While a greedy algorithm exists…

计算几何 · 计算机科学 2025-09-22 Elena Farahbakhsh Touli , Talha Bin Masood

The largest common embeddable subtree problem asks for the largest possible tree embeddable into two input trees and generalizes the classical maximum common subtree problem. Several variants of the problem in labeled and unlabeled rooted…

数据结构与算法 · 计算机科学 2018-05-03 Andre Droschinsky , Nils M. Kriege , Petra Mutzel

Antimatroids were discovered by Dilworth in the context of lattices [4] and introduced by Edelman and Jamison as convex geometries in[5]. The author of the current paper independently discovered (possibly infinite) antimatroids in the…

组合数学 · 数学 2012-01-17 Christian Joseph Altomare

This paper studies the "explanation problem" for tree- and linearly-ordered array data, a problem motivated by database applications and recently solved for the one-dimensional tree-ordered case. In this paper, one is given a matrix A whose…

数据结构与算法 · 计算机科学 2011-01-11 Howard Karloff , Flip Korn , Konstantin Makarychev , Yuval Rabani

The aim in packing problems is to decide if a given set of pieces can be placed inside a given container. A packing problem is defined by the types of pieces and containers to be handled, and the motions that are allowed to move the pieces.…

计算几何 · 计算机科学 2024-08-07 Mikkel Abrahamsen , Tillmann Miltzow , Nadja Seiferth

This work studies the combinatorial optimization problem of finding an optimal core tensor shape, also called multilinear rank, for a size-constrained Tucker decomposition. We give an algorithm with provable approximation guarantees for its…

数据结构与算法 · 计算机科学 2024-06-19 Mehrdad Ghadiri , Matthew Fahrbach , Gang Fu , Vahab Mirrokni

The matching and linear matroid intersection problems are solvable in quasi-NC, meaning that there exist deterministic algorithms that run in polylogarithmic time and use quasi-polynomially many parallel processors. However, such a parallel…

计算复杂性 · 计算机科学 2024-02-29 Rohit Gurjar , Taihei Oki , Roshan Raj

We consider the problem of packing edge-disjoint Steiner forests in a graph. The input consists of a multi-graph $G=(V,E)$ and a collection of $h$ vertex subsets $S = \{S_1,S_2,\ldots,S_h\}$. A Steiner forest for $S$, also called an…

离散数学 · 计算机科学 2026-03-19 Jinghan A Zeng

We prove a new formula for the generating function of multitype Cayley trees counted according to their degree distribution. Using this formula we recover and extend several enumerative results about trees. In particular, we extend some…

组合数学 · 数学 2013-04-08 Olivier Bernardi , Alejandro H. Morales

The introduction of covering-based rough sets has made a substantial contribution to the classical rough sets. However, many vital problems in rough sets, including attribution reduction, are NP-hard and therefore the algorithms for solving…

人工智能 · 计算机科学 2013-11-06 Bin Yang , Hong Zhao , William Zhu