Au-dela de la consistance de domaine

La r ́esolution d’un probl`eme en programmation par contrainte est bas ́ee sur la propa- gation et la recherche. La propagation vise `a enlever les valeurs impossibles dans le domaines des variables, par l’examen de leur coh ́erence avec la contrainte. Ces derni`eres ann ́ees, plusieurs notions de consistance plus forte que la consistance de domaine ont ́et ́e propos ́ees. L’objectif de ce m ́emoire est d’ ́etudier les niveaux de consistance forte existante pour les contraintes binaires et les contraintes non-binaires. Des algorithmes de propagation pour les diff ́erentes consistances fortes associ ́es `a contrainte non binaire ont ́et ́e ́etudi ́es et mis en œuvre dans le solveur AbsCon. Plus particuli`erement, nous avons impl ́ement ́e des algorithmes pour MaxRPWC, rPIC et RPWC. Les r ́esultats exp ́erimentaux montrent que ces consistances sont efficaces dans certaines classes de probl`emes car elles peuvent ́elaguer plus que la consistance de domaine
http://repository.vnu.edu.vn/handle/VNU_123/9874

Nhận xét

Đăng nhận xét

Bài đăng phổ biến từ blog này

Ai tạo ra vũ trụ này?

Hình ảnh
Nếu có người thật tạo ra vũ trụ, thì thử hỏi người ấy ai tạo ra? Nếu cho là tự nhiên, thì pháp nào cũng phải bình đẳng, người nào cũng tự nhiên được đâu thể chỉ một người đó được tự nhiên, ngoài ra chẳng ai được ? Đáp: Ý nói ở trong vũ trụ có một vị cao nhất ư? Ấy là tư tưởng của ngoại đạo. Theo Phật pháp thì chẳng có ai là cao nhất, tất cả chúng sinh đều là Phật, chứ chẳng phải là Phật có cao hơn. Tại ông có tư tưởng chấp thật mới đưa ra câu hỏi này. Nếu vũ trụ đã chẳng phải thật, thì có ai thật tạo ra? Trong Kinh thường nói đến hai chữ Vô thỉ; tức không có bắt đầu. Nếu có người thật tạo ra vũ trụ, thì thử hỏi người ấy ai tạo ra? Nếu cho là tự nhiên, thì pháp nào cũng phải bình đẳng, người nào cũng tự nhiên được đâu thể chỉ một người đó được tự nhiên, ngoài ra chẳng ai được ? Phật pháp bình đẳng, nếu một người tự nhiên được thì mọi người đều tự nhiên được; đời xưa tự nhiên được đời nay cũng tự nhiên được. Đối với vũ trụ vạn vật, Phật pháp nói là “Nhất thiết duy t
Đọc thêm

NGHIÊN CỨU SỰ MỌC VÀ HÌNH THÀNH QUẢ THỂ NẤM CỐC LỚN CLITOCYBE MAXIMA (GARTN. EX MEY.:FR) QUÉL

Title:  NGHIÊN CỨU SỰ MỌC VÀ HÌNH THÀNH QUẢ THỂ NẤM CỐC LỚN CLITOCYBE MAXIMA (GARTN. EX MEY.:FR) QUÉL Authors:  Nguyễn Thị Bích Thùy Ngô Xuân Nghiễn CồThị Thùy Vân Trinh Tam Kiệt Keywords:  Nấm Clitocybe maxima;Agaricales (bộ nấm tán);Tricholomatacea;Nấm Cốc lớn Issue Date:  2009 Publisher:  Di truyền học và ứng dụng - Chuyên san Công nghệ sinh học Series/Report no.:  Di truyền học và ứng dụng - Chuyên san Công nghệ sinh học;5 Abstract:  Nấm Clitocybe maxima (Gartn. ex Mey.:Fr) Quel. thuộc bộ Agaricales (bộ nấm tán), họ Tricholomatacea, là loài nấm ăn ngon, giòn, mùi thơm nhẹ. Nấm Cốc lớn chứa nhiều axit amin và chất khoáng cần thiết cho cơ thể, hàm lượng axit amin chiếm 16,5% chất khô, hàm lượng lysin đứng đầu trong các loài nấm ăn, hàm lượng protein trong nấm Cốc lớn tương đương với trong nấm hương và nấm kim châm. Ở Việt Nam loài nấm này mới được nhập và đang nghiên cứu ở quy mô phòng thí nghiệm nhỏ, vì vậy việc đầu tư nghiên cứu kỹ lưỡng hơn nhằm đưa loài nấm ăn này
Đọc thêm

Thế giới nhân vật trong truyện ngắn Ma Văn Kháng từ 1986 tới nay

Luận văn đã nghiên cứu một cách khái quát thế giới nhân vật trong truyện ngắn của nhà văn Ma Văn Kháng từ năm 1986 tới nay, trên các phương diện như: Quan niệm nghệ thuật của nhà văn về con người; các kiểu nhân vật; nghệ thuật xây dựng nhân vật trong truyện ngắn Ma Văn Kháng. Chương 1: Hành trình nghệ thuật của Ma Văn Kháng và vị trí thể loại truyện ngắn trong sáng tác của nhà văn Nhìn lại những chặng đường lớn khi theo đuổi nghiệp viết văn của Ma Văn Kháng, với 22 năm ở Lào Cai (Tây Bắc), và từ năm 1976 đến nay ở Thủ đô Hà Nội, trải qua nhiều cương vị công tác khác nhau và hiện tại ông đang ở vị trí hội viên Hội Nhà văn Việt Nam; thì có thể khẳng định, thành quả trong hành trình sáng tác trên nửa thế kỉ của nhà văn Ma Văn Kháng, được đánh giá là đồ sộ: với trên 200 truyện ngắn, tạp văn, 13 tiểu thuyết và một hồi kí văn chương. Đây là những cống hiến lớn lao nhất ông dành cho nghệ thuật và cũng là những món quà quý nhất Ma Văn Kháng đáp lại lòng yêu mến của
Đọc thêm