Thứ_tự_yếu
Thứ_tự_yếu

Thứ_tự_yếu

Trong toán học, đặc biệt là trong lý thuyết thứ tự, thứ tự yếu (hay quan hệ thứ tự yếu) là một hình thức hóa khái niệm hạng của một tập hợp, trong đó một số phần tử ngang hàng với nhau. Thứ tự yếu là dạng tổng quát của tập sắp thứ tự toàn phần (không có cặp phần tử nào ngang nhau) còn dạng tổng quát của nó là tập hợp sắp thứ tự một phần (nghiêm ngặt) và tiền thứ tự.[1]Có nhiều cách khác nhau dùng để hình thức hóa thứ tự yếu, và đặc biệt là mỗi cách này đều có thể biến đổi thành cách khác khác mà không làm mất thông tin: chúng có thể coi là các thứ tự yếu nghiêm ngặt (tập sắp thứ tự một phần trong đó tính không so sánh được là quan hệ bắc cầu), hoặc là tiền thứ tự toàn phần (quan hệ hai ngôi có tính bắc cầu sao cho tồn tại ít nhất một trong hai quan hệ khả thi cho mọi cặp phần tử) hoặc là các phân hoạch được sắp (phân hoạch các phần tử thành các tập con không giao nhau đôi một, cùng với thứ tự toàn phần trên các tập con đó). Ngoài ra trong nhiều trường hợp còn có biểu diễn khác gọi là sắp xếp ưu tiên dựa trên hàm thỏa dụng.[2]Số thứ tự yếu được đếm theo số Bell được sắp. Trong khoa học máy tính, chúng là một phần của các thuật toán mịn hoá phân hoạch và trong thư viện chuẩn C++.[3]

Tài liệu tham khảo

WikiPedia: Thứ_tự_yếu http://www.econ.uzh.ch/static/wp/econwp207.pdf http://www.highbeam.com/doc/1G1-162753665.html http://dml.cz/bitstream/handle/10338.dmlcz/128450/... http://www.ams.org/mathscinet-getitem?mr=0332508 http://www.ams.org/mathscinet-getitem?mr=0332508 http://www.ams.org/mathscinet-getitem?mr=0130837 http://www.ams.org/mathscinet-getitem?mr=0130837 http://www.ams.org/mathscinet-getitem?mr=0078632 http://www.ams.org/mathscinet-getitem?mr=0078632 http://www.ams.org/mathscinet-getitem?mr=1759929