TAILIEUCHUNG - Báo cáo toán học: "Random k-SAT: the limiting probability for satisfiability for moderately growing k"

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: Random k-SAT: the limiting probability for satisfiability for moderately growing k. | Random k-SAT the limiting probability for satisfiability for moderately growing k Amin Coja-Oghlan Alan Frieze Department of Mathematical Sciences Carnegie Mellon University PittsbUrgh PA 15213 USA. acoghlan@ alan@ Submitted Sep 11 2007 Accepted Jan 17 2008 Published Feb 4 2008 Mathematics Subject Classihcation 05C88 Abstract We consider a random instance Im Im n k of k-SAT with n variables and m clauses where k k n satishes k log2 n 1. Let m 2k n In 2 c for an absolute constant c. We prove that TW. T -e c lim Pr Im is satishable e nn 1 Introduction An instance of k-SAT is defined by a set of variables V f X1 x2 . xng and a set of clauses C1 C2 . Cm. We will let clause Ci be a sequence Ai 1 Ai 2 . Ai k where each literal Ai i is a member of L V u V where V fx1 x2 . xng. In our random model each Ai l is chosen independently and uniformly from L. 1 We denote the resulting random instance by Im Im n k. Supported by DFG COJ 646. Supported in part by NSF grant CCF-0502793 1 We are aware that this allows clauses to have repeated literals or instances of x x. The focus of the paper is on k O ln n although the main result is valid for larger k. Thus most clauses will not have repeated clauses or contain a pair x x. THE ELECTRONIC JOURNAL OF COMBINATORICS 15 2008 N2 1 Random k-SAT has been well studied to say the least see the references in 6 . If k 2 then it is known that there is a satisfiability threshold at around m n. More precisely if e 0 is fixed and I is a random instance of 2-SAT then lim Pr Im n 2 is satisfiable nn Í0 m 1 e n m 1 e n Thus random 2-SAT is now pretty much understood. For k 3 the story is very different. It is now known that a threshold for satisfiability exists in some not completely satisfactory sense Friedgut 5 . There has been considerable work on trying to find estimates for this threshold in the case k 3 see the references in 6 . Currently the best lower bound for the threshold is due to Hajiaghayi and Sorkin

• Báo cáo khoa học
• tài liệu báo cáo nghiên cứu khoa học
• cách trình bày báo cáo
• kiến thức toán học
• báo cáo toán học
• công trình toán học
• Nghiên cứu khoa học
• Phương pháp nghiên cứu khoa học
• Bài giảng Phương pháp nghiên cứu khoa học
• Báo cáo nghiên cứu khoa học
• Trình bày báo cáo nghiên cứu khoa học
• Văn phong sử dụng trong báo cáo khoa học
• Báo cáo khoa học công nghệ
• Đề tài nghiên cứu khoa học
• Nghiên cứu công nghệ làm phân vi sinh
• Báo cáo nghiên cứu phân vi sinh
• Báo cáo tình hình nghiên cứu khoa học
• Mẫu Báo cáo thực hiện nghiên cứu
• Trình bày Báo cáo thực hiện nghiên cứu
• Nội dung Báo cáo thực hiện nghiên cứu
• Hình thức Báo cáo thực hiện nghiên cứu
• Biên bản nghiên cứu khoa học
• Báo cáo khoa học và kỹ thuật
• Đề tài nghiên cứu khoa học y khoa
• Báo cáo nghiên cứu cấp nhà nước
• Nghiên cứu chất lượng chế phẩm thuốc
• Báo cáo nghiên cứu công nghệ sinh học
• Đề tài nghiên cứu thuốc sâu sinh học
• Báo cáo khoa học kỹ thuật
• Báo cáo quản lý chất thải sinh hoạt
• Báo cáo khoa học môi trường
• Nghiên cứu khoa học về môi trường
• Báo cáo nghiên cứu vệ sinh môi trường
• Nghiên cứu tình hình nhiễm độc Cadimi
• Báo cáo chế phẩm sinh học
• Báo cáo nghiên cứu ứng dụng sinh học
• Cách viết báo cáo khoa học
• Quy trình nghiên cứu khoa học
• Báo cáo kết quả nghiên cứu
• báo cáo khoa học
• tuyển tập báo cáo khoa học
• báo cáo ngành toán học
• báo cáo ngành vật lý
• báo cáo ngành chăn nuôi
• Nghiên cứu công nghệ phôi vô tính
• Báo cáo nghiên cứu nông nghiệp
• Báo cáo công nghệ xử lý chất thải
• Báo cáo nghiên cứu khoa học công nghệ
• Kết quả nghiên cứu lúa lai
• Cây lương thực
• Cây thực phẩm
• Một số nguyên tắc nghiên cứu khoa học
• Tiêu chuẩn báo cáo nghiên cứu khoa học
• Nguyên tắc báo cáo khoa học
• Báo cáo nghiên cứu công trình
• Nghiên cứu độ rỗng trong đá chứa dầu khí
• Nghiên cứu công nghệ UV–Fenton
• Nghiên cứu công nghệ xử lý nước thải
• Đề tài y tế đảm bảo an toàn người bệnh
• Báo cáo xây dựng hệ thống y tế
• Kỹ thuật viết báo cáo nghiên cứu
• Viết báo cáo nghiên cứu
• Báo cáo nghiên cứu
• khoa học
• Hình thức soạn thảo văn bản báo cáo
• Báo cáo nghiên cứu nước thải rượu
• Báo cáo công nghệ thiết bị UASB
• Đề tài công nghệ vi sinh
• luận văn mẫu
• người lính việt nam
• sau chiến tranh
• báo cáo ngành triết học
• báo cáo ngành lịch sử
• báo cáo ngành văn học