权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

ネットワークフロー問題に対する高速かつ実用的アルゴリズムに関する研究

网络流问题快速实用算法研究

基本信息

批准号：
13780229
负责人：
牧野和久
金额：
$ 1.6万
依托单位：
Osaka University
依托单位国家：
日本
项目类别：
Grant-in-Aid for Young Scientists (B)
财政年份：
2001
资助国家：
日本
起止时间：
2001 至 2002
项目状态：
已结题

项目摘要

本研究では,古典的な組合せ最適化問題であるネットワークフロー問題に関連する様々な離散構造をもつ問題を考察した。当初の計画では、ネットワークフロー問題自体のアルゴリズム開発を目的としたが、結果としては、本研究では.、フロー問題に関連する施設配置問題、モノポリー問題、マッチング問題、ならびに、そのとき得られた離散的な知見を利用した、人工知能分野の推論問題等に大きな成果を得た。本研究の最終年度どして最も大きな成果は、仮説列挙問題に対する多項式時間アルゴリズムの開発である。この仮説列挙問題は、知識ベースとしてのホーン理論と観測事象が与えられたとき、知識ベースを用いてその事象を説明する仮説を列挙するという問題である。この問題は、人工知能分野の古典的な推論問題であり、古くから盛んに研究されてきたが、現在に至るまで効率的に(多項式時間で)解けるかどうか未解決のまま残されていた。1990年にSelmanとLevesqueによって否定的に(すなわち、対応する決定問題がNP困難であると)予想されるほど、多項式時間アルゴリズムを開発することは困難とされていた。本年度に、ウイーン工科大学のEiter教授との共同研究でこの否定的な予想を覆し、初めての多項式時間アルゴリズムを開発した。この成果は、他の推論問題にも広く適用可能であり、人工知能における知識表現・推論分野の進歩に大きく貢献したとして高く評価されている。このことは、アメリカ人工知能学会(American Association for Artificial Intelligence)が主催する会議AAAI National Conference on Artificial Intelligence 2002(AAAI-02)からOutstanding Paper Awardを授与されたことからも分かる。

This study examines the classical combinatorial optimization problem and the associated discrete construction problem. The purpose of the original plan and the purpose of the project itself was to solve the problemとしたが, result としては, this study では., フローproblem related するFacility configuration problem, problem with problem, problem with problem, problem with problem, problem with problem, problem with problem, problem with problem Great achievements have been made in the utilization of scattered knowledge and the inference problem of artificial knowledge and ability. In the final year of this study, the most significant results were obtained, and the polynomial-time problem was solved.この仮说令挙question は、knowledge ベースとしてのホーンtheory と観measurement が and えられたとき、Knowledge ベースを Use いてそのthings を to explain する仮说を行挙するというquestion である.このproblemは、classical inference problemであり on the distinction between artificial intelligence and ability、ancient research on くから生んにされてきたが, Now we can solve the problem of unsolved problem in polynomial time efficiently (polynomial time). 1990にSelmanとLevesqueによってnegativeに(すなわち、対応するdetermination issueがNP-hard problem), polynomial time problem, and polynomial time problem. This year, I and Professor Eiter of the University of Science and Technology jointly researched the negation of the negation of the problem and the polynomial time of the initial problem.このachievementは、Other inference problemsにも広くapplicable possibilityであり、Artificial intelligenceにおけるKnowledge expression and inference division の Advancement に大きくContribution したとして高く Comment価されている. Outstanding Paper sponsored by このことは, アメリカAmerican Association for Artificial Intelligence AAAI National Conference on Artificial Intelligence 2002 (AAAI-02) Award を Granted to されたことからも分かる.