• 検索結果がありません。

I222 計算の理論 (Theory of Computation) Report (5)

N/A
N/A
Info
ダウンロード
Protected

Academic year: 2021

シェア "I222 計算の理論 (Theory of Computation) Report (5)"

Copied!
1
0
0

読み込み中.... (全文を見る)

今ダウンロードする ( 1 ページ )

全文

(1)

I222

計算の理論

(Theory of Computation) Report (5)

2007

年度

II-1

期

(10,11

月) 担当: 上原 隆平

([email protected])

出題

(Propose): 11

月

9

日

(金) (November 9 (Fri))

提出

(Deadline): 11

月

16

日

(金)

講義終了時

(November 16 (Fri), 10:50)

注意

(Note):

レポートには氏名，学生番号，問題番号，解答を，すべて手書きで書くこと．

(Do not forget to handwrite your name, student ID, problem numbers, and answers on your report.)

Problem 1 (1 point):

定義に基づいて，

EX P = ∪

c>0

T IM E(2

`c

)

が成立することを証明せよ．(Prove

EX P = ∪

c>0

T IM E(2

`c

) based on the definitions.)

Problem 2 (2 points):

定義に基づいて，P

= co- P

であることを証明せよ．(Prove

P =co- P based on the definitions.)

Problem 3 (2 points):

箱詰め問題

(BIN)

が

N P

問題であることを証明せよ．

(Prove that the bin packing

problem (BIN) is an N P problem.)

参照

今ダウンロードする ( PDF - 1 ページ - 25.92 KB )

関連したドキュメント

自己言及の論理と計算 ∗

(2003) A universal approach to self-referential para- doxes, incompleteness and fixed points... (1991) Algebraically

実函数の計算理論

チューリング機械の原論文 [14]

計算の理論

As soon as an Analytic Engine exists, it will necessarily guide the future course of the

実函数の計算理論

Lipschitz continuous ordinary differential equations are polynomial-space complete.. A computable ordinary differential equation which possesses no

2. On the Computation of the Efficient Frontier

An easy-to-use procedure is presented for improving the ε-constraint method for computing the efficient frontier of the portfolio selection problem endowed with additional cardinality

第１章　積算基準

⑥ニューマチックケーソン 職種 設計計画 設計計算 設計図 数量計算 照査 報告書作成 合計.. 設計計画 設計計算 設計図 数量計算

神谷 徳昭(Noriaki Kamiya) 会津大学 (U

小林 英恒 (Hidetsune Kobayashi) 計算論理研究所 (Inst. Computational Logic) 小野 陽子 (Yoko Ono) 横浜市立大学 (Yokohama City.. Structures and Their

数理解析研究所 2011

 当図書室は、専門図書館として数学、応用数学、計算機科学、理論物理学の分野の文