English
Related papers

Related papers: A note on clique-width and tree-width for structur…

200 papers

Hypergraphs are an invaluable tool to understand many hidden patterns in large data sets. Among many ways to represent hypergraph, one useful representation is that of weighted clique expansion. In this paper, we consider this…

Combinatorics · Mathematics 2018-08-15 Ashwin Guha , Ambedkar Dukkipati

In this short note we discuss recent results on hook length formulas of trees unifying some earlier results, and explain hook length formulas naturally associated to families of increasingly labelled trees.

Combinatorics · Mathematics 2010-04-13 Markus Kuba

Inspired by the "generalized t-designs" defined by Cameron [P. J. Cameron, A generalisation of t-designs, Discrete Math. 309 (2009), 4835--4842], we define a new class of combinatorial designs which simultaneously provide a generalization…

Combinatorics · Mathematics 2015-03-17 Robert F. Bailey , Andrea C. Burgess , Michael S. Cavers , Karen Meagher

We introduce monoidal width as a measure of the difficulty of decomposing morphisms in monoidal categories. For graphs, we show that monoidal width and two variations capture existing notions, namely branch width, tree width and path width.…

Category Theory · Mathematics 2022-05-18 Elena Di Lavore , Paweł Sobociński

The first-order theory of a string automatic structure is known to be decidable, but there are examples of string automatic structures with nonelementary first-order theories. We prove that the first-order theory of a string automatic…

Logic in Computer Science · Computer Science 2008-10-29 Dietrich Kuske , Markus Lohrey

To most mathematicians and computer scientists the word ``tree'' conjures up, in addition to the usual image, the image of a connected graph with no circuits. In the last few years various types of trees have been the subject of much…

Group Theory · Mathematics 2016-09-06 John W. Morgan

In this paper we prove that any Riemannian surface, with no restriction of curvature at all, can be decomposed into blocks belonging just to some of these types: generalized Y-pieces, generalized funnels and halfplanes.

Differential Geometry · Mathematics 2008-06-03 Ana Portilla , Jose M. Rodriguez , Eva Touris

We show that the spanning tree congestion problem is NP-complete even for proper interval graphs of linear clique-width at most 4.

Data Structures and Algorithms · Computer Science 2026-02-17 Yota Otachi

A notion of general manifolds is introduced. It covers all usual manifolds in mathematics. Essentially, it is a way how to get a bigger 'fibration' over a site which locally coincides with a given one. An enrichment with generalized…

Category Theory · Mathematics 2007-05-23 G. V. Kondratiev

It has recently been shown that any simple (i.e. nonintersecting) polygonal chain in the plane can be reconfigured to lie on a straight line, and any simple polygon can be reconfigured to be convex. This result cannot be extended to tree…

Kernelization is a theoretical formalization of efficient preprocessing for NP-hard problems. Empirically, preprocessing is highly successful in practice, for example in state-of-the-art ILP-solvers like CPLEX. Motivated by this, previous…

Computational Complexity · Computer Science 2015-06-26 Bart M. P. Jansen , Stefan Kratsch

We show that several reconfiguration problems known to be PSPACE-complete remain so even when limited to graphs of bounded bandwidth. The essential step is noticing the similarity to very limited string rewriting systems, whose ability to…

Computational Complexity · Computer Science 2014-05-06 Marcin Wrochna

The complexity of (unbounded-arity) Max-CSPs under structural restrictions is poorly understood. The two most general hypergraph properties known to ensure tractability of Max-CSPs, $\beta$-acyclicity and bounded (incidence) MIM-width, are…

Data Structures and Algorithms · Computer Science 2020-09-21 Clement Carbonnel , Miguel Romero , Stanislav Zivny

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…

Logic · Mathematics 2021-02-18 Filippo Calderoni , Heike Mildenberger , Luca Motto Ros

We introduce tree-width for first order formulae \phi, fotw(\phi). We show that computing fotw is fixed-parameter tractable with parameter fotw. Moreover, we show that on classes of formulae of bounded fotw, model checking is fixed…

Logic in Computer Science · Computer Science 2019-03-14 Isolde Adler , Mark Weyer

We prove that the (divisorial) gonality of a finite connected graph is lower bounded by its treewidth. We show that equality holds for grid graphs and complete multipartite graphs. We prove that the treewidth lower bound also holds for…

Combinatorics · Mathematics 2022-01-04 Josse van Dobben de Bruyn , Dion Gijswijt

Consider a $q$-ary block code satisfying the property that no $l$-letters long codeword's prefix occurs as a suffix of any codeword for $l$ inside some interval. We determine a general upper bound on the maximum size of these codes and a…

Information Theory · Computer Science 2025-06-04 Lidija Stanovnik

The connected tree-width of a graph is the minimum width of a tree-decomposition whose parts induce connected subgraphs. Long cycles are examples of graphs that have small tree-width but large connected tree-width. We show that a graph has…

Combinatorics · Mathematics 2015-10-15 Reinhard Diestel , Malte Müller

We give a precise description of combed trees in terms of Kelly-Mac Lane graphs. We show that any combed tree is uniquely expressed as an allowable Kelly-Mac Lane graph of a certain shape. Conversely, we show that any such Kelly-Mac Lane…

Category Theory · Mathematics 2007-05-23 Eugenia Cheng

We prove that a hereditary class of graphs is $(\mathsf{tw}, \omega)$-bounded if and only if the induced minors of the graphs from the class form a $(\mathsf{tw}, \omega)$-bounded class.

Combinatorics · Mathematics 2024-10-24 Claire Hilaire , Martin Milanič , Nicolas Trotignon , Djordje Vasić