โดยได้รับแรงบันดาลใจจากคำถามคือแฟคตอริ่งรู้จักกันในชื่อ 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
@ ไทสันและใครก็ตามที่โหวตความคิดเห็นของเขา: ฉันคิดว่าสิ่งที่มิทช์พูดคือคำตอบนั้นมีเพียงขอบเขตบนกราฟ Isomorphism ไม่ใช่ความแข็งของกราฟ Isomorphism
—
Tsuyoshi Ito
ฉันต้องการเพิ่มว่าฉันไม่เห็นสิ่งนี้เป็นคำถามซ้ำ คำตอบของโจชัวให้ขอบเขตสูง คำถามนี้ฟังดูเหมือนว่า "GI อย่างน้อย AC0 ยากหรือไม่" - ใช่เห็นด้วยกับ @Tsuyoshi
—
Aaron Sterling
สำหรับกราฟระนาบที่รู้จักกันว่าสมบูรณ์สำหรับ L ... ดูtheorie.informatik.uni-ulm.de/Personen/toran/beatcs/ ......
—
Joshua Herman