研究Discovery Saga

【キーワード】量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / グラフマイナー理論 (他11件)

【概要】量子計算能力の限界解明を目指して、研究分担者・連携研究者らにより多角的に研究を進め、次のような成果をあげた。 (1) 測定ベース量子計算等の量子計算モデルの離散・物理構造に着目し、量子回路最適化や状態変換可能性・測定の汎用実装法・周期グラフ状態の万能計算性について成果を得た。(2) グラフの点マイナー理論を適用して、量子情報の観点からイジング分配関数の効率的計算法を考察し、量子グラフ彩色について量...

【情報学】情報基礎学：量子格子グラフ理論／計算量理論を含む研究件

【キーワード】量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / グラフマイナー理論 (他11件)

【概要】量子計算能力の限界解明を目指して、研究分担者・連携研究者らにより多角的に研究を進め、次のような成果をあげた。 (1) 測定ベース量子計算等の量子計算モデルの離散・物理構造に着目し、量子回路最適化や状態変換可能性・測定の汎用実装法・周期グラフ状態の万能計算性について成果を得た。(2) グラフの点マイナー理論を適用して、量子情報の観点からイジング分配関数の効率的計算法を考察し、量子グラフ彩色について量...

【情報学】情報基礎学：量子計算理論／計算量理論を含む研究件

【キーワード】量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / グラフマイナー理論 (他11件)

【概要】量子計算能力の限界解明を目指して、研究分担者・連携研究者らにより多角的に研究を進め、次のような成果をあげた。 (1) 測定ベース量子計算等の量子計算モデルの離散・物理構造に着目し、量子回路最適化や状態変換可能性・測定の汎用実装法・周期グラフ状態の万能計算性について成果を得た。(2) グラフの点マイナー理論を適用して、量子情報の観点からイジング分配関数の効率的計算法を考察し、量子グラフ彩色について量...

【情報学】情報基礎学：格子グラフ／計算量理論を含む研究件

【キーワード】量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / グラフマイナー理論 (他11件)

【概要】量子計算能力の限界解明を目指して、研究分担者・連携研究者らにより多角的に研究を進め、次のような成果をあげた。 (1) 測定ベース量子計算等の量子計算モデルの離散・物理構造に着目し、量子回路最適化や状態変換可能性・測定の汎用実装法・周期グラフ状態の万能計算性について成果を得た。(2) グラフの点マイナー理論を適用して、量子情報の観点からイジング分配関数の効率的計算法を考察し、量子グラフ彩色について量...

【情報学】情報基礎学：指数時間アルゴリズム／計算量理論を含む研究件

【キーワード】量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / グラフマイナー理論 (他11件)

【概要】量子計算能力の限界解明を目指して、研究分担者・連携研究者らにより多角的に研究を進め、次のような成果をあげた。 (1) 測定ベース量子計算等の量子計算モデルの離散・物理構造に着目し、量子回路最適化や状態変換可能性・測定の汎用実装法・周期グラフ状態の万能計算性について成果を得た。(2) グラフの点マイナー理論を適用して、量子情報の観点からイジング分配関数の効率的計算法を考察し、量子グラフ彩色について量...

【情報学】情報基礎学：グラフマイナー理論／計算量理論を含む研究件

【キーワード】量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / グラフマイナー理論 (他11件)

【概要】量子計算能力の限界解明を目指して、研究分担者・連携研究者らにより多角的に研究を進め、次のような成果をあげた。 (1) 測定ベース量子計算等の量子計算モデルの離散・物理構造に着目し、量子回路最適化や状態変換可能性・測定の汎用実装法・周期グラフ状態の万能計算性について成果を得た。(2) グラフの点マイナー理論を適用して、量子情報の観点からイジング分配関数の効率的計算法を考察し、量子グラフ彩色について量...

【情報学】情報基礎学：決定理論／計算量理論を含む研究件

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【情報学】計算基盤：近似量子コンピュータ／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：不変多項式／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：量子アルゴリズム／計算量理論を含む研究件

【キーワード】離散アルゴリズム / 離散最適化 / 品質保証 / 近似アルゴリズム / オンラインアルゴリズム (他8件)

【概要】最近のIT社会の大規模化と多様化に伴って、従来から常識のように言われていた正確な計算を速く実行するというパラダイムが必ずしも実情に合わなくなってきている。現実的な時間内に限られたメモリ量で問題を解決することは依然として重要であるが、それだけではなく、非確実性をいかに扱うかが主要な課題になっている。したがって、正確さや決定性を犠牲にしても高速に近似最適解を得る、スケーラビリティを重視した情報処理技術...

【情報学】計算基盤：量子畳込み／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：量子超越性／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：量子優位性／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：量子優越性／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：マイナー埋込／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：グラウ最適化／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：グラフ最適化／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：グラフ不変量／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：FPTアルゴリズム／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】計算基盤：離散アルゴリズム／計算量理論を含む研究件

【キーワード】離散アルゴリズム / 離散最適化 / 品質保証 / 近似アルゴリズム / オンラインアルゴリズム (他8件)

【概要】最近のIT社会の大規模化と多様化に伴って、従来から常識のように言われていた正確な計算を速く実行するというパラダイムが必ずしも実情に合わなくなってきている。現実的な時間内に限られたメモリ量で問題を解決することは依然として重要であるが、それだけではなく、非確実性をいかに扱うかが主要な課題になっている。したがって、正確さや決定性を犠牲にしても高速に近似最適解を得る、スケーラビリティを重視した情報処理技術...

【情報学】計算基盤：離散最適化(discrete optimization) ／計算量理論を含む研究件

【キーワード】離散アルゴリズム / 離散最適化 / 品質保証 / 近似アルゴリズム / オンラインアルゴリズム (他8件)

【概要】最近のIT社会の大規模化と多様化に伴って、従来から常識のように言われていた正確な計算を速く実行するというパラダイムが必ずしも実情に合わなくなってきている。現実的な時間内に限られたメモリ量で問題を解決することは依然として重要であるが、それだけではなく、非確実性をいかに扱うかが主要な課題になっている。したがって、正確さや決定性を犠牲にしても高速に近似最適解を得る、スケーラビリティを重視した情報処理技術...

【情報学】人間情報学：計算幾何学／計算量理論を含む研究件

【キーワード】応用数学 / 組合せ論 / アルゴリズム / 巡回セールスマン問題 / 計算量理論 (他8件)

【概要】巡回セールスマン問題(以下、TSP)とは与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題はNP困難のクラスに属し、都市数が増えたとき実用的な時間(多項式時間)で最短経路(最適解)を求めるのは不可能と予想される代表例になっている。そこで、実社会での応用の観点から、実用的は時間で最適解に近い解を求める近似解法の研究がさかんに行われてきた。 TSP...

【情報学】人間情報学：BDD ／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】人間情報学：学習理論／計算量理論を含む研究件

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【情報学】情報学フロンティア：統計的決定理論／計算量理論を含む研究件

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【情報学】情報学フロンティア：近似アルゴリズム／計算量理論を含む研究件

【キーワード】離散アルゴリズム / 離散最適化 / 品質保証 / 近似アルゴリズム / オンラインアルゴリズム (他8件)

【概要】最近のIT社会の大規模化と多様化に伴って、従来から常識のように言われていた正確な計算を速く実行するというパラダイムが必ずしも実情に合わなくなってきている。現実的な時間内に限られたメモリ量で問題を解決することは依然として重要であるが、それだけではなく、非確実性をいかに扱うかが主要な課題になっている。したがって、正確さや決定性を犠牲にしても高速に近似最適解を得る、スケーラビリティを重視した情報処理技術...

【情報学】情報学フロンティア：量子計算／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】情報学フロンティア：符号理論／計算量理論を含む研究件

【概要】圧縮センシングのような線形観測に基づくスパース推定の枠組みを，非線形観測の場合に拡張した場合についての解析手法を開発し，具体的な課題に適用した．既存の解析手法では得られない非線形性に由来する性質を明らかにした．さらに，線形観測の場合を含む関連の深い諸問題についての解析や，非線形性を利用した機械学習的手法の推定手法への適用などを行ない，応用上でも重要な知見を得た． ...

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【情報学】情報学フロンティア：最適化／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【情報学】情報学フロンティア：圧縮センシング／計算量理論を含む研究件

【概要】圧縮センシングのような線形観測に基づくスパース推定の枠組みを，非線形観測の場合に拡張した場合についての解析手法を開発し，具体的な課題に適用した．既存の解析手法では得られない非線形性に由来する性質を明らかにした．さらに，線形観測の場合を含む関連の深い諸問題についての解析や，非線形性を利用した機械学習的手法の推定手法への適用などを行ない，応用上でも重要な知見を得た． ...

【情報学】情報学フロンティア：情報統計力学／計算量理論を含む研究件

【概要】圧縮センシングのような線形観測に基づくスパース推定の枠組みを，非線形観測の場合に拡張した場合についての解析手法を開発し，具体的な課題に適用した．既存の解析手法では得られない非線形性に由来する性質を明らかにした．さらに，線形観測の場合を含む関連の深い諸問題についての解析や，非線形性を利用した機械学習的手法の推定手法への適用などを行ない，応用上でも重要な知見を得た． ...

【情報学】情報学フロンティア：情報理論／計算量理論を含む研究件

【概要】圧縮センシングのような線形観測に基づくスパース推定の枠組みを，非線形観測の場合に拡張した場合についての解析手法を開発し，具体的な課題に適用した．既存の解析手法では得られない非線形性に由来する性質を明らかにした．さらに，線形観測の場合を含む関連の深い諸問題についての解析や，非線形性を利用した機械学習的手法の推定手法への適用などを行ない，応用上でも重要な知見を得た． ...

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【情報学】情報学フロンティア：非線形観測／計算量理論を含む研究件

【概要】圧縮センシングのような線形観測に基づくスパース推定の枠組みを，非線形観測の場合に拡張した場合についての解析手法を開発し，具体的な課題に適用した．既存の解析手法では得られない非線形性に由来する性質を明らかにした．さらに，線形観測の場合を含む関連の深い諸問題についての解析や，非線形性を利用した機械学習的手法の推定手法への適用などを行ない，応用上でも重要な知見を得た． ...

【情報学】情報学フロンティア：計算機科学／計算量理論を含む研究件

【概要】圧縮センシングのような線形観測に基づくスパース推定の枠組みを，非線形観測の場合に拡張した場合についての解析手法を開発し，具体的な課題に適用した．既存の解析手法では得られない非線形性に由来する性質を明らかにした．さらに，線形観測の場合を含む関連の深い諸問題についての解析や，非線形性を利用した機械学習的手法の推定手法への適用などを行ない，応用上でも重要な知見を得た． ...

【研究代表者】河原康雄 (河原泰雄) 九州大学, 大学院・システム情報科学研究科, 教授 (90091181)

【概要】本研究は、総合的観点からカテゴリー論的計算機数学の基盤研究として行い、以下のような研究成果を得た。 (1) 関係代数、デデキント圏の応用として、新しいプログラミング言語のパラダイムとして注目されている関係型プログラミングの意味論を発展させ、「関係集合論」の基礎理論を構築し、また、並列アルゴリズムのプロセス代数による基礎理論を発展させた。(河原、溝口、大塚) (2) データマイニングの基礎理論を計算...

【情報学】情報学フロンティア：情報学／計算量理論を含む研究件

【概要】圧縮センシングのような線形観測に基づくスパース推定の枠組みを，非線形観測の場合に拡張した場合についての解析手法を開発し，具体的な課題に適用した．既存の解析手法では得られない非線形性に由来する性質を明らかにした．さらに，線形観測の場合を含む関連の深い諸問題についての解析や，非線形性を利用した機械学習的手法の推定手法への適用などを行ない，応用上でも重要な知見を得た． ...

【情報学】情報学フロンティア：アルゴリズム／計算量理論を含む研究件

【概要】巡回セールスマン問題はNP困難に属することで知られる有名な問題の1つである.本研究では,この問題とその一般化である車両配送問題および複数の倉庫を持つ車両配送問題について,特に「交差」の条件に着目して取り組み,これらの問題に対する多項式時間で解けるクラスに関していくつかの結果を得た.また,平面上のn点凸状配置に対するハミルトン閉路のフリップによる「交差」の解消に関する問題およびそれに類似する問題につ...

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【キーワード】応用数学 / 組合せ論 / アルゴリズム / 巡回セールスマン問題 / 計算量理論 (他8件)

【概要】巡回セールスマン問題(以下、TSP)とは与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題はNP困難のクラスに属し、都市数が増えたとき実用的な時間(多項式時間)で最短経路(最適解)を求めるのは不可能と予想される代表例になっている。そこで、実社会での応用の観点から、実用的は時間で最適解に近い解を求める近似解法の研究がさかんに行われてきた。 TSP...

【情報学】情報学フロンティア：信号処理／計算量理論を含む研究件

【概要】圧縮センシングのような線形観測に基づくスパース推定の枠組みを，非線形観測の場合に拡張した場合についての解析手法を開発し，具体的な課題に適用した．既存の解析手法では得られない非線形性に由来する性質を明らかにした．さらに，線形観測の場合を含む関連の深い諸問題についての解析や，非線形性を利用した機械学習的手法の推定手法への適用などを行ない，応用上でも重要な知見を得た． ...

【情報学】情報学フロンティア：機械学習／計算量理論を含む研究件

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【情報学】情報学フロンティア：人工知能(AI) ／計算量理論を含む研究件

【研究代表者】河原康雄 (河原泰雄) 九州大学, 大学院・システム情報科学研究科, 教授 (90091181)

【概要】本研究は、総合的観点からカテゴリー論的計算機数学の基盤研究として行い、以下のような研究成果を得た。 (1) 関係代数、デデキント圏の応用として、新しいプログラミング言語のパラダイムとして注目されている関係型プログラミングの意味論を発展させ、「関係集合論」の基礎理論を構築し、また、並列アルゴリズムのプロセス代数による基礎理論を発展させた。(河原、溝口、大塚) (2) データマイニングの基礎理論を計算...

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【複合領域】社会・安全システム科学：知識処理／計算量理論を含む研究件

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【複合領域】社会・安全システム科学：経営工学／計算量理論を含む研究件

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【複合領域】社会・安全システム科学：意思決定システム／計算量理論を含む研究件

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【複合領域】科学教育・教育工学：知識情報処理／計算量理論を含む研究件

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【複合領域】科学社会学・科学技術史：不確実性／計算量理論を含む研究件

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【複合領域】一般理論：カテゴリー論／計算量理論を含む研究件

【研究代表者】河原康雄 (河原泰雄) 九州大学, 大学院・システム情報科学研究科, 教授 (90091181)

【概要】本研究は、総合的観点からカテゴリー論的計算機数学の基盤研究として行い、以下のような研究成果を得た。 (1) 関係代数、デデキント圏の応用として、新しいプログラミング言語のパラダイムとして注目されている関係型プログラミングの意味論を発展させ、「関係集合論」の基礎理論を構築し、また、並列アルゴリズムのプロセス代数による基礎理論を発展させた。(河原、溝口、大塚) (2) データマイニングの基礎理論を計算...

【数物系科学】数学：離散数学／計算量理論を含む研究件

【概要】巡回セールスマン問題はNP困難に属することで知られる有名な問題の1つである.本研究では,この問題とその一般化である車両配送問題および複数の倉庫を持つ車両配送問題について,特に「交差」の条件に着目して取り組み,これらの問題に対する多項式時間で解けるクラスに関していくつかの結果を得た.また,平面上のn点凸状配置に対するハミルトン閉路のフリップによる「交差」の解消に関する問題およびそれに類似する問題につ...

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【キーワード】応用数学 / 組合せ論 / アルゴリズム / 巡回セールスマン問題 / 計算量理論 (他8件)

【概要】巡回セールスマン問題(以下、TSP)とは与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題はNP困難のクラスに属し、都市数が増えたとき実用的な時間(多項式時間)で最短経路(最適解)を求めるのは不可能と予想される代表例になっている。そこで、実社会での応用の観点から、実用的は時間で最適解に近い解を求める近似解法の研究がさかんに行われてきた。 TSP...

【数物系科学】数学：アルゴリズム論／計算量理論を含む研究件

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【数物系科学】数学：巡回セールスマン問題／計算量理論を含む研究件

【概要】巡回セールスマン問題はNP困難に属することで知られる有名な問題の1つである.本研究では,この問題とその一般化である車両配送問題および複数の倉庫を持つ車両配送問題について,特に「交差」の条件に着目して取り組み,これらの問題に対する多項式時間で解けるクラスに関していくつかの結果を得た.また,平面上のn点凸状配置に対するハミルトン閉路のフリップによる「交差」の解消に関する問題およびそれに類似する問題につ...

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【キーワード】応用数学 / 組合せ論 / アルゴリズム / 巡回セールスマン問題 / 計算量理論 (他8件)

【概要】巡回セールスマン問題(以下、TSP)とは与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題はNP困難のクラスに属し、都市数が増えたとき実用的な時間(多項式時間)で最短経路(最適解)を求めるのは不可能と予想される代表例になっている。そこで、実社会での応用の観点から、実用的は時間で最適解に近い解を求める近似解法の研究がさかんに行われてきた。 TSP...

【数物系科学】数学：計算論理学／計算量理論を含む研究件

【研究代表者】河原康雄 (河原泰雄) 九州大学, 大学院・システム情報科学研究科, 教授 (90091181)

【概要】本研究は、総合的観点からカテゴリー論的計算機数学の基盤研究として行い、以下のような研究成果を得た。 (1) 関係代数、デデキント圏の応用として、新しいプログラミング言語のパラダイムとして注目されている関係型プログラミングの意味論を発展させ、「関係集合論」の基礎理論を構築し、また、並列アルゴリズムのプロセス代数による基礎理論を発展させた。(河原、溝口、大塚) (2) データマイニングの基礎理論を計算...

【数物系科学】数学：プログラミング意味論／計算量理論を含む研究件

【研究代表者】河原康雄 (河原泰雄) 九州大学, 大学院・システム情報科学研究科, 教授 (90091181)

【概要】本研究は、総合的観点からカテゴリー論的計算機数学の基盤研究として行い、以下のような研究成果を得た。 (1) 関係代数、デデキント圏の応用として、新しいプログラミング言語のパラダイムとして注目されている関係型プログラミングの意味論を発展させ、「関係集合論」の基礎理論を構築し、また、並列アルゴリズムのプロセス代数による基礎理論を発展させた。(河原、溝口、大塚) (2) データマイニングの基礎理論を計算...

【数物系科学】数学：組合せ論／計算量理論を含む研究件

【概要】巡回セールスマン問題はNP困難に属することで知られる有名な問題の1つである.本研究では,この問題とその一般化である車両配送問題および複数の倉庫を持つ車両配送問題について,特に「交差」の条件に着目して取り組み,これらの問題に対する多項式時間で解けるクラスに関していくつかの結果を得た.また,平面上のn点凸状配置に対するハミルトン閉路のフリップによる「交差」の解消に関する問題およびそれに類似する問題につ...

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【キーワード】応用数学 / 組合せ論 / アルゴリズム / 巡回セールスマン問題 / 計算量理論 (他8件)

【概要】巡回セールスマン問題(以下、TSP)とは与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題はNP困難のクラスに属し、都市数が増えたとき実用的な時間(多項式時間)で最短経路(最適解)を求めるのは不可能と予想される代表例になっている。そこで、実社会での応用の観点から、実用的は時間で最適解に近い解を求める近似解法の研究がさかんに行われてきた。 TSP...

【数物系科学】数学：関係計算／計算量理論を含む研究件

【研究代表者】河原康雄 (河原泰雄) 九州大学, 大学院・システム情報科学研究科, 教授 (90091181)

【概要】本研究は、総合的観点からカテゴリー論的計算機数学の基盤研究として行い、以下のような研究成果を得た。 (1) 関係代数、デデキント圏の応用として、新しいプログラミング言語のパラダイムとして注目されている関係型プログラミングの意味論を発展させ、「関係集合論」の基礎理論を構築し、また、並列アルゴリズムのプロセス代数による基礎理論を発展させた。(河原、溝口、大塚) (2) データマイニングの基礎理論を計算...

【数物系科学】数学：多項式時間アルゴリズム／計算量理論を含む研究件

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【数物系科学】数学：マトロイド／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【数物系科学】数学：推論／計算量理論を含む研究件

【概要】近年,曖昧性や矛盾を含んだ知識の推論や学習等の,より人間的で複雑な判断をめざした新しい知識情報処理の基礎研究も様々な分野で盛んに行われている.しかしながら従来の論理学を中心としたエキスパートシステムに比べて基礎理論が不完全であり評価基準も不明確であるため得られる結果が理論的に明快に保証されずシステム化が進んでいないのが現状である.本研究ではこれら新しい知識情報処理のために今までの個別的な研究ではな...

【数物系科学】数学：構成的プログラミング／計算量理論を含む研究件

【研究代表者】河原康雄 (河原泰雄) 九州大学, 大学院・システム情報科学研究科, 教授 (90091181)

【概要】本研究は、総合的観点からカテゴリー論的計算機数学の基盤研究として行い、以下のような研究成果を得た。 (1) 関係代数、デデキント圏の応用として、新しいプログラミング言語のパラダイムとして注目されている関係型プログラミングの意味論を発展させ、「関係集合論」の基礎理論を構築し、また、並列アルゴリズムのプロセス代数による基礎理論を発展させた。(河原、溝口、大塚) (2) データマイニングの基礎理論を計算...

【数物系科学】数学：車両配送問題／計算量理論を含む研究件

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【数物系科学】物理学：イジング模型／計算量理論を含む研究件

【キーワード】量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / グラフマイナー理論 (他11件)

【概要】量子計算能力の限界解明を目指して、研究分担者・連携研究者らにより多角的に研究を進め、次のような成果をあげた。 (1) 測定ベース量子計算等の量子計算モデルの離散・物理構造に着目し、量子回路最適化や状態変換可能性・測定の汎用実装法・周期グラフ状態の万能計算性について成果を得た。(2) グラフの点マイナー理論を適用して、量子情報の観点からイジング分配関数の効率的計算法を考察し、量子グラフ彩色について量...

【数物系科学】物理学：統計物理／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【数物系科学】物理学：応用数学／計算量理論を含む研究件

【キーワード】応用数学 / 組合せ論 / アルゴリズム / 巡回セールスマン問題 / 計算量理論 (他8件)

【概要】巡回セールスマン問題(以下、TSP)とは与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題はNP困難のクラスに属し、都市数が増えたとき実用的な時間(多項式時間)で最短経路(最適解)を求めるのは不可能と予想される代表例になっている。そこで、実社会での応用の観点から、実用的は時間で最適解に近い解を求める近似解法の研究がさかんに行われてきた。 TSP...

【数物系科学】物理学：分配関数／計算量理論を含む研究件

【キーワード】量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / グラフマイナー理論 (他11件)

【概要】量子計算能力の限界解明を目指して、研究分担者・連携研究者らにより多角的に研究を進め、次のような成果をあげた。 (1) 測定ベース量子計算等の量子計算モデルの離散・物理構造に着目し、量子回路最適化や状態変換可能性・測定の汎用実装法・周期グラフ状態の万能計算性について成果を得た。(2) グラフの点マイナー理論を適用して、量子情報の観点からイジング分配関数の効率的計算法を考察し、量子グラフ彩色について量...

【数物系科学】物理学：量子コンピュータ／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【キーワード】量子計算理論 / 量子グラフ理論 / 量子コンピュータ / 計算量理論 / グラフマイナー理論 (他11件)

【概要】量子計算能力の限界解明を目指して、研究分担者・連携研究者らにより多角的に研究を進め、次のような成果をあげた。 (1) 測定ベース量子計算等の量子計算モデルの離散・物理構造に着目し、量子回路最適化や状態変換可能性・測定の汎用実装法・周期グラフ状態の万能計算性について成果を得た。(2) グラフの点マイナー理論を適用して、量子情報の観点からイジング分配関数の効率的計算法を考察し、量子グラフ彩色について量...

【数物系科学】物理学：グラフ／計算量理論を含む研究件

【キーワード】量子計算 / 量子優越性 / グラウ最適化 / グラフ不変量 / 計算量理論 (他19件)

【概要】グラフのIsing分配関数の計算に対して、グラフ構造の複雑さを表すパラメタの中で枝幅・ランク幅に着目し、そのパラメタを用いた計算量で効率的なものを構成した。特に、パラメタが定数で抑えられるなどの場合に有効である。Ising分配関数からPotts分配関数、そして2変数グラフ不変多項式のTutte多項式へと展開し、有効閉路なしグラフ枝向き付け数に関する成果も得た。Tutte多項式の単峰性が満たされない...

【数物系科学】地球惑星科学：国際研究者交流／計算量理論を含む研究件

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【数物系科学】天文学：国際情報交換／計算量理論を含む研究件

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【工学】総合工学：確率アルゴリズム／計算量理論を含む研究件

【キーワード】離散アルゴリズム / 離散最適化 / 品質保証 / 近似アルゴリズム / オンラインアルゴリズム (他8件)

【概要】最近のIT社会の大規模化と多様化に伴って、従来から常識のように言われていた正確な計算を速く実行するというパラダイムが必ずしも実情に合わなくなってきている。現実的な時間内に限られたメモリ量で問題を解決することは依然として重要であるが、それだけではなく、非確実性をいかに扱うかが主要な課題になっている。したがって、正確さや決定性を犠牲にしても高速に近似最適解を得る、スケーラビリティを重視した情報処理技術...

【工学】総合工学：組合せ最適化／計算量理論を含む研究件

【キーワード】応用数学 / 組合せ論 / アルゴリズム / 巡回セールスマン問題 / 計算量理論 (他8件)

【概要】巡回セールスマン問題(以下、TSP)とは与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題はNP困難のクラスに属し、都市数が増えたとき実用的な時間(多項式時間)で最短経路(最適解)を求めるのは不可能と予想される代表例になっている。そこで、実社会での応用の観点から、実用的は時間で最適解に近い解を求める近似解法の研究がさかんに行われてきた。 TSP...

【工学】総合工学：オンラインアルゴリズム／計算量理論を含む研究件

【キーワード】離散アルゴリズム / 離散最適化 / 品質保証 / 近似アルゴリズム / オンラインアルゴリズム (他8件)

【概要】最近のIT社会の大規模化と多様化に伴って、従来から常識のように言われていた正確な計算を速く実行するというパラダイムが必ずしも実情に合わなくなってきている。現実的な時間内に限られたメモリ量で問題を解決することは依然として重要であるが、それだけではなく、非確実性をいかに扱うかが主要な課題になっている。したがって、正確さや決定性を犠牲にしても高速に近似最適解を得る、スケーラビリティを重視した情報処理技術...

【農学】生産環境農学：ニュージーラント／計算量理論を含む研究件

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【医歯薬学】薬学：品質保証／計算量理論を含む研究件

【キーワード】離散アルゴリズム / 離散最適化 / 品質保証 / 近似アルゴリズム / オンラインアルゴリズム (他8件)

【概要】最近のIT社会の大規模化と多様化に伴って、従来から常識のように言われていた正確な計算を速く実行するというパラダイムが必ずしも実情に合わなくなってきている。現実的な時間内に限られたメモリ量で問題を解決することは依然として重要であるが、それだけではなく、非確実性をいかに扱うかが主要な課題になっている。したがって、正確さや決定性を犠牲にしても高速に近似最適解を得る、スケーラビリティを重視した情報処理技術...

【医歯薬学】看護学：アメリカ:イギリス／計算量理論を含む研究件

【キーワード】組合せ論 / 離散数学 / アルゴリズム論 / 巡回セールスマン問題 / 計算量理論 (他12件)

【概要】巡回セールスマン問題は与えられた複数の都市をすべて1回ずつ通り、出発点に戻ってくるような最短経路を見つける問題である。この問題は板の穴あけなど実社会の問題にも直結する有名な最適化問題の1つである。しかし、都市数が増えるにつれ、コンピュータを利用しても計算にかる時間が指数的に増大する。そこで、問題がどのような条件をみたしていれば、実用的な時間で解が得られるかという研究がなされてきた。研究では、この効...

【医歯薬学】看護学：学習／計算量理論を含む研究件