Top PDF 複雑性：問題の複雑さ、アルゴリズムの複雑

アルゴリズム的ランダムネスへの解析学的アプローチ (証明論と複雑性)

... となる確率は $0$ であるが，いずれかの $\alpha$ に対しては， $x=\alpha$ となるのである．すなわち，この事象 $A$ には何らかの制限が加えられなければならない． Martin-L\"of ランダムの点は， ( ある意味で ) 計算可能に表現できる測度 $0$ の集合に含まれ ...

13

進化生物学における離散最適化問題の解法について : 祖先形質復元問題に対する線形時間アルゴリズム(計算モデルと計算の複雑さに関する研究)

... The second pass of the previous algorithm in [4] for Problem 4 is not a little complicated and it complexity is $\mathrm{O}(n^{2})$ for the number $n$ of nodes in a given $\mathrm{e}1$ -[r] ...

10

Tree-Shellable論理関数の判定の複雑さ (計算理論とアルゴリズムの新展開)

... $f_{q}$ の任意の項 $I_{l}$ は、対応するパスが 4 を含むことから、 $I\subseteq I\iota\cup\{\alpha\}$ を満たす項 $I$ が存在することが必要である。しかし、 $x_{\alpha}$ を含む項は $K$ しかなく、また $f_{q}$ の項と $K$ との間に共通変数が存在しないことから、これを満たす項 $I$ ...

6

完全二分AND-OR木上の最適な乱択アルゴリズムについて (証明論と複雑性)

... 証明． $\mathcal{A}_{dir}$ は閉かっ連結なので，定理 4.10 より， $\mathcal{A}_{dir}$ 上の一様分布は $\mathcal{A}_{D}$ 上の最適な乱択アルゴリズムである．また， $A\in \mathcal{A}D\backslash \mathcal{A}$ di 。の生成する集合 $\langle A\rangle$ ...

19

規則限定Resolutionにより証明可能な命題論理式の複雑さ(アルゴリズムと計算量理論)

... Thus, as the power of proof systems increases, the set of predicates provable in polynomial.. time also increases.[r] ...

8

否定素子数限定論理回路における単調論理関数の複雑さ (アルゴリズムと計算の理論)

... が成り立っているとする . このとき , $C_{1}C_{2}c_{3}\leq s^{1/3}/8$ ならば, ある $i_{k+1}\in\{1, \ldots, C_{3}\}/\{i_{1}, \ldots, i_{k}\}$ が存在して, $L_{k+1}\in \mathcal{L}\mathrm{p}_{\mathrm{r}}k+1|_{u\in ...

8

個体群プロトコルにおける分割問題の一般化と空間複雑性について (アルゴリズムと計算理論の基礎と応用)

... \mathcal{G}_{n}=\mathcal{C}_{n}, T_{n} で定義される有向グラフを n エージェントシステムにおける P の実行グラフと呼ぶ.このシステムにおける任意の実行は \mathcal{G}_{n} 上の道に対応付けられるが,大域公平性は \mathcal{G}_{n} 中の任意の閉路.. いて議論する上で有用な,以下の補題 [2, 3][r] ...

9

可変マージ関数の否定数限定複雑さ (計算モデルとアルゴリズム)

... トを制限しない場合については, Muller と $\mathrm{P}\mathrm{r}\mathrm{e}\mathrm{p}\mathrm{a}\mathrm{r}\mathrm{a}\mathrm{t}\mathrm{a}[\mathrm{M}\mathrm{P}]$ が, 一般の論理回路で $O(n)$ 個の jl‘- トでソート関数が計算可能であることを示した. ...

6

スキーママッチングにおける計算の複雑さ (計算モデルとアルゴリズム)

... (a) $\text{口}E=c^{P}$ のとき, $T_{\mathrm{n}E}^{LP}=\{\lambda\overline{v}.c\}$ , (b) 口 E $=f^{P}(^{\text{口}E_{1}}, \cdots, \text{口}E_{m})$ のとき, . $T_{\cap ...

6

SATのいくつかの部分問題の複雑さについて (計算理論とアルゴリズムの新展開)

... that, given a $k,\mathrm{C}\mathrm{N}\mathrm{F}$ formula $\phi$ with $n$ variables, asks if there is a satisfying truth assignment that has.. only $pn$ variables set to 1.[r] ...

6

組合せ論理回路のハザード検出問題の計算複雑さについて(計算アルゴリズムと計算量の基礎理論)

... 近年の大規模論理回路は大部分が同期式順序回路で設計されるため、タイミングに関する検証は、レジスタ問の遅延解析を行う程度で十分である。しかし、通信制御などの周辺論理、 - 記憶素子など非同期回路として設計されるものに対しては、仕様通りの動作をするかどうか、あるいはハザード、発信、競合によるエラーが発生しないかどうかを調べるために、 ...

10

「複雑さに備える」

... 短縮される。また新たに最適なアルゴリズムが開発されると時間軸は大幅に縮まることになる 4 。そのため、現在では、耐量子コンピュータ暗号として数学的により複雑な暗号方式として格子暗号や多変数多項式暗号などの研究が盛んに行われてきている。しかし、暗号化、復号化を行うために、より複雑な計算処 ...

13

有限曖昧経営オートマトンの等価性判定問題の可解性(計算モデルと計算の複雑さに関する研究)

... び基本的性質について述べる . 第 3 章は複数個の決定性エコノミクスオートマトンにより、ユニオンエコノミクスオートマトンをを定義し, その性質について述べる。第 4 章において, まず複数個の決定性エコノミクスオートマトンの和として表現できるユニオンエコノミクスオートマトンと ...

7

「複雑さに備える」

... Mechanism)をの設置が検討され、共同計画の策定が進められている。米比同盟には常設の同盟機構や危機メカニズムが存在していない。常設の危機管理メカニズムがあれば、米国が領有権問題に曖昧であっても、両国が領有権問題に備える可能性を提示できる。東シナ海や南シナ海における危機に軍事介入す ...

19

「複雑さに備える」

... く考えられた体系的な支援計画が、必要の都度、適正かつ自動的に作成、改善されており、現実の作戦に必要な、戦域の環境条件、気象、海潮流等の詳細も知らせてくれるようになっている。青島の後方支援基地は、軍内外の約 20校の学校及び約 30の研究組織並びに約40の機器製造工場と並存して、協力し合い、 ...

36

「複雑さに備える」

... Mechanism)をの設置が検討され、共同計画の策定が進められている。米比同盟には常設の同盟機構や危機メカニズムが存在していない。常設の危機管理メカニズムがあれば、米国が領有権問題に曖昧であっても、両国が領有権問題に備える可能性を提示できる。東シナ海や南シナ海における危機に軍事介入す ...

99

「複雑さに備える」

... UNCLOS の紛争解決制度を適用するための具体的手続を規定していないことから、UNCLOS 第 282 条に影響を及ぼすも ...条の意味における紛争解決制度には該当しないと判断する。第一に、 TAC の紛争解決メカニズム（TAC 第 13 条、第 14 条及び第 15 条）は、すべての ...二に、TAC ...

42

「複雑さに備える」

... その指摘も多様かつ個別的であって、一見、問題は収束するのではなく、拡散の過程にある。例えば、前半の 5 項目は軍隊の任務に関することであり、伝統的な戦闘任務だけでなく、多様な任務を課されつつある軍隊の現状が描かれて ...

20

「複雑さに備える」

... 6 门洪华「国际体系与中国的角色」郭树勇主编『战略与探索』世界知识出版社，2008 年，168-169 页。 7 防衛研究所編『東アジア戦略概観 2015』、防衛研究所、2015 年、108-109 頁。 8 たとえば、土屋貴裕「中国の海洋安全保障政策カントリー・プロファイル」平成 27 年度外務省外交・安全保障調査研究（総合事業）『インド太平洋における法の支 ...

20

環境問題・科学技術と複雑適応系

... （2）バイオの情報処理（図 11 ）ディジタル領域（人間の左脳）における知性は，コンピュータにより補強され，近年突出する発展をみるに至った．アナログ領域（右脳）における感性は，コンピュータとの機能的ギャップが大きく，相対的に過小評価されてきた．その結果，直感力が鈍り，マニュアル人 ...

16

複雑性：問題の複雑さ、アルゴリズムの複雑

関連した話題