摘要 Abstract
我们研究了强正则图尚未解决的次小可行参数集$(v,k,\lambda,\mu)=(85,14,3,2)$。利用三次图的小度数分类,我们限制了此类图$G$的局部结构。随后,我们详尽枚举了$G$的最大3-团的邻域,并针对多种条件对其进行检验,包括来自$\lambda=3$和$\mu=2$的组合条件,以及利用$G$的欧几里得表示的线性代数条件。在所有情况下,这些条件均导致矛盾,因此,不存在$\mathrm{srg}(85,14,3,2)$。
We investigate the second smallest unresolved feasible set of parameters of strongly regular graphs, $(v,k,\lambda,\mu)=(85,14,3,2)$. Using the classification of cubic graphs of small degree, we restrict possible local structure of such a graph $G$. After that, we exhaustively enumerate possible neighbourhoods of a maximal $3$-clique of $G$ and check them against a variety of conditions, including the combinatorial ones, coming from $\lambda=3$ and $\mu=2$, as well as the linear algebra ones, utilising the Euclidean representation of $G$. These conditions yield contradiction in all cases, and hence, no $\mathrm{srg}(85,14,3,2)$ exists.