中文
相关论文

相关论文: Improved Monotone Circuit Depth Upper Bound for Di…

200 篇论文

A directed diameter of a directed graph is the maximum possible distance between a pair of vertices, where paths must respect edge orientations, while undirected diameter is the diameter of the undirected graph obtained by symmetrizing the…

组合数学 · 数学 2025-03-04 Saveliy V. Skresanov

We establish a generic form of hardness amplification for the approximability of constant-depth Boolean circuits by polynomials. Specifically, we show that if a Boolean circuit cannot be pointwise approximated by low-degree polynomials to…

计算复杂性 · 计算机科学 2014-04-29 Mark Bun , Justin Thaler

Recently it was shown that the transitive closure of a directed graph can be updated using first-order formulas after insertions and deletions of single edges in the dynamic descriptive complexity framework by Dong, Su, and Topor, and…

计算机科学中的逻辑 · 计算机科学 2018-04-25 Samir Datta , Anish Mukherjee , Nils Vortmeier , Thomas Zeume

In 1967, Katona and Szemer\'{e}di showed that no undirected graph with $n$ vertices and fewer than $\frac{n}{2}\log_2\frac{n}{2}$ edges admits an orientation of diameter two. In 1978, Chv\'atal and Thomassen revealed the complexity of…

组合数学 · 数学 2024-08-21 Hengzhe Li , Zhiwei Ding , Jianbing Liu , Hong-Jian Lai

How long a monotone path can one always find in any edge-ordering of the complete graph $K_n$? This appealing question was first asked by Chv\'atal and Koml\'os in 1971, and has since attracted the attention of many researchers, inspiring a…

It is shown that the minimal depth of an optimal prefix circuit (i.e., a zero-deficiency circuit) on $N$ inputs with fanout bounded by $k$ is ${\log_{\alpha_k} N \pm O(1)}$, where $\alpha_k$ is the unique positive root of the polynomial…

数据结构与算法 · 计算机科学 2025-12-30 Igor S. Sergeev

A graph is diameter-$k$-critical if its diameter equals $k$ and the deletion of any edge increases its diameter. The Murty-Simon Conjecture states that for any diameter-2-critical graph $G$ of order $n$, $e(G) \leq \lfloor…

组合数学 · 数学 2024-09-27 Xiaolin Wang , Yanbo Zhang , Xiutao Zhu

We prove that any extended formulation that approximates the matching polytope on $n$-vertex graphs up to a factor of $(1+\varepsilon)$ for any $\frac2n \le \varepsilon \le 1$ must have at least $\binom{n}{{\alpha}/{\varepsilon}}$ defining…

计算复杂性 · 计算机科学 2017-11-29 Makrand Sinha

A graph $U$ is an induced universal graph for a family $F$ of graphs if every graph in $F$ is a vertex-induced subgraph of $U$. For the family of all undirected graphs on $n$ vertices Alstrup, Kaplan, Thorup, and Zwick [STOC 2015] give an…

数据结构与算法 · 计算机科学 2016-07-25 Mikkel Abrahamsen , Stephen Alstrup , Jacob Holm , Mathias Bæk Tejs Knudsen , Morten Stöckel

The cover time of a finite connected graph is the expected number of steps needed for a simple random walk on the graph to visit all the vertices. It is known that the cover time on any n-vertex, connected graph is at least (1+o(1)) n…

概率论 · 数学 2008-11-26 Johan Jonasson , Oded Schramm

We investigate the bounds on algebraic connectivity of graphs subject to constraints on the number of edges, vertices, and topology. We show that the algebraic connectivity for any tree on $n$ vertices and with maximum degree $d$ is bounded…

离散数学 · 计算机科学 2014-12-22 Theodore Kolokolnikov

We present improved upper and lower bounds on the spanning ratio of $\theta$-graphs with at least six cones. Given a set of points in the plane, a $\theta$-graph partitions the plane around each vertex into $m$ disjoint cones, each having…

计算几何 · 计算机科学 2014-04-25 Prosenjit Bose , Jean-Lou De Carufel , Pat Morin , André van Renssen , Sander Verdonschot

The cover time of a finite connected graph is the expected number of steps needed for a simple random walk on the graph to visit all vertices of the graph. It is known that the cover time of any finite connected $n$-vertex graph is at least…

离散数学 · 计算机科学 2022-05-10 Naoki Matsumoto , Yuuki Takai

We construct $n$-node graphs on which any $O(n)$-size spanner has additive error at least $+\Omega(n^{3/17})$, improving on the previous best lower bound of $\Omega(n^{1/7})$ [Bodwin-Hoppenworth FOCS '22]. Our construction completes the…

数据结构与算法 · 计算机科学 2024-04-30 Greg Bodwin , Gary Hoppenworth , Virginia Vassilevska Williams , Nicole Wein , Zixuan Xu

The carriers in graphene tuned close to the Dirac point envisage signatures of the strongly interacting fluid and are subject to hydrodynamic description. The important question is whether strong disorder induces the metal-insulator…

高能物理 - 理论 · 物理学 2020-03-18 Marek Rogatko , Karol I. Wysokinski

(I) We prove that the (maximum) number of monotone paths in a geometric triangulation of $n$ points in the plane is $O(1.7864^n)$. This improves an earlier upper bound of $O(1.8393^n)$; the current best lower bound is $\Omega(1.7003^n)$.…

计算几何 · 计算机科学 2016-10-05 Adrian Dumitrescu , Ritankar Mandal , Csaba D. Tóth

Let $S_d(n)$ denote the minimum number of wires of a depth-$d$ (unbounded fan-in) circuit encoding an error-correcting code $C:\{0, 1\}^n \to \{0, 1\}^{32n}$ with distance at least $4n$. G\'{a}l, Hansen, Kouck\'{y}, Pudl\'{a}k, and Viola…

计算复杂性 · 计算机科学 2024-02-02 Andrew Drucker , Yuan Li

For a directed graph $G$, let $\mathrm{mindeg}(G)$ be the minimum among in-degrees and out-degrees of all vertices of $G$. It is easy to see that $G$ contains a directed cycle of length at least $\mathrm{mindeg}(G)+1$. In this note, we show…

数据结构与算法 · 计算机科学 2025-07-08 Jadwiga Czyżewska , Marcin Pilipczuk

Vertex connectivity and its variants are among the most fundamental problems in graph theory, with decades of extensive study and numerous algorithmic advances. The directed variants of vertex connectivity are usually solved by manually…

数据结构与算法 · 计算机科学 2025-10-24 Olivier Fischer , Yonggang Jiang , Sagnik Mukhopadhyay , Sorrachai Yingchareonthawornchai

The degree-diameter problem seeks to find the maximum possible order of a graph with a given (maximum) degree and diameter. It is known that graphs attaining the maximum possible value (the Moore bound) are extremely rare, but much activity…