中文
相关论文

相关论文: Four short stories on surprising algorithmic uses …

200 篇论文

Tree-cut width is a parameter that has been introduced as an attempt to obtain an analogue of treewidth for edge cuts. Unfortunately, in spite of its desirable structural properties, it turned out that tree-cut width falls short as an…

计算复杂性 · 计算机科学 2022-07-01 Robert Ganian , Viktoriia Korchemna

Tree-width is an invaluable tool for computational problems on graphs. But often one would like to compute on other kinds of objects (e.g. decorated graphs or even algebraic structures) where there is no known tree-width analogue. Here we…

组合数学 · 数学 2022-06-22 Benjamin Merlin Bumpus , Zoltan A. Kocsis

As the development of distributed systems progresses, more and more challenges arise and the need for developing optimized systems and for optimizing existing systems from multiple perspectives becomes more stringent. In this paper I…

数据结构与算法 · 计算机科学 2009-03-21 Mugurel Ionut Andreica

Rank-width is a width parameter of graphs describing whether it is possible to decompose a graph into a tree-like structure by `simple' cuts. This survey aims to summarize known algorithmic and structural results on rank-width of graphs.

组合数学 · 数学 2018-05-16 Sang-il Oum

When considering the number of subtrees of trees, the extremal structures which maximize this number among binary trees and trees with a given maximum degree lead to some interesting facts that correlate to other graphical indices in…

组合数学 · 数学 2012-10-11 Xiu-Mei Zhang , Xiao-Dong Zhang , Daniel Gray , Hua Wang

Dual-tree algorithms are a widely used class of branch-and-bound algorithms. Unfortunately, developing dual-tree algorithms for use with different trees and problems is often complex and burdensome. We introduce a four-part logical split:…

数据结构与算法 · 计算机科学 2013-04-17 Ryan R. Curtin , William B. March , Parikshit Ram , David V. Anderson , Alexander G. Gray , Charles L. Isbell

We give an algorithm that for an input n-vertex graph G and integer k>0, in time 2^[O(k)]n either outputs that the treewidth of G is larger than k, or gives a tree decomposition of G of width at most 5k+4. This is the first algorithm…

数据结构与算法 · 计算机科学 2013-04-24 Hans Bodlaender , Pål G. Drange , Markus S. Dregi , Fedor V. Fomin , Daniel Lokshtanov , Michał Pilipczuk

Many computational problems admit fast algorithms on special inputs, however, the required properties might be quite restrictive. E.g., many graph problems can be solved much faster on interval or cographs, or on graphs of small…

数据结构与算法 · 计算机科学 2022-09-30 Stefan Kratsch , Florian Nelles

The treewidth boundedness problem for a logic asks for the existence of an upper bound on the treewidth of the models of a given formula in that logic. This problem is found to be undecidable for first order logic. We consider a…

计算机科学中的逻辑 · 计算机科学 2024-05-20 Marius Bozga , Lucas Bueri , Radu Iosif , Florian Zuleger

We define a special case of tree decompositions for planar graphs that respect a given embedding of the graph. We study the analogous width of the resulting decomposition we call the embedded-width of a plane graph. We show both upper…

离散数学 · 计算机科学 2017-03-23 Glencora Borradaile , Jeff Erickson , Hung Le , Robbie Weber

We present a method for learning treewidth-bounded Bayesian networks from data sets containing thousands of variables. Bounding the treewidth of a Bayesian greatly reduces the complexity of inferences. Yet, being a global property of the…

人工智能 · 计算机科学 2016-05-12 Mauro Scanagatta , Giorgio Corani , Cassio P. de Campos , Marco Zaffalon

We present a parallel algorithm for computing the treewidth of a graph on a GPU. We implement this algorithm in OpenCL, and experimentally evaluate its performance. Our algorithm is based on an $O^*(2^{n})$-time algorithm that explores the…

分布式、并行与集群计算 · 计算机科学 2017-09-29 Tom C. van der Zanden , Hans L. Bodlaender

In this paper, we study three algorithmic problems involving computation trees: the optimization, solvability, and satisfiability problems. The solvability problem is concerned with recognizing computation trees that solve problems. The…

计算机科学中的逻辑 · 计算机科学 2025-01-06 Mikhail Moshkov

We are interested in computing the treewidth $\tw(G)$ of a given graph $G$. Our approach is to design heuristic algorithms for computing a sequence of improving upper bounds and a sequence of improving lower bounds, which would hopefully…

数据结构与算法 · 计算机科学 2022-02-17 Hisao Tamaki

Treewidth and hypertree width have proven to be highly successful structural parameters in the context of the Constraint Satisfaction Problem (CSP). When either of these parameters is bounded by a constant, then CSP becomes solvable in…

数据结构与算法 · 计算机科学 2022-10-14 Andre Schidler , Robert Ganian , Manuel Sorge , Stefan Szeider

A breakthrough result of Cygan et al. (FOCS 2011) showed that connectivity problems parameterized by treewidth can be solved much faster than the previously best known time $\mathcal{O}^*(2^{\mathcal{O}(tw \log(tw))})$. Using their inspired…

数据结构与算法 · 计算机科学 2021-06-28 Falko Hegerfeld , Stefan Kratsch

A heuristic extending the Squarified Treemap technique for the representation of hierarchical information as treemaps is presented. The original technique gives high quality treemap views, since items are laid out with rectangles that…

人机交互 · 计算机科学 2016-09-06 Antonio Cesarano , FIlomena Ferrucci , Mario Torre

Treewidth is a measure of how tree-like a graph is. It has many important algorithmic applications because many NP-hard problems on general graphs become tractable when restricted to graphs of bounded treewidth. Algorithms for problems on…

数据结构与算法 · 计算机科学 2020-06-03 Johan M. M. van Rooij

Enumerating the minimal hitting sets of a hypergraph is a problem which arises in many data management applications that include constraint mining, discovering unique column combinations, and enumerating database repairs. Previously, Eiter…

数据库 · 计算机科学 2025-01-28 Batya Kenig , Dan Shlomo Mizrahi

We provide a finite equational presentation of graphs of treewidth at most three, solving an instanceof an open problem by Courcelle and Engelfriet. We use a syntax generalising series-parallel expressions, denoting graphs with a small…

计算机科学中的逻辑 · 计算机科学 2025-01-23 Amina Doumane , Samuel Humeau , Damien Pous