Find Eventual Safe States
λ¬Έμ λ²μ
λ
Έλκ° 0λΆν° n-1κΉμ§ λ μ΄λΈλ nκ°μ λ
Έλλ‘ μ΄λ£¨μ΄μ§ λ°©ν₯ κ·Έλνκ° μμ΅λλ€.
μ΄ κ·Έλνλ 0-μΈλ±μ€ κΈ°λ° 2D μ μ λ°°μ΄ graphλ‘ ννλ©λλ€.
μ¬κΈ°μ graph[i]λ λ
Έλ iμ μΈμ ν λ
Έλλ€μ μ μ λ°°μ΄μ΄λ©°,
μ΄λ λ
Έλ iμμ graph[i]μ κ° λ
Έλλ‘ κ°λ κ°μ μ΄ μμμ μλ―Έν©λλ€.
ν°λ―Έλ λ
Έλλ λκ°λ κ°μ μ΄ μλ λ
Έλμ
λλ€.
μμ ν λ
Έλλ ν΄λΉ λ
Έλμμ μμνλ λͺ¨λ κ°λ₯ν κ²½λ‘κ° ν°λ―Έλ λ
Έλ(λλ λ€λ₯Έ μμ ν λ
Έλ)λ‘
λλλ λ
Έλλ₯Ό μλ―Έν©λλ€.
κ·Έλνμμ λͺ¨λ μμ ν λ
Έλλ₯Ό λ΄κ³ μλ λ°°μ΄μ λ°ννμΈμ. λ°ν κ°μ μ€λ¦μ°¨μμΌλ‘ μ λ ¬λμ΄μΌ ν©λλ€.
μ΄ λ¬Έμ λ λ°©ν₯ κ·Έλν μμ "μμ ν λ Έλ(Safe Nodes)" λ₯Ό μ°Ύλ λ¬Έμ μ.
μμ ν λ Έλλ λͺ¨λ κ°λ₯ν κ²½λ‘κ° ν°λ―Έλ λ Έλ(λκ°λ κ°μ μ΄ μλ λ Έλ) λλ λ€λ₯Έ μμ ν λ Έλλ‘ λλλ λ Έλλ₯Ό λ§ν¨.
μ£Όμ κ°λ
ν°λ―Έλ λ Έλ(Terminal Node):
λκ°λ κ°μ μ΄ μλ λ Έλ. μ¦, λ μ΄μ λ€λ₯Έ λ Έλλ‘ κ° μ μλ λ Έλλ₯Ό λ§ν¨.
μ: μ΄λ€ λ Έλμ μΈμ 리μ€νΈκ° λΉμ΄ μμΌλ©΄ ν°λ―Έλ λ Έλμ.
μμ ν λ Έλ(Safe Node):
ν΄λΉ λ Έλμμ μμνλ λͺ¨λ κ²½λ‘κ° λ°λμ ν°λ―Έλ λ Έλ λλ λ€λ₯Έ μμ ν λ Έλλ‘ λλλ λ Έλμ.
μμ ν λ Έλλ μ λ μ¬μ΄ν΄μ ν¬ν¨λμ§ μμ.
μλ₯Ό λ€μ΄, μ΄λ€ λ Έλμμ μΆλ°ν΄ μ¬μ΄ν΄λ‘ λ€μκ°μ§ μκ³ λ°λμ ν°λ―Έλ λ Έλμ λλ¬νλ€λ©΄ κ·Έ λ Έλλ μμ ν¨.
κ·Έλν νν:
κ·Έλνλ 2D 리μ€νΈ ννλ‘ μ£Όμ΄μ§.
graph[i]
λ λ Έλ i μμ λκ°λ κ°μ μ΄ μ°κ²°λ λ Έλλ€μ 리μ€νΈλ₯Ό λνλ.μ :
graph[0] = [1,2]
λ λ Έλ 0μμ λ Έλ 1κ³Ό λ Έλ 2λ‘ κ°μ μ΄ μμμ μλ―Έν¨.
λͺ©ν
μ£Όμ΄μ§ κ·Έλνμμ λͺ¨λ μμ ν λ Έλ λ₯Ό μ°Ύκ³ , μ΄λ₯Ό μ€λ¦μ°¨μμΌλ‘ μ λ ¬λ λ°°μ΄λ‘ λ°ννλ κ²μ.
λ¬Έμ ν΄κ²° λ°©λ²
ν°λ―Έλ λ Έλ νμ:
λ¨Όμ ν°λ―Έλ λ Έλλ₯Ό νμΈν¨. μ΄λ λκ°λ κ°μ μ΄ μλ λ Έλ
μ¬μ΄ν΄ κ°μ§:
μ΄λ€ λ Έλκ° μ¬μ΄ν΄μ ν¬ν¨λλ©΄ κ·Έ λ Έλλ μμ νμ§ μμ.
μ¬μ΄ν΄μ μ°κ²°λ λ Έλλ μμ ν λ Έλκ° λ μ μμμ.
μμ ν λ Έλ νλ³:
λ Έλμμ μΆλ°νλ λͺ¨λ κ²½λ‘κ° ν°λ―Έλ λ Έλ λλ λ€λ₯Έ μμ ν λ Έλλ‘λ§ μ°κ²°λλ€λ©΄ κ·Έ λ Έλλ μμ ν¨.
κ²°κ³Ό μ λ ¬:
μμ ν λ Έλλ€μ μ°ΎμλΈ ν μ€λ¦μ°¨μμΌλ‘ μ λ ¬ν¨.
μ΄ λ¬Έμ μ ν΅μ¬μ κ·Έλνμμ μ¬μ΄ν΄μ ν¬ν¨νμ§ μκ³ ν°λ―Έλ λ Έλλ‘ λλ¬ν μ μλ λͺ¨λ λ Έλ λ₯Ό μ°Ύμλ΄λ κ²
μ΄λ¬ν λ Έλλ μμ ν λ Έλλ‘ κ°μ£Όλλ©°, μ΅μ’ μ μΌλ‘ μ΄ λ Έλλ€μ μ λ ¬νμ¬ λ°νν΄μΌν¨.
Last updated
Was this helpful?