h(n): S=11, A=9, B=8, C=3, D=8, E=6, F=4, G=4, H=5, I=3, J=5, T=0 | Quy tắc hoà: alphabet | Cạnh: S→A:2, S→B:7, S→C:1, A→D:4, A→E:2, B→E:1, B→F:5, C→G:3, C→F:9, D→H:8, D→E:1, E→H:6, E→I:3, F→I:2, F→J:8, G→F:3, G→J:2, H→I:2, H→T:5, I→T:4, I→J:2, J→T:6
OPEN = hàng đợi FIFO. Bỏ qua nút đã có trong OPEN hoặc CLOSED khi mở rộng.
| Step | u | Edge(u) | OPEN (đầu → cuối) |
|---|---|---|---|
| 0 | — | — | S |
| 1 | S | A, B, C | A, B, C |
| 2 | A | D, E | B, C, D, E |
| 3 | B | F (skip: E∈OPEN) | C, D, E, F |
| 4 | C | G (skip: F∈OPEN) | D, E, F, G |
| 5 | D | H (skip: E∈OPEN) | E, F, G, H |
| 6 | E | I (skip: H∈OPEN) | F, G, H, I |
| 7 | F | J (skip: I∈OPEN) | G, H, I, J |
| 8 | G | (skip: F∈CLOSED, J∈OPEN) | H, I, J |
| 9 | H | T (skip: I∈OPEN) | I, J, T |
| 10 | I | (skip: J∈OPEN, T∈OPEN) | J, T |
| 11 | J | (skip: T∈OPEN) | T |
| 12 | T | GOAL ✓ | — |
OPEN = ngăn xếp LIFO (top = trái). Đẩy con theo thứ tự đảo ngược alphabet. Cho phép trùng lặp; bỏ qua khi pop nếu đã ở CLOSED. Dấu * = bản sao trong OPEN.
| Step | u | Edge(u) đẩy vào stack | OPEN (top →) |
|---|---|---|---|
| 0 | — | — | S |
| 1 | S | A, B, C | A, B, C |
| 2 | A | D, E | D, E, B, C |
| 3 | D | H, E* | E, H, E, B, C |
| 4 | E | H, I | H, I, H, E, B, C |
| 5 | H | I*, T | I, T, I, H, E, B, C |
| 6 | I | J, T* | J, T, T, I, H, E, B, C |
| 7 | J | T* | T, T, T, I, H, E, B, C |
| 8 | T | GOAL ✓ | — |
Chạy như DFS nhưng không mở rộng nút có độ sâu = L. Không dùng CLOSED toàn cục — chỉ tránh lặp trên đường đi hiện tại.
└─ A (d=1)
├─ D (d=2)
│ ├─ E (d=3)
│ │ ├─ H (d=4) ← giới hạn, không phải đích → quay lui
│ │ └─ I (d=4) ← giới hạn, không phải đích → quay lui
│ └─ H (d=3)
│ ├─ I (d=4) ← giới hạn, không phải đích → quay lui
│ └─ T (d=4) ← ĐÍCH ✓
| Lần lặp | Giới hạn L | Kết quả |
|---|---|---|
| 1 | 0 | Chỉ xét S — không phải đích → Thất bại |
| 2 | 1 | Xét S, A, B, C — không phải đích → Thất bại |
| 3 | 2 | Xét đến độ sâu 2 — T chưa đến được → Thất bại |
| 4 | 3 | Xét đến độ sâu 3 — T ở sâu nhất d=4 → Thất bại |
| 5 | 4 | Tìm thấy T theo DL-DFS(L=4) → Thành công ✓ |
OPEN = hàng đợi ưu tiên sắp xếp tăng dần theo h(n). Ký hiệu: Xh = nút X với h(X) = h.
| Step | u | Edge(u) | OPEN (h↑) |
|---|---|---|---|
| 0 | — | — | S11 |
| 1 | S | C3, B8, A9 | C3, B8, A9 |
| 2 | C | F4, G4 | F4, G4, B8, A9 |
| 3 | F | I3, J5 | I3, G4, J5, B8, A9 |
| 4 | I | T0 (skip: J∈OPEN) | T0, G4, J5, B8, A9 |
| 5 | T | GOAL ✓ | — |
Mỗi bước giữ lại w = 2 nút có h nhỏ nhất từ toàn bộ con của các nút trong beam. Mở rộng đồng thời tất cả nút trong beam.
| Step | Beam hiện tại | Mở rộng → con (h) | Beam mới (top‑2) |
|---|---|---|---|
| 0 | { S(11) } | A(9), B(8), C(3) | { C(3), B(8) } |
| 1 | { C(3), B(8) } | C→G(4),F(4) ; B→E(6),F(4) | { F(4), G(4) } |
| 2 | { F(4), G(4) } | F→I(3),J(5) ; G→J(5) | { I(3), J(5) } |
| 3 | { I(3), J(5) } | I→T(0) ; J→T(0) | T tìm thấy! ✓ |
Tại mỗi bước, di chuyển đến nút con có h nhỏ nhất. Dừng nếu không có con nào cải thiện h. Không có OPEN list, không backtrack.
| Step | Nút hiện tại | h | Các nút con (h) | Quyết định |
|---|---|---|---|---|
| 0 | S | 11 | A(9), B(8), C(3) | → C |
| 1 | C | 3 | G(4), F(4) — đều > 3 | KẸT ⚑ |
h(n): S=14, A=10, B=11, C=5, D=8, E=7, F=9, G=9, H=4, T=0 | Cạnh: S→A:4, S→B:2, A→C:3, A→D:5, B→E:6, B→F:3, C→G:2, D→G:4, D→H:2, E→H:5, F→H:1, G→T:11, H→T:3
| Step | Nút hiện tại | h | Các nút con (h) | Quyết định |
|---|---|---|---|---|
| 0 | S | 14 | A(10), B(11) | → A (10 < 11) |
| 1 | A | 10 | C(5), D(8) | → C (5 < 8) |
| 2 | C | 5 | G(9) — 9 > 5 | KẸT ⚑ |
| Step | Beam hiện tại | Mở rộng → con (h) | Beam mới (top‑2) |
|---|---|---|---|
| 0 | { S(14) } | A(10), B(11) | { A(10), B(11) } |
| 1 | { A(10), B(11) } | A→C(5),D(8) ; B→E(7),F(9) | { C(5), E(7) } |
| 2 | { C(5), E(7) } | C→G(9) ; E→H(4) | { H(4), G(9) } |
| 3 | { H(4), G(9) } | H→T(0) ; G→T(0) | T tìm thấy! ✓ |
Trạng thái: (ML, CL, b) — ML/CL = số người bờ trái, b = vị trí thuyền (L/R). Xuất phát: (3,3,L). Đích: (0,0,R). Hợp lệ: (ML=0 hoặc ML≥CL) và (MR=0 hoặc MR≥CR). Nước đi: thuyền chở 1–2 người.
Nút indigo = thuộc đường giải BFS. Nút xám đứt = ngõ cụt [×]. Tie-breaking: ML↑ trước, CL↑ sau.
| Step | u | Edge(u) | OPEN (đầu → cuối) |
|---|---|---|---|
| 0 | — | — | (3,3,L) |
| 1 | (3,3,L) | (2,2,R), (3,1,R), (3,2,R) | (2,2,R), (3,1,R), (3,2,R) |
| 2 | (2,2,R) | (3,2,L) | (3,1,R), (3,2,R), (3,2,L) |
| 3 | (3,1,R) | →(3,2,L)∈OPEN ; →(3,3,L) đã thăm | (3,2,R), (3,2,L) |
| 4 | (3,2,R) | →(3,3,L) đã thăm — ngõ cụt | (3,2,L) |
| 5 | (3,2,L) | (3,0,R) | (3,0,R) |
| 6 | (3,0,R) | (3,1,L) | (3,1,L) |
| 7 | (3,1,L) | (1,1,R) | (1,1,R) |
| 8 | (1,1,R) | (2,2,L) | (2,2,L) |
| 9 | (2,2,L) | (0,2,R) | (0,2,R) |
| 10 | (0,2,R) | (0,3,L) | (0,3,L) |
| 11 | (0,3,L) | (0,1,R) | (0,1,R) |
| 12 | (0,1,R) | (0,2,L), (1,1,L) | (0,2,L), (1,1,L) |
| 13 | (0,2,L) | (0,0,R) ✓ | — |
| Bước | Trạng thái | Hành động |
|---|---|---|
| 0 | (3,3,L) | Xuất phát |
| 1 | (2,2,R) | →1M1C |
| 2 | (3,2,L) | ←1M |
| 3 | (3,0,R) | →2C |
| 4 | (3,1,L) | ←1C |
| 5 | (1,1,R) | →2M |
| 6 | (2,2,L) | ←1M1C |
| 7 | (0,2,R) | →2M |
| 8 | (0,3,L) | ←1C |
| 9 | (0,1,R) | →2C |
| 10 | (0,2,L) | ←1C |
| 11 | (0,0,R) | →2C → ĐÍCH ✓ |
| Step | Trạng thái | h | Kề hợp lệ (h) | Quyết định |
|---|---|---|---|---|
| 0 | (3,3,L) | 6 | (2,2,R):4, (3,1,R):4, (3,2,R):5 | →(2,2,R) |
| 1 | (2,2,R) | 4 | (3,2,L):5 — 5 > 4 | DỪNG ⚑ |
h(n): S=9, A=5, B=7, C=6, D=3, E=6, F=5, G=4, H=4, I=2, T=0 | Cạnh: S→A:2, S→B:3, S→C:4, A→D:1, A→E:3, B→E:2, B→F:4, C→F:2, C→G:5, D→H:6, D→G:7, E→G:3, E→H:2, F→H:3, F→I:4, G→I:2, G→T:4, H→T:5, I→T:2
| Ký hiệu | Địa điểm |
|---|---|
| S | Trung tâm Điều phối (Xuất phát) |
| A | Thị trấn Phố Cũ |
| B | Đồn Biên phòng Bắc |
| C | Bến Xe Liên Tỉnh |
| D | Cầu Ngập Khe Đá (cực tiểu địa phương) |
| E | Trường THPT Hòa Bình |
| F | Điểm Tiếp tế Nam |
| G | Ngã Tư Bản Đồng |
| H | Trạm Y tế Vùng Cao |
| I | Chốt Kiểm soát Lũ |
| T | Xã Bị Cô Lập (Đích) |
| Step | Nút hiện tại | h | Các nút con (h) | Quyết định |
|---|---|---|---|---|
| 0 | S | 9 | A(5), B(7), C(6) | → A (h=5) |
| 1 | A | 5 | D(3), E(6) | → D (h=3) |
| 2 | D | 3 | G(4), H(4) — đều > 3 | KẸT ⚑ |
OPEN = hàng đợi ưu tiên sắp xếp tăng dần theo h(n). Ký hiệu: Xh = nút X với h(X) = h.
| Step | u | Edge(u) | OPEN (h↑) |
|---|---|---|---|
| 0 | — | — | S9 |
| 1 | S | A5, C6, B7 | A5, C6, B7 |
| 2 | A | D3, E6 | D3, C6, E6, B7 |
| 3 | D | G4, H4 | G4, H4, C6, E6, B7 |
| 4 | G | I2, T0 | T0, I2, H4, C6, E6, B7 |
| 5 | T | GOAL ✓ | — |
| Đường đi | Chi phí |
|---|---|
| S → A → E → H → T | 2+3+2+5 = 12h |
| S → B → E → H → T | 3+2+2+5 = 12h |
| S → C → F → I → T | 4+2+4+2 = 12h |