Chúng tôi có được một đồ thị vô hướng trọng không tiêu cực G = (V, E) và một tập S
các nút. Mục đích là để? Nd một tập hợp con chi phí tối thiểu T của các cạnh kết nối
các nút trong S. T như vậy được gọi là cây Steiner tối thiểu. Nó là một cây kết nối một
tập hợp U với S μ μ U V. Nghệ thuật là chọn U để giảm thiểu chi phí của cây.
Các vấn đề kéo dài tối thiểu của cây là trường hợp đặc biệt mà S bao gồm tất cả các nút.
Vấn đề cây Steiner phát sinh một cách tự nhiên trong ví dụ giới thiệu của chúng tôi. Giả sử rằng
một số hòn đảo trong T-hay còn gọi là Tuka đất được unihabitated. Mục đích là để kết nối tất cả các
hòn đảo inhabitated. Giải pháp tối ưu sẽ nói chung có một số hòn đảo uninhabitated trong dung dịch.
Vấn đề cây Steiner là NP-đầy đủ?. Chúng ta thấy làm thế nào để xây dựng một giải pháp
đó là một yếu tố trong hai tối ưu. Chúng ta xây dựng một đồ thị phụ trợ hoàn chỉnh
với nút tập S: cho bất kỳ cặp u và v các nút trong S, chi phí cạnh (u, v) trong
đồ thị phụ trợ là khoảng cách đường đi ngắn nhất trong G. Hãy hỗ trợ kỹ thuật là một spanning tối thiểu
cây của đồ thị phụ trợ. Chúng ta có được một cây Steiner của G bằng cách thay thế mỗi cạnh của
TA [ps là: T. Ab hier leicht umformuliert] là đường dẫn nó đại diện trong G. Trong (=
kết quả đồ thị con của G chúng ta xóa cạnh từ chu kỳ cho đến khi nó là đồ thị con còn lại
là chu kỳ miễn phí. Các chi phí của cây Steiner kết quả là tại hầu hết các chi phí hỗ trợ kỹ thuật .
Định lý 36. Thuật toán trên xây dựng một Steiner tr ee mà là ở hầu hết hai lần
chi phí của một Steiner tối ưu tr ee.
Proof. Các thuật toán xây dựng một cây Steiner chi phí nhiều nhất là c (TA). Do đó,
rừng đặc dụng CES để hiển thị? c (TA) · 2c (T
lựa chọn), trong đó T
lựa chọn là một cây Steiner tối thiểu cho S trong
G. T o đích này, rừng đặc dụng? CES cho thấy đồ thị phụ trợ có một cây bao trùm của chi phí
2c (T
lựa chọn) . Hình 11.10 chỉ ra làm thế nào để xây dựng một cây bao trùm như W alking.?
một lần xung quanh các cây Steiner de nes một con đường đóng trong G, chi phí 2c (T?
lựa chọn); quan sát
rằng tất cả các cạnh trong T
lựa chọn chính xác xảy ra hai lần trong con đường này. Xóa các nút bên ngoài
S trong con đường này cho chúng ta một con đường khép kín trong đồ thị phụ trợ. Các chi phí của con đường này là ở
hầu hết 2c (T
lựa chọn), bởi vì chi phí cạnh trong đồ thị auxilary là khoảng cách đường đi ngắn nhất trong
G. Con đường khép kín trong đồ thị phụ trợ kéo dài S và do đó đồ thị phụ trợ
có một cây bao trùm của chi phí nhiều nhất 2c (T
lựa chọn).
đang được dịch, vui lòng đợi..