D-1-7 逆算法に基づく詰将棋の列挙(D-1. コンピュテーション)

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人電子情報通信学会の論文
• 2004-03-08

著者

• 岩間 一雄

  京都大学情報学研究科

• 堀山 貴史

  埼玉大学情報システム工学科

• 中塚 裕之

  京都大学情報学研究科

• 堀山 貴史

  京都大学情報学研究科

• 中塚 裕之

  京都大学工学部

関連論文

• 片方のみがタイを持つ安定結婚問題に対する25/17近似アルゴリズム (アルゴリズムと計算機科学の数理的基盤とその応用)
• Designing Quantum Game Strategies from Quantum Communication Protocols
• 1.特定領域研究「新世代の計算限界-その解明と打破-」(特定領域研究「新世代の計算限界-その解明と打破-」)
• DS-1-14 飛び道具を考慮した逆算法に基づく詰将棋列挙技術(DS-1. COMP-NHC学生シンポジウム,シンポジウムセッション)
• 部の大きさの比が高々定数倍の孤立2部クリークの列挙
• 遺伝的な距離に基づいた家系図推定問題
• DNA配列のプローブ順序固定に必要な最小フラグメント集合
• 最短路ルーティングにおけるバックアップテーブルに関する考察
• LA-3 DNA配列におけるプローブの順序付けに必要な最小フラグメント集合(A. アルゴリズム・基礎)
• インターネットにおける経路ループの回避手法
• 単調論理回路における還元
• 逆算法に基づく詰将棋の列挙
• D-1-7 逆算法に基づく詰将棋の列挙(D-1. コンピュテーション)
• Automatic clock gating generation through power-optimal control signal selection (VLSI設計技術)
• 正4面体と他の正多面体との共通の辺展開図に関する研究
• 自動クロックゲーティング生成における電力最適化制御信号選択手法
• 秘密分散を用いた安全なVickreyオークション
• An improvement of the soundness of a 3-bit PCP (理論計算機科学の深化と応用--RIMS研究集会報告集)
• 論理関数の畳み込み機構を導入した省面積FPGAの実現と評価
• 8C45 ことばによる手話単語の記述と三次元表現
• D-1-5 量子有限オートマトンの類似性判定アルゴリズム(D-1. コンピュテーション)
• 非線形方程式と整数解の探索に基づく高位合成向けビット長最適化(検証・理論, 組込技術とネットワークに関するワークショップ)
• 非線形方程式と整数解の探索に基づく高位合成向けビット長最適化
• 非線形方程式と整数解の探索に基づく高位合成向けビット長最適化(検証・理論, 組込技術とネットワークに関するワークショップ)
• (4, 1)-量子ランダムアクセス符号の非存在について
• 量子ネットワーク上での効率的な情報の伝送(計算理論とアルゴリズムの新展開)
• C言語を用いた音声認識・学習LSIの設計と実現について
• C言語を用いた音声認識・学習LSIの設計と実現について
• C言語を用いた音声認識・学習LSIの設計と実現について
• A-3-13 学習回路インターフェースを持ち不特定話者に対応できる音声認識回路
• マルチステージクロックゲーテイングにおけるクロック制御回路の共有について(低電力設計,デザインガイア2010-VLSI設計の新しい大地-)
• マルチステージクロックゲーティングにおけるクロック制御回路の共有について(低電力設計,デザインガイア2010-VLSI設計の新しい大地-)
• 1-D-5 最長路問題と最大経路差問題 : その解法とJR大都市近郊区間大回りへの応用(離散・組合せ最適化(2))
• 3正則グラフの巡回セールスマン問題に対する厳密アルゴリズムの改善(計算機科学の理論とその応用)
• 男女平等安定マッチング問題に対する近似アルゴリズム
• 長さ2のタイを含む安定結婚問題に対する近似アルゴリズム
• New Graph Calculi for Planar Non-3-Colorable Graphs
• オンライン問題の競合比解析の自動化について
• 正多角形領域に対するオンライン追跡問題
• オンライン問題の競合比解析の自動化について (計算機科学基礎理論の新展開)
• Approximating Vertex Cover on Dense Graphs (Evolutionary Advancement in Fundamental Theories of Computer Science)
• Noise-Tolerant Quantum Oracles (New Aspects of Theoretical Computer Science)
• 探索問題における一般的な量子オラクルの質問回数について
• A-1 3関数に対する量子クロー探索アルゴリズム(計算量・量子計算,A.アルゴリズム・基礎)
• 量子コンピュータ科学入門(量子情報科学 : 新しい情報処理のパラダイム)
• D-1-8 Mathematicaと並列計算機を併用した量子計算のシミュレーション
• 占有問題に対する量子アルゴリズム
• ブール関数を計算する量子回路の局所変換ルールの完全集合
• 伸長係数2のコンパクトラウティングアルゴリズム (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
• 量子探索と量子ゲーム(知能コンピューティングとその周辺〔第12回〕)
• 安定結婚問題の近似可能性について (計算機科学の基礎理論 : 21世紀の計算パラダイムを目指して)
• 配属人数下限付き研修医配属問題 (理論計算機科学の深化と応用)
• 3人部屋安定ルームメイト問題のNP完全性
• 平面グラフにおけるHajos Calculusの複雑さについて
• Negation-Limited Complexity of Parity and Inverters(Theory of Computer Science and Its Applications)
• DS-1-3 安定結婚問題に対する1.8-近似アルゴリズム(DS-1.COMP-NHC学生シンポジウム,シンポジウム)
• 安定結婚問題に対する1.875-近似アルゴリズム
• 計算限界の最前線(新世代の計算限界-その解明と打破-招待解説論文)
• 二段組合せ回路の最大動作率について(計算理論とアルゴリズムの新展開)
• PPSZタイプの充足可能性判定アルゴリズムの成功確率増幅について
• 入札額の範囲が制限された正直なオークション
• 入札額の範囲が制限された正直なオークション
• Hajos Calculus on Planar Graphs (Theoretical Computer Science and its Applications)
• 論理式の解密度の濃縮
• 守備特訓に喘ぐ外野手のための捕球経路問題 (計算機科学基礎理論の新展開)
• k-CNF式に対するInclusion-Exclusion公式について
• SATのいくつかの部分問題の複雑さについて (計算理論とアルゴリズムの新展開)
• D-1-3 偏りのある充足解をもつSATに対する局所探索アルゴリズムの解析と応用
• 抽象解釈手法に基づく変数の相互関係解析とそのデータパス最適化への応用(システム設計及び一般)
• 抽象解釈手法に基づく変数の相互関係解析とそのデータパス最適化への応用(システム設計および一般)
• 論理関数の畳み込み機構を導入した省面積FPGAの実現と評価
• 論理関数の畳み込み機構を導入した省面積FPGAの実現と評価(FPGAとその応用及び一般)
• A-3-25 論理関数の重ね合わせに基づく加減算向きLUT
• A-3-4 リング発振器を用いたオンチップ高速シリアル通信方式
• A-3-11 冗長2進CORDIC演算器を有する16ビットパイプラインプロセッサ
• Fine-Grained Power Gating Based on the Controlling Value of Logic Elements
• Fine-grained power gating based on the controlling value of logic gates (VLSI設計技術)
• Fine-grained power gating based on the controlling value of logic gates (システムLSI設計技術)
• アイテムの入れ替えを許すオンラインナップザック問題について
• 量子モデルと確率モデルの確率計算の違いによって生じる計算能力の差について (計算理論とアルゴリズムの新展開)
• 量子有限オートマトンにおける決定不能問題 (計算モデルとアルゴリズム)
• Bit Length Optimization of Fractional Part on Floating to Fixed Point Conversion for High-Level Synthesis(Logic and High Synthesis)(VLSI Design and CAD Algorithms)
• Look Up Table Compaction Based on Folding of Logic Functions(Special Section on VLSI Design and CAD Algorithms)
• Bit-Length Optimization Method for High-Level Synthesis Based on Non-linear Programming Technique(System Level Design,VLSI Design and CAD Algorithms)
• DS-1-7 いかなる辺展開でも正多面体は重ならない(DS-1.COMP学生シンポジウム,シンポジウムセッション)
• SATに対する局所探索法のベクトル化
• D-1-5 量子有限オートマトンのシミュレーションシステム
• D-1-2 安定結婚問題に対する局所探索近似アルゴリズム(D-1. コンピュテーション)
• 正直なオークションにおける談合の影響 (理論計算機科学の深化 : 新たな計算世界観を求めて)
• Axis-bound CNN Problem (Mathematical Optimization Theory and its Algorithm)
• 一方向通貨交換問題における予測を用いたアルゴリズム (計算モデルとアルゴリズム)
• D-1-4 最大化および最小化アルゴリズムにおける近似度の関係
• 鳩の巣原理に対する木状導出原理の証明サイズの上下限の改良 (新しいパラダイムとしてのアルゴリズム工学)
• LA-12 完全マッチングを持つグラフに対する最小頂点被覆問題の近似解法(A. アルゴリズム・基礎)
• 平坦なグラフに対するコンパクトルーティング
• D-1-5 伸張係数2のコンパクトルーティング
• D-1-4 全域的に疎なグラフに対する最小頂点被膜問題
• DS-1-6 木構造関数値評価問題の領域計算量解析(DS-1.COMP学生シンポジウム,シンポジウムセッション)
• 量子探索と量子ゲーム

もっと見る 閉じる

スポンサーリンク