On-Line Encyclopedia of Integer Sequences | |
---|---|
URL | oeis.org |
Webhely típusa | Internetes lexikon és online adatbázis [d] |
Szerző | Neil Sloan |
A munka kezdete | 1996 |
Jelenlegi állapot | művek |
Médiafájlok a Wikimedia Commons oldalon |
Az On-Line Encyclopedia of Integer Sequences ( OEIS ) egy online lexikon , amely egész számok sorozatairól tartalmaz bejegyzéseket , például Fibonacci-számokat , Bell -számokat , katalán számokat , prímszámokat [1] . A wiki elve szerint van kitöltve előzetes moderálással.
Az OEIS-t Neil Sloan hozta létre az AT&T Labs -nál végzett kutatómunkája során . 2009 októberében Sloan átadta az OEIS szellemi tulajdonát és tárhelyét az OEIS Alapítványnak [2] [3] [4] . Sloan 2021-ig az OEIS Alapítvány elnöke volt, amikor is Russ Cox [3] [5] váltotta őt .
Az OEIS olyan egész sorozatokról tárol információkat, amelyek érdekesek mind az amatőrök , mind a matematika, kombinatorika , számelmélet, játékelmélet, fizika, kémia, biológia, számítástechnika területén [4] [6] . 2022-re több mint 350 000 szekvencia van tárolva az adatbázisban [7] .
Az OEIS bejegyzése tartalmazza a sorozat első elemeit, kulcsszavakat , matematikai leírást, szerzők nevét, irodalmi hivatkozásokat; lehetőség van grafikon ábrázolására vagy a sorozat zenei megjelenítésére. Az adatbázisban lehet keresni kulcsszavak és alsorozat szerint [3] [4] [8] .
Nyilvánvalóan az OEIS első említése orosz nyelven Konstantin Knop "Számok enciklopédiája" című cikke volt, amely a Computerra folyóiratban jelent meg 1998 februárjában, és az online enciklopédia "papír" elődjének első említése Martin Gardner "A számok enciklopédiája" volt. Catalan Numbers", amely a Quant folyóiratban jelent meg 1978 júliusában [8] [9] .
Neil Sloan 1964-1965-ben kezdett egész számsorozatokat gyűjteni a Cornell Egyetem végzős hallgatójaként kombinatorikai kutatásaival kapcsolatban . Kezdetben az adatbázist lyukkártyákon tárolták [3] [4] [10] [11] .
Az adatbázis kétszer jelent meg nyomtatott formában:
A könyveket jól fogadták, és különösen a második kiadás után Sloan folyamatosan új sorozatokat kapott a matematikusoktól. A gyűjtemény könyv formájában történő karbantartása lehetetlenné vált, és Sloan úgy döntött, hogy először e-mail szolgáltatásként (1994. augusztus), majd weboldalként (1996) közzéteszi az adatbázist az interneten. A The Encyclopedia of Integer Sequences [11] című könyv részben ezt mondja:
Az Enciklopédia két online változata érhető el e-mailben. Az első egy egyszerű keresőszolgáltatás, míg a második mindent megtesz, hogy magyarázatot találjon a sorozatra. (...) A második szerver nem csak a sorrendet keresi a táblázatban, hanem magyarázatot is keres rá, a fejezetben leírt trükkök közül sok.
Eredeti szöveg (angol)[ showelrejt] Az Enciklopédia két online változata érhető el elektronikus levélben. Az első egy egyszerű keresési szolgáltatás, míg a második nagyon keményen próbál magyarázatot találni egy sorozatra. (...) A második szerver nem csak a sorrendet keresi a táblázatban, de igyekszik magyarázatot is találni rá, sok, ebben a fejezetben leírt trükköt bevetve...Az adatbázis folyamatosan növekszik évi 10 000-18 000 rekord körüli ütemben [3] [4] . Az adatbázisban végzett munkájaként Sloan 1998-ban megalapította a Journal of Integer Sequences folyóiratot [13 ] . Sloan közel 40 évig személyesen szerkesztette az enciklopédiát, először papíron, majd elektronikusan, de 2002 óta önkéntes szerkesztők közössége segíti [4] [14] [15] .
2004-ben a 100.000. szekvenciát, az A100000-et hozzáadták az OEIS-hez, megszámolva Ishango csontjain lévő bevágásokat [16] . 2006-ban a felhasználói felületet teljesen újratervezték, további keresési lehetőségekkel. 2010-ben létrehozták az OEIS wikit [17] [18] , hogy megkönnyítsék a szerkesztők és a közreműködők közötti együttműködést . A 200 000. sorozat, az A200000, 2011 novemberében lett hozzáadva; eredetileg A200715 néven írták be, de a SeqFan levelezőlistán [19] [20] folytatott egy hét vita után átkerült az A200000-be , amit Charles Grathouse, az OEIS főszerkesztője követett egy speciális szekvencia kiválasztására, mint A200000 [ 20]. 21] .
Az egész számok sorozatain kívül az OEIS törtsorozatokat , transzcendentális számok számjegyeit , komplex számokat tartalmaz , amelyeket így vagy úgy egész sorozatokká alakítanak át.
A racionális számok sorozatait a kulcsszóval jelölt sorozatpár reprezentálja frac: számlálók sorozata és nevezők sorozata. Például az ötödik rendű Farey sorozat
számlálók sorozataként ábrázolva
1, 1, 1, 2, 1, 3, 2, 3, 4 ( A006842 )és a nevezők sorozatai
5, 4, 3, 5, 2, 5, 3, 4, 5 ( A006843 ).Az irracionális számok számsorozatként lépnek be az OEIS-be. Tehát a π = 3,1415926535897… szám az OEIS-ben így található:
Az OEIS történetének nagyon korai szakaszában olyan szekvenciákat javasoltak, amelyeket magában az OEIS-en belüli szekvenciaszámozással határoztak meg. Ahogy Sloan emlékszik,
Sokáig nem tudtam hozzáadni ezeket a szekvenciákat, részben az adatbázis hírnevének megőrzése miatt, részben azért, mert csak 11 A22-es elemet ismertem!
Eredeti szöveg (angol)[ showelrejt] Sokáig ellenálltam ezeknek a szekvenciáknak a hozzáadásának, részben az adatbázis méltóságának megőrzése érdekében, részben pedig azért, mert az A22-t csak 11 kifejezés ismeri! – NJA Sloane, Kedvenc egész sorozataim [22]Az egyik első önreferencia szekvencia az OEIS-ben az A031135 (később A091967 ) volt " a ( n ) = az A n sorozat n számú eleme ". Ez a szekvencia ösztönözte az A000022 sorozat új elemeinek keresését . Egyes sorozatok végesek (kulcsszó ) és teljes mértékben reprezentáltak (kulcsszó ); az ilyen sorozatok nem tartalmaznak olyan elemet, amely megfelelne az OEIS-ben szereplő sorszámnak, és az A091967 sorozat megfelelő eleme nincs definiálva (az első ilyen eset akkor fordul elő, ha n = 53). finifull
Az OEIS 2011-ig az egyszerű ASCII szövegre korlátozódott. A beviteli szövegek gyakran a matematikai jelölés lineáris formáját használják ( f ( n ) a függvényekhez, n a változókhoz stb.). A görög betűket általában teljes névvel írják. Minden sorozatazonosító latin A betűvel kezdődik, amelyet hat számjegy követ (például A000315). A sorozat egyes elemeit vessző választja el. A számcsoportok semmilyen módon nincsenek elválasztva. Megjegyzésekben és képletekben a sorozat na(n) számú elemét jelöli .
A nullát gyakran használják egy sorozat nem létező elemeinek jelölésére. Például az A104157 sorozat felsorolja "az n 2 egymást követő prímszám közül a legkisebbet, amelyek egy n × n varázsnégyzetet alkotnak minimális varázsállandóval , vagy 0-t, ha nem létezik ilyen varázsnégyzet". a (1)=2 ; a (3) = 1 480 028 129 ; azonban nincs 2 × 2 mágikus négyzet az egymást követő prímekből, ezért a (2) = 0 .
Néha a −1-et ugyanarra a célra használják, mint az A094076 sorozatban .
Az OEIS fenntartja a szekvenciák lexikográfiai sorrendjét; így minden sorozatnak van egy előzménye és egy következő sorozata (egy "kontextusa"). A kezdő nullákat, egyeseket és az elemjeleket általában elhagyják a normalizálás céljából.
Példaként vegye figyelembe a következő sorozatokat:
A kiválasztott töredékek kimaradnak a szekvencia "kontextusának" meghatározásakor.
Az A046970 bejegyzés került kiválasztásra, mert az tartalmazza az összes olyan mezőt, amelyet az OEIS bejegyzései tartalmazhatnak.
A046970 Riemann Zeta függvényből generálva: együtthatók a Zeta(n+2)/Zeta(n) sorozatkiterjesztésében. 1, -3, -8, -3, -24, 24, -48, -3, -8, 72, -120, 24, -168, 144, 192, -3, -288, 24, -360, 72, 384, 360, -528, 24, -24, 504, -8, 144, -840, -576, -960, -3, 960, 864, 1152, 24, -1368, 1080, 1344, 7 -1680, -1152, -1848, 360, 192, 1584, -2208, 24, -48, 72, 2304, 504, -2808, 24, 2880, 144, 2880, 2580, -56 OFFSET 1.2 MEGJEGYZÉSEK B(n+2) = -B(n)*((n+2)*(n+1)/(4pi^2))*z(n+2)/z(n) = -B(n) )*((n+2)*(n+1)/(4pi^2))*Összeg(j=1, végtelen) [ a(j)/j^(n+2) ] ... IRODALOM M. Abramowitz és IA Stegun, Handbook of Mathematical Functions, Dover Publications, 1965, pp. 805-811. LINKEK M. Abramowitz és IA Stegun, szerk., Handbook of Mathematical Functions, National Bureau of Standards, Applied Math. 55. sorozat, tizedik nyomat, 1972 [alternatív szkennelt másolat]. Wikipédia, Riemann zéta függvény. FORMULA Szorzó, ahol a(p^e) = 1-p^2. a(n) = Összeg_{d|n} mu(d)*d^2. a(n) = szorzat[p prím osztja n-et, p^2-1] (előjel nélküli változatot ad) [Jon Perrytől (jonperrydc(AT)btinternet.com), 2010. augusztus 24.] PÉLDA a(3) = -8, mert 3 osztói {1, 3} és mu(1)*1^2 + mu(3)*3^2 = -8. ... MAPLE Jinvk := proc(n, k) local a, f, p ; a := 1 ; f esetén az ifactors(n)[2] do p := op(1, f) ; a := a*(1-p^k) ; vége do: a ; vége proc: A046970 := proc(n) Jinvk(n, 2) ; vége proc.: # RJ Mathar, 2011. július 4 MATHEMATICA muDD[d_] := MoebiusMu[d]*d^2; Táblázat[Plus @@ muDD[Osztók[n]], {n, 60}] (Lopez) Kiegyenlítés[táblázat[{ x = TényezőEgész[n]; p = 1; Ha [i = 1, i <= Hossz[x], i++, p = p*(x[[i]][[1]]^2 - 1)]; p}, {n, 1, 50, 1}]] [Jon Perrytől (jonperrydc(AT)btinternet.com), 2010. augusztus 24.] PROG (PARI) A046970(n)=sumdiv(n, d, d^2*moebius(d)) (Benoit Cloitre) KERESZTESEK Vö. A027641 és A027642. Sorrend a szövegkörnyezetben: A035292 A144457 A146975 * A058936 A002017 A118582 Szomszédos sorozatok: A046967 A046968 A046969 * A046971 A046972 A046973 KULCSSZÓ jel,mult SZERZŐ Douglas Stoll, dougstoll(AT)email.msn.com BŐVÍTÉSEK Javította és bővítette Vladeta Jovovic (vladeta(AT)eunet.rs), 2001. július 25. További megjegyzések Wilfredo Lopeztől (chakotay147138274(AT)yahoo.com), 2005. július 1.Az OEIS bejegyzés a következő mezőket tartalmazhatja [23] :
személyi igazolvány száma Az OEIS-ben minden sorozathoz sorszám tartozik – egy hatjegyű pozitív egész szám, amelynek előtagja A ( abszolút ) . A számok hozzárendelése általában automatikusan történik. A sorszámozás az OEIS előtti könyvekben eltér a jelenlegitől. A Handbook of Integer Sequences -ben (1973) és az Encyclopedia of Integer Sequences -ben (1995 ) használt M számok szintén szerepelnek az azonosítószám mezőben, zárójelben az A szám után . szekvencia adatok A Sorozatadatok mező magát a számokat sorolja fel. Ez a mező nem tesz különbséget a megjelenítéshez túl hosszú véges sorozatok és a végtelen sorozatok között; finia fullés a kulcsszavak megkülönböztetésére szolgálnak more. Annak meghatározásához, hogy n melyik értéke felel meg a sorozat elemeinek értékeinek, a mezőt használjuk offset, amely az első megadott elem n értékét jelzi. Név A "Név" mező általában a sorozat általánosan elfogadott nevét tartalmazza, néha a képlettel együtt. Hozzászólások A „Megjegyzések” mező a más mezőkbe „nem fér bele” szekvenciával kapcsolatos információkra szolgál. A megjegyzésekben gyakran érdekes kapcsolatokat jeleznek a különböző sorozatok és nem nyilvánvaló alkalmazások között. Hivatkozások Nyomtatott dokumentumok (könyvek, cikkek, kiadványok stb.) hivatkozásai. Linkek Linkek ( URL ) online forrásokhoz. Képlet Képletek, ismétlődő képletek , függvények generálása stb. példa Példák sorozatelem-értékekre magyarázatokkal. juharfa Maple kód . Mathematica Mathematica kód . program Programok különböző nyelveken, köztük Magma , PARI/GP , Sage . A programozási nyelv zárójelben van feltüntetve. Lásd még A sorozat beküldője által hozzáadott kereszthivatkozások általában "Vö." címkével vannak ellátva. Az új sorozatok kivételével a Lásd is" magában foglalja a szekvenciakörnyezet-információkat és a hasonló A -számú szekvenciákra mutató hivatkozásokat . kulcsszó Az OEIS szabványos 4-5 betűs kulcsszavakat fogadott el, amelyek a sorozatokat jellemzik [4] [23] [24] :