Refuting conjectures in extremal combinatorics via linear programming

Adam Zsolt Wagner

Refuting conjectures in extremal combinatorics via linear programming

Combinatorics 2019-03-14 v1 Discrete Mathematics

Authors: Adam Zsolt Wagner

Abstract

We apply simple linear programming methods and an LP solver to refute a number of open conjectures in extremal combinatorics.

Keywords

linear programming

Cite

@article{arxiv.1903.05495,
  title  = {Refuting conjectures in extremal combinatorics via linear programming},
  author = {Adam Zsolt Wagner},
  journal= {arXiv preprint arXiv:1903.05495},
  year   = {2019}
}

Related papers

View all related →

Artificial Intelligence · Computer Science

Relational Linear Programs

Kristian Kersting, Martin Mladenov, Pavel Tokmakov

2014-10-14

Optimization and Control · Mathematics

On the Convergence of Inexact Predictor-Corrector Methods for Linear Programming

Gregory Dexter, Agniva Chowdhury, Haim Avron, Petros Drineas

2022-02-04

Optimization and Control · Mathematics

Linear Programming Problem Solved By a Special Substitution Method

Laurent Truffet

2026-05-07

Data Structures and Algorithms · Computer Science

Speeding up Linear Programming using Randomized Linear Algebra

Agniva Chowdhury, Palma London, Haim Avron, Petros Drineas

2020-03-19

Computer Science and Game Theory · Computer Science

Linear Programming helps solving large multi-unit combinatorial auctions

Rica Gonen, Daniel Lehmann

2007-05-23

Information Theory · Computer Science

Adaptive Methods for Linear Programming Decoding

Mohammad H. Taghavi, Paul H. Siegel

2007-07-13

Logic in Computer Science · Computer Science

Generating Random Logic Programs Using Constraint Programming

Paulius Dilkas, Vaishak Belle

2020-09-14

Optimization and Control · Mathematics

From Infinite to Finite Programs: Explicit Error Bounds with Applications to Approximate Dynamic Programming

Peyman Mohajerin Esfahani, Tobias Sutter, Daniel Kuhn, John Lygeros

2017-02-22

Artificial Intelligence · Computer Science

Mining Math Conjectures from LLMs: A Pruning Approach

Jake Chuharski, Elias Rojas Collins, Mark Meringolo

2024-12-24

Logic in Computer Science · Computer Science

On Modular Termination Proofs of General Logic Programs

Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi

2025-06-18

Computer Vision and Pattern Recognition · Computer Science

Solving Jigsaw Puzzles with Linear Programming

Rui Yu, Chris Russell, Lourdes Agapito

2015-11-17

Combinatorics · Mathematics

Constructions in combinatorics via neural networks

Adam Zsolt Wagner

2021-04-30

Information Theory · Computer Science

Adaptive Linear Programming Decoding

Mohammad H. Taghavi N., Paul H. Siegel

2007-07-13

Optimization and Control · Mathematics

Linear Programming using Limited-Precision Oracles

Ambros Gleixner, Daniel E. Steffy

2020-01-01

Programming Languages · Computer Science

Computing Convex Hulls with a Linear Solver

Florence Benoy, Andy King, Fred Mesnard

2007-05-23

Logic in Computer Science · Computer Science

Proof complexity and the binary encoding of combinatorial principles

Stefan Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin

2022-04-06

Optimization and Control · Mathematics

Learning to Reformulate for Linear Programming

Xijun Li, Qingyu Qu, Fangzhou Zhu, Jia Zeng +3

2022-01-19

Number Theory · Mathematics

On the Lehmer conjecture and counting in finite fields

Emmanuel Breuillard, Péter P. Varjú

2019-05-21

Econometrics · Economics

Inference on Estimators defined by Mathematical Programming

Yu-Wei Hsieh, Xiaoxia Shi, Matthew Shum

2017-09-27

Artificial Intelligence · Computer Science

Logic Programming Approaches for Representing and Solving Constraint Satisfaction Problems: A Comparison

Nikolay Pelov, Emmanuel De Mot, Marc Denecker

2007-05-23

Mathematical Software · Computer Science

Differentiating Through Linear Solvers

Paul Hovland, Jan Hückelheim

2024-05-08

Logic in Computer Science · Computer Science

A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems

Nikolay Pelov, Emmanuel De Mot, Maurice Bruynooghe

2007-05-23

Artificial Intelligence · Computer Science

Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs

Yuliya Lierler

2023-03-01

Optimization and Control · Mathematics

Solving Linear Programs with Fast Online Learning Algorithms

Wenzhi Gao, Dongdong Ge, Chunlin Sun, Yinyu Ye

2024-11-07

Number Theory · Mathematics

Linear programming over exponent pairs

Andrew V. Lelechenko

2014-12-24