English
Related papers

Related papers: Using symbolic computation to prove nonexistence o…

200 papers

A graph is called equimatchable if all of its maximal matchings have the same size. Frendrup et al. [8] provided a characterization of equimatchable graphs with girth at least $5$. In this paper, we extend this result by providing a…

Discrete Mathematics · Computer Science 2021-08-31 Yasemin Büyükçolak , Didem Gözüpek , Sibel Özkan

We consider the following fundamental realization problem of directed graphs. Given a sequence $S:={a_1 \choose b_1},\dots,{a_n \choose b_n}$ with $a_i,b_i\in \mathbb{Z}_0^+.$ Does there exist a digraph (no loops and no parallel arcs are…

Combinatorics · Mathematics 2018-08-24 Annabell Berger

We obtain a correspondence between pairs of $N\times N$ orthogonal Latin squares and pairs of disconnected maximal cliques in the derangement graph with $N$ symbols. Motivated by methods in spectral clustering, we also obtain modular…

Combinatorics · Mathematics 2024-07-22 Sara Anderson , W. Riley Casper , Sam Fleyshman , Matt Rathbun

A drawing of a graph is said to be a {\em straight-line drawing} if the vertices of $G$ are represented by distinct points in the plane and every edge is represented by a straight-line segment connecting the corresponding pair of vertices…

Combinatorics · Mathematics 2012-03-08 V S Padmini Mukkamala

The Conway-99 problem questions the existence of a strongly regular graph with 99 vertices and specific parameters. A \textit{strongly} regular graph is a regular graph that exhibits two additional properties: vertices must share a fixed…

Logic in Computer Science · Computer Science 2026-04-29 Ali Keramatipour

The real vector space of non-oriented graphs is known to carry a differential graded Lie algebra structure. Cocycles in the Kontsevich graph complex, expressed using formal sums of graphs on $n$ vertices and $2n-2$ edges, induce -- under…

Combinatorics · Mathematics 2018-01-03 Ricardo Buring , Arthemy Kiselev , Nina Rutten

A perfect matching in a graph $G$ is a set of nonadjacent edges covering every vertex of $G$. Motivated by recent progress on the relations between the eigenvalues and the matching number of a graph, in this paper, we aim to present a…

Combinatorics · Mathematics 2021-01-13 Yuke Zhang , Huiqiu Lin

A nut graph is a simple graph whose adjacency matrix is singular with $1$-dimensional kernel such that the corresponding eigenvector has no zero entries. In 2020, Fowler et al. characterised for each $d \in \{3,4,\ldots,11\}$ all values $n$…

Combinatorics · Mathematics 2021-02-09 Nino Bašić , Martin Knor , Riste Škrekovski

Let $\mathrm{rex}(n, F)$ denote the maximum number of edges in an $n$-vertex graph that is regular and does not contain $F$ as a subgraph. We give lower bounds on $\mathrm{rex}(n, F)$, that are best possible up to a constant factor, when…

Combinatorics · Mathematics 2020-05-27 Michael Tait , Craig Timmons

We study the infinite graph of $n$-dimensional rectangular grid that doesn't appear distance regular and the distance regular colorings of this graph, which are defined as the distance colorings with respect to completely regular codes. It…

Combinatorics · Mathematics 2014-12-25 Sergey Avgustinovich , Anastasia Vasil'eva

We present a proof, using spectral techniques, that there is no finite measurable coloring of the odd-distance graph.

Combinatorics · Mathematics 2009-08-12 Jacob Steinhardt

A $k$-dimensional box is the Cartesian product $R_1 \times R_2 \times ... \times R_k$ where each $R_i$ is a closed interval on the real line. The {\it boxicity} of a graph $G$, denoted as $\boxi(G)$, is the minimum integer $k$ such that $G$…

Combinatorics · Mathematics 2010-05-18 Abhijin Adiga , Diptendu Bhowmick , L. Sunil Chandran

For $n\geq 3$ and $r=r(n) \geq 3$, let $\boldsymbol{k} =\boldsymbol{k}(n)=(k_1, \ldots, k_n)$ be a sequence of non-negative integers with sum $M(\boldsymbol{k})=\sum_{j=1}^{n} k_j$. We assume that $M(\boldsymbol{k})$ is divisible by $r$ for…

Combinatorics · Mathematics 2018-11-12 Haya S. Aldosari , Catherine Greenhill

In this paper we study threshold coloring of graphs, where the vertex colors represented by integers are used to describe any spanning subgraph of the given graph as follows. Pairs of vertices with near colors imply the edge between them is…

Discrete Mathematics · Computer Science 2013-05-20 Md. Jawaherul Alam , Steven Chaplick , Gašper Fijavž , Michael Kaufmann , Stephen G. Kobourov , Sergey Pupyrev

Let $t$ be a positive real number. A graph is called $t$-tough if the removal of any vertex set $S$ that disconnects the graph leaves at most $|S|/t$ components. The toughness of a graph is the largest $t$ for which the graph is $t$-tough.…

Discrete Mathematics · Computer Science 2019-10-22 Gyula Y Katona , Kitti Varga

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

For $S \subseteq \mathbb{R}$, positive integer $n$, and $d > 0$, let $G(S^n, d)$ be the graph whose vertex set is $S^n$ where any two vertices are adjacent if and only if they are Euclidean distance $d$ apart. The primary question we will…

Combinatorics · Mathematics 2021-08-18 Matt Noble

A string graph is an intersection graph of curves in the plane. A $k$-string graph is a graph with a string representation in which every pair of curves intersects in at most $k$ points. We introduce the class of $(=k)$-string graphs as a…

Combinatorics · Mathematics 2023-08-31 Petr Chmel , Vít Jelínek

An oriented graph is a digraph that contains no 2-cycles, i.e., there is at most one arc between any two vertices. We show that every oriented graph $G$ of sufficiently large order $n$ with $\mathrm{deg}^+(x) +\mathrm{deg}^{-}(y)\geq…

Combinatorics · Mathematics 2025-07-08 Yulin Chang , Yangyang Cheng , Tianjiao Dai , Qiancheng Ouyang , Guanghui Wang

In this note, we provide a proof of a technical result of Erd\H{o}s and Hajnal about the existence of disjoint type graphs with no odd cycles. We also prove that this result is sharp in a certain sense.

Logic · Mathematics 2020-04-10 Chris Lambie-Hanson