外文翻译 - 俄罗斯方块的理论.docVIP

外文原文 The Theory of Tetris Hendrik Jan Hoogeboom and Walter A. Kosters Leiden Institute of Advanced Computer Science Universiteit Leiden, The Netherlands fhoogebookostersg@liacs.nl 1 Introduction Any algorithm requires a theoretical analysis. Such an analysis may address issues like complexity (e.g., NP-completeness[9]), decidability and practical properties concerning special cases.In this paper we would like to discuss the Tetris game in this light. We will first describe the game and some of its variants, show NP-completeness of a certain decision problem naturally attached to the game and then prove (un)decidability in some other cases. We conclude with some practical topics that arise from the NP-completeness proof. This paper is based on a series of articles that begins with the original NP-completeness proof of Demaine, Hohenberger and Liben-Nowell from MIT[7], that was well-noticed in the popular press. The proof was simplified in , leading to a joint journal paper . In and[14] the other issues mentioned above were dealt with. For full proofs we refer to these papers. Tetris is a one-person game where random pieces consisting of four blocks fall down, one at a time, in an originally empty rectangular game board. The player is allowed to rotate and horizontally move the falling piece. If an entire row of the board is filled with blocks, it is removed (“cleared”). The main purpose of the game is to keep on playing as long as possible. The decision problem under consideration is essentially the following. Given a partially filled game board (referred to as a Tetris configuration), and an ordered finite known series of pieces, is it possible to play in such a way that the whole board is cleared? The NP-completeness proof is by reduction. It is shown that instances of the so-called 3-Partition problem can be translated into rather involved Tetris configurations, where solutions correspond with boards that can be cleared. The configurations used suggest the questio