中文
相关论文

相关论文: Using symbolic computation to prove nonexistence o…

200 篇论文

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…

离散数学 · 计算机科学 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…

组合数学 · 数学 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…

组合数学 · 数学 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…

组合数学 · 数学 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…

计算机科学中的逻辑 · 计算机科学 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…

组合数学 · 数学 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…

组合数学 · 数学 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$…

组合数学 · 数学 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…

组合数学 · 数学 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…

组合数学 · 数学 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.

组合数学 · 数学 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$…

组合数学 · 数学 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…

组合数学 · 数学 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…

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.…

离散数学 · 计算机科学 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…

计算复杂性 · 计算机科学 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…

组合数学 · 数学 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…

组合数学 · 数学 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…

组合数学 · 数学 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.

逻辑 · 数学 2020-04-10 Chris Lambie-Hanson