【 toán pháp 】 quảng độ ưu tiên sưu tác

Quảng độ ưu tiên sưu tác ( breadth first search )

Đồ

Tối đoản lộ kính vấn đề ( shorterst-path problem )

Giải quyết tối đoản lộ kính vấn đề đích toán pháp bị xưng viQuảng độ ưu tiên sưu tác.

Tối đoản lộ kính vấn đề giải quyết bộ sậu

(1) sử dụngĐồLai kiến lập vấn đề mô hình.

(2) sử dụngQuảng độ ưu tiên sưu tácGiải quyết vấn đề.

Đồ đích định nghĩa

Đồ mô nghĩ nhất tổ liên tiếp.

Đồ doTiết điểm( node ) hòaBiên( edge ) tổ thành. Nhất cá tiết điểm khả năng dữ chúng đa tiết điểm trực tiếp tương liên, giá ta tiết điểm bị xưng vi lân cư.Đồ dụng vu mô nghĩ bất đồng đích đông tây thị như hà tương liên đích.

Quảng độ ưu tiên sưu tác

Quảng độ ưu tiên sưu tác thị nhất chủng dụng vu đồ đích tra trảo toán pháp, khả bang trợ hồi đáp lưỡng loại vấn đề.

• Đệ nhất loại vấn đề: Tòng tiết điểm A xuất phát, hữu tiền vãng tiết điểm B đích lộ kính mạ?
• Đệ nhị loại vấn đề: Tòng tiết điểm A xuất phát, tiền vãng tiết điểm B đích na điều lộ kính tối đoản?

Tra trảo tối đoản lộ kính

Tại quảng độ ưu tiên sưu tác đích chấp hành quá trình trung, sưu tác phạm vi tòng khởi điểm khai thủy trục tiệm hướng ngoại diên thân, tức tiên kiểm tra nhất độ quan hệ, tái kiểm tra nhị độ quan hệ.

Quảng độ ưu tiên sưu tác bất cận tra trảo tòng A đáo B đích lộ kính, nhi thả trảo đáo đích thị tối đoản đích lộ kính.

Đội liệt

Nhu yếu án thiêm gia thuận tự tiến hành kiểm tra.Khả dĩ dụng đội liệt lai thật hiện giá chủng mục đích

Đội liệt loại tự vu sạn, bất năng tùy cơ địa phóng vấn đội liệt trung đích nguyên tố.

Đội liệt chỉ chi trì lưỡng chủng thao tác:Nhập độiHòaXuất đội.

Đội liệtThị nhất chủngTiên tiến tiên xuất( First In First Out, FIFO ) đích sổ cư kết cấu, nhiSạnThị nhất chủngHậu tiến tiên xuất( Last InFirst Out, LIFO ) đích sổ cư kết cấu.

Thật hiện đồ

Sử dụng tán liệt biểu tương kiện ánh xạ đáo trị, dụng lai thật hiện đồ

Kỳ lệ:

>>> graph={}
>>> graph['you']=['alice','bob','claire']
>>> graph
{'you': ['alice', 'bob', 'claire']}
>>> graph['bob']=['anuj','peggy']
>>> graph['alice']=['peggy']
>>> graph['claire']=['thom','jonny']
>>> graph['anuj']=[]
>>> graph['peggy']=[]
>>> graph['thom']=[]
>>> graph['jonny']=[]
>>> graph
{'you': ['alice', 'bob', 'claire'], 'bob': ['anuj', 'peggy'], 'alice': ['peggy'], 'claire': ['thom', 'jonny'], 'anuj': [], 'peggy': [], 'thom': [], 'jonny': []}

Kiện — trị đối đích thiêm gia thuận tự bất trọng yếu, nhân vi tán liệt biểu thị vô tự đích.

Hữu hướng đồ ( directed graph )

Kỳ trung đích quan hệ thịĐan hướngĐích

Vô hướng đồ ( undirected graph )

Một hữu tiễn đầu,Trực tiếp tương liên đích tiết điểm hỗ vi lân cư

Thật hiện toán pháp

Đại mã

from collections import deque # sử dụng hàm sổ deque lai sang kiến nhất cá song đoan đội liệt
graph={'you': ['alice', 'bob', 'claire'], 'bob': ['anuj', 'peggy'], 'alice': ['peggy'], 'claire': ['thom', 'jonny'], 'anuj': [], 'peggy': [], 'thom': [], 'jonny': []}
def search(name):
search_queue=deque()
search_queue+=graph[name]
searched=[] # giá cá liệt biểu dụng vu ký lục kiểm tra quá đích nguyên tố
while search_queue:
person=search_queue.popleft()
if not person in searched:
if person_is_seller(person):
print(person,'is a mango seller!')
return True
else:
search_queue+=graph[person]
searched.append(person)
return False

def person_is_seller(name):
return name[-1]=='m'

search('you')

Nguyên lý

1. Sang kiến nhất cá đội liệt, dụng vu tồn trữ yếu kiểm tra đích nguyên tố
2. Tòng đội liệt đạn xuất đệ nhất cá nguyên tố
3. Kiểm tra giá cá nguyên tố, thị phủ mãn túc yếu cầu.
4. Như quả mãn túc phản hồi kết quả, phủ tắc tương giá cá nguyên tố đích sở hữu lân cư gia nhập đội liệt
5. Hồi đáo đệ nhị bộ. Kế tục kiểm tra giá ta lân cư.
6. Như quả đội liệt vi không, tựu thuyết minh một hữu mãn túc điều kiện đích nguyên tố

Đình chỉ điều kiện ( mãn túc kỳ nhất ):

• Trảo đáo nhất cá mãn túc điều kiện đích nguyên tố;
• Đội liệt biến thành không đích,Giá ý vị đội liệt đích sở hữu nguyên tố, đô một hữu mãn túc điều kiện

Vận hành thời gian

Quảng độ ưu tiên sưu tác đích vận hành thời gian viO(V + E),Kỳ trungV vi đỉnh điểm ( vertice ) sổ, E vi biên sổ.

Giải tích:

Tại chỉnh cá đồ trung sưu tác nguyên tố, tựu ý vị trứ tương duyên mỗi điều biên tiền hành ( ký trụ, biên thị tòng nhất cá nhân đáo lánh nhất cá nhân đích tiễn đầu hoặc liên tiếp ), nhân thử vận hành thời gian chí thiếu vi O( biên sổ ).

Hoàn sử dụng liễu nhất cá đội liệt, kỳ trung bao hàm yếu kiểm tra đích mỗi cá nguyên tố. Tương nhất nguyên tố thiêm gia đáo đội liệt nhu yếu đích thời gian thị cố định đích,

Tức vi O(1), nhân thử đối mỗi cá nguyên tố đô giá dạng tố nhu yếu đích tổng thời gian vi O( nguyên tố cá sổ ).

Khoách triển

1. ThụThị nhất chủng đặc thù đích đồ, kỳ trung một hữu vãng hậu chỉ đích biên.
2. Như quả nhậm vụ A y lại vu nhậm vụ B, tại liệt biểu trung nhậm vụ A tựu tất tu tại nhậm vụ B hậu diện. Giá bị xưng viThác phác bài tự,Sử dụng tha khả căn cư đồ sang kiến nhất cá hữu tự liệt biểu.

Tiểu kết

• Quảng độ ưu tiên sưu tác chỉ xuất thị phủ hữu tòng A đáo B đích lộ kính.
• Như quả hữu, quảng độ ưu tiên sưu tác tương trảo xuất tối đoản lộ kính.
• Diện lâm loại tự vuTầm trảo tối đoản lộ kínhĐích vấn đề thời, khả thường thíSử dụng đồ lai kiến lập mô hình,Tái sử dụng quảng độ ưu tiên sưu tácLaiGiải quyết vấn đề.
• Hữu hướng đồ trung đích biên vi tiễn đầu, tiễn đầu đích phương hướng chỉ định liễu quan hệ đích phương hướng, lệ như, rama→adit biểu kỳ rama khiếm adit tiền.
• Vô hướng đồ trung đích biên bất đái tiễn đầu, kỳ trung đích quan hệ thị song hướng đích, lệ như, ross - rachel biểu kỳ “ross dữ rachel ước hội, nhi rachel dã dữ ross ước hội”.
• Đội liệt thị tiên tiến tiên xuất ( FIFO )Đích.
• Sạn thị hậu tiến tiên xuất ( LIFO )Đích.
• Nhu yếu án gia nhập thuận tự kiểm tra sưu tác liệt biểu trung đích nguyên tố, phủ tắc trảo đáo đích tựu bất thị tối đoản lộ kính, nhân thửSưu tác liệt biểu tất tu thị đội liệt.
• Đối vu kiểm tra quá đích nguyên tố, vụ tất bất yếu tái khứ kiểm tra,Phủ tắc khả năng đạo trí vô hạn tuần hoàn.