English
Related papers

Related papers: The layer number of grids

200 papers

Consider the puzzle: given a number, remove $k$ digits such that the resulting number is as large as possible. Various techniques were employed to derive a linear-time solution to the puzzle: predicate logic was used to justify the…

Programming Languages · Computer Science 2023-12-01 Richard Bird , Shin-Cheng Mu

A positive integer $n$ is called a tiling number if the equilateral triangle can be dissected into $nk^2$ congruent triangles for some integer $k$. An integer $n>3$ is tiling number if and only if at least one of the elliptic curves…

Number Theory · Mathematics 2024-05-21 Keqin Feng , Qiuyue Liu , Jinzhao Pan , Ye Tian

It is shown that $S(G) = O\left(m/\log_2 m + d\right)$ pebbles are sufficient to pebble any DAG $G=(V,E)$, with $m$ edges and maximum in-degree $d$. It was previously known that $S(G) = O\left(d n/\log n\right)$. The result builds on two…

Computational Complexity · Computer Science 2024-10-29 Gianfranco Bilardi , Lorenzo De Stefani

We prove that in any $n$-vertex complete graph there is a collection $\mathcal{P}$ of $(1 + o(1))n$ paths that strongly separates any pair of distinct edges $e, f$, meaning that there is a path in $\mathcal{P}$ which contains $e$ but not…

Combinatorics · Mathematics 2023-12-25 Cristina G. Fernandes , Guilherme Oliveira Mota , Nicolás Sanhueza-Matamala

An effective divisor D on a smooth (compact complex) surface X is called even, if its class $[D] \in H^2(X,\Z)$ is divisible by 2. D may be assumed reduced w.l.o.g. Then D being even is equivalent to the existence of a double cover $Y \to…

Algebraic Geometry · Mathematics 2007-05-23 Wolf P. Barth

Two kinds of approximation algorithms exist for the k-BALANCED PARTITIONING problem: those that are fast but compute unsatisfying approximation ratios, and those that guarantee high quality ratios but are slow. In this paper we prove that…

Computational Complexity · Computer Science 2019-04-29 Andreas Emil Feldmann

An old conjecture of Ringel states that every tree with $m$ edges decomposes the complete graph $K_{2m+1}$. The best known lower bound for the order of a complete graph which admits a decomposition by every given tree with $m$ edges is…

Combinatorics · Mathematics 2015-12-08 Anna Lladó

We consider the question of orienting the edges in a graph $G$ such that every vertex has bounded out-degree. For graphs of arboricity $\alpha$, there is an orientation in which every vertex has out-degree at most $\alpha$ and, moreover,…

Data Structures and Algorithms · Computer Science 2025-01-07 Slobodan Mitrović , Ronitt Rubinfeld , Mihir Singhal

The reachability problem asks to decide if there exists a path from one vertex to another in a digraph. In a grid digraph, the vertices are the points of a two-dimensional square grid, and an edge can occur between a vertex and its…

Computational Complexity · Computer Science 2025-01-03 Rahul Jain , Raghunath Tewari

The treedepth of a graph $G$ is the least possible depth of an elimination forest of $G$: a rooted forest on the same vertex set where every pair of vertices adjacent in $G$ is bound by the ancestor/descendant relation. We propose an…

Data Structures and Algorithms · Computer Science 2022-05-06 Wojciech Nadara , Michał Pilipczuk , Marcin Smulewicz

For the partition graph $G_n$ on the set of partitions of $n$, we study the stratification induced by the local simplex dimension $\dim_{\mathrm{loc}}(\lambda)$, defined as the maximal dimension of a simplex of the clique complex…

General Mathematics · Mathematics 2026-04-02 Fedor B. Lyudogovskiy

A simplicial complex is d-collapsible if it can be reduced to an empty complex by repeatedly removing (collapsing) a face of dimension at most d-1 that is contained in a unique maximal face. We prove that the algorithmic question whether a…

Combinatorics · Mathematics 2015-03-13 Martin Tancer

Let $X$ be an irreducible projective variety of dimension $n$ in a projective space and let $x$ be a point of $X$. Denote by ${\rm Curves}_d(X,x)$ the space of curves of degree $d$ lying on $X$ and passing through $x$. We will show that the…

Algebraic Geometry · Mathematics 2007-05-23 Jun-Muk Hwang

In 1994 S. McGuinness showed that any greedy clique decompo- sition of an n-vertex graph has at most $\lfloor n^2/4 \rfloor$ cliques (The greedy clique decomposition of a graph, J. Graph Theory 18 (1994) 427-430), where a clique…

Combinatorics · Mathematics 2008-04-17 Tao-Ming Wang , Jun-Lin Kuo

We determine the exact value of the biclique covering number for all grid graphs.

Combinatorics · Mathematics 2019-10-15 Krystal Guo , Tony Huynh , Marco Macchia

For a class of graphs $\mathcal{P}$, the Bounded $\mathcal{P}$-Block Vertex Deletion problem asks, given a graph $G$ on $n$ vertices and positive integers $k$ and $d$, whether there is a set $S$ of at most $k$ vertices such that each block…

Data Structures and Algorithms · Computer Science 2016-03-21 Édouard Bonnet , Nick Brettell , O-joung Kwon , Dániel Marx

If a graph has $n\ge4k$ vertices and more than $n^2/4$ edges, then it contains a copy of $C_{2k+1}$. In 1992, Erd\H{o}s, Faudree and Rousseau showed even more, that the number of edges that occur in a triangle is at least $2\lfloor…

Combinatorics · Mathematics 2018-08-14 Andrzej Grzesik , Ping Hu , Jan Volec

Extremal problems related to the enumeration of graph substructures, such as independent sets, matchings, and induced matchings, have become a prominent area of research with the advancement of graph theory. A subset of vertices is called a…

Combinatorics · Mathematics 2024-12-24 Bo-Jun Yuan , Ni Yang , Hong-Yan Ge , Shi-Cai Gong

The Colour Refinement procedure and its generalisation to higher dimensions, the Weisfeiler-Leman algorithm, are central subroutines in approaches to the graph isomorphism problem. In an iterative fashion, Colour Refinement computes a…

Discrete Mathematics · Computer Science 2020-05-21 Sandra Kiefer , Brendan D. McKay

In the minimum $k$-cut problem, we want to find the minimum number of edges whose deletion breaks the input graph into at least $k$ connected components. The classic algorithm of Karger and Stein runs in $\tilde O(n^{2k-2})$ time, and…

Data Structures and Algorithms · Computer Science 2021-12-02 Zhiyang He , Jason Li