Saved in:
Bibliographic Details
Main Authors: Pulaj, Jonad, Wood, Kenan, Yerger, Carl
Format: Preprint
Published: 2024
Subjects:
Online Access:https://arxiv.org/abs/2411.19314
Tags: Add Tag
No Tags, Be the first to tag this record!
_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