在图形上的双人游戏中，玩家将一个代币通过图形移动到产生一条无限的路径，决定游戏的获胜者。这样的游戏是形式方法的核心，因为它们对非终止制度及其环境。在竞标游戏中，玩家竞标对于右侧移动标记：在每轮中，球员同时提交出价，高出价者移动代币并向其他玩家付款。众所周知，竞价游戏有一个干净优雅的数学结构取决于玩家提交任意小报价的能力。许多然而，应用程序需要固定的投标粒度，这可以例如，表示以美分表示的货币价值。我们学习，为了第一次，离散投标和无限长的结合游戏。我们最重要的结果证明，这些游戏形成了并发博弈的确定子类，其中确定性较强总是存在一个能保证获胜的球员比赛。特别是，我们表明，与非离散投标相比游戏中，解决捆绑投标的机制发挥着重要作用在离散投标游戏中。我们研究了几种自然的联系破裂机制表明，虽然一些人不承认确定性，但大多数自然机制暗示每对初始预算的确定性。