Covering Systems를 사용하여 수 적용을 극대화하는 방법

Covering System 및 그 실제 응용 분야의 이해

이 문서는 모든 문서에 대한 정보를 포함, 모든 문서는 문서의 모든 소스에 포함, 문서의 모든 소스를 포함, 문서의 모든 소스를 포함, 문서의 모든 소스를 포함, 문서의 모든 소스를 포함, 문서의 모든 소스를 포함, 문서의 모든 소스를 포함, 문서의 모든 소스를 포함, 문서의 모든 소스를 포함, 문서의 모든 소스를 포함, 문서의 모든 소스를 포함, 문서의 모든 소스를 포함, 문서의 전체 소스를 포함, 문서의 전체 소스, 문서의 전체 소스, 문서의 전체 소스, 문서의 전체 소스, 문서의 전체 소스, 문서의 전체 소스, 문서의 전체 소스, 문서의 소스, 문서의 소스, 문서의 소스, 문서의 소스, 문서의 소스, 문서의 소스, 문서의 소스, 문서의 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스, 소스

Covering System이란?

덮음 시스템은 arithmetic 진도 (또는 더 일반적으로, subsets)의 수집으로 큰 세트의 모든 요소는 본질적으로 정수 또는 자연 숫자의 범위는 진도의 적어도 하나에 달려 있습니다. 주요 아이디어는 "복"에 가능한 한 몇 가지 진도로 효율적으로 모든 숫자입니다. 예를 들어, 진도 {multiples of 2, 다중 3, 그리고 단일 번호 1은 숫자를 커버하지만 30}를 제외한 30 가지 시스템을 제외하고는 30 가지를 포함합니다. 그러나, 그 간격을 제외하고는 30 가지를 제외하고는 30 가지를 제외하고는 30 가지를 포함합니다.

지정된 정의는 잔류물 클래스 modulo m을 포함한다. arithmetic 진행은 {a] + km]|]]k] Δ Z}, where m[LT:9]]]]]]의 모든 변경은 다음과 같다.

왜 덮는 체계 Matter

이 웹 사이트는 귀하가 웹 사이트를 탐색하는 동안 귀하의 경험을 향상시키기 위해 쿠키를 사용합니다. 이 쿠키들 중에서 필요에 따라 분류 된 쿠키는 웹 사이트의 기본적인 기능을 수행하는 데 필수적이므로 브라우저에 저장됩니다. 또한이 웹 사이트의 사용 방식을 분석하고 이해하는 데 도움이되는 제 3 자 쿠키를 사용합니다. 이 쿠키는 귀하의 동의하에 만 브라우저에 저장됩니다. 이러한 쿠키를 거부 할 수도 있습니다. 이러한 쿠키 중 일부를 선택 해제하면 검색 환경에 영향을 미칠 수 있습니다.

The Mathematics 뒤에 덮는 체계

잔류물 종류 및 Moduli

모든 정수는 정확히 하나의 잔류물 클래스 modulo에 속한다 m]: 그 congruent 에 0, 1, ..., ]m]−1. 덮음 시스템은 잔류물과 moduli의 세트를 선택하여 모든 정수는 최소 1개의 선택 클래스로 떨어졌다. 예를 들어 진행 0 mod 2(even number) 및 1 2(dll)을 사용하여 모든 정수는 두 가지 도전을 최소화하는 데 필요한 범위의 범위가 있습니다. 그러나, 두 가지는 모두는 두 가지 도전을 최소화하는 데 필요한 범위가 있습니다.

중국 Remainder Theorem은 종종 여러 modulus 조건의 조합을 허용하기 때문에 덮는 시스템에 역할을합니다. 두 moduli이 coprime이라면, 독특한 클래스 modulo의 잔류물 클래스 인터스펙트가 제품입니다. 이 속성은 손상을 생성하고 격차를 방지하는 데 사용됩니다.

적용 조밀도와 효율성

커버 시스템의 효율성은 ]covering density]- 커버된 숫자의 비율에 의해 측정됩니다. 완벽한 커버는 밀도 1 (덮여있는 숫자)를 가지고 있습니다. 실제로, 우리는 종종 진도의 가장 작은 숫자로 특정 범위 내에서 모든 숫자를 커버하는 시스템을 목표로합니다. 이것은 minimal 커버 시스템로 알려져 있습니다.

Minimal system: 연속 정수를 커버해야 하는 가장 작은 마취 진도.
Covering 반경: 가장 가까운 커버 번호에서 가장 가까운 커버 번호까지 최대 거리 (약 문제에서 의존).
Redundancy: 진행 중의 오버랩은 허용하지만 효율성을 감소시킵니다.

중요 Theorems 그 가이드 디자인

몇몇 이론은 체계 덮음을 위한 경계 그리고 존재 결과를 제공합니다. Erdős-Selfridge theorem]는 모든 moduli가 확률이 있고 squarefree인 경우에, finite 덮음 체계는 moduli가 명백하지 않는 한 모든 정수를 커버할 수 없습니다. 이 결과, squarefree moduli을 피하기 위하여 연구의 십년간을 뿌려 놓습니다. 2015년에, Bob HLT[LT:][FLT:]][FLT:]][FLT:]]]]]]

효율적인 덮는 시스템을 설계하기위한 전략

Greedy Algorithm 접근

1개의 straightforward 방법은 그리스 알고리즘입니다: 반복적으로 가장 발견되지 않은 숫자를 포함하는 arithmetic 진행 (또는 subset)를 선정합니다. 항상 최선이 아니지만, 이 허리스틱은 종종 좋은 결과를 생성합니다. 예를 들어, 숫자 1에서 100을 커버하기 위해, 당신은 이미 (17개의 새로운 숫자)를 커버하지 않는 3의 다수를 시작할지도 모릅니다, 그리고 모든 숫자가 덮을 때까지 계속.

Prime Moduli를 사용

다른 주요 요소와 함께 몇 번 오버랩을 덮는 잔류물 클래스를 가지고 있기 때문에 주요 숫자는 종종 효율적인 덮음을 생산하는 데 사용됩니다. 유명한 결과는 명백한 moduli (모든 주요)과 덮음 시스템이 상대적으로 적은 몇 가지 진행으로 모든 정수를 다룰 수 있다는 것입니다. 그러나, Erdős-Selfridge theorem 모든 moduli이 확률이 높고 사각형없는 경우, 덮음 시스템은 모든 흥미로운 문제를 해결할 수 없습니다.

다른 Moduli를 결합

적용을 극대화하려면 moduli을 서로 여러 가지가 아닙니다. 예를 들어 moduli 2, 3 및 5을 결합하면 모든 숫자 modulo 30을 제외한 1, 7, 11, 13, 17, 19, 23, 29 (숫자 coprime ~ 2,3,5)를 포함합니다. 그런 잔류물 중 하나에 대한 진행을 추가하면 나머지를 커버 할 수 있습니다. 이 계층 접근은 필요한 총 진도를 줄일 수 있습니다.

구조화 된 가족 : 태양의 Theorem

2015 년 mathematician Zhi-Wei Sun은 [FLT : 0]]에 theorem을 출판했습니다. 모든 잔류물이 정확히 한 번 나타납니다. 이 시스템은 우아하고 종종 고효율을 달성합니다. 예를 들어, 모든 정수 modulo 24의 균일 한 커버는 moduli 2,3,4,6,8,12,24를 사용하여 존재합니다. 이러한 구조는 스케줄링 문제 및 오류 수정 코드에 귀중한 것입니다.

복잡한 문제의 경우, 수동 디자인은 실종입니다. 인테거 선형 프로그래밍 또는 제약 만족을 사용하는 컴퓨터 검색은 주어진 범위에 최적의 커버 시스템을 찾을 수 있습니다. GAP]와 같은 오픈 소스 소프트웨어에는 combinatorial 디자인, 온라인 계산기 (예: ]dCode])가 상호 작용하는 도구를 제공합니다. 이 도구는 대상 범위와 최소 잔류 물량의 범위와 최소 잔류 물량을 입력 할 수 있습니다.

단계별 커버 시스템 설계 방법

시스템 접근법을 사용하여 1 ~ 100을 덮는 완벽한 디자인을 통해 걸어 봅시다. 이 예제는 수학적인 사고와 실제 거래가 모두 보여줍니다.

]대상 집합을 나열합니다:] 숫자 1에서 100을 통해 시작하십시오.
베이스 계수를 계산: modulus 2 (일부 번호)로 시작한다. 이 커버 50 숫자 (2,4,...,100).
modulus 3: 진행 3,6,9,... 33 숫자를 다루지만 16는 이미 17개의 새로운 숫자(3,9,15,...,99)를 얻고 있습니다. 이제는 67개의 숫자를 덮습니다.
modulus 5: 5(5,10,...,100)의 여러 커버. 13 이미 커버, 7 새로운 숫자 (5,15,25,...,95)를 얻을. 지금 포함: 74.
modulus 7: 이득 5 새로운 숫자 (7,21,35,49,63,77,91 — 하지만 7,21,35,49,63,77,91? 실제로 체크 오버랩: 2,3,5의 어린이. 새로운: 7,49,77,91? compute: 7의 다수 7에서 98: 14의 숫자. 이미: 14의 여러 가지 이익 (7),79. (이),79.
moduli 11, 13, 17, 19, 23 : 각각 몇 가지 더 많은 번호를 추가합니다. 이제까지 당신은 대부분의 복합물을 덮었습니다. 나머지 발견되지 않은 숫자는 총 1 : 1, 11, 13, 17, 19, 23, 29, 31, 37, 41, 43, 47, 53, 59, 61, 67, 71, 73, 79, 83, 89, 97입니다. 그것은 22 숫자입니다.
각종의 골절을 덮어:] 1(예: 1 mod 100)을 정확히 다루는 진행을 추가하고, 11, 기타를 위해 또 다른 한 번. 그러나 그 효율이 높습니다. 더 나은: 잔여 시스템을 사용. 예를 들어, modulus 30 및 잔류물 1 (덮음 1,31,61,91), 그 잔류물 11 (덮음 11,41,71), 1747, 1747, 1747, 1777, 1777, 1777, 30, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777, 1777
낙관: 은 최소 시스템 1..100 에 대한 사용 12-15 진행 총, 에 따라 방법. greedy 컴퓨터 검색 사용량을 활용 14 진행.

이 단계별 단계별은 덮는 시스템이 incrementally 내장 된 방법을 보여줍니다. 주요 통찰력 : moduli의 진보적 인 층은 대부분의 번호를 청소하고, 잔류물 별 진도의 작은 세트가 나머지를 움직입니다.

Covering Systems의 실제 응용

복권 및 도박 디자인

가장 인기있는 응용 프로그램은 복권 커버 디자인에 있습니다. 복권 커버 시스템은 특정 숫자가 일치하면 적어도 하나의 우승 티켓을 보장하는 것을 목표로합니다. 예를 들어, "5-out-of-6" 커버 시스템은 당신이 6 숫자가 정확하다는 것을 보증합니다. 이 시스템은 상금을 높을 수 있도록 필요한 티켓의 번호를 줄이면서 돈을 절약합니다. 많은 온라인 복권 동기화 시스템은 다음과 같은 기능을 포함합니다. "이 시스템은 다음과 같은 기능을 제외하고 "이 시스템의 동일한 표에 대한 동일한 표의 범위를 설정하고 있습니다. "이 시스템은"이 시스템의 조합을 제외하고는이 시스템의 동일한 표의 조합을 제외하고는이 시스템의 조합을 포함합니다.

스포츠 일정

토너먼트에서, 덮는 시스템은 각 팀이 다른 팀에게 특정 번호의 시간을 재생한다는 것을 보증합니다. round-robin Tournament]는 각 팀이 한 번씩 경기하는 덮는 체계입니다. 더 큰 토너먼트를 위해, 몇몇 게임은 장소 가용성 또는 여행 거리 같이 constraints를 만족시키기 위하여 이용됩니다. 예를 들면, “밸런스 불완전한 구획 디자인”는 팀의 각 쌍을 지키는 덮는 체계의 유형은, 경기 수를 가진 일치를 지키는 그러나, 경기 수를 지키는 것을 계속합니다.

통신 및 네트워크 설계

햄밍 코드는 햄밍 코드가 덮어있는 코드가 특정 코드에 포함되지 않는 경우, 햄밍 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 덮어있는 코드가 섞어있는 코드가 섞어있는 경우 섞어있는 코드가 섞어있는 경우 버리는 코드가 버리

데이터 압축

데이터 압축에서, 덮음 시스템은 설계 prefix-free codes]를 설계하여 평균 코드 길이를 최소화합니다. 덮음 시스템의 개념은 모든 소스 기호가 고유한 바이너리 문자열을 할당하고, 코드 문자열은 특정 길이의 가능한 바이너리 스탬프를 커버하는 코드입니다. 이 Huffman 코딩 및 리듬 코딩에 대한 의존. 더 구체적으로, 접두사 코드는 최소의 길이의 모든 가능한 바이너리 스탬프를 포함, 즉석 코드의 기본 코드의 배열을 볼 수 있습니다.

제조 및 품질 관리

제조에서, 덮는 체계는 combinatorial 테스트를 위해 이용됩니다. 다수 특징을 가진 제품을 시험할 때, 당신은 특징 가치의 각 조합이 적어도 1개의 시험 케이스에 의해 덮는다는 것을 보증할 필요가 있습니다. 이것은 특징 가치 쌍의 공간에 덮는 체계와 동일하. 덮는 배열 (테스트 케이스의 매트릭스)는 덮는 체계 개념의 직접적인 신청이고, 엔지니어는 모든 쌍방향 (또는 더 높은 순서) 상호 작용의 유지를 위한 동안 시험의 수를 감소시킵니다.

고급 주제 및 오픈 문제

모든 Integers의 최소 덮는 체계

모든 moduli에 대한 덮음 시스템이 존재하고 finite? 이것은 Erdős에 의해 구성 된 유명한 문제입니다. 대답은 완전히 알려져 있지 않습니다. 1950에서 Paul Erdős는 moduli이 모든 명백하고 가장 작은 계수가 arbitrarily 큰 인 덮음 시스템이 있는지 묻습니다. 이것은 Erdős–Selfridge conjecture]에 대한 이론과 같은 문제의 존재를 발견했다. 그러나, HFB는 2015 년 3 가지 이론과 같은 문제의 존재를 발견했다. ]]Erdős-Selfridge conjecture[FLT:].

개를 덮어: 발견되지 않은 세트의 연구

모든 정수를 커버하는 것을 목표로하지 않는 실용적인 덮는 시스템은 발견되지 않은 숫자 세트를 중요하게 분석합니다. 예를 들어, 숫자 1을 가장 적은 진행으로 100을 커버하려는 경우, 개별적으로 추가 할 수있는 작은 발견 된 숫자를 떠날 수 있습니다. covering 반경]은 시스템의 얼마나 완벽한지 측정합니다. 연구자들은 최소한의 덮음 시스템을 계산하기 위해 알고리즘을 개발했습니다. ]]covering 반경]]은 시스템의 범위에 사용되는 MathLT:]]의 특정 범위에 사용되는.[FLT:]]

Covering Systems에서 문제점을 엽니 다

Erdős 문제: 모든 moduli과 가장 작은 modulus arbitrarily 큰 덮음 시스템이 존재합니까? (2015년 Hough에 의해 해결되었지만 많은 관련 질문은 남아 있습니다.)
moduli의 최소 수: 모든 정수를 포함하는 덮는 체계에 moduli의 최소 가능한 수는 무엇입니까? 현재 기록은 20 moduli의 주위에 있습니다.
]다른 구조에 대한 아날로그: 덮는 체계는 그룹을 위해 정의될 수 있습니다 integers (예를들면, finite 필드, lattices). 이 암호학에 있는 신청이 있습니다.

일반적인 실수와 Pitfalls

덮음 체계를 디자인할 때, 이 빈번한 과실을 피하십시오:

은 항상 돕는 명백한 moduli를 조율합니다:] 다른 잔류물과 가진 때때로 반복한 moduli는, 특히 작은 범위를 위해 능률적일 수 있습니다.
중국 재마인더 소르em을 무시:] 진행 중의 오버랩은 임하지 않습니다; 그것은 당신의 장점에 사용할 수있는 예측 가능한 패턴을 따릅니다.
Overcomplicating 초기 단계: 그리스 알고리즘을 시작. 그것은 거의 최소한을 생산하지만, 그것은 세련된 될 수있는 강력한 기본을 제공합니다.
Neglecting boundary 조건:] 의 범위를 덮을 때, 당신의 진전이 범위를 넘어 멀리 확장하지 않는지 확인, 적용.

Mastering Covering 시스템의 이점

덮음 시스템은 수학적인 사고와 문제 해결 능력을 향상시킵니다. 그들은 컴퓨터 과학, 운영 연구 및 공학에 귀중한 기술이 관리, 과잉 구성 요소에 큰 문제를 해결하는 방법을 가르칩니다. 교육자에 대한 덮음 시스템은 학생들에 접근 할 수있는 초록 수 이론 개념의 구체적인 예를 제공합니다.

주요 이점은 다음을 포함합니다:

ResourceOptimize: 은 최소 요소로 설정, 저장 시간 및 실제 응용 분야에서 비용.
Pattern인식: 잔류물 종류, 유용한 ingraphy 및 코딩 이론에 따라 배포되는 방법에 대한 수업을 개발합니다.
Interdisciplinary application: 토너먼트에서 효율적인 통신망을 설계하기 위해, 덮는 시스템은 많은 분야에서 나타났습니다.

더 읽기 및 참고

다이빙 심층에 관심이 있는 분들은 다음 리소스는 덮음 시스템에 대한 광범위한 정보를 제공합니다.

Wikipedia: Covering System – 과거의 상황에 대한 종합적인 개요 및 예.
산업용 연구 기사 – 현대 응용 분야의 학술지.
MathOverflow: Covering Systems – 개방적인 문제의 토론.
OEIS Wiki on Covering Systems – 순서와 더 많은 참조에 대한 링크.