Abstract:SIAM Journal on Computing, Volume 53, Issue 5, Page 1578-1601, October 2024. We show that for any natural number [math], there is a constant [math] and a subgraph-closed class having, for any natural [math], at most [math] graphs on [math] vertices up to isomorphism, but no adjacency labeling scheme with labels of size at most [math]. In other words, for every [math], there is a small—even tiny—monotone class without universal graphs of size [math]. Prior to this result, it was not excluded that every small class has an almost linear universal graph, or equivalently a labeling scheme with labels of size [math]. The existence of such a labeling scheme, a scaled-down version of the recently disproved Implicit Graph Conjecture, was repeatedly raised [Gavoille and Labourel, Proceedings of the 15th Annual European Symposium on Algorithms, Lecture Notes in Comput. Sci. 4698, Springer, 2007, pp. 582–593; Dujmović et al., J. ACM, 68 (2021), pp. 1–33; Bonamy, Gavoille, and Pilipczuk, SIAM J. Discrete Math., 36 (2022), pp. 2082–2099; Bonnet et al., Comb. Theory, 2 (2022)]. Furthermore, our small monotone classes have unbounded twin-width and thus simultaneously disprove the already-refuted Small conjecture, but this time with a self-contained proof, not relying on elaborate group-theoretic constructions. As our main ingredient, we show that with high probability an Erdős–Rényi random graph [math] with [math] has, for every [math], at most [math] subgraphs on [math] vertices, up to isomorphism. As a barrier to our general method of producing even more complex tiny classes, we show that when [math], the latter no longer holds. More concretely, we provide an explicit lower bound on the number of unlabeled [math]-vertex induced subgraphs of [math] when [math]. We thereby obtain a threshold for the property of having exponentially many unlabeled induced subgraphs: if [math] with [math], then with high probability even the number of all unlabeled (not necessarily induced) subgraphs is [math], whereas if [math] for sufficiently large [math], then with high probability the number of unlabeled induced subgraphs is [math]. This result supplements the study of counting unlabeled induced subgraphs that was initiated by Erdős and Rényi with a question on the number of unlabeled induced subgraphs of Ramsey graphs, eventually answered by Shelah.

Lettericity of graphs: an FPT algorithm and a bound on the size of obstructions

Bounds on the lettericity of graphs

Single-Exponential FPT Algorithms for Enumerating Secluded $\mathcal{F}$-Free Subgraphs and Deleting to Scattered Graph Classes

Local expressions of hereditary classes

Isolation of squares in graphs

Small but Unwieldy: A Lower Bound on Adjacency Labels for Small Classes

Coloring graphs with forbidden almost bipartite subgraphs

Sparse graphs with bounded induced cycle packing number have logarithmic treewidth

Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond

Graph parameters, implicit representations and factorial properties

Width Parameterizations for Knot-free Vertex Deletion on Digraphs

Sublinear Approximation Algorithms for Boxicity and Related Problems

Treewidth versus clique number. IV. Tree-independence number of graphs excluding an induced star

Large cliques or co-cliques in hypergraphs with forbidden order-size pairs

An Algorithmic Meta-Theorem for Graph Modification to Planarity and FOL

Tight bounds for intersection-reverse sequences, edge-ordered graphs and applications

Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique

The Hardness of Approximating the Threshold Dimension, Boxicity and Cubicity of a Graph

Highly connected graphs have highly connected spanning bipartite subgraphs