รับ matrixพร้อมเหตุผลเข้า ความซับซ้อนในการตรวจสอบคือทแยงมุม?
ฉันสงสัยว่าสิ่งนี้สามารถทำได้ใน P แต่ฉันไม่ทราบข้อมูลอ้างอิงใด ๆ อย่างไรก็ตามคำถามที่น่าสนใจคือมีคลาสความซับซ้อนที่ดีกว่านี้ในการจับปัญหานี้หรือไม่?
คำแนะนำ / ความคิดเห็นใด ๆ ยินดีต้อนรับ! ขอบคุณ
ด้วยการคำนวณและแยกแยะลักษณะพหุนามคุณสามารถตรวจสอบเวลาพหุนามว่าเมทริกซ์ ฉันไม่ทราบขอบเขตที่ดีกว่าสำหรับปัญหานี้
—
บรูโน่
@Bruno คุณคิดว่าเมทริกซ์นั้นเป็นเส้นทแยงมุมถ้ามันมีค่าลักษณะเฉพาะที่แตกต่างกันหรือไม่? มันไม่จริงมันเป็นเงื่อนไขที่เพียงพอ แต่ไม่จำเป็น เมทริกซ์เอกลักษณ์เป็นตัวอย่าง
—
Tyson Williams
@ ไทสันวิลเลียมส์: ฉันถือว่าความจริงที่เท่าเทียมกันว่าเมทริกซ์เป็นเส้นทแยงมุมถ้าสมมุติพหุนามของมันเป็นผลคูณของปัจจัยเชิงเส้นที่แตกต่างกัน แน่นอนความเท่าเทียมกันไม่ได้เก็บไว้สำหรับพหุนามลักษณะ แต่พหุนามน้อยที่สุด ...
—
Bruno
เพื่อชดเชยความผิดพลาดของฉันนี่คือการอ้างอิงสำหรับอัลกอริธึมเวลาพหุนามเพื่อคำนวณพหุนามขั้นต่ำซึ่งคุณได้รับ (หรือแยก) อัลกอริทึมสำหรับการตรวจสอบ diagonalizability: ในการคำนวณของพหุนามน้อยที่สุดวัฏจักรเวกเตอร์และ Frobeniusโดย Daniel Augot และ Paul Camion
—
บรูโน่
คุณสามารถคำนวณรูปแบบทางเหตุผลของจอร์แดนในรูปแบบพหุนามในเวลาพหุนาม: worldscientific.com/doi/abs/10.1142/S0129054194000165
—
Robin Kothari