著者
関川 浩 白柳 潔
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 A (ISSN:09135707)
巻号頁・発行日
vol.J89-A, no.3, pp.199-216, 2006-03-01

区間多項式 F に対し,与えられた領域D内に零点をもつ,Fに属する多項式が存在するか否かの厳密な判定法を与える.領域 D が実であるときは,有限個の多項式を調べれば十分であることを示す.領域 D が複素であるときは,D の境界が長さ有限な単純閉曲線かつ区分的に有理関数で表現されているという仮定のもと,係数も変数として扱うことにより多変数多項式の零点判定問題ととらえ,この多変数多項式がもとの多項式の係数を表す変数について一次であること,領域の境界が有理関数で表示されていることを利用し,厳密に判定できる手法を提案する.