H18-2.dvi

Similar documents
25 II :30 16:00 (1),. Do not open this problem booklet until the start of the examination is announced. (2) 3.. Answer the following 3 proble

h23w1.dvi

Page 1 of 6 B (The World of Mathematics) November 20, 2006 Final Exam 2006 Division: ID#: Name: 1. p, q, r (Let p, q, r are propositions. ) (10pts) (a

AtCoder Regular Contest 073 Editorial Kohei Morita(yosupo) A: Shiritori if python3 a, b, c = input().split() if a[len(a)-1] == b[0] and b[len(

平成 31 年度 筑波大学大学院博士課程システム情報工学研究科コンピュータサイエンス専攻 博士前期課程 ( 一般入学試験 2 月期 ) 試験問題基礎科目 ( 数学, 情報基礎 ) Mathematics/Fundamentals of Computer Science [ 注意事項 ][Instru

平成 31 年度 筑波大学大学院博士課程 システム情報工学研究科 コンピュータサイエンス専攻 博士前期課程 ( 一般入学試験 8 月期 ) 試験問題基礎科目 ( 数学, 情報基礎 ) Mathematics/Fundamentals of Computer Science [ 注意事項 ][Inst

1 # include < stdio.h> 2 # include < string.h> 3 4 int main (){ 5 char str [222]; 6 scanf ("%s", str ); 7 int n= strlen ( str ); 8 for ( int i=n -2; i

2

Level 3 Japanese (90570) 2011

L3 Japanese (90570) 2008

(check matrices and minimum distances) H : a check matrix of C the minimum distance d = (the minimum # of column vectors of H which are linearly depen

Quiz 1 ID#: Name: 1. p, q, r (Let p, q and r be propositions. Determine whether the following equation holds or not by completing the truth table belo

elemmay09.pub

untitled


1. Introduction Palatini formalism vierbein e a µ spin connection ω ab µ Lgrav = e (R + Λ). 16πG R µνab µ ω νab ν ω µab ω µac ω νcb + ω νac ω µcb, e =

Kyushu Communication Studies 第2号

soturon.dvi

九州大学学術情報リポジトリ Kyushu University Institutional Repository 看護師の勤務体制による睡眠実態についての調査 岩下, 智香九州大学医学部保健学科看護学専攻 出版情報 : 九州大学医学部保健学

1 Fig. 1 Extraction of motion,.,,, 4,,, 3., 1, 2. 2.,. CHLAC,. 2.1,. (256 ).,., CHLAC. CHLAC, HLAC. 2.3 (HLAC ) r,.,. HLAC. N. 2 HLAC Fig. 2

M-SOLUTIONS writer: yokozuna A: Sum of Interior Angles For International Readers: English editorial starts on page 7. N 180(N 2) C++ #i n

Bull. of Nippon Sport Sci. Univ. 47 (1) Devising musical expression in teaching methods for elementary music An attempt at shared teaching

LC304_manual.ai

C. S2 X D. E.. (1) X S1 10 S2 X+S1 3 X+S S1S2 X+S1+S2 X S1 X+S S X+S2 X A. S1 2 a. b. c. d. e. 2

浜松医科大学紀要

How to read the marks and remarks used in this parts book. Section 1 : Explanation of Code Use In MRK Column OO : Interchangeable between the new part

How to read the marks and remarks used in this parts book. Section 1 : Explanation of Code Use In MRK Column OO : Interchangeable between the new part

How to read the marks and remarks used in this parts book. Section 1 : Explanation of Code Use In MRK Column OO : Interchangeable between the new part


How to read the marks and remarks used in this parts book. Section 1 : Explanation of Code Use In MRK Column OO : Interchangeable between the new part

On the Wireless Beam of Short Electric Waves. (VII) (A New Electric Wave Projector.) By S. UDA, Member (Tohoku Imperial University.) Abstract. A new e

fx-9860G Manager PLUS_J

05[ ]櫻井・小川(責)岩.indd

Study on Application of the cos a Method to Neutron Stress Measurement Toshihiko SASAKI*3 and Yukio HIROSE Department of Materials Science and Enginee

,,.,,.,..,.,,,.,, Aldous,.,,.,,.,,, NPO,,.,,,,,,.,,,,.,,,,..,,,,.,

1 2 3


_Y05…X…`…‘…“†[…h…•

02-2-数学活用能力検査_問題_H30.indd

「プログラミング言語」 SICP 第4章 ~超言語的抽象~ その6


Continuous Cooling Transformation Diagrams for Welding of Mn-Si Type 2H Steels. Harujiro Sekiguchi and Michio Inagaki Synopsis: The authors performed


Anl_MonzaJAP.indd

22 1,936, ,115, , , , , , ,

How to read the marks and remarks used in this parts book. Section 1 : Explanation of Code Use In MRK Column OO : Interchangeable between the new part

2 1 ( ) 2 ( ) i

A5 PDF.pwd


Microsoft Word - j201drills27.doc

52-2.indb

L1 What Can You Blood Type Tell Us? Part 1 Can you guess/ my blood type? Well,/ you re very serious person/ so/ I think/ your blood type is A. Wow!/ G



Microsoft Word - Win-Outlook.docx

137. Tenancy specific information (a) Amount of deposit paid. (insert amount of deposit paid; in the case of a joint tenancy it should be the total am

open / window / I / shall / the? something / want / drink / I / to the way / you / tell / the library / would / to / me

„h‹¤.05.07


JOURNAL OF THE JAPANESE ASSOCIATION FOR PETROLEUM TECHNOLOGY VOL. 66, NO. 6 (Nov., 2001) (Received August 10, 2001; accepted November 9, 2001) Alterna




Fig. 3 Coordinate system and notation Fig. 1 The hydrodynamic force and wave measured system Fig. 2 Apparatus of model testing

Hospitality-mae.indd

A Feasibility Study of Direct-Mapping-Type Parallel Processing Method to Solve Linear Equations in Load Flow Calculations Hiroaki Inayoshi, Non-member

™…

【生】④安藤 幸先生【本文】4c/【生】④安藤 幸先生【本文】

null element [...] An element which, in some particular description, is posited as existing at a certain point in a structure even though there is no


先端社会研究 ★5★号/4.山崎

untitled


平成29年度英語力調査結果(中学3年生)の概要


Motivation and Purpose There is no definition about whether seatbelt anchorage should be fixed or not. We tested the same test conditions except for t

千葉県における温泉地の地域的展開

1 [1, 2, 3, 4, 5, 8, 9, 10, 12, 15] The Boston Public Schools system, BPS (Deferred Acceptance system, DA) (Top Trading Cycles system, TTC) cf. [13] [

エレクトーンのお客様向けiPhone/iPad接続マニュアル


Literacy 2 Mathematica Mathematica 3 Hiroshi Toyoizumi Univ. of Aizu REFERENCES [1] C.P Williams [2] [3] 1 Literacy 2 Mathematica Ma

Microsoft Word - j201drills27.doc

alternating current component and two transient components. Both transient components are direct currents at starting of the motor and are sinusoidal


are rational or not. This is rational. This part A can be expressed as the ratio of 2 integers. 1:54 aの 答 えは 有 理 数 です なぜかと 言 うと a で 求 められた 5 は 2 つの 整

JJRM5005/04.短報.責了.indd

lagged behind social progress. During the wartime Chonaikai did cooperate with military activities. But it was not Chonaikai alone that cooperated. Al

\615L\625\761\621\745\615\750\617\743\623\6075\614\616\615\606.PS

第16回ニュージェネレーション_cs4.indd


Microsoft Word - PCM TL-Ed.4.4(特定電気用品適合性検査申込のご案内)

1 ( 8:12) Eccles. 1:8 2 2

入学検定料支払方法の案内 1. 入学検定料支払い用ページにアクセス ポータルの入学検定料支払いフォームから 入学検定料支払い用 URL の ここをクリック / Click here をクリックしてください クリックを行うと 入学検定料支払い用のページが新たに開かれます ( 検定料支払い用ページは ポ

CONTENTS Public relations brochure of Higashikawa March No.749 2

200708_LesHouches_02.ppt

WE WESB WENB WESNB 428

インターネット接続ガイド v110

16_.....E...._.I.v2006

Chapter

untitled

Transcription:

18 18 2 7 1: 12:3 1.,. Do not open this problem booklet until the start of the examination is announced. 2. 2.. Answer the following two problems. Use the designated answer sheet for each problem. 3.. Do not take the answer sheets and the problem booklet out of the examination room. No.

1(1 ). n n A λ 1,,λ n ( ) u 1,, u n (1) x n x i (i =1,,n) x u i x n n P i x i = P i x (2) P i (i =1,,n) P i = P i P 2 i = P i P P (3) A A = λ 1 P 1 + + λ n P n (4) m A m λ 1,,λ n P 1,, P n (5) λ 1,,λ r λ r+1,,λ n ABA = A BAB = B (AB) = AB (BA) = BA B λ 1,,λ n P 1,, P n 1

Problem 1(1 points). Let λ 1,,λ n be the eigenvalues of a symmetric matrix A of order n (the eigenvalues are repeated as many times as their multiplicities), and the set of the corresponding right eigenvectors {u 1,, u n forms an orthonormal basis. (1) Let x be a column vector of length n, andx i (i =1,,n) be the projection of x onto the linear space spanned by u i.givethen n matrix P i that satisfies for any column vector x of length n. x i = P i x (2) Show that P i (i =1,,n)satisfiesP i = P i and P 2 i = P i,wherep is the transpose of P. (3) Show that A can be expressed as A = λ 1 P 1 + + λ n P n. (4) Express A m in terms of λ 1,,λ n and P 1,, P n for m being a positive integer. (5) Assume that none of λ 1,,λ r is zero, and all of λ r+1,,λ n are zeros. Give the matrix B using λ 1,,λ n and P 1,, P n that satisfies ABA = A, BAB = B, (AB) = AB, (BA) = BA. 2

2(1 ). Γ(x) x> (1) Γ(x) = I = e t t x 1 dt [1] e x3 dx (2) [1] Γ(x) = 1 Γ(x +1) [2] x (3) 1 n Γ(n +1)=n! (4) n 1 <x 1 t n t n x 1 t x n x t n t n x 1 t x n x Γ(x + n) = e t t x+n 1 dt 1 n e t t n dt + e t t n 1 dt n n Γ(x + n) n e t t n 1 dt + 1 n x n (5) [3] (n 1)! (1 ɛ n ) ɛ n = n n /(n!e n ) (6) [4] [2] <x n e t t n dt [3] Γ(x + n) n x (n 1)! (1 + ɛ n ) [4] (n 1)!n x Γ(x) = n lim x(x +1) (x + n 1) lim n n!e n n n n = 2π 3

Problem 2(1 points). Gamma function Γ(x) is defined for x>by Answer the following questions. (1) Represent the integral using Gamma function. (2) Show Γ(x) = I = e t t x 1 dt. [1] e x3 dx Γ(x) = 1 Γ(x +1) [2] x from equation [1] using integration by parts. (3) Show Γ(n +1)=n! for n being any positive integer. (4) Let n be a positive integer and <x 1. Apply the inequalities t n x 1 t x n x and t n x 1 t x n x, which are valid for t n and t n, respectively, to the integral and show Γ(x + n) = e t t x+n 1 dt, 1 n e t t n dt + e t t n 1 dt n n Γ(x + n) n e t t n 1 dt + 1 n x n n e t t n dt. [3] (5) Show Γ(x + n) (n 1)! (1 ɛ n ) (n 1)! (1 + ɛ n x n ) [4] from equation [3] using integration by parts, where ɛ n = n n /(n!e n ). (6) Using equations [4] and [2], show for x> where you may use Stirling s formula (n 1)!n x Γ(x) = lim n x(x +1) (x + n 1), lim n n!e n n n n = 2π. 4

18 I 18 2 8 1: 12:3 1.,. Do not open this problem booklet until the start of the examination is announced. 2. 4.. Answer the following four problems. Use the designated answer sheet for each problem. 3.. Do not take the answer sheets and the problem booklet out of the examination room.. Fill the following blank with your examinee s number. No.

1(1 ). n n 3 T LU T = b 1 c 1 a 2 b 2 c 2 a 3 b 3 c 3......... a n 1 b n 1 c n 1 a n b n = LU L = 1 l 2 1 l 3 1...... l n 1, U = d 1 u 1 d 2 u 2...... d n 1 u n 1 d n (1) {a i, {b i, {c i {l i, {d i, {u i (2) {a i, {b i, {c i {l i, {d i, {u i (3) τ =1, i τ i = d k (1 i n) k=1 {τ i {a i, {b i, {c i (4) t i = ( τi τ i 1 ) t i = A i t i 2 ( i 2 ) A i {a i, {b i, {c i 1

Problem 1(1 points). Assume that an n n tridiagonal matrix T allows LU decomposition without pivoting as T = b 1 c 1 a 2 b 2 c 2 a 3 b 3 c 3......... a n 1 b n 1 c n 1 a n b n = LU, where L = 1 l 2 1 l 3 1...... l n 1, U = d 1 u 1 d 2 u 2...... d n 1 u n 1 d n. Answer the following questions. (1) Express {a i, {b i,and{c i in terms of {l i, {d i,and{u i. (2) Show an algorithm to compute {l i, {d i,and{u i from given {a i, {b i,and{c i. (3) Let τ =1and i τ i = d k k=1 (1 i n), and give the linear recurrence relation using {a i, {b i,and{c i that {τ i satisfies. (4) Let t i = ( τi τ i 1 and give the matrix A i using {a i, {b i,and{c i that satisfies ) (note that the last suffix is i 2). t i = A i t i 2 2

2(1 ). (1) 1 int f(int a[], int n) { int x = a[]; int i; for (i = 1; i < n; i++) { if (a[i] >= x) x = a[i]; return x; ( ) ( ) j {,...,n 1. x a[j] j {,...,n 1. x = a[j] (2) 3

(2) void qsort(int a[], int left, int right) { int i, p, j; if (left >= right) return; p = a[left]; i = left; j = right; while(i <= j) { if (a[i] < p) i++; else if (a[j] >= p) j--; else { swap(a, i, j); i++; j--; qsort(a, left, i - 1); if (j + 1 == left) qsort(a, j + 2, right); else qsort(a, j + 1, right); swap a i j qsort a left right k {left,...,right 1. a[k] a[k + 1] 1 (a) while 1 while (b) (a) while (c) 1 4

Problem 2(1 points). Answer the following questions. (1) Consider the following function, which takes as arguments an array of integers and a non-zero integer value indicating the size of the array, and returns an integer value. int f(int a[], int n) { int x = a[]; int i; for (i = 1; i < n; i++) { if (a[i] >= x) x = a[i]; return x; Prove by using induction that the result of the function is the maximum of the elements of the given array, that is, that the following logical formula is satisfied just before the function returns. ( j {,...,n 1. x a[j] ) ( j {,...,n 1. x = a[j] ) Question (2) is shown in the next page. 5

(2) Consider the following function, which takes as arguments an array of integers and two integer values indicating indices of the array. void qsort(int a[], int left, int right) { int i, p, j; if (left >= right) return; p = a[left]; i = left; j = right; while(i <= j) { if (a[i] < p) i++; else if (a[j] >= p) j--; else { swap(a, i, j); i++; j--; qsort(a, left, i - 1); if (j + 1 == left) qsort(a, j + 2, right); else qsort(a, j + 1, right); Here, we assume that swap is defined as a function that exchanges the values of the index i and the index j of the array a. Now, we would like to prove that, after executing the function qsort, the values of the array a between the indices left and right are sorted, that is, the following logical formula is satisfied. (We call it property 1. ) Answer the following questions. k {left,...,right 1. a[k] a[k + 1] (a) What is a logical formula that holds right after the while statement in the function and that is sufficient for proving the property 1? Here, you can use, as free variables of the logical formula, the variables valid right after the while statement. (b) Prove by using induction that the logical formula answered in (a) holds right after the while statement. (c) Prove the property 1 by using induction. 6

3(1 ). L Σ x, y Σ x L y z Σ xz L yz L Σ 2 L (1) L Σ (2) L x L y z Σ xz L yz (3) 2 (a) L (b) L Problem 3(1 points). Let L be a language over a finite alphabet Σ. We denote x L y for strings x, y Σ if the following condition holds: xz L yz L for all z Σ. For the binary relation L over Σ, answer the following questions: (1) Prove that L is an equivalence relation on Σ. (2) Prove that L has the following property: If x L y,thenxz L yz for all z Σ. (3) Prove that the following two statements are equivalent. (a) L is regular. (b) The number of equivalence classes of L is finite. 7

4(1 ). (1) 2 CPU ( ) MMU (2) 2 (3) Problem 4(1 points). Answer the following questions on protection. (1) Describe memory protection provided by operating systems using the following two terms: CPU execution mode (kernel/user mode) Address translation mechanism in MMU (2) Describe access control list and capability list and show their examples used in real systems. Discuss advantages and disadvantages of those two methods. (3) Show an example of security attack which is not protected by the above protection mechanisms. Describe a protection mechanism that overcomes the problem. 8

18 II 18 2 8 14: 16:3 1.,. Do not open this problem booklet until the start of the examination is announced. 2. 4.. Answer the following four problems. Use the designated answer sheet for each problem. 3.. Do not take the answer sheets and the problem booklet out of the examination room.. Fill the following blank with your examinee s number. No.

1(1 ). A B n (n >1) A m X 2 2 2 B X B 2 X X (1) <m n/2 2 X. 2 (2) m>n/2 A n/2 X n/2 (3) m>n/2 X O(n) Problem 1(1 points). We have n (n >1) boxes, each of which contains either an item A or an item B as its content. We know in advance that the number of boxes containing A is some fixed number m, but we do not know which they are. We also have a machine X that checks whether a pair of boxes have the same contents. However, the machine X could return incorrect answers when both boxes have items B inside. That is, when two boxes contain items B, the machine sometimes says that the two boxes contain the same items but other times says that the two boxes contain different items. In other cases, the machine X always gives correct answers. Answer the following questions. (1) Let <m n/2. Show that there are cases in which we cannot determine the content of each box even if we check all the pairs of boxes with the machine X. Assume that we check each pair of boxes only once. (2) Let m>n/2. Describe a method that uses the machine X exactly n/2 times for choosing a set of boxes such that the number of the chosen boxes is less than or equal to n/2 and more than half of them have A as their contents. (3) Let m>n/2. Show that we can always determine the contents of all the boxes by using the machine X only O(n) times. 1

2(1 ). xyz C (> ) (p, q, 1) (p s,q s, 1) (1) (,, 1) p-q (2) (p s,q s, 1) (3) (p s,q s, 1) p-q (4) (p s,q s, 1) p-q Problem 2(1 points). Consider the relation between the intensity (brightness) and the normal vector at a point on a curved diffuse surface illuminated by an infinite light source, in the xyz space. Assume that the intensity at a point on a curved diffuse surface is proportional to the cosine of the angle between the normal at that point and the light vector, where the constant of proportionality is C (> ). Also, assume that the surface normal vector is (p, q, 1) and the light vector is (p s,q s, 1). Answer the following questions. (1) Show that, if the light vector is (,, 1), then the iso-intensity curves on the p-q plane are concentric circles with the origin as the center. (2) Obtain the expression for the intensity with the light vector (p s,q s, 1) being arbitrary. (3) Give the set of points on that the intensity is zero, in the p-q plane, with the light vector (p s,q s, 1) being arbitrary. (4) Give the coordinate of the point that gives the maximum intensity in the p-q plane, with the light vector (p s,q s, 1) being arbitrary. 2

3(1 ). (1) (2) b d 1 d (3) (2) (4) d Problem 3(1 points). Answer the following questions concerning search algorithms. (1) Explain how the breadth-first and the depth-first search algorithms work and describe these algorithms by using stack and queue data structures. (2) Give the maximum number of the nodes stored in the stack or queue in each of the breadthfirst and the depth-first searches. Assume that the branching factor is b and that a single goal exists at depth d. Also assume that depth d is known in advance in the depth-first algorithm. (3) Give the average number of nodes to examine before reaching the goal in each of the breadthfirst and the depth-first searches under the same assumptions in (2). (4) Explain what difficulties the depth-first algorithm would encounter if the depth d of the goal were not known in advance. Explain an algorithm called iterative deepening to avoid the difficulties. 3

4(1 ). AND OR NOT 16 I,I 1,...,I 15 S,S 1,...,S 4 O,O 1,...,O 15 S = S +2 S 1 +4 S 2 +8 S 3 +16 S 4 { Ii S if (i S) O i = if (i S) < (1) 4 3 8 (2) (1) 4 AND OR NOT 16 Problem 4(1 points). Construct a combinatorial logic circuit of logical left shift whose data width is 16 bits using AND, OR, and NOT gates. Let the input data be I,I 1,...,I 15,theshiftlengthbeS,S 1,...,S 4,and the output be O,O 1,...,O 15. The following expressions should be satisfied: S = S +2 S 1 +4 S 2 +8 S 3 +16 S 4 { Ii S if (i S) O i = if (i S) < (1) Construct a combinatorial logic circuit of logical left shift whose input, shift length, and output have widths 4 bits, 3 bits, and 8 bits, respectively. (2) Construct a logic circuit of 16-bit logical left shift using copies of the 4-bit shift circuit designed in (1). Additional AND, OR, and NOT gates may be used if necessary. 4