English
Related papers

Related papers: Range Avoidance in Boolean Circuits via Turan-type…

200 papers

One interesting question is how a graph develops from some constrained random graph process, which is a fundamental mechanism in the formation and evolution of dynamic networks. The problem here is referred to the random $K_k$-removal…

Combinatorics · Mathematics 2022-01-07 Fang Tian , Zi-Long Liu , Xiang-Feng Pan

We describe a new family of $k$-uniform hypergraphs with independent random edges. The hypergraphs have a high probability of being peelable, i.e. to admit no sub-hypergraph of minimum degree $2$, even when the edge density (number of edges…

Data Structures and Algorithms · Computer Science 2019-07-11 Martin Dietzfelbinger , Stefan Walzer

In this paper, we study the complexity of the chip-firing reachability problem. We show that for Eulerian digraphs, the reachability problem can be decided in strongly polynomial time, even if the digraph has multiple edges. We also show a…

Combinatorics · Mathematics 2017-05-23 Bálint Hujter , Viktor Kiss , Lilla Tóthmérész

In this paper, we prove a number of results about pattern avoidance in graphs with bounded metric dimension or edge metric dimension. We show that the maximum possible number of edges in a graph of diameter $D$ and edge metric dimension $k$…

Combinatorics · Mathematics 2020-03-03 Jesse Geneson

This paper focuses on incidences over finite fields, extending to higher degrees a result by Vinh \cite{VINH20111177} on the number of point-line incidences in the plane $\mathbb{F}^2$, where $\mathbb{F}$ is a finite field. Specifically, we…

Information Theory · Computer Science 2023-12-21 Itzhak Tamo

In the classical linear degeneracy testing problem, we are given $n$ real numbers and a $k$-variate linear polynomial $F$, for some constant $k$, and have to determine whether there exist $k$ numbers $a_1,\ldots,a_k$ from the set such that…

Computational Geometry · Computer Science 2022-12-07 Jean Cardinal , Micha Sharir

In this paper we confirm a conjecture of F\"uredi, Jiang, and Seiver, and determine an exact formula for the Tur\'an number $ex_3(n; P_3^3)$ of the 3-uniform linear path $P^3_3$ of length 3, valid for all $n$. It coincides with the…

Combinatorics · Mathematics 2015-06-12 Eliza Jackowska , Joanna Polcyn , Andrzej Ruciński

A Pfaffian circuit is a tensor contraction network where the edges are labeled with changes of bases in such a way that a very specific set of combinatorial properties are satisfied. By modeling the permissible changes of bases as systems…

Commutative Algebra · Mathematics 2013-11-19 S. Margulies , J. Morton

Approximating the partition function of the ferromagnetic Ising model with general external fields is known to be #BIS-hard in the worst case, even for bounded-degree graphs, and it is widely believed that no polynomial-time approximation…

Data Structures and Algorithms · Computer Science 2021-08-27 Tyler Helmuth , Holden Lee , Will Perkins , Mohan Ravichandran , Qiang Wu

We study the problem of efficiently certifying upper bounds on the independence number of $\ell$-uniform hypergraphs. This is a notoriously hard problem, with efficient algorithms failing to approximate the independence number within…

Data Structures and Algorithms · Computer Science 2026-03-10 Pravesh Kothari , Anand Louis , Rameesh Paul , Prasad Raghavendra

Given a family of $k$-hypergraphs $\mathcal{F}$, $ex(n,\mathcal{F})$ is the maximum number of edges a $k$-hypergraph can have, knowing that said hypergraph has $n$ vertices but contains no copy of any hypergraph from $\mathcal{F}$ as a…

Combinatorics · Mathematics 2017-06-16 Matthew Fitch

We study the problem of learning a hypergraph via edge detecting queries. In this problem, a learner queries subsets of vertices of a hidden hypergraph and observes whether these subsets contain an edge or not. In general, learning a…

Data Structures and Algorithms · Computer Science 2024-12-23 Eric Balkanski , Oussama Hanguir , Shatian Wang

Given a graph $F$, we define $\operatorname{ex}(G_{n,p},F)$ to be the maximum number of edges in an $F$-free subgraph of the random graph $G_{n,p}$. Very little is known about $\operatorname{ex}(G_{n,p},F)$ when $F$ is bipartite, with…

Combinatorics · Mathematics 2023-05-29 Gwen McKinley , Sam Spiro

We design a deterministic subexponential time algorithm that takes as input a multivariate polynomial $f$ computed by a constant-depth circuit over rational numbers, and outputs a list $L$ of circuits (of unbounded depth and possibly with…

Computational Complexity · Computer Science 2024-03-05 Mrinal Kumar , Varun Ramanathan , Ramprasad Saptharishi , Ben Lee Volk

Modeling networks as different graph types and researching on route finding strategies, to avoid congestion in dense subnetworks via graph-theoretic approaches, contributes to overall blocking probability reduction in networks. Our main…

Networking and Internet Architecture · Computer Science 2021-03-12 Zohre R. Mojaveri , András Faragó

We consider the problem of routing in presence of faults in undirected weighted graphs. More specifically, we focus on the design of compact name-independent fault-tolerant routing schemes, where the designer of the scheme is not allowed to…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-30 Alkida Balliu , Dennis Olivetti

Tolerance graphs model interval relations in such a way that intervals can tolerate a certain amount of overlap without being in conflict. In one of the most natural generalizations of tolerance graphs with direct applications in the…

Computational Complexity · Computer Science 2016-05-17 Archontia C. Giannopoulou , George B. Mertzios

Let $F$ be a graph. A hypergraph is called Berge-$F$ if it can be obtained by replacing each edge of $F$ by a hyperedge containing it. Let $\mathcal{F}$ be a family of graphs. The Tur\'an number of Berge-$\mathcal{F}$ is the maximum…

Combinatorics · Mathematics 2018-07-26 Dániel Gerbner , Abhishek Methuku , Máté Vizer

The problem of constructing hazard-free Boolean circuits dates back to the 1940s and is an important problem in circuit design. Our main lower-bound result unconditionally shows the existence of functions whose circuit complexity is…

Computational Complexity · Computer Science 2021-01-01 Christian Ikenmeyer , Balagopal Komarath , Christoph Lenzen , Vladimir Lysikov , Andrey Mokhov , Karteek Sreenivasaiah

Obstacle avoidance from monocular images is a challenging problem for robots. Though multi-view structure-from-motion could build 3D maps, it is not robust in textureless environments. Some learning based methods exploit human demonstration…

Robotics · Computer Science 2017-05-01 Shichao Yang , Sandeep Konam , Chen Ma , Stephanie Rosenthal , Manuela Veloso , Sebastian Scherer