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 องศาเหมือนในแผนผัง ภาพด้านบน ดังนั้นการทดสอบบนพื้นฐานของบรรทัดฐานและมุมท้องถิ่นจึงย้อนกลับไปที่ปัญหามอร์ฟิซึ่มส์กราฟ ... …