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

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

Định tuổi tương đối của đá

Hình ảnh
Là một bộ phận quan trọng của khoa học địa chất lịch sử, Địa tầng học có hai nhiệm vụ cơ bản là phân chia và liên hệ - so sánh các mặt cắt địa tầng, hai nhiệm vụ này có quan hệ mật thiết với nhau và chính là hai bước của một quá trình nghiên cứu nhằm xác định tuổi tương đối của đá. Phân chia địa tầng là công tác nghiên cứu, mô tả tỉ mỉ các đặc tính của các lớp, các tầng đá và vị trí, quan hệ của chúng trong các mặt cắt địa tầng, xác lập trình tự sắp xếp các tầng, các lớp trong mặt cắt. Từ đó phân chia các lớp trong mặt cắt thành những phân vị thích hợp nhằm phản ảnh lịch sử thành tạo chúng trong địa phương có mặt cắt địa chất được nghiên cứu. Liên hệ - so sánh địa tầng là đối chiếu trình tự địa tầng của các mặt cắt khác nhau để lập mối quan hệ về tuổi địa tầng của các lớp ở các mặt cắt khác nhau đó. Thí dụ chúng có hai mặt cắt địa tầng A và B ở hai nơi khác nhau đã được nghiên cứu phân chia tỉ mỉ. Việc liên hệ - so sánh hai mặt cắt A và B giúp chúng ta đánh giá quan hệ ...
Đọc thêm