High-Latitude Coverage Challenge: ๊ถค๋ ์ค๊ณ ์์ง๋์ด๊ฐ ๋์ด๋ณด์ธ์
12์๊ฐ ์ฃผ๊ธฐ๋ ์ฒด๊ณต์๊ฐ ํจ์จ(~60%)๊ณผ ๋ฐฉ์ฌ์ ์ฐจํ ์๊ตฌ์ฌํญ(~5mm) ์ฌ์ด์ ์ต์ ์ ๊ท ํ์ ์ ๋๋ค. ๋ํ ํ๋ฃจ์ ์ ํํ 2๋ฒ์ ๊ถค๋๋ฅผ ๋์ ์ง์๊ตญ ์ด์ฉ์ด ํธ๋ฆฌํ๋ฉฐ, ์์ฑ 3๊ฐ๋ก 24์๊ฐ ์ฐ์ ์ปค๋ฒ๋ฆฌ์ง๊ฐ ๊ฐ๋ฅํฉ๋๋ค.
3๊ฐ์ ์์ฑ์ด 8์๊ฐ ๊ฐ๊ฒฉ์ผ๋ก ๋ฐฐ์น๋์ด 24์๊ฐ ์ฐ์ ์ปค๋ฒ๋ฆฌ์ง ์ ๊ณต
2๊ฐ์ ์์ฑ์ด ๋์นญ์ ์ผ๋ก ๋ฐฐ์น. ๋น์ฉ์ ์ ๊ฐ๋์ง๋ง ์ปค๋ฒ๋ฆฌ์ง์ ์งง์ ๊ฐญ ๋ฐ์
| ํญ๋ชฉ | Standard 3-Sat | Symmetric 2-Sat |
|---|---|---|
| ์์ฑ ์ | 3๊ฐ | 2๊ฐ |
| ์์ฑ ๊ฐ ์์์ฐจ | 120ยฐ (8์๊ฐ) | 180ยฐ (12์๊ฐ) |
| 24์๊ฐ ์ปค๋ฒ๋ฆฌ์ง | โ ์ฐ์์ | โ ๏ธ ์ฝ๊ฐ์ ๊ฐญ |
| ๋ฐ์ฌ ๋น์ฉ | ๋์ | 33% ์ ๊ฐ |
| ์ด์ฉ ๋ณต์ก๋ | ์ค๊ฐ | ๋ฎ์ |
| ๊ถ์ฅ ์ฉ๋ | ์ฐ์ ํต์ ํ์ | ๋น์ฉ ๋ฏผ๊ฐ ํ๋ก์ ํธ |