Fourier - mạc tì kim tiêu nguyên pháp
Dẫn vào
Fourier —— mạc tì kim tiêu nguyên pháp( nguyên danh Fourier–Motzkin Elimination, tên gọi tắtFMEThuật toán ) là một loại dùng cho từ tuyến tính bất đẳng thức trung tiêu trừ lượng biến đổi toán học phương pháp.
Nó mệnh danh nguyên tự với ở 1827 năm cùng 1936 năm độc lập phát hiện nên thuật toán Joseph Fourier cùng Theodore Motzkin dòng họ.
Quá trình
Từ tuyến tính bất đẳng thức trung tiêu trừ một tổ lượng biến đổi, là chỉ thông qua đem quan hệ thức trung bao nhiêu cái nguyên tố hữu hạn thứ mà biến hóa, đánh tan trong đó nào đó nguyên tố, do đó giải quyết vấn đề một loại phương pháp.
Nếu tuyến tính bất đẳng thức trung sở hữu lượng biến đổi đều bị tiêu trừ, như vậy chúng ta sẽ được đến một cái thường bất đẳng thức. Bởi vì đương thả chỉ đương nguyên bất đẳng thức có giải khi, tiêu nguyên hậu bất đẳng thức mới vì thật, tiêu trừ sở hữu lượng biến đổi nhưng dùng cho kiểm tra đo lường bất đẳng thức hệ thống hay không có giải.
Suy xét một cái hàm
- Hình thức vì
Bất đẳng thức, đối với phạm vi từ Đến ( Vì loại này bất đẳng thức số lượng ) ,Dùng Tỏ vẻ; - Hình thức vì
Bất đẳng thức, đối với phạm vi từ Đến ( Vì loại này bất đẳng thức số lượng ) ,Dùng Tỏ vẻ; - Không bao hàm
Bất đẳng thức, thiết chúng nó cấu thành bất đẳng thức tổ vì .
Bởi vậy nguyên hệ thống đồng giá với
Tiêu nguyên bao gồm sinh ra một cái đồng giá với
Bất đẳng thức
Đồng giá với đối với
Bởi vậy, chúng ta đem nguyên hệ thống
Ví dụ mẫu
Suy xét dưới bất đẳng thức hệ thống:
Vì tiêu trừ
Như vậy chúng ta được đến hai cái
Hiện tại chúng ta có một cái tân thiếu một cái lượng biến đổi bất đẳng thức hệ thống.
Thời gian phức tạp độ
Ở
Có thể sử dụng quy hoạch tuyến tính (Linear Programming, LP) kiểm tra đo lường không cần thiết ước thúc.
Ứng dụng
Lý thuyết thông tin nhưng thực hiện tính chứng minh bảo đảm tồn tại tính năng tốt đẹp mã hóa phương án điều kiện. Này đó điều kiện thông thường sử dụng tuyến tính bất đẳng thức hệ thống miêu tả. Hệ thống lượng biến đổi bao gồm truyền tốc độ cùng phụ gia phụ trợ tốc độ. Thông thường, mọi người chỉ ở chỉ căn cứ vấn đề tham số ( tức truyền tốc độ ) tới miêu tả thông tín cơ bản hạn chế, bởi vậy thuật phụ trợ suất yêu cầu tiêu trừ thượng. Mà chúng ta đúng là thông qua phó lập diệp - mạc tì kim tiêu nguyên pháp tới làm được điểm này.
Thực hiện
Tại lập trình ngôn ngữ trung,Racket,Một loại căn cứ vào Lisp nhiều phạm thức biên trình ngôn ngữ ởfme - Fourier–Motzkin Elimination for Integer Systems)Trung đối FME thuật toán làm đơn giản hàm số đại số thực hiện.
Tham khảo tư liệu cùng mở rộng đọc
- Rui-Juan Jing, Marc Moreno-Maza, Delaram Talaashrafi, "Complexity Estimates for Fourier-Motzkin Elimination",Journal of Functional Programming 16:2 (2006) pp 197-217.
- Fourier–Motzkin elimination - Wikipedia
- Fourier-Motzkin elimination and its dual
- GE Liepins,Fourier-Motzkin elimination for mixed systems,1983
Bổn giao diện gần nhất đổi mới:2023/6/27 13:39:08,Đổi mới lịch sử
Phát hiện sai lầm? Tưởng cùng nhau hoàn thiện?Ở GitHub thượng biên tập này trang!
Bổn giao diện cống hiến giả:Enter-tainer,hbghlyj,iamtwz,isdanni,sshwy,Tiphereth-A,Xeonacid
Bổn giao diện toàn bộ nội dung ởCC BY-SA 4.0CùngSATAHiệp nghị chi điều khoản hạ cung cấp, phụ gia điều khoản cũng khả năng ứng dụng