기본 콘텐츠로 건너뛰기

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/항등식

항등식은 근본적으로 왼쪽 변과 오른쪽 변이 같은 식을 말합니다. 즉, 언제든지 왼쪽 식을 오른쪽 식으로 대체될 수 있습니다. 그 의미는 아래의 두 가지 정도로 생각해 볼 수 있습니다.

첫 번째 의미, 등식 내부의 특정한 변수가 실수(복소수로 확장가능)의 범위에서 어떤 값으로 변하든 항상 참을 만족하는 등식입니다.

다음 표현은 첫 번째 의미를 표현하는 말들로, 어떤 등식이 이 표현의 수식을 갖는다면 그 등식은 \(x)\)에 대한 항등식을 말합니다.

  • 모든 \(x\)에 대하여 성립하다.
  • 임의의 \(x\)에 대하여 성립한다.
  • \(x\)값에 관계없이 성립한다.
  • 어떤 \(x\)의 값을 대입해도 성립한다.

두 번째 의미, 등식의 양변에서 특정한 문자의 차수에 따른 문자들의 계수가 각각 모두 같은 다항식입니다.

이 의미는, 왼쪽 변과 오른쪽 변을 각각 단순화를 진행하면, 차수가 같음은 물론이고 각 차수의 계수들도 전부 같아야 항등식이 된다는 것입니다.

즉, 지금 배우고 있는 다항식의 사칙연산은 식이 변해가는 과정이므로, 전개를 하면 양쪽 변이 서로 같아지므로 전부 항등식으로 이해할 수 있습니다. 이후에 배우는 인수분해도 마찬가지로 항등식입니다.

유리식에서, 분모가 0되는 값이 있으면, 분모의 값이 영이 되는 경우를 제외라는 것처럼, 명시적으로 문장을 제공해야 합니다. 이 말은 다항식의 나눗셈에서 약분을 해서 분모가 변하고, 명시된 조건이 없으면, 항등식이라고 말할 수 없다는 것을 의미합니다.

예를 들어, 다음은 항등식이 아닌데, 모든 x에 대해 식을 만족하지 않기 때문으로써, 비록 그 값이 1개인 경우에도 마찬가지입니다.

\(\quad\)\(\displaystyle \frac{(x-2)(x-3)}{x-2} = x-3\)

그러므로, x ≠ 2 또는 분모가 영이 아님 등의 조건이 있을 때 항등식이 됩니다.

나중에 함수에서, 서로 같은 함수를 찾을 때 이런 이유가 첫 번째 조건으로 소개됩니다.

반면에 방정식은 특수한 값에 대해서만 참이 되는 식을 말합니다. 그래서 어떤 값이 참이 되는지 찾는 것을 방정식을 푼다라고 하고, 그 값을 라고 합니다.

미정계수법

항등식 문제는, 미지수 x의 값을 구하는 방정식과는 다르게, 항등식이 되도록 계수를 정하는 경우가 많습니다.

이때 사용되는 두 가지 방법이 계수비교법, 수치대입법입니다.

계수비교법은, 항등식의 두 번째 의미에 따라, 양쪽 변의 동류항끼리의 계수가 같음을 이용해서 풉니다.

반면에 수치대입법은, 항등식의 첫 번째 의미에 따라, 항등식으로 주어진 문자에 적당한 값을 대입해서 나오는 식을 이용해서 풉니다.

예를 들어, 주어진 식이 x에 대한 항등식이 되도록 a, b를 구하시오.

\(\quad\)\(\displaystyle \frac{1}{(x+1)(x+2)}=\frac{a}{x+1}-\frac{b}{x+2} \)

보통은 오른쪽 변을 통분해서 분모가 같아지면, 분자가 같아야 한다는 방식으로 문제를 풉니다. 그러나 이런 접근은 식을 더 복잡하게 만드는 것이 단점입니다.

반면에 식을 간단하게 하기 위해서 양변에 분모의 최소공배수를 곱해 주는 것이 좋습니다.

분모의 최소공배수 \( (x+1)(x+2) \)를 양쪽 변에 곱해서 식을 만듭니다:

\(\quad\)\( 1 = a(x+2) - b(x+1) \)

(1) 계수비교법 : 다항식이므로 양쪽 변을 전개해서 계수가 서로 같아야 함을 이용합니다.

\(\quad\)\( 1 = ax+2a - bx-b \)

\(\quad\)\( 1 = (a-b)x + (2a-b) \)

오른쪽 변의 1차 항에 대해 왼쪽 변은 1차 항이 없으므로, 그 계수가 0이어야 하고, 오른쪽 변의 상수항이 1이므로, 왼쪽 변의 상수항이 1이어야 합니다.

\(\quad\)\( (a-b)=0,\;(2a-b)=1 \)

이 두식을 연립해서 풀면, 다음 결과를 얻습니다:

\(\quad\)\( a=1,\;b=1 \)

(2) 수치대입법 : 미지수에 특정한 값을 대입해서 구하는 방법입니다. 이때, 어떤 문자에 대한 항등식인지 인식해서 해당 문자에 원하는 값을 대입해야 합니다.

\(\quad\)\( 1 = a(x+2) - b(x+1) \)

위 식에 \(x=-2\)를 대입하는데, 왜냐하면 문자 \(a\)를 없애고 문자 \(b\)만 남기기 때문입니다:

\(\quad\)\( b=1 \)

같은 이유로 \(x=-1\)을 대입해서 \(a\)를 구합니다:

\(\quad\)\( a=1 \)

위의 어떤 방법을 이용하더라도 다음 결과를 가집니다:

\(\quad\)\(\displaystyle \frac{1}{(x+1)(x+2)}=\frac{1}{x+1}-\frac{1}{x+2} \)

일반적으로 수식을 정리해야 계수를 비교할 수 있는 계수비교법보다는 수치대입법이 자주 사용됩니다.

수치대입법에서, 주로 구하려는 미지수와 곱해진 부분을 0으로 만들 수 있는 값을 우선적으로 대입을 합니다.

그런 경우가 아니더라도 x에 대한 항등식일 때 x = 0을 대입하는 것은 언제나 값을 쉽게 계산할 수 있습니다.

그 외에는 x = 1이 많이 이용되며, x = –1은 많이 이용되지만 차수가 홀수인 경우에는 부호가 바뀌는 것을 잊어서는 안 됩니다.

나눗셈과 항등식

다항식 \(A\)의 차수가 \(B\)의 차수보다 같거나 클 경우에, \(A\)를 다항식 \(B\;(B \neq 0)\)로 나눌 때 몫을 \(Q\), 나머지를 \(R\)라 하면 다음이 성립합니다:

\(\quad\)\(A=BQ+R\) (단, \(R\)의 차수 < \(B\)의 차수)

다항식의 나눗셈 과정도 항등식이기 때문에 몫과 나머지를 구할 때, 항등식의 성질을 이용합니다. 다항식에서 항등식은 오른쪽 변과 왼쪽 변의 차수가 같아야 하기 때문에, \(A\)의 차수\(=B\)의 차수 \(+Q\)의 차수입니다.

응용예제

응용예제1

예를 들어, \(x^3+x^2+1\)을 \(x^2+x-2\)로 나누었을 때, 몫과 나머지를 보십시오.

삼차식을 이차식으로 나눈 몫은 일차식입니다. 또한 최고차항의 계수는 1 이기 때문에 몫은 \(Q(x)=x+a\)로 놓을 수 있고, 나머지는 나누는 식이 이차식이기 때문에 일차식으로 놓을 수 있습니다. 정리해서 아래와 같이 쓸 수 있습니다.

\(\quad\)\(x^3+x^2+1=(x^2+x-2)(x+a)+(px+q)\)

이식을 전개해서 계수 비교를 수행해도 되지만, 여기서는 나누는 식이 인수분해가 가능하기 때문에 아래와 같이 생각해서 푸는 것이 좀 더 쉽습니다.

\(\quad\)\(x^3+x^2+1=(x-1)(x+2)(x+a)+(px+q)\cdots(1)\)

이제, \(x\)에 \(1,\;-2\)를 대입해서 \(p,\;q\)를 구한 후에 \(x=0\)을 대입해서 \(a\)를 구할 수 있습니다.

다른 생각) 식 (1)처럼, 일반적인 형태의 나머지를 정의하면, 숫자를 대입한 후에, 필연적으로 연립방정식을 푸는 과정이 필요합니다.

만약, 나누는 식이 인수분해가 되면, 다음처럼, 식을 세우는 것이 연립방정식을 피하는 하나의 방법입니다.

\(\quad\)\(x^3+x^2+1=(x-1)(x+2)(x+a)+p_1(x-1)+q_1\cdots(2)\)

또는

\(\quad\)\(x^3+x^2+1=(x-1)(x+2)(x+a)+p_2(x+2)+q_2\cdots(3)\)

응용예제2

모든 실수 \(x\)에 대하여

\(\quad\)\(\left(1-2x+x^2\right)^{50} = a_0+a_1 x +a_2 x^2 + \cdots + a_{100}x^{100}\)

이 항상 성립할 때, \(a_1+a_3+a_5+\cdots+a_{99}\)의 값을 구하여라.

응용예제3

모든 실수 \(x\)에 대하여

\(\quad\)\(x^{100}-1 = a_0+a_1 (x-1) +a_2 (x-1)^2 + \cdots + a_{100}(x-1)^{100}\)

이 항상 성립할 때, \(a_1+a_3+a_5+\cdots+a_{99}\)의 값을 구하여라.

응용예제4

상수 \(a_0,a_1,a_2,\cdots,a_{10}\)에 대해 다음 등식

\(\quad\)\(\left(x^2+x+1\right)^5 = a_0+a_1 x +a_2 x^2+\cdots + a_{10}x^{10}\)

은 \(x\)에 대한 항등식일 때, \(a_0+a_3+a_6+a_9\)의 값은?

응용예제5

다항식 \(f(x)\)가 모든 실수 \(x\)에 대하여

\(\quad\)\(f\left(x^2-1\right)-f\left(x^2+1\right)=k x f(x)-12x-8\)

을 만족시킬 때, \(f(k)\)의 값을 구하면, (단, \(k\)는 영이 아닌 실수)

응용문제6

모든 실수 \(x\)에 대하여

\(\quad\)\(x^{10}+1 = a_{10}(x+2)^{10}+a_9 (x+2)^9+\cdots+a_1 (x+2)+a_0\)

가 성립할 때, \(a_9+a_7+a_5+a_3+a_1\)의 값은?

응용예제7

\(x\)에 대한 항등식

\(\quad\)\(\left\{x(x+1)\right\}^{10}+3 = a_0+a_1 x +a_2 x^2+\cdots+a_{20}x^{20}\)

에서 \(10a_0+a_{11}+a_{13}+a_{15}+a_{17}+a_{19}\)의 값을 구하시오.

응용예제8

모든 실수 \(x\)에서 정의된 함수 \(f(x)\)가 다음을 만족할 때,

\(\quad\)\(2f(1-x)+f(x)=\frac{1}{2} x^2 \)

구간 \(0 \le x \le 3\)에서 함수 \(f(x)\)의 최솟값은?

응용예제9

다항식 \(f(x)=x^3+9x^2+4x-45\)에 대하여 다음 등식

\(\quad\)\(f(x+a) = x^3+bx-3 \)

이 \(x\)의 값에 관계없이 항상 성립한다. 이때, 두 상수 \(a,b\)에 대하여 \(a+b\)의 값은?

응용예제10

임의의 실수 \(x\)에 대하여 다항식 \(f(x)\)가 다음 등식

\(\quad\)\(f\left(x^2+2x\right) = x^2f(x)+8x+8\)

을 만족시킬 때, \(f(1)\)의 값을 구하시오.

응용예제11

최고차항의 계수가 1인 다항식 \(P(x)\)는 \(x\)에 대하여 \(8xP(x-1)=(x-1)P(2x)\)를 항상 만족할 때, 다음 물음에 답하시오.

\(\quad\)(1) \(P(1)\)의 값을 구하시오.

\(\quad\)(2) 다항식 \(P(x)+k\)가 \(x+3\)을 인수로 가질 때, 실수 \(k\)의 값을 구하시오.



댓글

이 블로그의 인기 게시물

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