ผลต่างระหว่างรุ่นของ "418341 ภาคต้น 2552/โจทย์ปัญหาอัลกอริืทึมเกี่ยวกับกราฟ"

จาก Theory Wiki
ไปยังการนำทาง ไปยังการค้นหา
 
(ไม่แสดง 13 รุ่นระหว่างกลางโดยผู้ใช้ 1 คน)
แถว 91: แถว 91:
 
# <math>\mathrm{pre}[v] < \mathrm{pre}[u] < \mathrm{post}[u] < \mathrm{post}[v]\,</math>
 
# <math>\mathrm{pre}[v] < \mathrm{pre}[u] < \mathrm{post}[u] < \mathrm{post}[v]\,</math>
 
# ช่วง <math>[\mathrm{pre}[u], \mathrm{post}[u]]\,</math> และช่วง <math>[\mathrm{pre}[v], \mathrm{post}[v]]\,</math> ไม่มีสมาชิกร่วมกันเลย
 
# ช่วง <math>[\mathrm{pre}[u], \mathrm{post}[u]]\,</math> และช่วง <math>[\mathrm{pre}[v], \mathrm{post}[v]]\,</math> ไม่มีสมาชิกร่วมกันเลย
 +
 +
[[418531 ภาคต้น 2552/โจทย์ปัญหาอัลกอริทึมเกี่ยวกับกราฟ/เฉลยข้อ 4.3|เฉลย]]
  
 
=== ข้อย่อย 4.4 ===
 
=== ข้อย่อย 4.4 ===
แถว 97: แถว 99:
 
* ถ้า <math>\mathrm{pre}[v] < \mathrm{pre}[u] < \mathrm{post}[u] < \mathrm{pre}[v]\,</math> แล้ว <math>e\,</math> ต้องเป็น back edge
 
* ถ้า <math>\mathrm{pre}[v] < \mathrm{pre}[u] < \mathrm{post}[u] < \mathrm{pre}[v]\,</math> แล้ว <math>e\,</math> ต้องเป็น back edge
 
* ถ้า <math>[\mathrm{pre}[u], \mathrm{post}[u]]\,</math> และ <math>[\mathrm{pre}[v], \mathrm{post}[v]]\,</math> ไม่มีส่วนร่วมกัน แล้ว <math>e\,</math> ต้องเป็น cross edge
 
* ถ้า <math>[\mathrm{pre}[u], \mathrm{post}[u]]\,</math> และ <math>[\mathrm{pre}[v], \mathrm{post}[v]]\,</math> ไม่มีส่วนร่วมกัน แล้ว <math>e\,</math> ต้องเป็น cross edge
 +
 +
[[418531 ภาคต้น 2552/โจทย์ปัญหาอัลกอริทึมเกี่ยวกับกราฟ/เฉลยข้อ 4.4|เฉลย]]
  
 
=== ข้อย่อย 4.5 ===
 
=== ข้อย่อย 4.5 ===
 
ถ้าเรารัน DFSALL บน undirected graph แทนที่จะเป็น directed graph แล้ว จงพิสูจน์ว่าจะไม่มี forward edge หรือ cross edge อยู่เลย (กล่าวคือ edge ทุก edge จะเป็น tree edge หรือ back edge เท่านั้น)
 
ถ้าเรารัน DFSALL บน undirected graph แทนที่จะเป็น directed graph แล้ว จงพิสูจน์ว่าจะไม่มี forward edge หรือ cross edge อยู่เลย (กล่าวคือ edge ทุก edge จะเป็น tree edge หรือ back edge เท่านั้น)
 +
 +
[[418531 ภาคต้น 2552/โจทย์ปัญหาอัลกอริทึมเกี่ยวกับกราฟ/เฉลยข้อ 4.5|เฉลย]]
  
 
== ข้อ 5 ==
 
== ข้อ 5 ==
แถว 111: แถว 117:
 
=== ข้อย่อย 6.1 ===  
 
=== ข้อย่อย 6.1 ===  
 
จงพิสูจน์ว่าถ้าเรารัน DFSALL บน <math>G \,</math> ที่เป็น DAG แล้ว สำหรับ edge <math>(u,v) \,</math> ทุก edge เราจะได้ว่า <math>\mathrm{post}[u] > \mathrm{post}[v] \,</math> เสมอ
 
จงพิสูจน์ว่าถ้าเรารัน DFSALL บน <math>G \,</math> ที่เป็น DAG แล้ว สำหรับ edge <math>(u,v) \,</math> ทุก edge เราจะได้ว่า <math>\mathrm{post}[u] > \mathrm{post}[v] \,</math> เสมอ
 +
 +
[[418531 ภาคต้น 2552/โจทย์ปัญหาอัลกอริทึมเกี่ยวกับกราฟ/เฉลยข้อ 6.1|เฉลย]]
  
 
=== ข้อย่อย 6.2 ===
 
=== ข้อย่อย 6.2 ===
 
สำหรับ DAG <math>G \,</math> หนึ่งๆ เราให้ topological ordering ของ <math>G \,</math> คือการนำ vertex ต่างๆ ใน <math>V \,</math> มาเรียงกัน โดยที่ถ้า <math>v \,</math> ตามหลัง <math>u \,</math> ใน topological ordering แล้วจะไม่มี path จาก <math>v \,</math> ไปยัง <math>u \,</math>
 
สำหรับ DAG <math>G \,</math> หนึ่งๆ เราให้ topological ordering ของ <math>G \,</math> คือการนำ vertex ต่างๆ ใน <math>V \,</math> มาเรียงกัน โดยที่ถ้า <math>v \,</math> ตามหลัง <math>u \,</math> ใน topological ordering แล้วจะไม่มี path จาก <math>v \,</math> ไปยัง <math>u \,</math>
  
จงหา topological ordering ในกราฟที่อยู่ในโจทย์ข้อ 4.1 มาสักหนึ่ง ordering
+
จากกราฟต่อไปนี้
 +
 
 +
[[ไฟล์:pro6_2.JPG]]
 +
 
 +
จงหา topological ordering สักหนึ่ง ordering
 +
 
 +
[[418531 ภาคต้น 2552/โจทย์ปัญหาอัลกอริทึมเกี่ยวกับกราฟ/เฉลยข้อ 6.2|เฉลย]]
  
 
=== ข้อย่อย 6.3 ===
 
=== ข้อย่อย 6.3 ===
 
จงออกแบบอัลกอริทึมสำหรับหา topological ordering ของ DAG โดยใช้ DFSALL
 
จงออกแบบอัลกอริทึมสำหรับหา topological ordering ของ DAG โดยใช้ DFSALL
 +
 +
[[418531 ภาคต้น 2552/โจทย์ปัญหาอัลกอริทึมเกี่ยวกับกราฟ/เฉลยข้อ 6.3|เฉลย]]
  
 
=== ข้อย่อย 6.4 ===
 
=== ข้อย่อย 6.4 ===
แถว 124: แถว 140:
  
 
จงพิสูจน์ว่าใน DAG จะมี source อยู่อย่างน้อยหนึ่ง vertex เสมอ
 
จงพิสูจน์ว่าใน DAG จะมี source อยู่อย่างน้อยหนึ่ง vertex เสมอ
 +
 +
[[418531 ภาคต้น 2552/โจทย์ปัญหาอัลกอริทึมเกี่ยวกับกราฟ/เฉลยข้อ 6.4|เฉลย]]
  
 
=== ข้อย่อย 6.5 ===
 
=== ข้อย่อย 6.5 ===
 
จงออกแบบอัลกอริทึมสำหรับหา topological ordering ของ DAG โดยใช้ความจริงในข้อย่อย 6.4
 
จงออกแบบอัลกอริทึมสำหรับหา topological ordering ของ DAG โดยใช้ความจริงในข้อย่อย 6.4
 +
 +
[[418531 ภาคต้น 2552/โจทย์ปัญหาอัลกอริทึมเกี่ยวกับกราฟ/เฉลยข้อ 6.5|เฉลย]]
  
 
== ข้อ 7 ==
 
== ข้อ 7 ==
แถว 136: แถว 156:
  
 
จงออกแบบอัลกอริทึมเพื่อทำ precomputation ดังกล่าว รวมทั้งบอกวิธีตอบคำถามโดยใช้ข้อมูลที่ทำการคำนวณมาแล้ว อัลกอริืทึีมในการทำ precomputation ควรทำงานได้ในเวลา <math>O(|V|+|E|) \,</math>
 
จงออกแบบอัลกอริทึมเพื่อทำ precomputation ดังกล่าว รวมทั้งบอกวิธีตอบคำถามโดยใช้ข้อมูลที่ทำการคำนวณมาแล้ว อัลกอริืทึีมในการทำ precomputation ควรทำงานได้ในเวลา <math>O(|V|+|E|) \,</math>
 +
 +
[[418531 ภาคต้น 2552/โจทย์ปัญหาอัลกอริทึมเกี่ยวกับกราฟ/เฉลยข้อ 7|เฉลย]]
  
 
== ข้อ 8 ==
 
== ข้อ 8 ==
แถว 145: แถว 167:
 
จงออกแบบอัลกอริทึมเพื่อคำนวนอะเรย์ <math>z[\cdot] \,</math> ซึ่งทำงานได้ในเวลา <math>O(|V| + |E|) \,</math>
 
จงออกแบบอัลกอริทึมเพื่อคำนวนอะเรย์ <math>z[\cdot] \,</math> ซึ่งทำงานได้ในเวลา <math>O(|V| + |E|) \,</math>
  
== ข้อ 9 ==
+
[[418531 ภาคต้น 2552/โจทย์ปัญหาอัลกอริทึมเกี่ยวกับกราฟ/เฉลยข้อ 8|เฉลย]]
[Dasgupta, Papadimitriou, Vazirani 3.20] จงออกแบบอัลกอริทึีมเพื่อแก้ป้ญหาต่อไปนี้
 
 
 
: เมื่อกำหนด directed graph <math>G = (V,E) \,</math> ให้ แล้วคำนวณหา vertex <math>s \,</math> ที่เราสามารถเดินจาก <math>s \,</math> ไปยัง vertex อื่นๆ ทุก vertex ได้ทั้งหมด
 
 
 
อัลกอริทึมของคุณควรจะทำงานได้ในเวลา <math>O(|V|+|E|) \,</math>
 

รุ่นแก้ไขปัจจุบันเมื่อ 10:05, 16 กันยายน 2552

ข้อ 1

ในชั้นเรียนเราได้พูดถึงการเก็บ undirected graph ด้วย adjacency matrix และ adjacency list

ถ้าเราจะเก็บ directed graph ด้วย adjacency matrix และ adjacency list บ้าง จะต้องเปลี่ยนแปลงรูปแบบการจัดเ็ก็บอย่างไรบ้าง?

เฉลย

ข้อ 2

[Dasgupta, Papadimitriou, Varizari 3.5] กำหนดกราฟแบบมีทิศทาง มาให้ กราฟผันกลับ (reverse) ของ คือกราฟ โดยที่มีเซตของ vertex เป็นเซตเดียวกันแต่ edge ใน คือ edge ใน ที่ถูกกลับข้าง (กล่าวคือ )

จงออกแบบอัลกอริทึมที่เมื่อให้ ในรูปแบบ adjacency list ให้คำนวณ ในรูปแบบ adjacency เช่นกัน อัลกอริทึมของคุณควรจะทำงานได้ในเวลา


เฉลย

ข้อ 3

  1. [Kleinberg & Tardos 3.2] จงออกแบบอัลกอริืทึมที่ตรวจสอบว่า undirected garph ที่ให้มาในรูปแบบ adjacency list มี cycle หรือไม่ ถ้ามีให้พิมพ์ออกมาหนึ่ง cycle (วงไหนก็ได้) อัลกอริึทึมของคุณควรจะทำงานได้ในเวลา เมื่อ คือจำนวน vertex คือจำนวน edge
  2. [Dasgupta, Papadimitriou, Vazirani 3.11] จงออกแบบอัลกอริทึมที่ เมื่อให้ directed graph และให้ edge มา แล้วคำนวณว่ามี cycle ที่มี เป็น edge หนึ่งอยู่ีใน cycle นั้นหรือไม่ ถ้ามีให้พิมพ์ออกมาสักหนึ่ง cycle อัลกอริทึมของคุณควรจะทำงานได้ในเวลา

เฉลย

ข้อ 4

สมมติว่าเราอัลกอริทึมในการทำ depth first search ให้สร้างอะเรย์ขนาด ช่อง เมื่อ คือจำนวน vertex เพิ่มขึ้นอีกสองอะเรย์ ได้แก่ และ โดยมีตัวแปร global ชื่อ clock ซึ่งมีค่าเริ่มแรกเท่ากับ 1 เป็นตัวช่วย ดังต่อไปนี้

<geshi lang="c"> DFS(u) {

   pre[u] = clock
   clock = clock + 1
   explored[u] = 1
   
   for i = 1 to d[u] do
   {
       v = a[u][i]
       if explored[v] = 0 then
       {
           parent[v] = u
           DFS(v)
       }
   }
   post[u] = clock
   clock = clock + 1

} </geshi>

กล่าวคือ เป็นเหมือนเวลาที่ DFS(u) เริ่มทำงาน และ เป็นเวลาที่ DFS(u) ทำงานเสร็จ

นอกจากนี้ในการทำ depth first search เราจะพยายามเรียก DFS(u) ที่ทุก vertex u ในกราฟหามันยังไม่เคยถูกไปถึงด้วย DFS มาก่อน ดังต่อไปนี้

<geshi lang="c"> DFSALL() {

    for u = 1 to n do
         if explored[u] = 0 then
         {
              parent[u] = 0
              DFS(u)
         }

} </geshi>

ข้อย่อย 4.1

พิจารณากราฟแบบมีทิศทางข้างล่างนี้

Directed-graph-01.JPG

จงรัน DFSALL บนกราฟข้างบน โดยเวลาไล่ vertex ให้ไล่จาก vertex ที่มีหมายเลขน้อยไปยังมากหมายเลขมาก (ยกตัวอย่างเช่น vertex ที่มี edge พุ่งออกจาก 7 ไปถึง ได้แก่ vertex 6 และ 8 เป็นต้น) แล้วเขียน

  1. DFS tree
  2. อะเรย์
  3. อะเรย์
  4. อะเรย์

เฉลย

ข้อย่อย 4.2

หากเราจำแนก edge ในกราฟข้างบนออกเป็น 4 ประเภท ตังต่อไปนี้

  • Tree edge คือ edge ที่อยู่บน DFS tree ที่ได้จากการทำ DFS
  • Back edge คือ edge ที่พุ่งออกจาก vertex ไปหาบรรพบุรุษของมันใน DFS tree
  • Forward edge คือ edge ที่พุ่งออกจาก vertex ไปหาลูกหลานของมันใน DFS tree
  • Cross edge คือ edge อื่นๆ ที่ไม่เข้าพวกทั้งสามข้างต้น

แล้วจงบอกว่า edge ในกราฟเป็น edge แต่ละ edge เป็น edge ชนิดใดบ้าง

เฉลย

ข้อย่อย 4.3

ให้ เป็นกราฟแบบมีทิศทาง สมมติว่าเรารัน DFSALL บน แล้ว จงพิสูจน์ "สมบัติวงเล็บ" ต่อไปนี้:

ถ้า และ เป็น vertex สอง vertex ใดๆ ในกราฟแล้ว ภายในข้อเท็จจริงสามข้อต่อไปนี้ จะมีข้อเท็จจริงข้อหนึ่งเป็นจริง และมันจะเป็นจริงเพียงข้อเดียวเท่านั้น

  1. ช่วง และช่วง ไม่มีสมาชิกร่วมกันเลย

เฉลย

ข้อย่อย 4.4

จงพิสูจน์ว่า สำหรับ edge ใดๆ เราสามารถใช้สมบัติวงเล็บข้างต้นในการจำแนกประเภทของมันได้

  • ถ้า แล้ว ต้องเป็น tree edge หรือ forward edge
  • ถ้า แล้ว ต้องเป็น back edge
  • ถ้า และ ไม่มีส่วนร่วมกัน แล้ว ต้องเป็น cross edge

เฉลย

ข้อย่อย 4.5

ถ้าเรารัน DFSALL บน undirected graph แทนที่จะเป็น directed graph แล้ว จงพิสูจน์ว่าจะไม่มี forward edge หรือ cross edge อยู่เลย (กล่าวคือ edge ทุก edge จะเป็น tree edge หรือ back edge เท่านั้น)

เฉลย

ข้อ 5

จงออกแบบอัลกอริทึมที่เมื่อรับ directed graph มาหนึ่งกราฟแล้ว คำนวณหา cycle ใน มาหนึ่งวง วงใดก็ได้ ถ้าไม่มี cycle ก็ให้ตอบว่าไม่มี อัลกอริืทึมของคุณควรจะทำงานได้ในเวลา

เฉลย

ข้อ 6

ถ้า เป็น directed graph และ ไม่มี cycle แล้ว เราเรียกว่า เป็น directed acyclic graph (DAG)

ข้อย่อย 6.1

จงพิสูจน์ว่าถ้าเรารัน DFSALL บน ที่เป็น DAG แล้ว สำหรับ edge ทุก edge เราจะได้ว่า เสมอ

เฉลย

ข้อย่อย 6.2

สำหรับ DAG หนึ่งๆ เราให้ topological ordering ของ คือการนำ vertex ต่างๆ ใน มาเรียงกัน โดยที่ถ้า ตามหลัง ใน topological ordering แล้วจะไม่มี path จาก ไปยัง

จากกราฟต่อไปนี้

Pro6 2.JPG

จงหา topological ordering สักหนึ่ง ordering

เฉลย

ข้อย่อย 6.3

จงออกแบบอัลกอริทึมสำหรับหา topological ordering ของ DAG โดยใช้ DFSALL

เฉลย

ข้อย่อย 6.4

ใน directed graph เราเรียก vertex ว่าเป็น source ถ้าหากมี edge ใดๆ ชี้มายังมันเลย

จงพิสูจน์ว่าใน DAG จะมี source อยู่อย่างน้อยหนึ่ง vertex เสมอ

เฉลย

ข้อย่อย 6.5

จงออกแบบอัลกอริทึมสำหรับหา topological ordering ของ DAG โดยใช้ความจริงในข้อย่อย 6.4

เฉลย

ข้อ 7

[Dasgupta, Papadimitriou, Vazirani 3.18] คุณได้รับ tree (ในรูปแบบ adjacency list) รวมทั้ง root vertex

เรากล่าวคือ vertex เป็นบรรพบุรุษของ ถ้าหากว่ path จาก ไปยัง ต้องผ่าน

คุณต้องการทำการ precomputation ต้นไม้ที่ได้รับมาเพื่อหลังจากนั้นจะได้ตอบคำถามในรูปแบบที่ว่า "กำหนด vertex และ ในกราฟมาให้ จงหาว่า เป็นบรรพบุรุษของ หรือไม่?" ได้โดยใช้เวลา

จงออกแบบอัลกอริทึมเพื่อทำ precomputation ดังกล่าว รวมทั้งบอกวิธีตอบคำถามโดยใช้ข้อมูลที่ทำการคำนวณมาแล้ว อัลกอริืทึีมในการทำ precomputation ควรทำงานได้ในเวลา

เฉลย

ข้อ 8

[Dasgupta, Papadimitriou, Vazirani 3.19] คุณได้รับ tree (ในรูปแบบ adjacency list) รวมทั้ง root vertex นอกจากนี้ยังได้รับอะเรย์ของจำนวนเต็ม โดยที่ ถือเป็น "ค่า" ของ vertex

เราจะสร้างอะเรย์ ขึ้นมาใหม่โดยที่

ค่า ที่มีค่ามากที่สุดสำหรับ vertex ทุก vertex ที่มี เป็นบรรพบุรุษ (รวมไปถึงตัว เองด้วย)

จงออกแบบอัลกอริทึมเพื่อคำนวนอะเรย์ ซึ่งทำงานได้ในเวลา

เฉลย