기본 콘텐츠로 건너뛰기

Btrfs 부팅 문제

Btrfs을 사용할 경우에서, 컴퓨터 재시작 후에 부팅이 되지 않는 문제가 증가하고 있다고  보고되고 있습니다.  https://lore.kernel.org/linux-btrfs/283624a8-dc79-4dd0-b6e5-9d5e83e31648@gmx.com/T/#ma9fa3134de084a38c2b208def66619e7a8561085 문제의 해결 방법으로, chroot 후에 다음으로 수정 가능하다고 알려져 있습니다: sudo btrfs rescue zero-log /dev/sdX  이 문제는 지속적으로 재현할 수 있는 방법이 없다고 알려져 있습니다.  대체로 6.15.3을 푸시한 이후 CachyOS에서 약 50-80개의 보고서가 제출되었고, Fedora 및 archlinux에서도 보고서가 증가했다고 알려져 있습니다. 한편, 데비안 13 시스템에서, 커널을 지속적으로 컴파일해서 사용해 왔지만, 이런 현상을 만날 수 없었습니다. 데비안 시스템은 /boot를 별도로 ext4 파티션으로 나누어 두었기 때문에, 이것과 관련이 있는지는 확인하지 못했습니다.  

부분집합

원문 보기: https://dawoum.duckdns.org/wiki/부분집합

부분집합(subset) \(A\)는, 모든 원소가 \(B\)에도 속하는 집합을 말합니다. 이런 관계를 기호로 \(A \subset B\)(또는\(B \supset A\))로 나타냅니다. 예를 들어 집합 {1, 2, 3}은 {1, 2, 3, 4, 5}의 부분집합입니다. 벤 다이어그램에서는 어떤 집합 내에 부분집합이 포함된 두 원으로 나타냅니다. \(A=B\)인 경우에도 \(A\)는 \(B\)의 부분집합이라고 말하며, 그렇지 않은 부분집합을 진부분집합(proper subset)이라고 부릅니다. 진부분집합은 기호로 '\(A \subset B\)이고 \(A\neq B\)'로 나타낼 수 있습니다.

반면에 집합 \(A\)가 집합 \(B\)의 부분집합이 아닐 때, \(A \not\subset B\)와 같이 나타냅니다.

집합의 모든 부분집합을 모아놓은 집합을 멱집합이라고 합니다.

집합의 상등

두 집합 \(A, B\)가 서로 같은 원소들로 이루어져 있을 때, 집합 \(A\)와 집합 \(B\)는 서로 같다고 합니다. 즉, 집합 \(A\)의 모든 원소가 집합 \(B\)에 속하고, 집합 \(B\)의 모든 원소가 집합 \(A\)에 속하는 경우입니다.

기호를 사용해서 나타내면, \(A \subset B\) 이고 \(A \supset B\)인 경우이며, 줄여서 \(A = B\)라고 표현합니다.

부분집합의 개수

어떤 집합의 부분집합을 구할 때에는 원소의 개수가 0개, 1개, 2개, \(\cdots\)인 경우로 구분해서 구하는 것이 좋습니다. 특히, 규칙이 일관되지 않은 경우에 실수를 줄이는 유일한 방법일지도 모릅니다. 그러나 규칙이 있을 때에는 다른 방법을 이용하는 것도 좋겠습니다.

원소가 \(n\)개인 집합의 부분집합의 개수는 몇 개일까요?
규칙이 있는 부분집합의 개수를 구할 때에는 벤 다이어그램을 이용하는 것이 편리합니다. 벤 다이어그램은 어떤 집합의 영역이 집합 내부집합 외부의 두 가지 영역으로 나뉩니다. 그렇기 때문에 각각의 원소가 가질 수 있는 경우의 수가 2가지입니다. 또한, 어떤 집합의 부분집합을 구성할 때에는 모든 원소를 다 시험했을 때에 끝납니다. 즉, 원소 각각이 2가지의 경우를 가지기 때문에, 경우의 수의 곱의 법칙에 의해서, \(2^n\)개의 부분집합을 가집니다. 여기서 진부분집합은 자기 자신을 제외해야 하기 때문에, \(2^n-1\)개의 부분집합을 가집니다.

반면에 특정한 원소 \(m\)를 포함하는 경우에는 \(2^{n-m}\)개의 부분집합을 가집니다. 왜냐하면, 특정한 원소 \(m\)개는 집합 내부에만 들어가야 하기 때문에 경우의 수가 1로 줄기 때문입니다. 나머지 원소인 \(n-m\)개만 2가지 경우를 가집니다.

마찬가지로 특정한 원소 \(m\)를 포함하지 않는 경우에도 \(2^{n-m}\)개의 부분집합을 가집니다. 왜냐하면, 특정한 원소 \(m\)개는 집합 외부에만 들어가야 하기 때문에 경우의 수가 1로 줄기 때문입니다.

한편, 특정한 원소 \(m\)를 포함하는 경우의 진부분집합의 개수는 \(2^{n-m}-1\)개 입니다. 그러나 특정한 원소 \(m\)를 포함하는 않는 경우의 진부분집합의 개수는 \(2^{n-m}\)개 입니다. 전자는 자신과 같은 부분집합이 생기기 때문에 1개를 감소시켜야 하지만, 후자는 자기 자신과 같은 집합의 부분집합을 애초에 못 만드는 경우입니다.

만약, \(n\)개의 원소를 갖는 전체집합에서 이 원소들로 구성할 수 있는 집합 \(A,B\)의 순서쌍은 몇 개일까요? 이때에는 벤 다이어그램의 영역이 4가지가 있습니다. 그렇기 때문에 전체 순서쌍은 \(4^n\)개를 가집니다. 또한, \(A\cup B\)의 원소의 개수가 \(n\)개일 때, 이 원소들로 구성할 수 있는 집합 \(A,B\)의 순서쌍은 몇개일까요? 이 경우에는 벤 다이어그램의 영역이 3개입니다. 그러므로 순서쌍은 \(3^n\)개를 만들 수 있습니다.

응용예제

응용예제1

집합 \(A=\{1,2,3,4,5,6\}\)에서 짝수가 두 개만 포함되는 부분집합을 \(A_1,A_2,\cdots,A_n\)이라 하고, 집합 \(A_n\)의 원소의 총합을 \(S(A_n)\)이라고 놓습니다. 이때, \(S(A_1)+S(A_2)+\cdots+S(A_n)\)의 값은 얼마일까요?

응용예제2

집합 \(\displaystyle S=\left\{1, \frac{1}{2}, \frac{1}{4}, \frac{1}{8}, \frac{1}{16}\right\}\)의 공집합이 아닌 서로 다른 부분집합을 \(A_1, A_2, A_3, \cdots, A_{31}\)이라고 놓습니다. 이때, 각각의 집합 \(A_1, A_2, A_3, \cdots, A_{31}\)에서 크기가 최소인 원소를 하나씩 뽑아 이들을 모두 더한 값은?

응용예제3

전체집합 \(\displaystyle U=\left\{\frac{1}{2^2},\;\frac{1}{2^4},\;\frac{1}{2^6},\;\cdots,\;\frac{1}{2^{20}}\right\}\)의 두 부분집합 \(A,B\)에 대하여 \(\displaystyle A=\left\{\frac{1}{2^2},\;\frac{1}{2^4},\;\frac{1}{2^6}\right\}\)일 때, \(n(A \cap B) =2\)를 만족시키는 집합 \(B\)를 \(B_1,\;B_2,\;\cdots\;B_n\) (\(n\)은 자연수)이라 하자. 집합 \(B_i\)의 원소 중에서 최소인 것을 \(b_i\;(i=1,2,3,\cdots,n)\)라 할 때, \(2^{14}\cdot (b_1+b_2+b_3+\cdots+b_n)+1\)의 값은?


 

댓글

이 블로그의 인기 게시물

리눅스 한글 입력기 (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...

KeePassXC

원문 보기: https://dawoum.duckdns.org/wiki/KeePassXC Original article: w:KeePassXC KeePassXC 는 자유와 오픈-소스 암호 관리 기 입니다. 그것은 KeePassX (그 자체로 KeePass 의 크로스-플랫폼 포트)의 커뮤니티 포크로 시작되었습니다. [2] [3] 그것은 Qt5 라이브러리 를 사용하여 구축되어, Linux , Windows , macOS , 및 BSD 에서 실행될 수 있는 다중-플랫폼 응용 프로그램입니다. [4] [5] [6] KeePassXC는 기본적으로 KeePass 2.x (.kdbx) 암호 데이터베이스 형식을 사용합니다. [7]   그것은 역시 버전 2 및 이전 KeePass 1 (.kdb) 데이터베이스를 가져올 수 있습니다 (그리고 변환할 수 있습니다). KeePassXC는 추가 보안을 위해 키 파일과 YubiKey 챌린지-응답을 지원합니다. [2] Electronic Frontier Foundation 은 KeePassXC를 "사용하기 쉽고 강건한 소프트웨어"라고 언급합니다. [8]   KeePassXC 버전 2.7.4의 보안 검토는 2022년 말에 완료되었습니다. [9] 함께 제공되는 브라우저 확장 프로그램은 Firefox , [10] Tor-Browser, Google Chrome , [11] Vivaldi , Microsoft Edge , [12] 및 Chromium 에서 사용할 수 있습니다. [13] 확장은 데스크탑 응용 프로그램에서 브라우저 통합을 활성화함으로써 연결될 수 있습니다. [14] Installation 데비안 저장소에서 설치할 수 있습니다: sudo nala install keepassxc  

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://...