English
Related papers

Related papers: Property Testing in Bounded Degree Hypergraphs

200 papers

A result of Gy\'arf\'as says that for every $3$-coloring of the edges of the complete graph $K_n$, there is a monochromatic component of order at least $\frac{n}{2}$, and this is best possible when $4$ divides $n$. Furthermore, for all…

Combinatorics · Mathematics 2023-09-20 Deepak Bal , Louis DeBiasio

The study of graph vertex colorability from an algebraic perspective has introduced novel techniques and algorithms into the field. For instance, it is known that $k$-colorability of a graph $G$ is equivalent to the condition $1 \in…

Combinatorics · Mathematics 2007-09-24 Christopher J. Hillar , Troels Windfeldt

We study the parameterized complexity of a broad class of problems called "local graph partitioning problems" that includes the classical fixed cardinality problems as max k-vertex cover, k-densest subgraph, etc. By developing a technique…

Computational Complexity · Computer Science 2013-06-11 Edouard Bonnet , Bruno Escoffier , Vangelis Th. Paschos , Emeric Tourniaire

We study the problem of testing $C_k$-freeness ($k$-cycle-freeness) for fixed constant $k > 3$ in graphs with bounded arboricity (but unbounded degrees). In particular, we are interested in one-sided error algorithms, so that they must…

Data Structures and Algorithms · Computer Science 2024-04-30 Talya Eden , Reut Levi , Dana Ron

We initiate a systematic study of the computational complexity of property testing, focusing on the relationship between query and time complexity. While traditional work in property testing has emphasized query complexity, relatively…

Computational Complexity · Computer Science 2026-03-12 Renato Ferreira Pinto , Diptaksho Palit , Sofya Raskhodnikova

We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix…

Logic in Computer Science · Computer Science 2021-01-08 Isolde Adler , Noleen Köhler , Pan Peng

We show how to test the bipartiteness of an intersection graph of n line segments or simple polygons in the plane, or of balls in R^d, in time O(n log n). More generally we find subquadratic algorithms for connectivity and bipartiteness…

Computational Geometry · Computer Science 2009-05-23 David Eppstein

An oriented $k$-uniform hypergraph is said to have Property O if for every linear order of the vertex set, there is some edge oriented consistently with the linear order. Recently Duffus, Kay and R\"{o}dl investigated the minimum number…

Combinatorics · Mathematics 2019-05-29 Gal Kronenberg , Christopher Kusch , Ander Lamaison , Piotr Micek , Tuan Tran

The extremal problem of hypergraph colorings related to Erd\H{o}s--Hajnal property $B$-problem is considered. Let $k$ be a natural number. The problem is to find the value of $m_k(n)$ equal to the minimal number of edges in an $n$-uniform…

Combinatorics · Mathematics 2019-03-29 Yury Demidovich

The $k$-Coloring problem on hereditary graph classes has been a deeply researched problem over the last decade. A hereditary graph class is characterized by a (possibly infinite) list of minimal forbidden induced subgraphs. We say that a…

Computational Complexity · Computer Science 2025-09-03 Justyna Jaworska , Bartłomiej Kielak , Tomáš Masařík , Jana Masaříková

A graph property P is strongly testable if for every fixed \epsilon>0 there is a one-sided \epsilon-tester for P whose query complexity is bounded by a function of \epsilon. In classifying the strongly testable graph properties, the first…

Combinatorics · Mathematics 2011-10-14 Noga Alon , Jacob Fox

A $k$-uniform hypergraph $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that every edge in $E$ contains precisely one vertex from each $V_i$. We call such a graph $n$-balanced if $|V_i| = n$ for…

Combinatorics · Mathematics 2024-07-26 Abhishek Dhawan

If an $n$-uniform hypergraph can be 2-colored, then it is said to have property B. Erd\H{o}s (1963) was the first to give lower and upper bounds for the minimal size $m(n)$ of an $n$-uniform hypergraph without property B. His asymptotic…

Combinatorics · Mathematics 2024-06-21 Karl Grill , Daniel Linzmayer , TU Wien

We present a novel framework closely linking the areas of property testing and data streaming algorithms in the setting of general graphs. It has been recently shown (Monemizadeh et al. 2017) that for bounded-degree graphs, any…

Data Structures and Algorithms · Computer Science 2019-05-07 Artur Czumaj , Hendrik Fichtenberger , Pan Peng , Christian Sohler

In $k$-hypergraph matching, we are given a collection of sets of size at most $k$, each with an associated weight, and we seek a maximum-weight subcollection whose sets are pairwise disjoint. More generally, in $k$-hypergraph $b$-matching,…

Data Structures and Algorithms · Computer Science 2016-04-04 Ojas Parekh , David Pritchard

We resolve a number of long-standing open problems in online graph coloring. More specifically, we develop tight lower bounds on the performance of online algorithms for fundamental graph classes. An important contribution is that our…

Data Structures and Algorithms · Computer Science 2017-07-04 Susanne Albers , Sebastian Schraink

This study examines clusterability testing for a signed graph in the bounded-degree model. Our contributions are two-fold. First, we provide a quantum algorithm with query complexity $\tilde{O}(N^{1/3})$ for testing clusterability, which…

Quantum Physics · Physics 2023-11-20 Kuo-Chin Chen , Simon Apers , Min-Hsiu Hsieh

Using the algebraic approach to promise constraint satisfaction problems, we establish complexity classifications of three natural variants of hypergraph colourings: standard nonmonochromatic colourings, conflict-free colourings, and…

Discrete Mathematics · Computer Science 2026-05-01 Tamio-Vesa Nakajima , Zephyr Verwimp , Marcin Wrochna , Stanislav Živný

A $k$-coloring of a graph is an assignment of integers between $1$ and $k$ to vertices in the graph such that the endpoints of each edge receive different numbers. We study a local variation of the coloring problem, which imposes further…

Combinatorics · Mathematics 2018-09-24 Jie You , Yixin Cao , Jianxin Wang

We study the problem of recognizing the cluster structure of a graph in the framework of property testing in the bounded degree model. Given a parameter $\varepsilon$, a $d$-bounded degree graph is defined to be $(k, \phi)$-clusterable, if…

Data Structures and Algorithms · Computer Science 2015-04-14 Artur Czumaj , Pan Peng , Christian Sohler