คำถามติดแท็ก topological-graph-theory

1
คุณสมบัติที่ปิดเล็กน้อยที่แสดงออกมาอย่างชัดเจนของ MSO
ด้านล่างนี้ MSO หมายถึงตรรกะลำดับที่สองแบบ monadic ของกราฟที่มีการหาค่าจุดสุดยอดชุดและการตั้งค่าขอบ ให้เป็นกราฟตระกูลที่ปิดเล็กน้อย มันดังมาจากโรเบิร์ตและมัวร์ทฤษฎีเล็กน้อยกราฟที่Fเป็นลักษณะรายการ จำกัดH 1 , H 2 , . . , H kของผู้เยาว์ต้องห้าม กล่าวอีกนัยหนึ่งสำหรับกราฟGแต่ละรายการเรามีGนั้นเป็นของFถ้าหากGไม่รวมกราฟทั้งหมดH iในฐานะผู้เยาว์FF\mathcal{F}FF\mathcal{F}H1,H2,...,HkH1,H2,...,HkH_1,H_2,...,H_kGGGGGGFF\mathcal{F}GGGHiHiH_i เป็นผลมาจากความเป็นจริงนี้เรามีสูตร MSO ที่เป็นจริงในกราฟGและถ้าหากG ∈ F ยกตัวอย่างเช่นกราฟระนาบมีลักษณะโดยไม่มีกราฟK 3 , 3และK 5เป็นผู้เยาว์และดังนั้นจึงเป็นเรื่องง่ายที่จะเขียนสูตร MSO อย่างชัดเจนในลักษณะกราฟระนาบφFφF\varphi_{\mathcal{F}}GGGG∈FG∈FG\in \mathcal{F}K3,3K3,3K_{3,3}K5K5K_5 ปัญหาคือว่าสำหรับคุณสมบัติกราฟปิดเล็กน้อยดีหลายรายการของผู้เยาว์ต้องห้ามไม่เป็นที่รู้จัก ดังนั้นในขณะที่เรารู้ว่ามีสูตร MSO ที่ระบุว่ามีกราฟตระกูลอยู่ แต่เราอาจไม่รู้ว่าสูตรนี้คืออะไร ในอีกทางหนึ่งอาจเป็นกรณีที่เราสามารถสร้างสูตรที่ชัดเจนสำหรับคุณสมบัติที่กำหนดโดยไม่ต้องใช้ทฤษฎีบทรองของกราฟ คำถามของฉันเกี่ยวข้องกับความเป็นไปได้นี้ คำถามที่ 1:มีเล็ก ๆ น้อย ๆ ในครอบครัวปิดของกราฟเช่นว่าชุดของผู้เยาว์ต้องห้ามไม่เป็นที่รู้จัก แต่บางสูตร MSO φพัฒนาการชุดของกราฟที่เป็นที่รู้จักกัน?FF\mathcal{F}φφ\varphi คำถามที่ …

3
การใช้งานสำหรับทฤษฎีเซต, ทฤษฎีอันดับ, combinatorics อนันต์และโทโพโลยีทั่วไปในวิทยาการคอมพิวเตอร์?
ฉันเป็นนักคณิตศาสตร์ที่ให้ความสนใจในทฤษฎีเซตทฤษฎีอันดับสูง combinatorics อนันต์และโทโพโลยีทั่วไป มีการใช้งานใด ๆ สำหรับวิชาเหล่านี้ในสาขาวิทยาศาสตร์คอมพิวเตอร์หรือไม่? ฉันได้ดูเล็กน้อยและพบการใช้งานจำนวนมาก (แน่นอน) สำหรับทฤษฎีกราฟ จำกัด , ทอพอโลยี จำกัด , ทอพอโลยีมิติต่ำ, ทอพอโลยีเชิงเรขาคณิต ฯลฯ อย่างไรก็ตามฉันกำลังมองหาการประยุกต์ใช้วัตถุที่ไม่มีที่สิ้นสุดของวิชาเหล่านี้เช่นต้นไม้ที่ไม่มีที่สิ้นสุด ( ตัวอย่างเช่นต้นไม้ Aronszajn ), โทโพโลยีแบบไม่มีที่สิ้นสุดเป็นต้น ความคิดใด ๆ ขอขอบคุณ!!

2
ความสามารถในการประมาณค่าของปัญหาสกุล
ปัจจุบันมีความรู้อะไรเกี่ยวกับความสามารถในการประมาณค่าของปัญหาสกุล? ค้นหาเบื้องต้นบอกว่าประมาณปัจจัยคงเป็นที่น่ารำคาญสำหรับกราฟหนาแน่นเพียงพอและ -approximation ขั้นตอนวิธีการได้รับการปกครองออก ข้อมูลนี้เป็นปัจจุบันหรือไม่nϵnϵn^\epsilon

1
การหากราฟคู่
ตามหนังสือทฤษฎีกราฟทอพอโลยีโดยกรอสและทักเคอร์ให้เซลล์ฝังกราฟบนพื้นผิว (โดย 'พื้นผิว' ฉันหมายถึงที่นี่ทรงกลมที่มีบางจับและด้านล่างS nหมายถึงทรงกลมที่มีnแน่นอนด้ามจับ) หนึ่งสามารถกำหนดมัลติกราฟแบบคู่โดยการรักษาใบหน้าของกราฟต้นฉบับที่ฝังเป็นจุดยอดและเพิ่มขอบระหว่างจุดยอดสองจุดสำหรับทุกด้านที่ใบหน้าที่เกี่ยวข้องมีเหมือนกันในกราฟต้นฉบับn≥0n≥0n\geq 0SnSnS_nnnn นี่คือฉันปัญหา ได้รับกราฟผมต้องไปหาอีกกราฟG 'เช่นว่ามีอยู่พื้นผิวSและฝังโทรศัพท์มือถือของGบนSดังกล่าวว่าG 'เป็นที่สองของการฝังนี้G ฉันรู้ว่ามีกราฟที่เป็นไปได้มากมายG ′ ; ฉันต้องการค้นหากราฟกราฟGทุกตัวGGGG′G′G'SSSGGGSSSG′G′G'GGGG′G′G'GGG ฉันมีหลายคำถาม กลยุทธ์ปัจจุบันของฉันคือ (1) กำหนดประเภทของG , (2) ค้นหาการฝังGบนS nและ (3) ค้นหาคู่ของการฝังนี้ ทุกขั้นตอนเหล่านั้นมีอัลกอริทึมที่รู้จัก (แม้ว่า (1) คือ NP-Hard) ฉันสงสัยว่ามีวิธีการหาG ′ที่ผ่านการคำนวณของสกุลเพราะนั่นคือคอขวดของวิธีการนี้และนั่นคือคำถามแรกของฉัน คำถามที่สองของฉันคือ: ถ้าฉันรู้ว่าGปกติแล้วนั่นจะช่วยให้การคำนวณสกุลนั้นง่ายขึ้นหรือไม่? และคำถามที่สามของฉันคือคำขอสำหรับการอ้างอิงใด ๆ ที่สามารถช่วยฉันแก้ปัญหานี้ได้nnnGGGGGGSnSnS_nG′G′G'GGG

1
คู่ของวง homotopic ที่แยกจากกันในกราฟแยกกันหรือไม่?
ให้เป็นกราฟที่ฝังอยู่บนพื้นผิวที่กะทัดรัดของสกุลเพื่อให้การฝังเป็นเซลลูลาร์ พิจารณาคู่ของกราฟ * ให้และจะเคลื่อนรอบในที่มี homotopic กับแต่ละอื่น ๆ และให้และเป็นชุดขอบที่สอดคล้องกันในตามลำดับ คือกราฟตัดการเชื่อมต่อ?GGGgggG∗G∗G^*C1C1C_1C2C2C_2G∗G∗G^*E1E1E_1E2E2E_2GGGG∖(E1∪E2)G∖(E1∪E2)G \setminus (E_1 \cup E_2)
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.