Cover Image

Evolving Local Corrections for Global Constructions in Combinatorics

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bérczi, Gergely
Format:	Preprint
Published:	2026
Subjects:	General Mathematics 05C60, 05B15, 05B35, 68T20, 68V99
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
by: Edmonds, Chelsea, et al.
Published: (2023)

PatternBoost: Constructions in Mathematics with a Little Help from AI
by: Charton, François, et al.
Published: (2024)

The degree-restricted random process is far from uniform
by: Molloy, Michael, et al.
Published: (2022)

Two-colorings of finite grids: variations on a theorem of Tibor Gallai
by: Dumitru, Bogdan, et al.
Published: (2025)

Analysis and Optimization of Probabilities of Beneficial Mutation and Crossover Recombination in a Hamming Space
by: Belavkin, Roman V.
Published: (2025)

Evolving Ranking Functions for Canonical Blow-Ups in Positive Characteristic
by: Bérczi, Gergely
Published: (2026)

Mathematical Modeling in the Textile Industry
by: Yordzhev, Krasimir, et al.
Published: (2026)

Formalising New Mathematics in Isabelle: Diagonal Ramsey
by: Paulson, Lawrence C
Published: (2025)

Algebraic Classification of All 880 Fourth-Order Magic Squares and the Discovery of Complete Alternating Magic Squares
by: Takemura, Kenichi
Published: (2026)

Remote Verification System for Mizar Integrated with Emwiki
by: Kai, Toshiki, et al.
Published: (2024)

A Modular First Formalisation of Combinatorial Design Theory
by: Edmonds, Chelsea, et al.
Published: (2021)

Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics
by: Edmonds, Chelsea, et al.
Published: (2022)

Dirac's theorem and the switch geometry of perfect matchings
by: Kang, Ross J., et al.
Published: (2026)

The arc chromatic number for Galois projective planes, affine planes and Euclidean grids
by: Araujo-Pardo, Gabriela, et al.
Published: (2026)

A Note on Small Percolating Sets on Hypercubes via Generative AI
by: Bérczi, Gergely, et al.
Published: (2024)

Mixing and Merging Metric Spaces using Directed Graphs
by: Can, Mahir Bilen, et al.
Published: (2025)

Regular $K_3$-irregular graphs
by: Hak, Artem, et al.
Published: (2025)

Self-adhesivity in lattices of abstract conditional independence models
by: Boege, Tobias, et al.
Published: (2024)

$H$-percolation with a random $H$
by: Bartha, Zsolt, et al.
Published: (2023)

The continuous functional calculus in Lean
by: Dedecker, Anatole, et al.
Published: (2025)

Hyperstability in the Erdős-Sós Conjecture
by: Pokrovskiy, Alexey
Published: (2024)

Weighted domination models and randomized heuristics
by: Dijkstra, Lukas, et al.
Published: (2022)

Longest cycles in vertex-transitive and highly connected graphs
by: Groenland, Carla, et al.
Published: (2024)

Applications of Combinatorics on Words with Symbolic Dynamics
by: Abdullah, Duaa, et al.
Published: (2025)

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem
by: Lau, Gabriel Rongyang
Published: (2026)

Reinforcement Learning the Chromatic Symmetric Function
by: Bérczi, Gergely, et al.
Published: (2024)

Structural Components Dominate Asymptotic Behavior on Sombor Index with Iterated Pendant Constructions
by: Hamoud, Jasem
Published: (2026)

The classification of minimally unsatisfiable 2-CNFs -- a fundamental study
by: Abbasizanjani, Hoda, et al.
Published: (2020)

4-cop-win graphs have at least 19 vertices
by: Turcotte, Jérémie, et al.
Published: (2020)

On sums of powers of natural numbers
by: Samsonadze, Eteri
Published: (2024)

Fundamentals of Partial Rejection Sampling
by: Jerrum, Mark
Published: (2021)

Homomorphically Full Oriented Graphs
by: Bellitto, Thomas, et al.
Published: (2022)

Maximum Probability of Independence in Transitive Matroids
by: Kovačević, Mladen
Published: (2026)

New class of time-periodic solutions to the 1D cubic wave equation
by: Ficek, Filip, et al.
Published: (2025)

Matchings: Source, Goal and Faithful Companion
by: Sebő, András
Published: (2026)

Distributions of successions of arbitrary multisets
by: Kong, Yong
Published: (2024)

Patricia's Bad Distributions
by: Addario-Berry, Louigi, et al.
Published: (2024)

Colored interlacing triangles and Genocchi medians
by: Blitvic, Natasha, et al.
Published: (2026)

Parities in random Latin squares
by: Kwan, Matthew, et al.
Published: (2025)

Bounds on the Albertson Index for Trees with Given Degree Sequences
by: Hamoud, Jasem, et al.
Published: (2025)