기본 콘텐츠로 건너뛰기

GNOME Display Manager 49 (gdm-49)

원문 보기:  https://dawoum.duckdns.org/wiki/GNOME_Display_Manager   그놈 버전 49가 출시되면서, GDM-49가 같이 출시되었습니다.  몇 가지 문제에 부딪힐 수 있습니다. 버전 49.0.1을 설치 후에, 부팅 자체가 완료되지 않고 다른 tty로 접근도 되지 않습니다. 리커버리로 부팅 후에, lightdm으로는 부팅이 됩니다. 이와 관련된 버그는 다음에서 볼 수 있습니다: https://bugs.launchpad.net/ubuntu/+source/gdm3/+bug/2121017 결론적으로, 오래 전에 설치된 시스템에서 /etc/nsswitch.conf 파일에서 문제가 발생합니다.  따라서, shadow:         files systemd와 같이 수정해서 GDM 로긴 화면을 만날 수 있습니다.  다른 문제는 Xsession이 목록화되지만, 해당 세션으로 접근되지 않는다는 것입니다. 게다가, Xsession으로 접근 후에, GDM이 오동작해서 다른 Wayland 세션으로 로그인할 수도 없습니다. 이때, 다른 tty로 접근해서 GDM을 재시작하면 제대로 동작합니다. 만약 Xsession으로 로그인하고 싶을 때에는 lightdm과 같은 다른 로긴 관리기를 사용해야 합니다.    덧, 만약 GDM에서 Xsession으로 정상적으로 로긴하기 위해, GDM 패키지를 다시 컴파일해야 합니다.  데비안 패키지에서 GDM-49.0.1 파일을 받아서 debian/rules 파일에서 -Dgdm-xsession=true 구성 옵션을 추가해야 합니다.     

곱의 법칙

원문 보기: https://dawoum.duckdns.org/wiki/곱의_법칙

합의 법칙과 곱의 법칙의 차이점은

  • 합의 법칙은 사건이 종료된 개별적인 경우의 수 중에서 동일한 것이 있는지 여부를 판단하는 것이 주입니다.
  • 반면에 곱의 법칙은 전체 사건이 둘 이상의 부분 사건으로 구별된다는 점입니다. 또는 사건이 연이어서 발생하는 경우에 적용합니다.

예를 들어, 학교에서 집으로 돌아갈 때, 버스 노선이 3개 있고, 지하철 노선이 4개 있으면, 학교에서 집으로 오는 경우의 수는 3+4=7가지입니다. 한편, 학교에서 도서관을 거쳐서 집으로 오는 경우의 수를 구할 때에는 학교에서 도서관까지 가는 경우의 수와 도서관에서 집으로 오는 경우의 수의 곱의 법칙을 적용합니다. 이것은 합의 법칙에서 사용했던 순서쌍과 같습니다. 합의 법칙에서의 순서쌍은 전체 순서쌍에서 조건에 맞는 순서쌍을 찾는 반면에 곱의 법칙은 순서쌍 전체 개수가 경우의 수입니다. 즉, 학교에서 도서관까지 버스 노선이 3개 있고, 도서관에서 집으로 오는 지하철 노선이 4개 있으면, 3×4=12가지의 경우의 수가 있습니다.

양의 약수의 개수와 양의 약수의 총합

360의 양의 약수의 개수는 몇 개일까요? 물론 매우 큰 숫자가 아니기 때문에 일일이 세어서 경우의 수를 구할 수도 있습니다.

1×360, 2×180, 3×120, ... 몇 개일까요?

그러나 보다 큰 숫자에 대해 이런 방법이 쉽게 끝나지 않을 수도 있습니다. 양의 약수가 만들어지는 경우를 확인하기 위해서 소인수분해를 합니다.

  • \(360=2^3 \times 3^2 \times 5\)

양의 약수는 소인수분해를 했을 때, 만들어지는 소수를 몇 개 선택하느냐에 따라 1개의 약수가 결정됩니다. 즉,

  • 2는 0개에서 3개까지 선택할 수 있고,
  • 3은 0개에서 2개까지 선택할 수 있고,
  • 5는 0개에서 1개까지 선택할 수 있습니다.

예를 들어, 2는 1개, 3은 2개 5는 0개 선택되면,

  • \(2^1 \times 3^2 \times 5^0 = 18\)

이 만들어집니다.

그러므로 양의 약수의 개수는

  • (3+1)×(2+1)×(1+1)=24가지 입니다.

양의 약수의 총합은 다음과 같이 구해집니다.

  • \((2^0+2^1+2^2+2^3)(3^0+3^1+3^2)(5^0+5^1)\)

이 식을 전개했을 때 만들어지는 것이 양의 약수 전체이고, 덧셈으로 연결되기 때문에, 이 식의 값이 양의 약수의 합입니다. 그러나, 이 단원에서는 다루어지지 않고, 등비수열의 합에서 다루어집니다.

지불 방법과 지불 금액의 수

천 원짜리 지폐 2장, 오백원짜리 동전 3개, 100원짜리 동전 3개의 일부 또는 전부를 사용하여 돈을 지불할 때, 지불하는 방법의 수는 몇 가지일까요?

이것의 위의 양의 약수의 개수와 비슷합니다. 즉, 천원짜리 지폐의 경우 내지 않는 경우를 포함해서 (2+1)개의 가짓수가 있으므로, 나머지 동전에서도 같은 규칙을 사용하면,

  • (2+1)×(3+1)×(3+1)–1 입니다.

여기서 마지막에 1을 빼주는 것은 아무것도 선택하지 않으면, 지불하지 않는 경우이기 때문입니다. 양의 약수와 차이가 나는 부분입니다.

한편, 지불할 수 있는 금액의 수는 몇 가지일까요? 이런 경우는 두 가지로 나누어서 생각할 수 있습니다. 천 원짜리 지폐 2장, 오백 원짜리 동전 1개, 100원짜리 동전 3개 였다면, 앞에서 구한 방법과 같은 방법으로 경우의 수를 구할 수 있습니다.

  • (2+1)×(1+1)×(3+1)–1

그러나, 원래처럼, 천 원짜리 지폐 2장, 오백 원짜리 동전 3개, 100원짜리 동전 3개로 지불할 수 있는 금액의 수는 몇 가지일까요? 여기서는 중복이 생깁니다. 예를 들어, 오백원짜리 2개와 천원짜리 1개는 같은 지불 방법에서는 차이가 나지만, 지불 금액에서는 동일하기 때문입니다. 물론, 이런 겹치는 경우가 생기면, 작은 단위로 바꾸어서 적용할 수 있습니다. 즉, 천원짜리 지폐 2장을 오백원짜리로 바꾸어서, 오백원짜리 동전 7개, 100원짜리 동전 3개로 지불할 수 있는 금액의 수로 바꾸어 줄 수 있습니다.

  • (7+1)×(3+1)–1

어쨌든, 대부분의 경우의 수에서 어려운 문제는 규칙이 없는 것을 구하는 경우입니다. 이런 경우에는 수형도를 그려서 개별적으로 구별되는 경우를 하나씩 세어야 합니다.

위의 지불 금액의 경우도 생각을 해보면,

  • 100, 200, 300, 500, 600, 700, 800 여기까지가 백 원 단위에서 만들 수 있는 가지입니다.
  • 1000, 위의 7가지가 그대로, 1100 등으로 만들어집니다.
  • 2000, 위의 7가지가 그대로, 2100 등으로 만들어집니다.
  • 3000, 위의 7가지가 그대로, 3100 등으로 만들어집니다.

결국 31가지로 만들어집니다.

만약 오백 원 동전이 2개밖에 없었다면, 마지막줄이

  • 3000, 3100, 3200, 3000까지 만들어집니다.

이 경우는 27가지가 만들어집니다.

응용예제

응용예제1

수학여행에 가서 3일 동안 먹을 저녁 식단표를 짜려합니다. 밥, 반찬, 국으로 식단을 짜려하는데, 국의 종류는 된장찌개, 김치찌개, 콘스프, 반찬은 제육볶음, 오징어볶음, 돈까스, 밥은 현미밥, 흰쌀밥, 스파게티가 있는데, 이들 중 제육볶음과 오징어볶음은 콘스프와 같이 나오지 않고, 스파게티는 돈까스와 나와야 한다고 할 때, 만들어질 수 있는 식단표의 경우의 수는? (단, 각 메뉴는 꼭 한 번씩만 나옵니다.)

응용예제2

서로 다른 6개의 색깔로 그림과 같이 나누어져 있는 영역을 서로 구별되도록 색칠을 하려고 한다. 같은 색깔은 여러 번 색칠할 수 있을 때, 가능한 경우의 수는? 

응용예제3

그림과 같은 모양의 종이에 서로 다른 3가지 색을 사용하여 색칠하려고 한다. 이웃한 사각형에는 서로 다른 색을 칠하고, 맨 위의 사각형과 맨 아래의 사각형에 서로 다른 색을 칠한다고 할 때, 8개의 사각형에 색을 칠하는 방법의 수는?


 








 

댓글

이 블로그의 인기 게시물

리눅스 한글 입력기 (Wayland 편)

원문 보기: https://dawoum.duckdns.org/wiki/한글 입력기/On_Wayland 최근 소프트웨어들의 버전 업그레이드로 인해, X11에서도 님프 입력기에서 문제들이 발생하고 있습니다. 따라서 이제는 X11이든, Wayland이든 kime을 사용하는 것이 바람직해 보입니다!! 리눅스 생태계에서 X11에서 Wayland로의 전환은 여러 가지 새로운 장점과 단점을 만들어 냅니다. 일반 사용자들은 이런 전환이 가진 장점에 열광하기도 하지만 기존에 작동하는 메커니즘이 작동하지 않을 때 더욱 불만을 표출합니다. 리눅스에서 가장 큰 문제점은 한글 입력에 있습니다. 그러나, 이 문제는 거의 한국 사람들에 국한된 문제입니다. 물론, 중국과 일본도 비슷한 처지에 있어서 CJK로 묶어서 얘기가 되지만, 한글은 다른 두 언어에 비해 더 고려할 사항이 있어서 한글 입력기 개발에 어려움이 더해진다고 알려져 있습니다. 이런 상황 아래에서, kime과 nimf는 최근에 한국에서 개발된 두 개의 한글 입력기입니다. 먼저, 개인적인 경험을 기반으로 결론부터 얘기하자면, X11에서는 nimf를 추천합니다. Wayland에서는 kime을 추천합니다. 이유는 간단하게도, X11에서는 nimf가 더 많은 프로그램에서 올바르게 동작했지만, Wayland에서는 X11에서 잘 입력되던 프로그램에서 입력이 되지 않거나 잘못 입력되는 경우가 발생합니다. 반면에 kime은 Wayland에서 nimf가 입력하지 못하는 프로그램에서 입력이 되거나 잘못 입력되던 것이 제대로 입력되는 경우가 있기 때문입니다. 예를 들어, 그놈 Wayland에서 적어도 아래의 현상이 있습니다: gnome-calendar : nimf 입력기 전환 안됨. kime 정상 작동. nimf 이 문제는 gooroom에서 제공되는 gtk4 패치를 이용해 보십시오. kakaotalk (bottles: wine) : nimf 마지막 점을 찍으면 마지막 글자 앞에 찍힘. kime 정상 작동. alac...

Btrfs 압축 수준 설정

원문 보기:  https://dawoum.duckdns.org/wiki/Btrfs 보통, 마운트 옵션에서 compress=zstd를 사용할 경우에 압축 레벨 3를 사용하고, HDD와 느린 플래시 스토리지에 적합하다고 알려져 있습니다. 좀 더 빠른 SATA SSD는 압축 레벨 2가 적당하고, NVME는 압축 레벨 1이 적당하다고 합니다: Yup, this is it. On slow storage higher compression levels tend to yield higher total storage throughput because you spend less time bound by slow storage bandwidth, instead you spend CPU time compressing/decompressing that data. The rick is to pick a compression level that yields greater total throughput than storage bandwidth can accommodate on its own. This approach works well on bandwidth limited storage like HDD pools, slow flash nand, flash nand attached to the system via slow USB, etc. On the flip side you don't want to constrain high bandwidth storage by sending data through a compression algorithm that limits throughput so lower compression levels (like zstd:1 on nvme storage, or zstd:2 on fast SATA SSDs) are usually safe choices. —  seaQueue, Btrfs compress level, https://...

리눅스 한글 입력기

원문 보기:  https://dawoum.duckdns.org/wiki/한글_입력기 컴퓨터에서 한글을 입력하기 위해서 한글 입력기가 필요합니다. 리눅스 배포판마다 기본으로 설치되는 입력기가 있지만, 설치 후에 바로 한글 입력이 가능한 경우는 드뭅니다. 배포판의 설치 후에, 바로 한글 입력이 가능하려면, 적어도 언어를 한국어 ( Korean )로 선택해야 합니다. 그러나, 대부분의 배포판은 설치시에 한국어 ( Korean )를 선택하더라도 별도로 설정을 해야 한글 입력이 가능합니다. 게다가, 배포판이 기본으로 제공하는 데스크탑 환경에 따라 한글 입력기 설정이 다를 수 있습니다. 아래의 입력기는 사용 당시 일부 문제점이 발견되었고, 현재 문제가 남아 있는지 확인을 하지 않았습니다. 또한, snapd와 flatpak 아래에 설치된 프로그램들도 ibus에서 한글 입력이 입력될 가능성이 있고, 나머지에서는 지원이 되지 않는 것으로 알려져 있습니다. 다른 입력기에서 입력이 되는 것처럼 보이는 것은 ibus와 해당 입력기가 동시에 동작하고 있을 가능성이 있습니다. 한글 입력기 문제들 보고 장소 한글 입력기를 사용하면서, 만날 수 있는 문제는 아래에서 볼 수 있습니다: https://github.com/korean-input/issues 이미 보고된 내용 외에도 문제가 있는 분들은 같은 장소에 내용을 기록해 둘 필요가 있습니다. kime 한글 입력기(Korean ime)를 줄여서 만든 kime은 Rust로 작성되었습니다. 아래에서 소스를 볼 수 있습니다: https://github.com/Riey/kime 개별적인 설정을 수정 또는 추가하기 위해, 패키지에서 제공된 설정 파일을 사용자 설정으로 복사할 필요가 있습니다: mkdir -p ~/.config/kime cp /usr/share/doc/kime/default_config.yaml ~/.config/kime/config.yaml 예를 들어, 한/영 전환이 기본적으로 오른쪽 Alt 로 동작하는 ...