中文
相关论文

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

200 篇论文

We define and study analogs of probabilistic tree embedding and tree cover for directed graphs. We define the notion of a DAG cover of a general directed graph $G$: a small collection $D_1,\dots D_g$ of DAGs so that for all pairs of…

数据结构与算法 · 计算机科学 2025-04-16 Sepehr Assadi , Gary Hoppenworth , Nicole Wein

We investigate the time-complexity of the All-Pairs Max-Flow problem: Given a graph with $n$ nodes and $m$ edges, compute for all pairs of nodes the maximum-flow value between them. If Max-Flow (the version with a given source-sink pair…

数据结构与算法 · 计算机科学 2019-07-11 Amir Abboud , Robert Krauthgamer , Ohad Trabelsi

A good edge-labelling of a simple, finite graph is a labelling of its edges with real numbers such that, for every ordered pair of vertices (u,v), there is at most one nondecreasing path from u to v. In this paper we prove that any graph on…

组合数学 · 数学 2014-03-18 Abbas Mehrabian , Dieter Mitsche , Paweł Prałat

In the area of extremal graph theory, there exists a problem that investigates the maximum induced density of a $k$-vertex graph $H$ in any $n$-vertex graph $G$. This is known as the problem of \emph{inducibility} that was first introduced…

组合数学 · 数学 2022-07-27 Su Yuan Chan , Kerri Morgan , Julien Ugon

Let g(n) denote the minimum number of edges of a maximal nontraceable graph of order n. Dudek, Katona and Wojda (2003) showed that g(n)\geq\ceil{(3n-2)/2}-2 for n\geq 20 and g(n)\leq\ceil{(3n-2)/2} for n\geq 54 as well as for n\in…

组合数学 · 数学 2009-09-29 Marietjie Frick , Joy Singleton

Jiang, Tidor, Yao, Zhang, and Zhao recently showed that connected bounded degree graphs have sublinear second eigenvalue multiplicity (always referring to the adjacency matrix). This result was a key step in the solution to the problem of…

组合数学 · 数学 2023-02-23 Milan Haiman , Carl Schildkraut , Shengtong Zhang , Yufei Zhao

We give an algorithm for augmenting the edge connectivity of an undirected graph by using the isolating cuts framework (Li and Panigrahi, FOCS '20). Our algorithm uses poly-logarithmic calls to any max-flow algorithm, which yields a running…

数据结构与算法 · 计算机科学 2021-11-04 Ruoxu Cen , Jason Li , Debmalya Panigrahi

We consider drawings of graphs in the plane in which edges are represented by polygonal paths with at most one bend and the number of different slopes used by all segments of these paths is small. We prove that…

计算几何 · 计算机科学 2015-09-29 Kolja Knauer , Bartosz Walczak

We propose a fully dynamic algorithm for maintaining reachability information in directed graphs. The proposed deterministic dynamic algorithm has an update time of $O((ins*n^{2}) + (del * (m+n*log(n))))$ where $m$ is the current number of…

数据结构与算法 · 计算机科学 2007-11-22 Venkata Seshu Kumar Kurapati

Recent measurements have shown that a continuously tunable bandgap of up to 250 meV can be generated in biased bilayer graphene [Y. Zhang et al., Nature 459, 820 (2009)], opening up pathway for possible graphene-based nanoelectronic and…

材料科学 · 物理学 2010-02-11 Cheol-Hwan Park , Steven G. Louie

A recent breakthrough by K\"unnemann, Mazowiecki, Sch\"utze, Sinclair-Banks, and Wegrzycki (ICALP, 2023) bounds the running time for the coverability problem in $d$-dimensional vector addition systems under unary encoding to $n^{2^{O(d)}}$,…

数据结构与算法 · 计算机科学 2024-07-03 Sylvain Schmitz , Lia Schütze

The paper discusses the asymptotic depth of a reversible circuit consisting of NOT, CNOT and 2-CNOT gates. Reversible circuit depth function $D(n, q)$ for a circuit implementing a transformation $f\colon \mathbb Z_2^n \to \mathbb Z_2^n$ is…

新兴技术 · 计算机科学 2016-02-16 Dmitry V. Zakablukov

We study the space complexity of sketching cuts and Laplacian quadratic forms of graphs. We show that any data structure which approximately stores the sizes of all cuts in an undirected graph on $n$ vertices up to a $1+\epsilon$ error must…

数据结构与算法 · 计算机科学 2018-01-01 Charles Carlson , Alexandra Kolla , Nikhil Srivastava , Luca Trevisan

In this work, we prove a $\tilde{\Omega}(\lg^{3/2} n )$ unconditional lower bound on the maximum of the query time and update time for dynamic data structures supporting reachability queries in $n$-node directed acyclic graphs under edge…

数据结构与算法 · 计算机科学 2023-04-19 Kasper Green Larsen , Huacheng Yu

We study graph connectivity problem in MPC model. On an undirected graph with $n$ nodes and $m$ edges, $O(\log n)$ round connectivity algorithms have been known for over 35 years. However, no algorithms with better complexity bounds were…

数据结构与算法 · 计算机科学 2018-05-09 Alexandr Andoni , Clifford Stein , Zhao Song , Zhengyu Wang , Peilin Zhong

We consider labeling nodes of a directed graph for reachability queries. A reachability labeling scheme for such a graph assigns a binary string, called a label, to each node. Then, given the labels of nodes $u$ and $v$ and no other…

数据结构与算法 · 计算机科学 2020-07-14 Maciej Dulęba , Paweł Gawrychowski , Wojciech Janczewski

We describe a way of assigning labels to the vertices of any undirected graph on up to $n$ vertices, each composed of $n/2+O(1)$ bits, such that given the labels of two vertices, and no other information regarding the graph, it is possible…

数据结构与算法 · 计算机科学 2014-04-15 Stephen Alstrup , Haim Kaplan , Mikkel Thorup , Uri Zwick

It is known that a better than $2$-approximation algorithm for the girth in dense directed unweighted graphs needs $n^{3-o(1)}$ time unless one uses fast matrix multiplication. Meanwhile, the best known approximation factor for a…

数据结构与算法 · 计算机科学 2020-04-28 Mina Dalirrooyfard , Virginia Vassilevska Williams

Given a set $P$ of $n$ points in the plane, we solve the problems of constructing a geometric planar graph spanning $P$ 1) of minimum degree 2, and 2) which is 2-edge connected, respectively, and has max edge length bounded by a factor of 2…

离散数学 · 计算机科学 2011-12-16 Stefan Dobrev , Evangelos Kranakis , Danny Krizanc , Oscar Morales-Ponce , Ladislav Stacho

We consider upward-planar layered drawings of directed graphs, i.e., crossing-free drawings in which each edge is drawn as a y-monotone curve going upward from its tail to its head, and the y-coordinates of the vertices are integers. The…