ความแข็งที่รู้จักกันในปัจจุบันของ Graph Isomorphism คืออะไร


21

โดยได้รับแรงบันดาลใจจากคำถามคือแฟคตอริ่งรู้จักกันในชื่อ P-hardฉันสงสัยว่าสถานะความรู้ที่คล้ายกันในปัจจุบันนี้เป็นอย่างไรเกี่ยวกับความแข็งของกราฟมอร์ฟิซึม ฉันแน่ใจว่าขณะนี้ยังไม่ทราบว่า GI อยู่ใน P หรือไม่ แต่:

คลาสที่ใหญ่ที่สุดที่รู้จักกันดีในปัจจุบันคืออะไรที่ GI นั้นยากกว่า

(ไม่มีคำตอบสำหรับคำถามที่ทำให้เกิดเสียงคล้ายกัน )

เพื่อที่จะแสดงความคิดเห็นบางส่วนฉันต้องการทราบระดับสูงสุดที่รู้จักกันในปัจจุบันว่า GI ปัญหานี้เสร็จสมบูรณ์แล้ว อัลกอริธึมที่รู้จักสำหรับ GI นั้นมีขอบเขตล้อมรอบด้วยฟังก์ชัน superpolynomial และเป็นสมาชิกของ NP แต่ไม่ทราบว่า GI เป็น P-hard ฉันต้องการที่จะรู้ว่าคลาส C ใด ๆ ที่มันรู้จักกันดีคือ C-hard และหวังว่าจะครอบคลุมมากที่สุด


2
"มันไม่ได้รับคำตอบในคำถามที่ทำให้เกิดเสียงคล้ายกัน" จริงเหรอ? ฉันคิดว่าคำตอบของ Joshua Grochow ที่นั่นตอบคำถามที่นี่
Tyson Williams

ดูที่ส่วน "Complexity Class GI" ที่นี่: en.wikipedia.org/wiki/Graph_isomorphism_problem
Aaron Sterling

3
@ ไทสันและใครก็ตามที่โหวตความคิดเห็นของเขา: ฉันคิดว่าสิ่งที่มิทช์พูดคือคำตอบนั้นมีเพียงขอบเขตบนกราฟ Isomorphism ไม่ใช่ความแข็งของกราฟ Isomorphism
Tsuyoshi Ito

ฉันต้องการเพิ่มว่าฉันไม่เห็นสิ่งนี้เป็นคำถามซ้ำ คำตอบของโจชัวให้ขอบเขตสูง คำถามนี้ฟังดูเหมือนว่า "GI อย่างน้อย AC0 ยากหรือไม่" - ใช่เห็นด้วยกับ @Tsuyoshi
Aaron Sterling

6
สำหรับกราฟระนาบที่รู้จักกันว่าสมบูรณ์สำหรับ L ... ดูtheorie.informatik.uni-ulm.de/Personen/toran/beatcs/ ......
Joshua Herman

คำตอบ:


22

NC1

ดูเหมือนว่านี่คือผลการทดสอบความแข็งที่แข็งแกร่งที่สุดในปัจจุบัน


การอ้างอิงที่ดีเยี่ยม (และด้วยการปวดตาเป็นพิเศษบนหน้าของพวกเขาดูเหมือนจะประมาณปี 2004)
มิทช์

อันที่จริงนี่เป็นกระดาษที่ดี
Mateus de Oliveira Oliveira
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.