Graham’s pebbling conjecture holds for the product of a graph and a sufficiently large complete bipartite graph

A graph pebbling is a network optimization model for the transmission of consumable resources. A pebbling move on a connected graph [Formula: see text] is the process of removing two pebbles from a vertex and placing one of them on an adjacent vertex after configuration of a fixed number of pebbles on the vertex set of [Formula: see text]. The pebbling number of [Formula: see text], denoted by [Formula: see text], is defined to be the least number of pebbles to guarantee that for any configuration of pebbles on [Formula: see text] and arbitrary vertex [Formula: see text], there is a sequence of pebbling movement that places at least one pebble on [Formula: see text]. For connected graphs [Formula: see text] and [Formula: see text], Graham’s conjecture asserted that [Formula: see text]. In this paper, we show that such conjecture holds when [Formula: see text] is a complete bipartite graph with sufficiently large order in terms of [Formula: see text] and the order of [Formula: see text].