Bilevel Programming for Pebbling Numbers of Lemke Graph Products

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Pulaj, Jonad, Wood, Kenan, Yerger, Carl
Format: Preprint
Publié: 2024
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866929608542126080
author Pulaj, Jonad
Wood, Kenan
Yerger, Carl
author_facet Pulaj, Jonad
Wood, Kenan
Yerger, Carl
contents Given a configuration of indistinguishable pebbles on the vertices of a graph, a pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The pebbling number of a graph is the least integer such that any configuration with that many pebbles and any target vertex, some sequence of pebbling moves can place a pebble on the target. Graham's conjecture asserts that the pebbling number of the cartesian product of two graphs is at most the product of the two graphs' pebbling numbers. Products of so-called Lemke graphs are widely thought to be the most likely counterexamples to Graham's conjecture, provided one exists. In this paper, we introduce a novel framework for computing pebbling numbers using bilevel optimization. We use this approach to algorithmically show that the pebbling numbers of all products of 8-vertex Lemke graphs are consistent with Graham's conjecture, with the added assumption that pebbles can only be placed on a set of at most four vertices.
format Preprint
id arxiv_https___arxiv_org_abs_2411_19314
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Bilevel Programming for Pebbling Numbers of Lemke Graph Products
Pulaj, Jonad
Wood, Kenan
Yerger, Carl
Combinatorics
Optimization and Control
Given a configuration of indistinguishable pebbles on the vertices of a graph, a pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The pebbling number of a graph is the least integer such that any configuration with that many pebbles and any target vertex, some sequence of pebbling moves can place a pebble on the target. Graham's conjecture asserts that the pebbling number of the cartesian product of two graphs is at most the product of the two graphs' pebbling numbers. Products of so-called Lemke graphs are widely thought to be the most likely counterexamples to Graham's conjecture, provided one exists. In this paper, we introduce a novel framework for computing pebbling numbers using bilevel optimization. We use this approach to algorithmically show that the pebbling numbers of all products of 8-vertex Lemke graphs are consistent with Graham's conjecture, with the added assumption that pebbles can only be placed on a set of at most four vertices.
title Bilevel Programming for Pebbling Numbers of Lemke Graph Products
topic Combinatorics
Optimization and Control
url https://arxiv.org/abs/2411.19314