กราฟปกติและมอร์ฟิซึ่มส์

ฉันต้องการถามว่ามีผลลัพธ์ที่เผยแพร่แล้วหรือไม่:

เราใช้เส้นทางที่แตกต่างกันทั้งหมดเป็นไปได้ระหว่างคู่ของโหนดแต่ละของทั้งสองเชื่อมต่อปกติ (ที่มีการศึกษาระดับปริญญาขอพูดและจำนวนโหนด ) กราฟและเขียนลงความยาวของพวกเขา แน่นอนจำนวนเส้นทางที่แตกต่างนี้จะอธิบาย คำถามของฉันคือถ้าเราจัดเรียงความยาวและเปรียบเทียบพวกเขา (รายการที่ได้จากสองกราฟ) และพวกเขาเหมือนกันเราสามารถพูดได้หรือไม่ว่ากราฟทั้งสองนั้นเป็นแบบมอร์ฟิค? $d$ $n$

แน่นอนแม้ว่านี่จะเป็นผลลัพธ์ที่เราไม่สามารถใช้ในการตอบกลับสำหรับ Isomorphism กราฟเนื่องจากจำนวนของเส้นทางที่แตกต่างเป็นเลขชี้กำลังดังที่กล่าวไว้

โดยเส้นทางที่แตกต่างฉันหมายถึงเส้นทางที่มีอย่างน้อยหนึ่งโหนดที่แตกต่างกันอย่างเห็นได้ชัด

ขอบคุณในความช่วยเหลือของคุณ

— N27
แหล่งที่มา

ในกราฟ 2 แบบปกติมีเส้นทางที่แตกต่างกันจำนวนน้อยมากเนื่องจากกราฟ 2 แบบปกติคือการรวมกันของรอบที่ไม่ปะติดปะต่อ ดังนั้นคุณอาจมี 2 หรือ 0 เส้นทางระหว่างจุดยอดคู่แต่ละคู่

— Nathann Cohen

คำถามนี้น่าสนใจเหมาะกับMathOverflowสำหรับฉันมากกว่า

— Niel de Beaudrap

คำตอบ:

ฉันเชื่อว่าคำตอบสำหรับคำถามของคุณคือ "ไม่" เนื่องจากเงื่อนไขที่เทียบเท่าจะบอกถึงวิธีแก้ปัญหาเวลาพหุนามกับ GI

สำหรับเมทริกซ์ adjacency ของกราฟโปรดสังเกตว่าจำนวนเส้นทางจากถึงของความยาวคือ $A$ $G$ $i$ $j$ $k$ (ด้วยการซ้ำซ้อนของจุดยอดและขอบ) สำหรับกราฟสองกราฟและ (พร้อมเมทริกซ์คุณศัพท์และ ) และหากคุณเรียงลำดับองค์ประกอบของและจากนั้นเพื่อให้ $(A^k)_{i, j}$ $G_1$ $G_2$ $A_1$ $A_2$ $k \ge 1$ $A_1^k$ $A_2^k$ จะเป็น isomorphic ไปมันเป็นเงื่อนไขที่จำเป็นที่รายการจะเหมือนกันสำหรับทุกk $G_1$ $G_2$ $k$

ฉันเชื่อว่าการคาดคะเนของคุณเทียบเท่ากับ:

หากรายการเรียงลำดับขององค์ประกอบของและเหมือนกันสำหรับถึง (บนบนเส้นทางที่ยาวที่สุดที่มีจุดยอดที่ไม่ซ้ำกัน) จากนั้นและเป็น isomorphic $A_1^k$ $A_2^d$ $k = 1$ $n - 1$ $G_1$ $G_2$

ดังนั้นเพื่อแก้ปัญหาทางเดินอาหารอย่างใดอย่างหนึ่งเท่านั้นที่มีการดำเนินการคูณของเมทริกซ์ (และเวลาพิเศษเล็ก ๆ น้อย ๆ ในการเรียงลำดับและเปรียบเทียบองค์ประกอบ) ใช้เวลาน้อยกว่าครั้ง $n - 1$ $n \times n$ $n^2$ $n^4$

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

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

— bbejot
แหล่งที่มา

ผมไม่ทราบว่าจำนวนของเส้นทางที่แตกต่างไปจากฉันกับเจของความยาว k คือ

ถ้าเป็นเช่นนั้นและถ้าฉันเข้าใจดีว่าคุณกำลังทำอะไรอยู่

(A^{k})_{i, j}

$(A^{k})_{i,j}$

— N27

@ N27: สามารถพิสูจน์ได้โดยใช้ความหมายของการคูณเมทริกซ์และการเหนี่ยวนำ

— Tomek Tarczynski

ใช่แล้วง่ายจริง ๆ ...

— N27

อาปรากฏว่าสัญชาตญาณของฉันทำให้ฉันหลงทางอีกครั้ง การนับจำนวนเส้นทางแบบง่าย ๆ ที่แตกต่างในกราฟ (หรือแม้แต่ระหว่าง 2 โหนด) คือ # P-complete ข้อโต้แย้งของฉันผิดเพราะมันบอกว่าอัลกอริธึมเวลาพหุนามเท่ากับการนับเส้นทางที่ง่าย ตอนนี้ฉันก็ไม่แน่ใจเหมือนกันว่าการคาดเดาของคุณถูกต้องหรือไม่ อย่างไรก็ตามเป็นจุดที่สงสัยเนื่องจากคุณไม่น่าจะเลือกที่จะแก้ปัญหา # P-complete บน GI

— bbejot

เนื่องจากคุณกำลังเปรียบเทียบความยาวของเส้นทางเท่านั้น (และในขณะเดียวกันก็ลืมว่ามีโหนดใดบ้างที่พวกเขาตรงกับถ้าฉันเข้าใจคุณดี) ฉันคิดว่ากราฟที่คล้ายกันมากควรเป็นตัวอย่างตอบโต้: ในท้ายที่สุดคุณจะต้องนับ จำนวนเส้นทางของความยาวคงที่และเป็นอิสระจากจุดยอดที่พวกเขาเชื่อมโยง ตัวอย่างเช่นฉันคิดว่ากราฟเหล่านี้เป็นตัวอย่าง: http://www.mathe2.uni-bayreuth.de/markus/REGGRAPHS/GIF/06_3_3-23.gifและhttp://www.mathe2.uni-bayreuth.de/ markus / REGGRAPHS / GIF / 06_3_3-1.gif

หากฉันไม่ผิด (เส้นทางนับน่าเบื่อ) พวกเขาทั้งสองมี 9 เส้นทางยาว 1, 18 เส้นทางยาว 2, 48 เส้นทางยาว 3, 30 เส้นทางยาว 4 และ 36 ยาว 5

— Arnaud
แหล่งที่มา

ฉันนับ 36 เส้นทางของความยาว 3 ในกราฟแรกและ 30 กราฟของความยาว 3 ในกราฟที่สอง ปัญหาคือกราฟที่สองมีวงจรความยาว 3 ซึ่งกราฟแรกไม่มี อย่างไรก็ตามฉันยังเห็นด้วยว่าควรมีกราฟที่ค่อนข้างเล็กเหมือนตัวอย่าง แม้ว่าฉันยังไม่พบหนึ่ง

— bbejot

ฉันเห็นด้วยกับคุณการเขียนโปรแกรมทดสอบกราฟขนาดเล็กทั้งหมดอาจจะให้คำตอบอย่างรวดเร็ว

— Arnaud

-2

36
011111111111111100000000000000000000
101111110000000011111111000000000000
110111001100000011000000111111000000
111000101011000010110000110000111000
111000101010100000001110001110000110
111000010110010001001001001001110001
110110001000011000100101000100101101
110001000101101010000111100000010011
101110100000010100000010100011011011
101001010001100110100000000111100101
100111000001110000011000011000110110
100100010110001110101000101000001110
100010010110001100010110010110110000
100001101010001101010001010001000111
100000110001110101000101111100001000
100000001101111001111010000011001000
011100010101000001010100010010001111
011001000000011110011010011100001001
010100100101000100011011100101100100
010100000010110111100011010010100010
010011000011000101100110001001011100
010010110000101010001001010011011100
010010011000100101111000100100010011
010001110000011000110100101011100010
001100011001001000100011011101010010
001100000010111011010100100101010100
001011000011001001001001100110101010
001010100100101001100010111000100101
001010001100100110010101001001101010
001001001100010100101101110010010100
000101100110100000110001001110011001
000101011010100000001110110001101001
000100101001001111001100001010110001
000010100111010010101100010101000011
000010011011010010010011101010000101
000001111100010011000010000100111110

011111111111111100000000000000000000
101111110000000011111111000000000000
110111001100000011000000111111000000
111000101011000010110000110000111000
111000101010100001001100001100000111
111000010110010000100011100011000110
110110001000011000011010000010110101
110001000101101010011001000001001011
101110100000010100000001011001101011
101001010001100110000010011010010101
100111000001110000100100100100011110
100100010110001110010100010100100110
100010010110001101101000101000011001
100001101010001100000111000111011000
100000110001110101011000100111100000
100000001101111001100111011000100000
011100010101000000001101001110111000
011010000000101100110101110110000001
010101000010100101010011101000110010
010100110001001001100010010101010011
010010110000101010000110101001101100
010010000011010111001011010100001100
010001100100010100111100011001010100
010001011000010111100100000010101011
001101000010101001101000010011101100
001100001101000101010110100001001101
001010001100100110101010000101110010
001010000011011011010100001011010010
001001100100011011000001100100110101
001001011000011000011010111100001010
000100101001001110101001101010000110
000100100110110010110010001110001001
000100011010110010001101110001010001
000011100111000000001110110010100011
000011011011000000110001001101100101
000010111100100001010001010010011110

36
011111111111111100000000000000000000
101111110000000011111111000000000000
110111001100000011000000111111000000
111000101011000010110000110000111000
111000101010100001001100001100000111
111000010010011000100011101011000100
110110001000010100011010000010110110
110001000001101110001011110000000011
101110100000011000000001010101101011
101000000001111111010100000111010000
100111000001110000100100101000011101
100100010110001110010100011000100101
100010010110001101101000100100011010
100001101110000100000111000011011001
100001011101100000110001000101100110
100000110101110001001010011010101000
011100010101000000001101100110110001
011010000100100100110101011010001010
010101000010101001010011001100111000
010100100101001001100110010001010110
010010110000100110000110100101101100
010010000111010011011001000001001101
010001110000010100111000011101010001
010001011000011011100100000010101011
001101010010100010001000010011011110
001100011001000101010010101001001011
001011000011000101100010010110100101
001010001100101010101010001001110001
001001100100010111000001101000110110
001001001100011000011110110100001100
000100101001001110101001001110001100
000100100110110010110010100110000011
000100001010110101101101110001100000
000011100011001000011100101011100010
000010111000101001010001110010010101
000010011011010010000111011100010010

011111111111111100000000000000000000
101111110000000011111111000000000000
110111001100000011000000111111000000
111000101011000010110000110000111000
111000101010100001001100001100000111
111000010110010000100011001011100100
110110001000011000011010000010011110
110001000001101110010011001100100010
101110100000010100000001100101110011
101001000001101101101000100011010100
100111000001110000100100011000101101
100100010110001110010100101000010101
100010010110001101101000010100101010
100001101010001100000111010011001001
100000110101110001010010010110010001
100000011101110010001101100001001010
011100010001000100001101011110011000
011010000100101000110101110010000011
010101000110100001011001000001111001
010100110001001001100010101001001011
010010100100100110100110000101011100
010010000011010111001011110000000101
010001110000011000011100110101100100
010001011000010111100100000010110011
001100001101000101010110010001100110
001100000010111011000110100110101000
001011010011000010010000000111001111
001010011000101010001010011001110001
001001100100011011000001011000011110
001001001100010100111010101100001001
000101011010100000100011110100010110
000100101101001010101001000110100101
000100100010110110111000011011000010
000011100111000000001110101010110010
000010111000100101010001101010101100
000010001011011001110101001101010000

36
011111111111111100000000000000000000
101111110000000011111111000000000000
110111001100000011000000111111000000
111000101011000010110000110000111000
111000101010100001001100001100000111
111000010010011000100011101011000100
110110001000010100011010000010110110
110001000001101110011001100001000011
101110100000011000000001010101101011
101000000001111111000110010110010000
100111000001110000100100101000011101
100100010110001110010100011000100101
100010010110001101101000100100011010
100001101110000100000111000011011001
100001011101100000100011010100100110
100000110101110001011000001011101000
011100010101000000001101100110110001
011010000100100100110101011010001010
010101000010101001001011011000111000
010100110001000101000110110001001110
010010110000100110100010001101110001
010010000111010011010011000100001101
010001100100011000111100010101010100
010001011000011011100100000010101011
001101010010100010010000000111011110
001100001101001001110010001001010011
001011000011000101101000010011100101
001010001100101010001110100001101100
001001100100010111000001101000110110
001001011000010100011010111100001001
000100101001001110101001001110001100
000100100110110010101010110010000011
000100001010110101110101100101100000
000011100011001000010110101110100010
000010111000101001010001110010010101
000010011011010010001101011001010010

011111111111111100000000000000000000
101111110000000011111111000000000000
110111001100000011000000111111000000
111000101011000010110000110000111000
111000101010100001001100001100000111
111000010010011000100011101011000100
110110001000010100011010000010110110
110001000001101101011001100001100001
101110100000011000000001010101101011
101000000001111111000110010110010000
100111000001110000100100101000011101
100100010110001110010100011000100101
100010010110001101101000100100011010
100001101110000100000111000011011001
100001011101100000100011010100100110
100000110101110010011000001011001010
011100000101000100101101001110101000
011010010100100000010101110010010011
010101000010101010001011011000011010
010100110001000101000110110001001110
010010110000100110100010001101110001
010010000111010011010011000100001101
010001100100011000111100010101010100
010001011000011011100100000010101011
001101010010100001010000000111111100
001100001101001001110010001001010011
001011000011000110101000010011000111
001010001100101010001110100001101100
001001100100010111000001101000110110
001001011000010100011010111100001001
000100111001001010001001100110010101
000100100110110001101010110010100001
000100001010110110110101100101000010
000011100011001000010110101110100010
000010101000101101110001011010001100
000010011011010001001101011001110000

— trg787
แหล่งที่มา

ในกราฟทั้งหมดเหล่านี้แลมบ์ดา = mu

— trg787

มันคือ 3 คู่ที่ง่ายที่สุด (ไม่ใช่แบบ

— ไอโซม

นั่นคืออะไร?!! และคุณจะรู้ได้อย่างไรว่ามีเส้นทางที่แตกต่างกันอย่างน้อยหนึ่งเส้นทาง

— N27

ฉันหมายถึงคุณจะรู้ได้อย่างไรว่ารายการของเส้นทางที่เป็นไปได้ทั้งหมดระหว่างโหนดทุกคู่เหมือนกัน?

— N27

ขออภัยฉันไม่เข้าใจสิ่งที่คุณทดสอบหรือพยายามที่จะพูดว่า ... คำถามของฉันคือว่า 2 รายการของความยาวของเส้นทางที่แตกต่างกันระหว่างโหนดทุกคู่ไม่เหมือนกันสำหรับกราฟที่ไม่ใช่ isomorphic 2 กราฟ

— N27