TAILIEUCHUNG - Báo cáo toán học: "The complexity of constructing gerechte designs"

Tuyển tập các báo cáo nghiên cứu khoa học về toán học trên tạp chí toán học quốc tế đề tài: The complexity of constructing gerechte designs. | The complexity of constructing gerechte designs E. R. Vaughan School of Mathematical Sciences Queen Mary University of London UK Submitted Nov 20 2007 Accepted Jan 20 2009 Published Jan 30 2009 Mathematics Subject Classihcation 05B15 68Q17 Abstract Gerechte designs are a specialisation of latin squares. A gerechte design is an n X n array containing the symbols 1 . ng together with a partition of the cells of the array into n regions of n cells each. The entries in the cells are required to be such that each row column and region contains each symbol exactly once. We show that the problem of deciding if a gerechte design exists for a given partition of the cells is NP-complete. It follows that there is no polynomial time algorithm for Ending gerechte designs with specihed partitions unless P NP. 1 Introduction Gerechte designs were introduced by W. U. Behrens in 1956 2 as a specialisation of latin squares. A gerechte skeleton of order n is an n X n array whose n2 cells are partitioned into n regions containing n cells each. A gerechte design of order n consists of a gerechte skeleton of order n together with an assignment of a symbol from the set 1 . ng to each cell such that each symbol occurs once in each row once in each column and once in each region of the array. We call such an assignment of symbols to cells a completion. Not all gerechte skeletons have completions. For example suppose we have a skeleton in which one of the regions consists of all the cells in a row except for the cell in column n and a cell in column n in a different row. Clearly a skeleton that contains such a region cannot have a completion. Bailey Cameron and Connelly in their article on sudoku 1 asked what is the computational complexity of determining if a given gerechte skeleton has a completion This question was also presented at the problem session of the CGCS Luminy conference in May 2007 3 . We prove the following Theorem 1. The problem of determining if a .

TÀI LIỆU LIÊN QUAN
TỪ KHÓA LIÊN QUAN
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.