กราฟย้อนกลับปัญหา Spectra?


25

โดยปกติแล้วคนหนึ่งจะสร้างกราฟแล้วถามคำถามเกี่ยวกับเมทริกซ์ adjacency (หรือญาติสนิทเช่นLaplacian ) eigenvalue การสลายตัว (เรียกอีกอย่างว่าสเปกตรัมของกราฟ )

แต่แล้วปัญหาย้อนกลับล่ะ เมื่อกำหนดค่าลักษณะเฉพาะสามารถหากราฟที่มีสเปกตรัมนี้ได้อย่างมีประสิทธิภาพหรือไม่n

ฉันสงสัยว่าโดยทั่วไปสิ่งนี้ยากที่จะทำ (และอาจเทียบเท่ากับ GI) แต่ถ้าคุณผ่อนคลายเงื่อนไขเล็กน้อย ถ้าคุณทำเงื่อนไขว่าไม่มีค่าลักษณะเฉพาะหลายหลาก แล้วการอนุญาตให้ใช้กราฟที่มีสเปคตรัม "ปิด" ด้วยการวัดระยะทางบ้าง

ยินดีต้อนรับการอ้างอิงหรือความคิดใด ๆ

แก้ไข :

ดังที่ Suresh ชี้ให้เห็นถ้าคุณอนุญาตให้กราฟถ่วงน้ำหนักแบบไม่ระบุทิศทางพร้อมลูปตัวเองปัญหานี้จะกลายเป็นเรื่องเล็กน้อย ฉันหวังว่าจะได้รับคำตอบเกี่ยวกับชุดกราฟที่เรียบง่ายที่ไม่ได้บอกทิศทางและไม่มีน้ำหนัก แต่ฉันก็จะมีความสุขกับกราฟกำกับที่ไม่มีน้ำหนักแบบง่ายเช่นกัน


2
ฉันคิดว่าคุณอาจจำเป็นต้องปรับเปลี่ยนคำถามเป็น 'กราฟที่ไม่ได้บอกทิศทางแบบไม่มีน้ำหนักโดยไม่มีลูปตัวเอง' หรืออะไรทำนองนั้น ฉันสามารถจินตนาการการสร้างเมทริกซ์แบบทแยงมุมด้วยค่าลักษณะเฉพาะที่ต้องการและประกาศว่าเป็นกราฟที่ไม่เชื่อมโยงกับเซลลูปน้ำหนักตัวเอง?
Suresh Venkat

6
แม้แต่คำถามที่เรียบง่ายกว่า (ฉันไม่รู้คำตอบ) คือวิธีสร้างกราฟที่เชื่อมต่ออย่างง่ายซึ่งมีค่าลักษณะเฉพาะน้อยที่สุด
Yaroslav Bulatov

5
อีกวิธีหนึ่งในการระบุคำถาม (เวอร์ชันที่มีกราฟที่ไม่ได้บอกทิศทางอย่างง่าย) คือ: ให้จำนวนจริง n (ในบางรูปแบบ) ตัดสินใจว่ามีเมทริกซ์ n × n สมมาตร 0/1 ที่มีศูนย์แนวทแยงมุม ตัวเลขที่กำหนด
Tsuyoshi Ito

1
@ ยาโรสลาฟ: ฉันไม่แน่ใจ แต่ปัญหานั้นฟังดูยากสำหรับฉันมากกว่ากรณีที่มีการกำหนดค่า n ทั้งหมด
Tsuyoshi Ito

8
การสังเกตเล็ก ๆ : หากเราไม่มีข้อ จำกัด เกี่ยวกับค่าลักษณะเฉพาะปัญหานั้นยากจริงๆ (แม้จะไม่รวมถึงส่วนอัลกอริทึม) เนื่องจากสิ่งนี้จะแสดงถึงการมีอยู่ (ไม่ใช่ -) ของกราฟมัวร์ 57 ตัว
เซียน - จือฉาง張顯之

คำตอบ:


10

Cvetcovic และทั้งหมดในส่วนที่ 3.3 ของ "ผลลัพธ์ล่าสุดในทฤษฎีกราฟสเป็คตรา" ไปมากกว่าอัลกอริทึมสำหรับการสร้างกราฟที่ให้สเปกตรัมในบางกรณีพิเศษ


10

แม้แต่การถามว่ากราฟที่มีคลื่นความถี่ที่กำหนดนั้นเป็นคำถามที่ยาก นี่เป็นพยานจากปัญหาเปิดของการพิจารณาว่ามีกราฟเส้นรอบวง 5 เส้นผ่านศูนย์กลาง 2 และมีคำสั่ง 3250 ที่รู้จักสเปกตรัม (ถ้ามี)


3

อุปสรรคอีกข้อหนึ่งในการกำหนดคำถามของคุณคือ isospectral (eigenvalues ​​เดียวกัน) แต่ไม่ใช่กราฟ isomorphic ให้รายการค่าลักษณะเฉพาะในกรณีเช่นนั้นกราฟที่คุณต้องการ? บางทีคุณอาจต้องการให้อัลกอริทึมส่งคืนองค์ประกอบแบบสุ่มหนึ่งชุดของกราฟที่ไม่ใช่แบบมอร์ฟิคดังกล่าว


ฉันกำลังคิดอะไรบางอย่างตามแนวการสุ่มตัวอย่างจากพื้นที่ของกราฟที่เป็น isospectral แต่ดูเหมือนว่าเรากำลังพบปัญหา GI ที่เทียบเท่ากัน สำหรับความเรียบง่ายเราสามารถ จำกัด ค่าลักษณะเฉพาะที่แตกต่างกัน (ซึ่งถ้า IIC รับรองกราฟที่ไม่ซ้ำกัน) แต่ฉันแค่พยายามที่จะดูว่าเป็นที่รู้จักหรือออกมี
user834

5
ฉันไม่คิดว่าค่าลักษณะเฉพาะที่แตกต่างกันเพื่อให้แน่ใจ reconstructibility นี่คือบางส่วนของสเปกตรัมกราฟ isospectral กว่า 7 โหนดyaroslavvb.com/upload/save/cstheory-isospectral.png
ยาโรสลาฟ Bulatov

3
ฉันชอบสูตรองค์ประกอบแบบสุ่ม ฉันสนใจที่จะรู้ว่ามันเทียบเท่ากับ GI หรือไม่ เหตุผลหนึ่งที่ฉันสนใจในการกำหนดองค์ประกอบแบบสุ่มคือคำถามที่ยกขึ้นในกระดาษของฉันกับ Arora และ Steurer ในเกมที่ไม่ซ้ำกันหรือไม่ว่ากราฟที่มีสเปกตรัมสามารถขยายได้สำหรับชุดเล็ก ๆ หรือไม่ โดยสังเขปเราคาดหวังว่ากราฟสุ่มที่มีสเปกตรัมนี้จะเป็นตัวขยายที่ดีที่สุดสำหรับทุกขนาดที่ตั้งไว้และการมองลึกลงไปในสเปกตรัมย้อนกลับอาจมีประโยชน์
Boaz Barak

@Yaroslav: ขอบคุณสำหรับลิงค์และขอบคุณสำหรับการแก้ไขฉัน!
user834

1
@ user834: เรื่อง: ความคิดเห็นของคุณเกี่ยวกับปัญหาเทียบเท่า GI โปรดทราบว่าการพิจารณามอร์ฟของกราฟที่มีค่าลักษณะเฉพาะหลายค่าแบบ จำกัด (โดยเฉพาะกราฟที่ไม่มีค่าลักษณะเฉพาะหลายค่า) สามารถทำได้ในเวลาพหุนาม
Joshua Grochow
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.