1 research outputs found

    ๋Œ€๊ทœ๋ชจ ๋ถ„์‚ฐ ์‹œ์Šคํ…œ์„ ์œ„ํ•œ ํšจ์œจ์ ์ธ ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ์•Œ๊ณ ๋ฆฌ์ฆ˜

    Get PDF
    ํ•™์œ„๋…ผ๋ฌธ (๋ฐ•์‚ฌ)-- ์„œ์šธ๋Œ€ํ•™๊ต ๋Œ€ํ•™์› : ์ „๊ธฐยท์ปดํ“จํ„ฐ๊ณตํ•™๋ถ€, 2013. 8. ์กฐ์œ ๊ทผ.์‹œ์Šคํ…œ์— ์ฐธ์—ฌํ•œ ๋…ธ๋“œ์˜ ์ˆ˜๊ฐ€ n์ด๊ณ  ๊ฒ€์ถœํ•ด์•ผ ํ•˜๋Š” ํŠธ๋ฆฌ๊ฑฐ์˜ ์ˆ˜๊ฐ€ w๋ผ ํ•˜์ž. ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ์•Œ๊ณ ๋ฆฌ์ฆ˜์€ n๊ฐœ ๋…ธ๋“œ๊ฐ€ ๊ฒ€์ถœํ•œ ์ „์ฒด ํŠธ๋ฆฌ๊ฑฐ์˜ ์ˆ˜๊ฐ€ w๊ฐ€ ๋  ๋•Œ ์ด๋ฅผ ์‚ฌ์šฉ์ž์—๊ฒŒ ์•Œ๋ ค์ค€๋‹ค. ํŠธ๋ฆฌ๊ฑฐ์˜ ๋ถ„ํฌ์— ๋Œ€ํ•œ ์–ด๋–ค ํ†ต๊ณ„์  ์ •๋ณด๋„ ๋ฏธ๋ฆฌ ์ฃผ์–ด์ง€์ง€ ์•Š์œผ๋ฉฐ ํŠธ๋ฆฌ๊ฑฐ์˜ ์ˆ˜๋Š” ๋…ธ๋“œ์˜ ์ˆ˜์— ๋น„ํ•ด ๋งค์šฐ ๋งŽ๋‹ค๊ณ  ๊ฐ€์ •ํ•œ๋‹ค. ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ์•Œ๊ณ ๋ฆฌ์ฆ˜์€ ๋ถ„์‚ฐ ๋ชจ๋‹ˆํ„ฐ๋ง ๋ฐ ์ „์—ญ ์Šค๋ƒ…์ƒท ์•Œ๊ณ ๋ฆฌ์ฆ˜์— ์‘์šฉ ๊ฐ€๋Šฅํ•˜๋‹ค. ๋ถ„์‚ฐ ๋ชจ๋‹ˆํ„ฐ๋ง์€ ๋‹ค์–‘ํ•œ ๋ถ„์‚ฐ ์‹œ์Šคํ…œ์—์„œ ์‹œ์Šคํ…œ์˜ ๋‚ด๋ถ€ ๋ฐ ์™ธ๋ถ€๋ฅผ ๊ฐ์‹œํ•˜๋Š”๋ฐ ์‚ฌ์šฉ๋œ๋‹ค. ์ „์—ญ ์Šค๋ƒ…์ƒท ์•Œ๊ณ ๋ฆฌ์ฆ˜์€ ๋ถ„์‚ฐ ์‹œ์Šคํ…œ ์ „์ฒด์˜ ์ƒํƒœ๋ฅผ ์ €์žฅํ•˜์—ฌ ์‹œ์Šคํ…œ ๋ณต๊ตฌ๋ฅผ ์œ„ํ•œ ์ฒดํฌ ํฌ์ธํŠธ๋ฅผ (check point) ๋งŒ๋“œ๋Š” ์šฉ๋„๋กœ ์‚ฌ์šฉ๋œ๋‹ค. ๋ณธ ๋…ผ๋ฌธ์—์„œ๋Š” ๋Œ€๊ทœ๋ชจ ๋ถ„์‚ฐ ์‹œ์Šคํ…œ์„ ์œ„ํ•œ ํšจ์œจ์ ์ธ ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ์•Œ๊ณ ๋ฆฌ์ฆ˜์ธ TreeFill๊ณผ TreeFill-p๋ฅผ ์ œ์‹œํ•œ๋‹ค. ์ด๋“ค ์•Œ๊ณ ๋ฆฌ์ฆ˜์€ ๋ผ์šด๋“œ๋ฅผ (rounds) ๊ธฐ๋ฐ˜์œผ๋กœ ํŠธ๋ฆฌ๊ฑฐ๋ฅผ ๊ฒ€์ถœํ•œ๋‹ค. ๊ฐ ๋ผ์šด๋“œ์—์„œ ์ „์ฒด ํŠธ๋ฆฌ๊ฑฐ ์ค‘ ์ผ๋ถ€๋ฅผ ๊ฒ€์ถœํ•˜๊ณ  ๊ฒ€์ถœ๋œ ํŠธ๋ฆฌ๊ฑฐ์˜ ์ˆ˜๊ฐ€ w๊ฐ€ ๋˜๋ฉด ์‚ฌ์šฉ์ž์—๊ฒŒ ์ด๋ฅผ ์•Œ๋ ค์ค€๋‹ค. TreeFill์€ ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜๋ฅผ ์œ„ํ•ด ๋†’์€ ํ™•๋ฅ ๋กœ O(n log(w/n) ๊ฐœ์˜ ๋ฉ”์‹œ์ง€๋ฅผ ์‚ฌ์šฉํ•œ๋‹ค. ์ด๋Š” ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜๋ฅผ ์œ„ํ•œ ์ •ํ™•ํ•œ ์•Œ๊ณ ๋ฆฌ์ฆ˜๋“ค์˜ (exact algorithms) ๋ฉ”์‹œ์ง€ ํ•˜ํ•œ์„ ๋งŒ์กฑํ•œ๋‹ค. ๋˜ํ•œ TreeFill ์•Œ๊ณ ๋ฆฌ์ฆ˜์ด ๊ตฌ๋™ํ•  ๋•Œ ๊ฐ ๋ฉ”์‹œ์ง€๊ฐ€ ์ˆ˜์‹ ํ•˜๋Š” ์ตœ๋Œ€ ๋ฉ”์‹œ์ง€์˜ ์ˆ˜๋Š” ๋†’์€ ํ™•๋ฅ ๋กœ O(log(w/n))์ด ๋œ๋‹ค. TreeFill-p๋Š” ํ™•๋ฅ ์  ์•Œ๊ณ ๋ฆฌ์ฆ˜์œผ๋กœ์จ ๋‚ฎ์€ ์‹คํŒจ ํ™•๋ฅ ์„ ๊ฐ–์ง€๋งŒ, w=O(n^m)์ธ ๊ฒฝ์šฐ (m>0) ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜๋ฅผ ์œ„ํ•ด ๋†’์€ ํ™•๋ฅ ๋กœ O(n)๊ฐœ์˜ ๋ฉ”์‹œ์ง€๋ฅผ ์‚ฌ์šฉํ•œ๋‹ค. ๋˜ํ•œ TreeFill-p ์—์„œ ๊ฐ ๋…ธ๋“œ๊ฐ€ ์ˆ˜์‹ ํ•˜๋Š” ๋ฉ”์‹œ์ง€์˜ ์ˆ˜๋Š” ๋†’์€ ํ™•๋ฅ ๋กœ O(1)์ด๋‹ค. ๋ณธ ๋…ผ๋ฌธ์—์„œ๋Š” TreeFill ๋ฐ TreeFill-p ์•Œ๊ณ ๋ฆฌ์ฆ˜์˜ ์„ฑ๋Šฅ์„ ์ฆ๋ช…ํ•˜๊ณ  ๋‹ค์–‘ํ•œ ์‹œ๋ฎฌ๋ ˆ์ด์…˜์„ ํ†ตํ•ด ์ด๋“ค ์•Œ๊ณ ๋ฆฌ์ฆ˜์˜ ์„ฑ๋Šฅ์„ ๊ฒ€ํ†  ํ•˜์˜€๋‹ค.์ œ 1 ์žฅ ์„œ๋ก  1 1.1 ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ๋ฌธ์ œ 3 1.2 ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ์•Œ๊ณ ๋ฆฌ์ฆ˜๊ณผ ๋ถ„์‚ฐ ๋ชจ๋‹ˆํ„ฐ๋ง 5 1.3 ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ์•Œ๊ณ ๋ฆฌ์ฆ˜๊ณผ ์ „์—ญ ์Šค๋ƒ…์ƒท 8 1.4 ์—ฐ๊ตฌ ๋ชฉ์  ๋ฐ ๋ฒ”์œ„ 10 1.5 ์—ฐ๊ตฌ ์„ฑ๊ณผ ์š”์•ฝ 11 1.6 ๋…ผ๋ฌธ์˜ ๊ตฌ์„ฑ 12 ์ œ 2 ์žฅ ๊ด€๋ จ ์—ฐ๊ตฌ 13 2.1 ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ์•Œ๊ณ ๋ฆฌ์ฆ˜ 13 2.1.1 Garg์˜ ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ์•Œ๊ณ ๋ฆฌ์ฆ˜๋“ค๊ณผ ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ๋ฌธ์ œ์˜ ๋ฉ”์‹œ์ง€ ๋ณต์žก๋„ ํ•˜ํ•œ 13 2.1.2 LayeredRand ์•Œ๊ณ ๋ฆฌ์ฆ˜ 14 2.1.3 CoinRand, RindRand ์•Œ๊ณ ๋ฆฌ์ฆ˜ 15 2.1.4 ํŠธ๋ฆฌ ๋„คํŠธ์›Œํฌ์—์„œ์˜ ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜ ์•Œ๊ณ ๋ฆฌ์ฆ˜ 17 2.2 ๋Œ€๊ทœ๋ชจ ๋ถ„์‚ฐ ์‹œ์Šคํ…œ์„ ์œ„ํ•œ ์ „์—ญ ์Šค๋ƒ…์ƒท ์•Œ๊ณ ๋ฆฌ์ฆ˜ 18 ์ œ 3 ์žฅ ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜๋ฅผ ์œ„ํ•œ ์ตœ์  ์•Œ๊ณ ๋ฆฌ์ฆ˜ 20 3.1 ์‹œ์Šคํ…œ ๋ชจ๋ธ 21 3.2 TreeFill ์•Œ๊ณ ๋ฆฌ์ฆ˜ 22 3.3 TreeFill ์•Œ๊ณ ๋ฆฌ์ฆ˜ ์„ฑ๋Šฅ ๋ถ„์„ 29 3.3.1 TreeFill ์•Œ๊ณ ๋ฆฌ์ฆ˜์˜ ๋ฉ”์‹œ์ง€ ๋ณต์žก๋„ 29 3.3.2 TreeFill์˜ MaxRcv 35 ์ œ 4 ์žฅ ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜๋ฅผ ์œ„ํ•œ ํšจ์œจ์ ์ธ ํ™•๋ฅ ์  ์•Œ๊ณ ๋ฆฌ์ฆ˜ (Probabilistic Algorithm) 40 4.1 TreeFill-p ์•Œ๊ณ ๋ฆฌ์ฆ˜ 41 4.2 ๋ถ„์‚ฐ ํŠธ๋ฆฌ๊ฑฐ ๊ณ„์ˆ˜๋ฅผ ์œ„ํ•ด TreeFill-p ์•Œ๊ณ ๋ฆฌ์ฆ˜์ด ์‚ฌ์šฉํ•˜๋Š” ๋ผ์šด๋“œ ์ˆ˜ 43 4.3 TreeFill-p ์•Œ๊ณ ๋ฆฌ์ฆ˜์˜ ์„ฑ๊ณต ํ™•๋ฅ  46 4.4 TreeFill-p ์•Œ๊ณ ๋ฆฌ์ฆ˜์˜ ์„ฑ๋Šฅ ๋ถ„์„ 48 ์ œ 5 ์žฅ ์‹œ๋ฎฌ๋ ˆ์ด์…˜ ๊ฒฐ๊ณผ 49 5.1 ์‹œ๋ฎฌ๋ ˆ์ด์…˜ ๋ฐฉ์‹ 50 5.2 ๋ฉ”์‹œ์ง€ ๋ณต์žก๋„ ๋น„๊ต51 5.2.1 ๋…ธ๋“œ ์ˆ˜ ์ฆ๊ฐ€์— ๋”ฐ๋ฅธ ๋ฉ”์‹œ์ง€ ๋ณต์žก๋„ ๋น„๊ต 51 5.2.2 k์ง„ ํŠธ๋ฆฌ๋ฅผ ์‚ฌ์šฉํ•œ TreeFill ์•Œ๊ณ ๋ฆฌ์ฆ˜ 55 5.3 MaxRcv ๋น„๊ต 58 ์ œ 6 ์žฅ ๊ฒฐ๋ก  61 ์ฐธ ๊ณ  ๋ฌธ ํ—Œ 64 Abstract 68Docto
    corecore