Azaleko sistemak eta haien aplikazio praktikoak ulertzea

Azaltzeko sistemak tresna matematiko ahaltsuak dira, zenbaki multzo bat azpimultzo multzo batek osorik estaltzen duela ziurtatzeko. Oso erabilgarriak dira konbinatorioetan, zenbakien teorian eta arazoen ebazpenean, non gutxieneko baliabideen estaldura maximizatzea ezinbestekoa den. Testuinguru akademikoetan askotan sartzen den arren, sistema estalgarriek aplikazio praktikoak dituzte, loteriaren diseinutik telekomunikazio-sarearen plangintzara. Artikulu honek gida sakona eskaintzen du sistemak estaltzera, oinarri matematikoak, diseinu-estrategiak, mundu errealeko erabilerak eta kontzeptu aurreratuak barne.

Zer da estaltze-sistema bat?

Estaldura-sistema progresio aritmetikoen bilduma bat da (edo, orokorrean, azpimultzoak), multzo handiago bateko elementu guztiak, normalean osokoak edo zenbaki natural sorta bat, progresio bat gutxienezkoa. Ideia nagusia zenbaki guztiak ahalik eta progresio gutxien erabiliz "estekatzea da. Adibidez, 2ko progresio-multzoa, 3ko multiploak eta 1} zenbaki bakarra tarte gutxi batzuetan izan ezik, baina sistema itxia izan daiteke.

Definizio formalak hondakin-klaseen modulo bat dakar, ]m . Progresio aritmetikoa {a ] + ]km |FLT:6]]k ∈ Z} gisa idatz daiteke, non m|FLT:9]] modulua den eta ]Km KKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKKK

Zergatik sistema-konponketari buruzko informazioa

Oinarrian, estaldura-sistemek oinarrizko galdera bati erantzuten diote: nola bermatu multzo bateko elementu guztiak gutxienez aukeratutako bilduma bateko kide batek ordezkatzen dituela? Galdera hau antolaketan, kodetze-teorian, sareko diseinuan eta jokoan sortzen da.

Azaleko sistemen atzean dauden matematikak

Bizileku-klaseak eta Moduli

osoko guztiak hondakin-klase batekoak dira, zehazki, ]m : 0, 1, ..., m -1. Estaldura-sistema batek hondakin-multzo bat hautatzen du, eta moduli bat hautatzen du, zenbaki guztiak hautatutako klase batean gutxienez erortzeko. Adibidez, 0 mod 2 (zenbakietan ere) eta 2 mod 1 (zenbakietan) progresioak hiru moduliz estaltzen ditu osokoak. Hala ere, erronka da, estaldura-kopurua modu eraginkorrean minimizatzeko.

Teorema Txinatarren geratzen den teorema, askotan, funtzio bat betetzen du sistema estalietan, modulu anitzen baldintzak konbinatzea baimentzen duelako. Bi moduli polizia badira, hondakin-klaseak elkarrekin gurutzatzen dira produktua modulo bakarrean. Propietate hau estaldura gainjarri eta tarteak saihesteko erabiltzen da.

Hortz-dentsitatea eta eraginkortasuna estaltzea

Estaldura-sistema baten eraginkortasuna bere dentsitate-dentsitatea estaltzen duen dentsitatearen arabera neurtzen da, estalitako zenbakien proportzioa. Estaldura perfektu batek dentsitate 1 du (zenbaki guztiak estalita). Praktikan, sarritan, zenbaki guztiak barruti jakin batean biltzen dituen sistema bat bilatzen dugu, progresio-kopuru txikienarekin.

  • ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇
  • Gainazal-erradioa: Edozein zenbakitatik hurbilenera dagoen zenbakira dagoen distantzia maximoa (hurbiltze-arazoetan garrantzitsua).
  • Erredundantzia: progresioen artean gainjartzen da, erredundantzia onargarria da, baina eraginkortasuna murrizten du.

Diseinuak gidatzen dituen teorem garrantzitsuak

Hainbat teoremak mugak eta existentzia ematen ditu estaltze-sistemetarako. Erdős-Selfridge teoremak dioenez, moduli guztiak bakoitiak eta karratuak ez badira, estaldura-sistema finitu batek ezin ditu osoko zenbaki guztiak estali, moduli ezberdinak ez badira. Ondorioz, hamarkadak eman zituen moduli karratua saihestuz. 2015ean, Bob Hough:3k frogatu zuen sistema moduli ezberdinak eta arbitrarioki handiak dituzten sistemak estaltzen dituztela, eta modulojua ez bada, modulu ireki bat sortzen laguntzen dutela.

Estaldura-sistema eraginkorrak diseinatzeko estrategiak

Algoritmo Greedyaren ikuspegia

Metodo sinple bat algoritmo gutiziatsua da: behin eta berriz hautatzen ditu zenbakirik zabalduenak estaltzen dituen progresio aritmetikoa (edo azpimultzoa), baina ez beti optimoa, heuristiko horrek emaitza onak ematen ditu. Adibidez, 1etik 100era zenbakiak estaltzeko, 2 (50 zenbaki) multiplo izan ditzakezu, eta orduan dagoeneko estalita ez dauden 3ren multiploak (17 zenbaki berri) eta zenbaki guztiak estali arte jarraitu.

Prime Moduli erabiltzea

Zenbaki lehenak diren moduliek estaldura eraginkorrak sortzen dituzte, beste zenbakiekin hondakin-klase gutxiago dituztelako. Emaitza ospetsu bat da moduli (lehen guztiak) desberdineko estaldura-sistema batek osotasun guztiak nahiko progresio gutxirekin estali ditzakeela. Hala ere, Erdős-Selfridge teorema ohartarazten du moduli guztiak bako eta karratuak badira, estaldura-sistema ezin dela finitu osoko guztiak estaltzen baditu, horrek arazo interesgarriak sortzen dituela.

Moduli ezberdinak konbinatzea

Estaldura maximizatzeko, nahastu bata bestearen multiploak ez diren moduliak. Adibidez, 2., 3. eta 5. moduliak 30. moduloko zenbaki guztiak estaltzen ditu, 1, 7, 11, 13, 17, 19, 23, 29 izan ezik (zenbakiak 2,3,5). Eta hondakin horietako baten progresioa gehituz gero, gainerako guztia estali daiteke. Geruzadun hurbilketa honek beharrezko progresio kopurua murrizten du.

Familia egituratuak: Eguzkiaren teorema

2015ean Zhi-Wei Sun matematikariak teorema bat argitaratu zuen estaltze-sistema guztiei buruz, non hondakin bakoitza behin bakarrik agertzen den. Sistema hauek dotoreak dira eta eraginkortasun handia lortzen dute. Adibidez, 24 osoko moduloaren estaldura uniforme bat dago 2.3.4.6.8.12.24 moduli erabiliz. Eraikuntza horiek balio handikoak dira erroreak antolatzeko eta zuzentzeko kodeetan.

Finketa iteratiboa eta ordenagailu bilaketa

Arazo konplexuetarako, eskuzko diseinua ez da zehatza. Ordenagailu bidezko bilaketak programazio lineala edo murriztapenen asebetetzea erabiliz estaldura-sistema optimoak aurki ditzake barruti jakin baterako. Kode irekiko softwarea, adibidez, GAP, diseinu konbinatorialetarako paketeak eta lineako kalkulagailuak (adibidez, dCode) tresna interaktiboak eskaintzen ditu. Tresna horiei aukera ematen diete helburu bat sartzeko eta hondakin sorta bat lortzeko, progresio minimoa lortzeko.

Nola diseinatu estaltze-sistema bat urratsez urrats

Diseinu oso bat egin dezagun 1etik 100era zenbakien ikuspegi sistematikoa erabiliz. Adibide honek arrazoiketa matematikoa eta kotizazio praktikoa erakusten ditu.

  1. Zure helburu-multzoa zerrendatzeko: 1etik 100era zenbakiekin hasten da.
  2. Oinarrizko modulu bat aukeratu: 2 modulu (zenbakietan ere) hasi. Honek 50 zenbaki ditu (2,4,...100).
  3. 3,9,9,99 progresioak 33 zenbaki ditu, baina 16 bikoitiz estaliak daude, eta beraz, 17 zenbaki berri irabaziko dituzu (3,9,15,99).
  4. Gehitu modulu 5: 5eko 5eko 5eko 5eko 5eko zenbakien multiploak (5,10,...100)) 13 estalita daude dagoeneko, 7 zenbaki berri (5,15,25,...,95) irabaziz.
  5. 7,21,49,63,77,91 zenbaki berriak irabaziz (7,21,35,49,63,77,91), baina 7,21,35,49,63,77,91? Izan ere, gainjarrizpena: 2,3,5eko haurrak. Berria: 7,49,77,91? Zenbatu: 7tik 98ra: 14 zenbaki.
  6. Jarraitu moduli 11, 13, 17, 19, 23:1 zenbakiarekin, bakoitzak zenbaki gehiago gehitzen ditu. Orain konposatu gehienak estali dituzu. Geratzen diren zenbakiak zenbaki lehenak dira eta 1: 1, 11, 13, 17, 19, 23, 29, 31, 37, 43, 47, 53, 59, 61, 71, 73, 79, 83, 89, 97.
  7. xxxxx
  8. 1.100erako sistema oso minimo batek 12-15 progresio inguru erabiltzen ditu, metodoaren arabera. Ordenagailu-bilaketa gutiziatsu batek 14 progresio dituen irtenbidea ematen du.

Urratsez urrats, argi dago nola eraikitzen diren estaldura-sistemak, eta gakoaren ulermena: moduli-ren geruza progresiboak zenbaki gehien biltzen ditu, eta, ondoren, hondakin-progresio espezifikoen multzo txiki batek besteak batzen ditu.

Mundu errealeko aplikazioak estalketa-sistemetan

Loteria eta joko-diseinuak

Loteriaren estaldura-sistema batek gutxienez txartel irabazle bat bermatzea du helburu, berdinketa-zenbaki jakin bat parekatzen bada. Adibidez, "5-out-of--6" estaldura-sistema batek ziurtatzen du 6 zenbaki zuzen badituzu, gutxienez txartel bat irabazten baduzu. Sistema horiek dirua aurrezten dute, saria irabazteko probabilitate handia mantenduz. Lineako loteria-elkarte askok estaldura-sistemak erabiltzen dituzte estaldura maximizatzeko. Sistema horien atzean dauden matematikak sistema berdinei dagozkienak dira, "progress" eta "progions" txartelak konbinatuz izan ezik.

Kirol-plangintza

Txapelketatan, talde bakoitzak beste talde bat jotzen duela ziurtatzen du. Txapelketa handiagoetan, joko gutxiago dituzten sistemak erabiltzen dira lekuaren erabilgarritasuna edo bidaiaren distantzia bezalako mugak asetzeko. Adibidez, "blokearen diseinu osatugabea" talde bakoitza partidu jakin batzuetan batera agertzeko sistema da, eta partida kopuru baxua mantentzen da.

Telekomunikazioak eta sareko diseinua

Sistema estaltzaileak maiztasun-esleipeneko arazoetan agertzen dira, oinarrizko estazioek eskualde bateko erabiltzaile guztiak estali behar dituzten tokian. Estaldura-eremuak eredu aritmetiko gisa modelatzen badira (adibidez, aldizkako ereduak dituzten gelaxkak), ingeniariek transmisoreak era eraginkorrean jar ditzakete. Era berean, akatsak zuzentzeko sistemak erabiltzen dituzte, Hamming kodeek bezala, bit bakarreko erroreak zuzentzeko, jasotako hitz bakoitza kode baten inguruko esfera bakar batek estaltzen duela ziurtatuz.

Datuen konpresioa

Datuen konpresioan, sistemak babesten ditu kode bitar bat esleitzen zaion kode bat eraikitzeko, eta kode-kateek luzera jakin bateko sekuentzia bitar posible guztiak estaltzen dituzte. Huffman kodeketari eta kode aritmetikoari buruzkoa da. Zehazki, aurrizki-kode bat zuhaitz bitar baten hostoen estalkiaren gisa ikus daiteke, orri bakoitza kode bati dagokion hitz-kode bati dagokion lekuan.

Fabrikazioa eta kalitate kontrola

Fabrikazioan, estaltze-sistemak erabiltzen dira konbinaketa-probarako. Ezaugarri anitz dituen produktu bat probatzean, ziurtatu behar duzu ezaugarri-balioen konbinazio bakoitza gutxienez proba-kasu batek estaltzen duela. Ezaugarri-balio-bikoteen lekua estaltzen duen sistema baten berdina da. Azaltze-matrizea (proba-kasuen matrizea) estaldura-sistemaren kontzeptuaren aplikazio zuzena da, ingeniariek proba-kopurua murrizten laguntzen dute, eta, bien arteko elkarrekintzak mantentzen dituzte.

Gai aurreratuak eta arazo irekiak

Integer guztien estaldura-sistema minimoak

Ba al dago moduli argi eta finitua duen estaldura-sistemarik? Erdősek posatutako arazo ospetsua da. Erantzuna ez da guztiz ezaguna. 1950ean, Paul Erdősek galdetu zuen ea moduli guztiak desberdinak diren eta modulurik txikienak arbitrarioki handiak diren. Horrek, era berean, sistemarik ez dagoela adierazi zuen, eta horrela, sistema informatikoak aurkitu nahi dituen konplexutasun-modulaturik handienaren eta konplexutasun-sistemarik handienaren artean aurkitu da.

Gapsa aurkitzea: ezkutuko multzoen azterketa

Zenbaki osoak estaltzeko asmorik ez duten estaltze-sistema praktikoetan, zenbakien multzoa aztertzea garrantzitsua da. Adibidez, 1etik 100era zenbaki gutxi gora-beherako zenbakiez estali nahi badituzu, banaka gehi daitezkeen zenbaki sorta txiki bat utz dezakezu.

Arazoak estaltze-sistemetan

  • Erdősen arazoa: Ba al dago modulurik argi eta zabalenekin estaldura-sistemarik? (2015ean Houghek emandakoa, baina erlazionatutako galdera asko geratzen dira)
  • Moduli-ren gutxieneko kopurua: Zein da osoko zenbaki guztiak estaltzen dituen estaldura-sistemako moduli-kopuru minimoa? Uneko erregistroak 20 moduli inguru ditu.
  • Beste egitura batzuen analogiak: estaldura-sistemak osokoak ez diren taldeentzat defini daitezke (adibidez, eremu finituak, lattikoak). Aplikazio hauek kriptografian dituzte.

Akats arruntak eta erroreak

Estaldura-sistemak diseinatzean, saihestu maiz egiten diren errore hauek:

  • Moduli ezberdinak beti laguntzen duela suposatuz: batzuetan moduli errepikatua, hondakin desberdinekin, eraginkorragoa izan daiteke, batez ere barruti txikietarako.
  • Ezikusi egiten die Txinako Errege-erreginen Teoremoari: Progresioen artean gainjartzea ez da ausazkoa; abantailarako erabil ditzakezun aurreikuspen ereduak jarraitzen ditu.
  • Hasierako urratsak gainjarriz: algoritmo gutiziatsuarekin hasten da, eta oso gutxitan sortzen du gutxieneko absolutua, baina findu daitekeen oinarri sendo bat ematen du.
  • Muga-baldintzarik ez dago kontuan: barruti mugatu bat estaltzen duzunean, ziurtatu progresioak ez direla barrutitik oso urrun hedatzen, estaldura galtzen.

Azaleko sistema nagusiak

Sistemaren estaldurak ulertzeak arrazoiketa matematikoa eta arazoak ebazteko trebetasunak hobetzen ditu. Arazo handi bat nola apurtu osagai kudeagarri eta gainjargarrietan, gaitasun baliotsua informatikan, eragiketetan eta ingeniaritzan. Hezitzaileek, estaltze-sistemek, zenbaki abstraktuen teoria-kontzeptuen adibide zehatza ematen dute, ikasleei eskuragarri bihurtuz.

Balio nagusiak hauek dira:

  • Resource optimizazioa: Erabili elementu minimoak multzo bat estaltzeko, denbora eta kostua mundu errealeko aplikazioetan aurrezteko.
  • Petrifikazioa: Intuizioa garatu, zenbakiak hondakin-klaseetan nola banatzen diren ikusteko, kriptografian eta kodetze-teorian erabilgarria.
  • Diziplinarteko aplikazioak: 1. Txapelketako programazioan, komunikazio-sare eraginkorrak diseinatzeko, sistema estaliak eremu askotan agertzen dira.

Irakurketa eta erreferentzia gehiago

Sakonago murgiltzeko interesa dutenentzat, honako baliabideek informazio zabala ematen dute estaldura-sistemei buruz:

  • ↑ (Ingelesez) «Azterketa sistema» - Ikuspegi orokorra testuinguru historikoarekin eta adibideekin.
  • Aurkitu sistema estaliei buruzko artikulua. - Aplikazio modernoen xehetasunak ematen dituen aldizkari akademikoa.
  • ]MathOverflow: Covering Systems - Open problemen eztabaidak.
  • ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇

Ondorioa:

Estaldura-sistemak zenbaki-teoriaren, konbinatoriaren eta optimizazio praktikoaren arteko elkargune liluragarriak dira. Loteria-saria sare desegokiak diseinatzeko eta aztertzeko balio handia du, nahi diren elementu guztiak baliabide minimoekin estaltzeko kontzeptua. Estaldura-sistemak diseinatzen eta aztertzen ikasiz, balio handiagoa lortzen duzu zenbakien egiturarako eta diziplina askotan aplika daitezkeen trebetasunak garatzeko. Ikaslea, irakaslea edo profesionala zaren ala ez, estaldura-sistemak aztertzeak estaldura eta eraginkortasunari buruzko pentsamendu-modu berriak ireki ditzake.