ํƒœ๊ทธ ๋ณด๊ด€๋ฌผ: circuit-depth

circuit-depth

์šฐ๋ฆฌ๋Š” ๊นŠ์ด n}{\lg \lg n}), O(\lg n)) ์ฐธ๊ณ 

๊นŠ์ด lg n ์˜ ๋‹คํ•ญ์‹ ํฌ๊ธฐ โ€‹โ€‹(์–ธ ๋ฐ”์šด๋“œ ํŒฌ์ธ) ํšŒ๋กœ๋กœ ๋น„ํŠธ ์ž„๊ณ„ ๊ฐ’ ๊ฒŒ์ดํŠธ๋ฅผ ๊ณ„์‚ฐํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๊นŒ?

n

? ๋˜๋Š”์ด ํšŒ๋กœ๋ฅผ ์‚ฌ์šฉํ•˜์—ฌ ์ž…๋ ฅ ๋น„ํŠธ์—์„œ 1์˜ ์ˆ˜๋ฅผ ๊ณ„์‚ฐํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๊นŒ?

lgโกnlgโกlgโกn

๋Š” ?

TC0โІAltTime(O(lgโกnlgโกlgโกn),O(lgโกn))

์ฐธ๊ณ  . ์ž„๊ณ„ ๊ฐ’ ๊ฒŒ์ดํŠธ๋ฅผ ๊ณ„์‚ฐํ•  ๋•Œ ํšŒ๋กœ ๊นŠ์ด์—์„œ lg lg n ์ธ์ž๋ฅผ ์ ˆ์•ฝ ํ•  ์ˆ˜ ์žˆ๋Š”์ง€ ๋ฌป๋Š” ๊ฒƒ์ด ๋ณธ์งˆ์ ์œผ๋กœ ๋ฌธ์ œ์ž…๋‹ˆ๋‹ค .

ํ‹ฐ์”จ0โІ์—”์”จ1=ใ…์—˜์˜ํ˜•์ง€ํ‹ฐ๋‚˜๋Š”๋ฏธ๋””์—„์ด์žํ˜•=ใ…์—˜ํ‹ฐํ‹ฐ๋‚˜๋Š”๋ฏธ๋””์—„์ด์žํ˜•(์˜ํ˜•(lgโก์—”),์˜ํ˜•(lgโก์—”))

lgโกlgโก์—”

ํŽธ์ง‘ํ•˜๋‹ค:

Kristoffer๊ฐ€ ๊ทธ์˜ ๋‹ต๋ณ€์— ์ผ ๋“ฏ์ด ์šฐ๋ฆฌ๋Š” factor๋ฅผ ๊ตฌํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค . ํ•˜์ง€๋งŒ ์กฐ๊ธˆ ๋” ์ ˆ์•ฝ ํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๊นŒ? O ๋ฅผ ๋Œ€์ฒด ํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๊นŒ ( lg n

lgโกlgโก์—”

์™€O(LGN

์˜ํ˜•(lgโก์—”lgโกlgโก์—”)

?

์˜ํ˜•(lgโก์—”lgโกlgโก์—”)

๊ณ„์ธตํ™” ๋œ ๋ฌด์ฐจ๋ณ„ ํŠธ๋ฆญ์€ (๋ณด๋‹ค ์ผ๋ฐ˜์ ์œผ๋กœ lg lg n + ฯ‰ ( 1 )์˜ ๋ชจ๋“  ๊ธฐ๋Šฅ) ์„ ์ €์žฅํ•˜๋Š” ๋ฐ ์ž‘๋™ํ•˜์ง€ ์•Š๋Š” ๊ฒƒ ๊ฐ™์Šต๋‹ˆ๋‹ค .

2lgโกlgโก์—”

lgโกlgโกn+ฯ‰(1)


๋‹ต๋ณ€

๊นŠ์ด O ( log n ) ์˜ fanin 2 ํšŒ๋กœ๋ฅผ ๊ณ ๋ คํ•˜์‹ญ์‹œ์˜ค . C ์˜ ๋ ˆ์ด์–ด ๋ฅผ O ๋กœ ๋‚˜๋ˆ•๋‹ˆ๋‹ค ( log n / log log

C

O(logโกn)

C

๊ฐ log log n ์—ฐ์† ๋ ˆ์ด์–ด๊ฐ€์ฐจ๋‹จ๋ฉ๋‹ˆ๋‹ค. ์ด์ œ ๊ฐ ๋ธ”๋ก์„ ๊นŠ์ด 2 ํšŒ๋กœ๋กœ ๊ต์ฒดํ•˜๋ ค๊ณ ํ•ฉ๋‹ˆ๋‹ค. ์ฆ‰, ๋ธ”๋ก์˜ ๋งˆ์ง€๋ง‰ ๋ ˆ์ด์–ด์—์žˆ๋Š” ๊ฐ ๊ฒŒ์ดํŠธ๋Š” ์ตœ๋Œ€ 2 log log n = log n์— ์˜์กดํ•ฉ๋‹ˆ๋‹ค

O(logโกn/logโกlogโกn)

logโกlogโกn

2logโกlogโกn=logโกn

์•„๋ž˜ ๋ธ”๋ก์—์„œ ๋งˆ์ง€๋ง‰ ๋ ˆ์ด์–ด์˜ ๊ฒŒ์ดํŠธ. ๋”ฐ๋ผ์„œ ๋งˆ์ง€๋ง‰ ๋ ˆ์ด์–ด์˜ ๊ฐ ๊ฒŒ์ดํŠธ๋ฅผ ๋‹คํ•ญ์‹ ํฌ๊ธฐ์˜ DNF๋กœ ๋Œ€์ฒด ํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ์ž…๋ ฅ์€ ์•„๋ž˜ ๋ธ”๋ก์˜ ๋งˆ์ง€๋ง‰ ๋ ˆ์ด์–ด์˜ ๊ฒŒ์ดํŠธ์ž…๋‹ˆ๋‹ค. ๋ชจ๋“  ๋ธ”๋ก์˜ ๋งˆ์ง€๋ง‰ ๋ ˆ์ด์–ด์—์„œ ๋ชจ๋“  ๊ฒŒ์ดํŠธ์— ๋Œ€ํ•ด ์ด๊ฒƒ์„ ์ˆ˜ํ–‰ํ•˜๊ณ  ์ด๋“ค์„ ์—ฐ๊ฒฐํ•˜๋ฉด ์›ํ•˜๋Š” ํšŒ๋กœ๊ฐ€ ์ƒ์„ฑ๋ฉ๋‹ˆ๋‹ค.

์Šค์œ„์นญ ๋ณด์กฐ ์ •๋ฆฌ ํ•˜ํ•œ์— ๋Œ€ํ•œ ๊นŠ์ด์žˆ๋Š” ๋ชจ๋“  ๋ฐฉ๋ฒ• ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค : ๋‚˜์ด ๋ณธ์งˆ์ ์œผ๋กœ ์–ป์„ ์ˆ˜์žˆ๋Š” ์ตœ์„ ์˜ ํ•˜๋‚˜์ž…๋‹ˆ๋‹ค์ฃผ์˜ํ•ฉ์‹œ๋‹ค .

logโกn/logโกlogโกn

๋‹ต๋ณ€