The queen’s graph has the squares of the chessboard as vertices, with adjacency defined by a common row, column, or diagonal. We give an explicit set of queens on . In centered coordinates, all queen coordinates are odd, every odd row and odd column is occupied exactly once, and the occupied rows, columns, and diagonals satisfy the conditions for a type A -cover in the terminology of Ostergard and Weakley. A direct independent verification checks every one of the board squares and finds none uncovered. Hence . The Finozhenok-Weakley lower bound , valid here, gives the matching inequality and therefore . For this cover, the parameters defined by Ostergard and Weakley are , , and ; the complete difference- and sum-diagonal multisets are displayed in the paper. It consequently also supplies an explicit finite input to their amplification theorem for type A covers, giving . This last coefficient improves both the earlier type A coefficient and the subsequent general coefficient of Burger and Mynhardt. The coordinates and a complete standard-library Python verifier are included.

生成讲解博客的中文版本

生成AI智能校验的中文版本