คำถามติดแท็ก automorphism

ในกระดาษอัลกอริทึมที่มีประสิทธิภาพสำหรับกราฟ Isomorphismโดย Corneil และ Gotlieb, 1970 การคาดเดาถูกระบุตามที่อัลกอริทึมที่ระบุไว้อาศัยสำหรับการแก้ปัญหา GI ในเวลาพหุนาม กล่าวคือ: กราฟตัวแทนแสดงการแบ่งพาร์ติชันโดยอัตโนมัติของกราฟที่กำหนด เห็นได้ชัดว่าการคาดเดานี้ยังไม่ได้รับการพิสูจน์จนกระทั่งตอนนี้ (มิฉะนั้นเราจะรู้ว่า GI อยู่ใน P) คำถามของฉันคือว่ามันแสดงให้เห็นว่าเป็นเท็จและอาจได้รับตัวอย่างเคาน์เตอร์?

16 graph-isomorphism  automorphism 

คงชี้ปัญหา automorphism ฟรีขอ automorphism กราฟซึ่งย้ายอย่างน้อยk ( n )โหนด ปัญหาคือN Pสมบูรณ์ถ้าk ( n ) = n คสำหรับการใด ๆค > 0kkkk(n)k(n)k(n)NPNPNPk(n)=nck(n)=nck(n)=n^cccc อย่างไรก็ตามถ้าปัญหานี้คือเวลาพหุนามทัวริงสามารถลดปัญหากราฟ Isomorphism ถ้าk ( n ) = O ( log n / log log n )ปัญหาคือเวลาพหุนามเทียบเท่ากับปัญหากราฟ Automorphism ซึ่งอยู่ในN P Iและไม่ทราบว่าเป็นN P - สมบูรณ์ ปัญหา Automorphism ของกราฟคือการทำให้เข้าใจถึงปัญหา Isomorphism ของกราฟk(n)=O(logn)k(n)=O(log⁡n)k(n)=O(\log n)k(n)=O(logn/loglogn)k(n)=O(log⁡n/log⁡log⁡n)k(n)=O(\log n/\log \log …

16 cc.complexity-theory  graph-isomorphism  automorphism  symmetry 

ฉันกำลังแก้ไขรูปแบบการเข้ารหัสบางอย่าง เพื่อแสดงความไม่เพียงพอฉันได้วางแผนโปรโตคอลที่ออกแบบมาโดยอาศัยกราฟมอร์ฟิซึ่มส์ มันเป็น "ธรรมดา" (ยังเป็นที่ถกเถียงกันอยู่!) ที่จะสมมติว่าการดำรงอยู่ของอัลกอริธึม BPP สามารถสร้าง "กรณียากของปัญหากราฟ Isomorphism" (พร้อมกับพยานมอร์ฟิซึ่มส์) ในโปรโตคอลที่วางแผนไว้ของฉันฉันจะสมมติว่ามีอัลกอริทึม BPP ดังกล่าวซึ่งตรงตามข้อกำหนดเพิ่มเติมหนึ่งข้อ: ให้กราฟที่สร้างขึ้นจะและG_2มีเพียงพยานคนหนึ่ง (เปลี่ยนแปลง) ที่แมปเป็นเพื่อG_2G1G1G_1G2G2G_2G1G1G_1G2G2G_2 นี่ก็หมายความว่ามีเพียงautomorphisms จิ๊บจ๊อย ในคำอื่น ๆ ฉันสมมติว่าการดำรงอยู่ของอัลกอริทึม BPP บางอย่างซึ่งทำงานดังนี้:G1G1G_1 บนอินพุทให้สร้างกราฟ -vertexซึ่งมันจะมีออโตฟิวชั่นเพียงเล็กน้อยเท่านั้น1n1n1^nnnnG1G1G_1 เลือกการเปลี่ยนแปลงสุ่มกว่าและใช้มันในที่จะได้รับG_2ππ\pi[ n ] = { 1 , 2 , … , n }[n]={1,2,...,n}[n]=\{1,2,\ldots,n\}G1G1G_1G2G2G_2 เอาท์พุท ⟩⟨ กรัม1, ช2, π⟩⟨G1,G2,π⟩\langle G_1,G_2,\pi \rangle ฉันจะสมมติว่าในขั้นตอนที่ 1 สามารถสร้างได้ตามต้องการและ เป็นตัวอย่างที่ยากของปัญหากราฟมอร์ฟ …

14 graph-theory  cr.crypto-security  automorphism  graph-isomorphism  randomized-algorithms 

สมมติว่าเรามีเซต S ของกราฟ (กราฟ จำกัด แต่มีจำนวนไม่ จำกัด ) และกลุ่ม P ของพีชคณิตที่ทำหน้าที่แทน S อินสแตนซ์: การเปลี่ยนแปลงใน p คำถาม: มีกราฟ g ใน S ที่ยอมรับ automorphism p หรือไม่? นี่เป็นปัญหา NP-complete สำหรับบางชุด S หรือไม่ มันจะง่ายต่อการตรวจสอบว่ากราฟยอมรับการเปลี่ยนแปลง p (เช่นใบรับรอง) ยิ่งไปกว่านั้นมันง่ายที่จะหาตัวอย่างของ S ที่ปัญหาไม่สมบูรณ์ NP เช่น S เป็นเซตของกราฟที่สมบูรณ์ดังนั้นคำตอบคือใช่เสมอ หมายเหตุ: ฉันไม่สนใจว่าจะเป็นกราฟประเภทใด ถ้าคุณชอบพวกเขาอาจไม่ใช่คนง่ายกำกับสีและอื่น ๆ ภาคผนวก: ปัญหาที่ฉันกำลังดูอยู่ในขณะนี้คือการจำแนกไอโซโทปที่เป็นออโตทิสติกของละตินสแควร์ (ซึ่งสามารถตีความได้ว่าเป็นออโตกราฟฟิสกราฟชนิดพิเศษ) ให้ละตินสี่เหลี่ยม L (i, j) …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

ให้กราฟ G ที่ไม่ได้บอกทิศทางแบบง่าย ๆ มันเป็นเรื่องไม่สำคัญที่จะตรวจสอบว่า G มี automorphisms ที่ไม่ใช่ตัวตนหรือไม่ แต่อะไรคือผลลัพธ์ของขอบเขตการตัดสินใจบน / ล่างของปัญหาการตัดสินใจนี้

11 cc.complexity-theory  graph-isomorphism  automorphism 

Crossposted จากMO (edge) isomorphism กราฟสีคือ GI ซึ่งเก็บรักษาสี (ของ edge ถ้ามันเป็น edge edge) มีการลดหลายครั้งโดยใช้การแปลง / แกดเจ็ตของ (edge) coloured GI เป็น GI สำหรับ GI ที่มีสีขอบสิ่งที่ง่ายที่สุดคือการแทนที่ขอบสีด้วย Gadget การเก็บรักษา GI ที่เข้ารหัสสี สำหรับ GI สีที่มีจุดสุดยอดให้ติดแกดเจ็ตบางตัวกับจุดสุดยอด GI สมมติว่าเป็นพหุนามสำหรับบางระดับกราฟCคคC Q1 โพลิโนเมียลชนิดใดที่ GI หมายถึงพหุนาม (ขอบ) สี GI?คคC การใช้ลดลงด้วย Gadget อาจทำให้กราฟไม่ได้เป็นสมาชิกของCคคC ในทางตรงกันข้ามแกดเจ็ต / การเปลี่ยนแปลงบางอย่างอาจทำให้สมาชิกกราฟของคลาสโพลิโนเมียล GI อื่น ๆ ตัวอย่างของการลดขอบสี 'G …

10 graph-theory  graph-isomorphism  automorphism 

กราฟ automorphism คือการเปลี่ยนแปลงของต่อมน้ำกราฟที่ก่อให้เกิด bijection บนขอบชุดEเป็นทางการมันคือการเปลี่ยนแปลงของโหนดเช่น ifff ( u , v ) ∈ E ( f ( u ) , f ( v ) ) ∈ EEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E กำหนดขอบที่ละเมิดสำหรับการเปลี่ยนแปลงบางอย่างเป็นขอบที่แมปกับที่ไม่ใช่ขอบหรือขอบที่ preimage ที่ไม่ใช่ขอบ อินพุต : กราฟที่ไม่แข็งG(V,E)G(V,E)G(V, E) ปัญหา : ค้นหาการเปลี่ยนแปลง (ไม่ใช่ตัวตน) ที่ลดจำนวนขอบที่ถูกละเมิดให้เหลือน้อยที่สุด ความซับซ้อนในการค้นหาการเปลี่ยนแปลง (ไม่ระบุตัวตน) ด้วยจำนวนขั้นต่ำของขอบที่ถูกละเมิดคืออะไร? ปัญหายากสำหรับกราฟที่มีระดับสูงสุด (ภายใต้สมมติฐานที่ซับซ้อน) ตัวอย่างเช่นมันยากสำหรับกราฟลูกบาศก์หรือไม่kkk แรงจูงใจ:ปัญหาคือการผ่อนคลายของปัญหาออโตมอร์ฟิซึมกราฟ (GA) กราฟอินพุทอาจมีออโต้มอร์ฟิซึ่มส์เล็กน้อย (เช่นกราฟที่ไม่แข็ง) …

10 cc.complexity-theory  graph-theory  automorphism  symmetry