ฉันถามคำถามนี้เมื่อหลายสัปดาห์ก่อนที่mathoverflowแต่ฉันไม่ได้รับคำตอบ
ที่นี่โดย 3D-grid of sidelength ฉันหมายถึงกราฟG = ( V , E )กับV = { 1 , … , k } 3และE = { ( ( a , b , c ) , ( x , y , z ) ) ∣ | a - x | + | b - y | + | คกล่าวคือโหนดนั้นถูกวางที่พิกัดจำนวนเต็ม 3 มิติระหว่าง 1 และ kและโหนดเชื่อมต่อกับโหนดอื่น ๆ มากที่สุด 6 โหนดที่แตกต่างกันในการประสานงานหนึ่งโดยแม่นยำ
กราฟนี้ชื่ออะไร? ฉันจะใช้กริด 3D แต่บางทีตาข่าย 3D หรือตาข่ายสามมิติเป็นสิ่งที่คนอื่นคุ้นเคย
treewidth หรือความกว้างของกราฟคืออะไร? มันถูกเผยแพร่ไปแล้วที่ไหนสักแห่ง?
ฉันรู้แล้วว่าคือจริงๆแล้วมันมีขนาดเล็กกว่าk 2 ให้ฉันนี้แสดงให้เห็นว่าข้อโต้แย้งมาตรฐานแสดงให้เห็นว่าk × k 2D ตารางมี treewidth และ pathwidth kจะไม่ได้อย่างง่ายดายคุย
หากต้องการดูนี้เราพิจารณาการสลายตัวเส้นทางที่ "เรตติ้ง" ตารางโดยใช้ส่วนใหญ่โหนดชุดของรูปแบบ } สังเกต| S c | ≤ ( 3 / 4 ) k 2 + O ( k ) , S 3 / 2 kเป็นชุดดังกล่าวที่ใหญ่ที่สุด ชุดระหว่างS cและถูกสร้างขึ้นโดยการกวาดด้วยบรรทัดและต้องการ O ( k )โหนดเพิ่มเติมเพื่อเป็นตัวคั่น แม่นยำยิ่งขึ้นใช้ชุด S c , d = { ( x , y , z ) ∣ ( x + y + z = c ∧ x ≤ d ) ∨ ( x + y + z = c ∧ x ≥ d ) }เป็นเส้นทางของการสลายตัวG
ฉันยังมีความคิดสำหรับการพิสูจน์ที่แสดงแต่ยังไม่เสร็จ