คำถามติดแท็ก computational-geometry

1
วิธีที่จะไม่คำนวณวงกลมที่เล็กที่สุดซึ่งล้อมรอบกลุ่มของขอบเขตที่แน่นอน
สมมติว่าเรามีขอบเขตLLLของดิสก์ในและเราต้องการที่จะคำนวณดิสก์ขนาดเล็กที่สุดที่D วิธีมาตรฐานในการทำเช่นนี้คือการใช้อัลกอริทึมของ Matousek, Sharir และ Welzl [1] เพื่อหาพื้นฐานของและให้ดิสก์ขนาดเล็กที่สุดที่มีB ดิสก์อาจคำนวณพีชคณิตโดยใช้ความจริงที่ว่าตั้งแต่เป็นพื้นฐานแต่ละดิสก์ในสัมผัสกันไปBR2R2\mathbb{R}^2DDD⋃L⊆D⋃L⊆D\bigcup L\subseteq DBBBLLLD=⟨B⟩D=⟨B⟩D=\langle B\rangle⋃B⋃B\bigcup B⟨B⟩⟨B⟩\langle B\rangleBBBBBB⟨B⟩⟨B⟩\langle B\rangle (เป็นพื้นฐานของถ้านั้นน้อยที่สุดเช่นพื้นฐานมีองค์ประกอบอย่างน้อยสามองค์ประกอบโดยทั่วไปสำหรับลูกในเป็นพื้นฐาน มีองค์ประกอบมากที่สุด)L B ⟨ B ⟩ = ⟨ L ⟩ R d d + 1B⊆LB⊆LB\subseteq LLLLBBB⟨B⟩=⟨L⟩⟨B⟩=⟨L⟩\langle B\rangle=\langle L\rangleRdRd\mathbb{R}^dd+1d+1d+1 มันเป็นอัลกอริทึมแบบสุ่มซ้ำดังนี้ (แต่ดูด้านล่างสำหรับเวอร์ชันที่ซ้ำซึ่งอาจเข้าใจได้ง่ายขึ้น) โพรซีเดอร์ : อินพุต : ชุดดิสก์จำนวน จำกัด ,โดยที่เป็นพื้นฐาน (ของ )MSW(L,B)MSW(L,B)MSW(L, B) LLLBBBBBBBBB ถ้ากลับBL=∅L=∅L=\varnothingBBB มิฉะนั้นเลือกโดยการสุ่มX∈LX∈LX\in L ให้B)B′←MSW(L−{X},B)B′←MSW(L−{X},B)B'\leftarrow …

1
ความซับซ้อนของการทดสอบหากจุด
ลองนึกภาพเรามีสองขนาดmmmชุดของจุดX,Y⊂RnX,Y⊂RnX,Y\subset \mathbb{R}^n n ความซับซ้อนของการทดสอบ (เวลา) คืออะไรหากพวกเขาแตกต่างกันเพียงการหมุน? : มีอยู่หมุนเมทริกซ์OOT=OTO=IOOT=OTO=IOO^T=O^TO=Iเช่นที่X=OYX=OYX=OY ? มีปัญหาในการแสดงค่าจริงที่นี่ - สำหรับความเรียบง่ายสมมติว่ามีสูตรพีชคณิต (สั้น) สำหรับแต่ละพิกัดเช่นค่าใช้จ่ายของการดำเนินการทางคณิตศาสตร์ขั้นพื้นฐานสามารถถือว่าเป็น O (1) คำถามพื้นฐานคือถ้าปัญหานี้อยู่ใน P? ในขณะที่มุมมองแรกปัญหานี้อาจดูเหมือนง่าย - มักจะมีเพียงพอที่จะบรรทัดฐานการทดสอบของจุดและความสัมพันธ์ในท้องถิ่นเช่นมุมมีตัวอย่างที่น่ารังเกียจที่มันเป็นเช่นเทียบเท่ากับมอร์ฟปัญหากราฟ โดยเฉพาะการมองหาที่ eigenspaces ของเมทริกซ์ถ้อยคำของกราฟปกติอย่างยิ่ง (SRG) เราสามารถให้การตีความทางเรขาคณิต ด้านล่างเป็นตัวอย่างที่ง่ายที่สุด - SRG 16 จุดยอดสองอันซึ่งมีลักษณะเหมือนกัน แต่ไม่ใช่ isomorphic: A−2IA−2IA-2IO(6)O(6)O(6)X⊂R6X⊂R6X\subset \mathbb{R}^6|X|=16|X|=16|X|=16YYYXXXYYY ความยากลำบากก็คือจุดเหล่านี้อยู่ในทรงกลมและสร้างความสัมพันธ์เดิม: เพื่อนบ้านทั้งหมด (6 ที่นี่) อยู่ในมุมคงที่ <90 องศาไม่ใช่เพื่อนบ้านทั้งหมด (9 ที่นี่) ในมุมคงที่อื่น> 90 องศาเหมือนในแผนผัง ภาพด้านบน ดังนั้นการทดสอบบนพื้นฐานของบรรทัดฐานและมุมท้องถิ่นจึงย้อนกลับไปที่ปัญหามอร์ฟิซึ่มส์กราฟ ... …

1
คำนวณ polytope มิติต่ำสุดจากเซตเวกเตอร์เครื่องหมายที่กำหนด
กำหนดชุดของเครื่องบินโดยปกติเวกเตอร์ , ชนิดของเซลล์ (หรือเครื่องหมายเวกเตอร์) เป็นเวกเตอร์ทั้งหมดซึ่งมี อยู่เวกเตอร์เพื่อให้และถือหุ้นทั้งหมดของฉันนี่หมายถึงสินค้าภายในและหมายถึงเครื่องหมาย (หรือ ) ของที่ไม่ใช่ศูนย์จำนวนจริงx t ∈ { + , - } m v ∈ R d ⟨ v , h ฉัน ⟩ ≠ 0 t i = เครื่องหมาย( ⟨ v , h ฉัน ⟩ ) ฉัน⟨ u , v ⟩ ลงชื่อ( x ) + - …

1
การใช้งานพาร์ทิชันทรี?
เคยมีการนำต้นไม้พาร์ติชันมาใช้หรือไม่? ที่นี่ฉันกำลังพูดถึงต้นไม้พาร์ติชันจากเรขาคณิตการคำนวณ รุ่นที่เหมาะสมที่สุด (ใกล้ -) ซึ่งเป็นรุ่น Matousek และรุ่นอื่น ๆ และ Timothy Chan ล่าสุด: https://cs.uwaterloo.ca/~tmchan/optpt_2_10.pdf มันฟังดูบ้าสำหรับฉันที่สิ่งเหล่านี้ไม่เคยถูกนำมาใช้ แต่ googling กลับไม่มีการใช้งานที่ใครก็ตามที่เคยรายงาน

1
เซลล์ที่ใหญ่ที่สุดในการจัดเรียง
Q ความซับซ้อนในการค้นหาเซลล์ที่มีปริมาตรเท่ากันมากที่สุดคืออะไรในการจัดเรียงของ ไฮเปอร์เพลนแบบในมิติ d ?nnnddd ฉันรู้สึกว่าฉันควรรู้สิ่งนี้ ... แต่ฉันไม่พบการอ้างอิงที่ชัดเจน มันเป็น ? วิธีการเกี่ยวกับd = 2เชี่ยวชาญ: พื้นที่ล้อมรอบเซลล์ที่ใหญ่ที่สุดในการจัดเรียงของเส้นอยู่แล้ว?Ω(nd)Ω(nd)\Omega(n^d)d=2d=2d{=}2

1
การสลายตัวของ equidecomposable ขั้นต่ำ
รับโพลีเฮดราและอันและเป็น Equidecomposable ถ้ามีเซตโพลีเฮดราและซึ่งและนั้นสอดคล้องกันสำหรับ ,และQ_i เป็นที่ทราบกันว่าถ้าและเป็นรูปหลายเหลี่ยมของพื้นที่เท่ากันเช่นequidecompositionอยู่เสมอและที่นี้ไม่ได้ถือโดยทั่วไปสำหรับมิติที่สูงขึ้น PPPQQQPPPQQQP1,…,PnP1,…,PnP_1, \ldots, P_nQ1,…,QnQ1,…,QnQ_1, \ldots, Q_nPiPiP_iQiQiQ_iiiiP=∪ni=1PiP=∪i=1nPiP = \cup_{i=1}^n P_iQ=∪ni=1QiQ=∪i=1nQiQ = \cup_{i=1}^n Q_iPPPQQQ ฉันอยากรู้อยากเห็นเกี่ยวกับความซับซ้อนของปัญหาการกระจัดกระจายขั้นต่ำ: สำหรับสองรูปหลายเหลี่ยมและหา equidecompositionและที่ช่วยลดnPPPQQQP1,…,PnP1,…,PnP_1, \ldots, P_nQ1,…,QnQ1,…,QnQ_1, \ldots, Q_nnnn มีอัลกอริธึม (แน่นอน, พหุนาม, เลขชี้กำลัง, การประมาณ) สำหรับสิ่งนี้หรือไม่? เป็นความซับซ้อนที่รู้จักกัน?
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.