삼진법

삼진법(三進法, 영어: Ternary, base 3)은 3을 밑으로 하는 기수법이다. 비트와 마찬가지로 삼진법은 "트리트"(Trit, Trinary digit)라고 표기한다. 하나의 삼진법은 이진 로그(log₂) 3비트(약 1.58496비트)의 정보와 같다.

비록 삼진법 수가 음수가 아닌 모든 수를 가리키는 경우가 많지만 형용사는 균형잡힌 체계를 가리킨다. 특히 0, 1, 2의 형용사는 비교 논리와 3진법 컴퓨터에 사용되는 −1, 0, +1을 구성하는 균형 3진법 체계에 이름을 부여한다.

기수법[편집]

삼진법에서는 0, 1, 2의 합계 3개의 숫자를 사용하고, 3을 10, 4를 11…으로 표기한다. 3마다 자릿수가 올라가므로 3을 사용할 수 있는 N진법은 사진법 이후에 3을 사용할 수 있고 1/3이 분할되는 N진법은 육진법 이후가 된다. 자릿수 증가도 삼진법에서는 3의 거듭제곱으로 자릿수가 하나 늘어난다. 아래 표에 이진법(밑이 2), 삼진법(밑이 3), 육진법(밑이 2×3), 십진법(밑이 2×5)의 각 표기법의 차이를 게재한다.

수열의 진행 방법 (18까지)
이진법	삼진법	육진법	십진법
0	0	0	0
1	1	1	1
10	2	2	2
11	10	3	3
100	11	4	4
101	12	5	5
110	20	10	6
111	21	11	7
1000	22	12	8
1001	100	13	9
1010	101	14	10
1011	102	15	11
1100	110	20	12
1101	111	21	13
1110	112	22	14
1111	120	23	15
10000	121	24	16
10001	122	25	17
10010	200	30	18

수열의 진행 방법 (19 이후)
이진법	삼진법	육진법	십진법
10011	201	31	19
10100	202	32	20
10101	210	33	21
10110	211	34	22
10111	212	35	23
11000	220	40	24
11001	221	41	25
11010	222	42	26
11011	1000	43	27
100100	1100	100	36
110001	1211	121	49
110110	2000	130	54
1000000	2101	144	64
1010001	10000	213	81
1100100	10201	244	100

삼진법의 자릿수
자릿수	삼진법의 자릿수	이진수로 환산	삼진수	육진수로 환산	십진수로 환산
정수 7번째 자리	729번째 자리	1011011001	1000000	3213	729
정수 6번째 자리	243번째 자리	11110011	100000	1043	243
정수 5번째 자리	81번째 자리	1010001	10000	213	81
정수 4번째 자리	27번째 자리	11011	1000	43	27
정수 3번째 자리	9번째 자리	1001	100	13	9
정수 2번째 자리	3번째 자리	11	10	3	3
정수 1번째 자리	1번째 자리	1	1	1	1
소수 1번째 자리	1/3번째 자리	1/11	0.1	0.2	1/3
소수 2번째 자리	1/9번째 자리	1/1001	0.01	0.04	1/9
소수 3번째 자리	1/27번째 자리	1/11011	0.001	0.012	1/27
소수 4번째 자리	1/81번째 자리	1/1010001	0.0001	0.0024	1/81

※ 자리수는 십진수로 표기한다.

연산[편집]

삼진법에서 설명한 덧셈 및 곱셈 표는 다음과 같다.

덧셈
+	0	1	2
0	0	1	2
1	1	2	10
2	2	10	11

곱셈
×	1	2
0	0	0
1	1	2
2	2	11

3은 2로 나누어지지 않기 때문에 홀수이다. 이 때문에 삼진법에서는 1/2를 0.1111…이라고 표기하기 때문에 "1÷짝수"가 모두 나눠지지 않는다. 삼진법이나 오진법 등의 홀수 진법은 1/2이 나누어지지 않기 때문에 그 어느 한 자리 수로 반올림을 실시하려고 할 때 예를 들어 육진법의 0.3이나 십진법의 0.5와 같이 "2로 나누면 같은 수가 나오지 않는다"는 특징을 갖는다. 또한 나중에 언급하는 평행삼진법에는 어떤 자리로 중단만 해도 "1 이하면 버리고 2 이상이면 올리는" 형식의 반올림이 된다는 특징을 갖는다. 그러나 다음 수인 3이 밑이 되어 있으므로 "3으로 나누면 같은 수가 나온다"라는 특징을 가진다. 이는 육진법의 0.2나 구진법의 0.3 등과 동일하다.

삼진법의 소수와 나눗셈
단위분수	제수의 소인수분해	삼진소수	육진소수	십진소수
1/2	2	0.1111…	0.3	0.5
1/3	3	0.1	0.2	0.3333…
1/4	2²	0.0202…	0.13	0.25
1/5	5	0.0121…	0.1111…	0.2
1/6	2×3	0.0111…	0.1	0.1666…
1/7	7	0.010212…	0.0505…	0.142857…
1/8	2³	0.0101…	0.043	0.125
1/9	3²	0.01	0.04	0.1111…
1/10	2×5	0.0022…	0.03333…	0.1
1/11	11	0.00211…	0.0313452421…	0.0909…
1/12	2²×3	0.00202…	0.03	0.08333…
1/16	2⁴	0.0012…	0.0213	0.0625
1/18	2×3²	0.00111…	0.02	0.05555…
1/20	2²×5	0.0011…	0.01444…	0.05
1/25	5²	0.00100201102212202112…	0.01235…	0.04
1/27	3³	0.001	0.012	0.037…
1/36	2²×3²	0.000202…	0.01	0.02777…
1/64	2⁶	0.0001021011122022…	0.003213	0.015625
1/81	3⁴	0.0001	0.0024	0.012345679…

※ 단위분수와 제수의 소인수분해는 십진수로 표기한다.

평형삼진법[편집]

가중치를 갖는 각 자리의 값을 음수 쪽에도 돌리는 평형기수법의 가장 단순한 방식이다(같은 생각을 확장하면 평형오진법이나 평형칠진법을 생각할 수 있다). a_m의 값을 -1, 0, 1로 한다. 자릿수 기수법 안에 음수도 포함해 깨끗하게 표현할 수 있다는 성질이 있으며 도널드 커누스와 같이 "아마 모든 기수법 중 가장 아름답다"고 말하는 사람도 있다. 그러나 이진법 등과 비교해서 응용도 많지 않기 때문에 거의 쓰이지 않는다. 여기에서는 -1을 ${\bar {1}}$ 로 표시하도록 한다. 또한 이 표기법은 저울로 "1g, 3g, 9g, 27g의 분동을 이용하여 1 ~ 40g의 질량을 재는 방법"과도 비슷하다.

평형삼진법의 연산[편집]

평형삼진법에서는 통상과 약간 다른 연산이 필요하다. 덧셈, 곱셈의 결과는 다음과 같다.

덧셈
+	${\bar {1}}$	$0$	$1$
${\bar {1}}$	${\bar {1}}1$	${\bar {1}}$	$0$
$0$	${\bar {1}}$	$0$	$1$
$1$	$0$	$1$	$1{\bar {1}}$

곱셈
×	${\bar {1}}$	$0$	$1$
${\bar {1}}$	$1$	$0$	${\bar {1}}$
$0$	$0$	$0$	$0$
$1$	${\bar {1}}$	$0$	$1$

윗자리에 영향을 미치는 것은 덧셈 2개 뿐이다. 이진과 마찬가지로 곱셈에서는 윗자리에 영향을 미치지 않는다. 뺄셈은 복잡해 보이지만 덧셈의 결과를 알고 있으면 어렵지 않다. 뺄셈에서는 ${\bar {1}}$ 와 $1$ 를 교체한 것을 더하는 방법도 유효하다. 다만 나눗셈은 귀찮은 편이다.

일반적인 N진법과의 차이[편집]

십진법	육진법	일반적인 삼진법	평형삼진법
십진법	육진법	일반적인 삼진법	양수	음수
0	0	0	$0$
1	1	1	$1$	${\bar {1}}$
2	2	2	$1{\bar {1}}$	${\bar {1}}1$
3	3	10	$10$	${\bar {1}}0$
4	4	11	$11$	${\bar {1}}{\bar {1}}$
5	5	12	$1{\bar {1}}{\bar {1}}$	${\bar {1}}11$
6	10	20	$1{\bar {1}}0$	${\bar {1}}10$
7	11	21	$1{\bar {1}}1$	${\bar {1}}1{\bar {1}}$
8	12	22	$10{\bar {1}}$	${\bar {1}}01$
9	13	100	$100$	${\bar {1}}00$

활용[편집]

특정 아날로그 논리에서는 회로의 상태가 삼진법으로 표현되는 경우가 많다. 이는 CMOS 회로 및 트랜지스터-트랜지스터 논리(토템-폴(Totem-Pole) 출력)에서 가장 흔하게 볼 수 있다. 출력은 낮거나(접지됨), 높음 또는 열림(하이 Z(High-Z))이라고 한다. 이 구성에서 회로의 출력은 실제로 어떤 전압 기준에도 전혀 연결되지 않는다. 신호가 일반적으로 특정 기준 또는 특정 전압 레벨로 접지되는 경우 상태는 개방되어 있고 자체 기준을 제공하기 때문에 고임피던스라고 한다. 따라서 실제 전압 레벨을 예측할 수 없는 경우도 있다.

흔치 않은 "삼진 포인트"는 미국 야구(보통 투수만을 위함)의 수비 통계로 이닝의 분수 부분을 나타낸다. 공격 팀은 3번의 아웃이 허용되므로 각 아웃은 방어 이닝의 3분의 1로 간주되고 .1로 표시된다. 예를 들어 한 야구 선수가 4회, 5회, 6회를 모두 투구하여 7회에 2아웃을 달성한다면 해당 선수의 투구 이닝은 3+2⁄3(일부 경기 기록관들이 대체적으로 사용하는 경우도 있음)에 해당하는 3.2로 표기될 것이다. 이 사용법에서는 숫자의 부분만 내부 형식으로 작성된다.^[1]^[2]

삼진법 수는 시에르핀스키 삼각형이나 칸토어 집합과 같은 자기 유사 구조를 편리하게 전달하는데 사용될 수 있다. 또한 3번째 표현은 칸토어 집합이 구성되는 방식 때문에 칸토어 집합과 관련 점 집합을 정의하는 데 유용한 것으로 밝혀졌다. 칸토어 집합은 숫자 1의 어떤 인스턴스도 포함하지 않는 3차 식을 가진 0부터 1까지의 점들로 구성된다.^[3]^[4] 삼진 시스템의 모든 종단 팽창은 마지막 0이 아닌 항 이전의 항과 동일하고 그 다음에는 1번째 표현의 마지막 0이 아닌 항보다 작은 항, 그 다음에는 2개의 무한 꼬리가 있는 식과 같다. 예를 들어 0.1020은 0.1012222...와 같다. 1번째 식 "2"까지 확장이 동일하기 때문에 2번째 확장에서는 2개가 감소했고 2번째 식에서는 후행 0이 후행 2로 대체되었다.

삼진법은 가장 낮은 밑 경제(Radix economy)를 가진 정수의 밑이며 이진법과 사진법이 근접하게 뒤따른다. 이는 자연로그의 밑(e)에 근접했기 때문이다. 이러한 효율성 때문에 일부 컴퓨팅 시스템에 활용되어 왔다. 또한 모든 분기에 간단한 경로를 허용하는 전화 메뉴 시스템과 같은 3가지 옵션 "트리"(Trees)를 나타내는 데에 사용된다. 난해한 프로그래밍 언어인 말레볼제에서는 삼진법 가상 머신이 사용된다.

이중 이진수 표시와 부호화된 숫자 표현 방식 가운데 하나인 중복 이진 표현(Redundant binary representation)는 낮은 수준의 소프트웨어와 하드웨어에서 때때로 정수의 빠른 추가를 달성하는 데에 사용된다. 왜냐하면 캐리어를 제거할 수 있기 때문이다.^[5]

이진 코드 삼진법[편집]

2진법 컴퓨터를 활용한 3진법 컴퓨터 시뮬레이션, 또는 3진법 컴퓨터와 2진법 컴퓨터 사이의 인터페이스에는 각 삼진수를 인코딩하는 데에 2비트가 사용되는 이진화 삼진법(Binary-coded ternary, BCT) 숫자의 사용이 포함될 수 있다.^[6]^[7] BCT 인코딩은 이진화 십진법(Binary-coded decimal, BCD) 인코딩과 유사하다. 삼진법 값 0, 1, 2가 각각 00, 01, 10으로 인코딩된 경우에는 이진화 삼진법과 이진법 사이의 어느 방향으로든 변환은 로그 시간으로 수행될 수 있다.^[8] BCT 연산을 지원하는 C 코드의 라이브러리를 이용할 수 있다.^[9]

트라이트[편집]

세툰(Setun)과 같은 일부 3진법 컴퓨터는 "트라이트"(Tryte)를 6트리트^[10] 또는 약 9.5비트("사실상"의 이진 바이트보다 더 많은 정보를 보유함)로 정의했다.^[11]

각주[편집]

↑ Ashley MacLennan (2019년 1월 9일). “A complete beginner’s guide to baseball stats: Pitching statistics, and what they mean”. 《Bless You Boys》. 2020년 7월 30일에 확인함.
↑ “Stats - Team - Pitching”. 《MLB (Major League Baseball)》. 2020년 7월 30일에 확인함.
↑ Soltanifar, Mohsen (2006년). “On A sequence of cantor Fractals”. 《Rose Hulman Undergraduate Mathematics Journal》 7 (1). Paper 9.
↑ Soltanifar, Mohsen (2006년). “A Different Description of A Family of Middle–α Cantor Sets”. 《American Journal of Undergraduate Research》 5 (2): 9–12.
↑ Phatak, D. S.; Koren, I. (1994년). “Hybrid signed–digit number systems: a unified framework for redundant number representations with bounded carry propagation chains” (PDF). 《IEEE Transactions on Computers》 43 (8): 880–891. CiteSeerX 10.1.1.352.6407. doi:10.1109/12.295850.
↑ Frieder, Gideon; Luk, Clement (1975년 2월). “Algorithms for Binary Coded Balanced and Ordinary Ternary Operations”. 《IEEE Transactions on Computers》 C–24 (2): 212–215. doi:10.1109/T-C.1975.224188.
↑ Behrooz, Parhami; Michael, McKeown (2013년 11월 3일). “Arithmetic with Binary-Encoded Balanced Ternary Numbers”. 《Proceedings 2013 Asilomar Conference on Signals, Systems and Computers》 (Pacific Grove, CA, USA): 1130–1133. doi:10.1109/ACSSC.2013.6810470. ISBN 978-1-4799-2390-8.
↑ Jones, Douglas W. (2016년 6월). “Binary Coded Ternary and its Inverse”.
↑ Jones, Douglas W. (2015년 12월 29일). “Ternary Data Types for C Programmers”.
↑ Impagliazzo, John; Proydakov, Eduard (2011년 9월 6일). 《Perspectives on Soviet and Russian Computing: First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3—7, 2006, Revised Selected Papers》. Springer. ISBN 978-3-64222816-2.
↑ Brousentsov, N. P.; Maslov, S. P.; Ramil Alvarez, J.; Zhogolev, E. A. “Development of ternary computers at Moscow State University”. 2010년 1월 20일에 확인함.

[1] Ashley MacLennan (2019년 1월 9일). “A complete beginner’s guide to baseball stats: Pitching statistics, and what they mean”. 《Bless You Boys》. 2020년 7월 30일에 확인함.

[2] “Stats - Team - Pitching”. 《MLB (Major League Baseball)》. 2020년 7월 30일에 확인함.

[3] Soltanifar, Mohsen (2006년). “On A sequence of cantor Fractals”. 《Rose Hulman Undergraduate Mathematics Journal》 7 (1). Paper 9.

[4] Soltanifar, Mohsen (2006년). “A Different Description of A Family of Middle–α Cantor Sets”. 《American Journal of Undergraduate Research》 5 (2): 9–12.

[5] Phatak, D. S.; Koren, I. (1994년). “Hybrid signed–digit number systems: a unified framework for redundant number representations with bounded carry propagation chains” (PDF). 《IEEE Transactions on Computers》 43 (8): 880–891. CiteSeerX 10.1.1.352.6407. doi:10.1109/12.295850.

[6] Frieder, Gideon; Luk, Clement (1975년 2월). “Algorithms for Binary Coded Balanced and Ordinary Ternary Operations”. 《IEEE Transactions on Computers》 C–24 (2): 212–215. doi:10.1109/T-C.1975.224188.

[7] Behrooz, Parhami; Michael, McKeown (2013년 11월 3일). “Arithmetic with Binary-Encoded Balanced Ternary Numbers”. 《Proceedings 2013 Asilomar Conference on Signals, Systems and Computers》 (Pacific Grove, CA, USA): 1130–1133. doi:10.1109/ACSSC.2013.6810470. ISBN 978-1-4799-2390-8.

[8] Jones, Douglas W. (2016년 6월). “Binary Coded Ternary and its Inverse”.

[9] Jones, Douglas W. (2015년 12월 29일). “Ternary Data Types for C Programmers”.

[10] Impagliazzo, John; Proydakov, Eduard (2011년 9월 6일). 《Perspectives on Soviet and Russian Computing: First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3—7, 2006, Revised Selected Papers》. Springer. ISBN 978-3-64222816-2.

[11] Brousentsov, N. P.; Maslov, S. P.; Ramil Alvarez, J.; Zhogolev, E. A. “Development of ternary computers at Moscow State University”. 2010년 1월 20일에 확인함.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

v t e 자료형
공통	비트 바이트 트리트(삼진법) 트라이트 워드
수치	정수형 고정소수점 부동소수점 Complex Bignum 구간 십진 연산
플레인 텍스트	문자 문자열
포인터	주소 참조
복합 자료형	대수적 자료형 (GADT) 배열 연관 배열 클래스 리스트 객체 옵션 타입 프로덕트 타입 레코드 집합 공용체
기타	불리언 자료형 보텀형 수집 열거형 예외 처리 함수형 불투명 자료형 재귀 자료형 세마포어 스트림 톱형 타입 클래스 유닛형 Void
관련 항목	추상 자료형 자료 구조 인터페이스 원시 자료형 파생형 탬플릿 형 구성체 다형성