Imagen de Portada

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Edmonds, Chelsea, Paulson, Lawrence C.
Formato:	Preprint
Publicado:	2023
Materias:	Logic in Computer Science Combinatorics 05D05, 68V20, 68V15, 68V35, 03B35, 05C65, 05C15, 60C05 F.4.1; G.2.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Formalising New Mathematics in Isabelle: Diagonal Ramsey
por: Paulson, Lawrence C
Publicado: (2025)

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

Evolving Local Corrections for Global Constructions in Combinatorics
por: Bérczi, Gergely
Publicado: (2026)

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

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

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

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

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

State Canonization and Early Pruning in Width-Based Automated Theorem Proving
por: Oliveira, Mateus de Oliveira, et al.
Publicado: (2026)

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

Computing Non-Repetitive Sequences with a Computable Lefthanded Local Lemma
por: Mourad, Daniel
Publicado: (2024)

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

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

Backbone coloring for graphs with degree 4
por: Michalik, Krzysztof, et al.
Publicado: (2024)

Formal Conjectures: An Open and Evolving Benchmark for Verified Discovery in Mathematics
por: Firsching, Moritz, et al.
Publicado: (2026)

Sharp Fuss-Catalan thresholds in graph bootstrap percolation
por: Bartha, Zsolt, et al.
Publicado: (2025)

Primal-Dual Coordinate Descent for Nonconvex-Nonconcave Saddle Point Problems Under the Weak MVI Assumption
por: Walwil, Iyad, et al.
Publicado: (2025)

Topological Indices Among Strong Support Vertex
por: Hamoud, Jasem, et al.
Publicado: (2025)

On Topological Indices in Trees: Fibonacci Degree Sequences and Bounds
por: Hamoud, Jasem, et al.
Publicado: (2025)

Degree Sequence of Albertson and $σ$-Indices on Trees of Order $n\geqslant 3$
por: Hamoud, Jasem, et al.
Publicado: (2025)

Bounds on Trees with Topological Indices Among Degree Sequence
por: Hamoud, Jasem, et al.
Publicado: (2025)

Universal truth of operator statements via ideal membership
por: Hofstadler, Clemens, et al.
Publicado: (2022)

The Network Structure of Mathlib
por: Li, Xinze, et al.
Publicado: (2026)

Artifical intelligence and inherent mathematical difficulty
por: Dean, Walter, et al.
Publicado: (2024)

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

Reconfiguration of Independent Transversals
por: Buys, Pjotr, et al.
Publicado: (2024)

Anatomy of a Formal Proof
por: Avigad, Jeremy, et al.
Publicado: (2024)

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

Slavic Techniques for Hat Guessing Algorithms
por: McInnis, I. M. J.
Publicado: (2025)

The partial gossip problem revisited
por: Kokhas, Konstantin, et al.
Publicado: (2026)

Irregularity and Topological Indices in Fibonacci Word Trees and Modified Fibonacci Word Index
por: Hamoud, Jasem, et al.
Publicado: (2025)

Distributions of successions of arbitrary multisets
por: Kong, Yong
Publicado: (2024)

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

Formalizing Pick's Theorem in Isabelle/HOL
por: Binder, Sage, et al.
Publicado: (2024)

Bounds of Trees with Degree Sequence-Based Topological Indices on Specialized Graph Classes
por: Hamoud, Jasem, et al.
Publicado: (2025)

Extremal Degree Irregularity Bounds for Albertson and Sigma Indices in Trees and Bipartite Graphs
por: Hamoud, Jasem, et al.
Publicado: (2025)

Extremal Bounds on the Sigma and Albertson Indices for Non-Decreasing Degree Sequences
por: Hamoud, Jasem, et al.
Publicado: (2025)

The Exponential Hyper-Zagreb Indices and Structural Properties of Trees and Bipartite Graphs
por: Hamoud, Jasem
Publicado: (2025)

Closed-Form Analysis and Extremal Bounds of Albertson and Sigma Indices in Trees with Prescribed Degree Sequences
por: Hamoud, Jasem, et al.
Publicado: (2025)