ඔකාසාකි සිට තනිකරම ක්‍රියාකාරී දත්ත ව්‍යුහයන්හි අළුත් කුමක්ද?


570

ක්‍රිස් ඔකාසාකිගේ 1998 පොතේ “තනිකරම ක්‍රියාකාරී දත්ත ව්‍යුහයන්” නම්, නව ආකර්ෂණීය තනිකරම ක්‍රියාකාරී දත්ත ව්‍යුහයන් නොපෙනේ. මට කිහිපයක් නම් කළ හැකිය:

ගස් ආක්‍රමණ සහතික කිරීම සඳහා "කැදැලි වර්ග" හෝ "සාමාන්‍ය වීජීය දත්ත සමුදායන්" වැනි දැනටමත් දන්නා දත්ත ව්‍යුහයන් ක්‍රියාත්මක කිරීමේ රසවත් ක්‍රම කිහිපයක් තිබේ.

මෙම ප්‍රදේශයේ 1998 සිට මතු වී ඇති වෙනත් නව අදහස් මොනවාද?


20
හොඳ ප්‍රශ්නයක්. මට ශිෂ්‍යයෙක් මගෙන් මේ ගැන විමසුවා, නමුත් පිළිතුර දැන සිටියේ නැහැ.
සුරේෂ් වෙන්කට්

මෙය මෙතැනට කමක් නැත, නමුත් ඔබට ස්ටැක් පිටාර ගැලීමෙන් වඩා හොඳ පිළිතුරු ලැබෙනු ඇත. ඔබ එහි ඇසුවොත්, වග බලා ගන්න සහ මෙහි සාකච්ඡාවට සම්බන්ධ වන්න.
චාල්ස් ස්ටුවර්ට්

3
හොඳයි, හස්කල් රෙඩිට් මෙය දැක ඇති බැවින් එතැන් සිට හොඳ පිළිතුරු ලැබෙනු ඇත. ඔකාසාකිගේ පොතෙන් බාගයක් යන විට මම කල්පනා කළේ මා ගැනම සිතීමයි. +1
රොබට් මැසෙයෝලි


Answers:


561

1998 සිට ප්‍රකාශයට පත් කරන ලද නව තනිකරම ක්‍රියාකාරී දත්ත ව්‍යුහයන්:

  • 2001: අයිඩියල් හැෂ් ගස් සහ එහි 2000 පූර්වගාමියා වූ ෆිල් බැග්වෙල් විසින් වේගවත් හා අභ්‍යවකාශ කාර්යක්ෂම ට්‍රයි සෙවුම් : ක්ලෝජුර්ගේ සම්මත පුස්තකාලයේ මූලික ගොඩනැඟිලි අංගයක් ලෙස පෙනෙන ලෙස.

  • 2001: රැල්ෆ් හින්ස් විසින් ප්‍රමුඛතා සෙවුම් පෝලිම් සඳහා සරල ක්‍රියාත්මක කිරීමේ ක්‍රමයක් ක්‍රමයක්: මෙම වැදගත් දත්ත ව්‍යුහය ක්‍රියාත්මක කිරීම සඳහා ඉතා සරල හා ලස්සන තාක්‍ෂණයකි (ප්‍රයෝජනවත්, කියන්න, ඩිජ්ක්ස්ට්‍රා ඇල්ගොරිතමයේ). "දර්ශන රටා" අධික ලෙස භාවිතා කිරීම නිසා ක්‍රියාත්මක කිරීම විශේෂයෙන් සුන්දර හා කියවිය හැකිය.

  • 2002: රැල්ෆ් හින්ස් විසින් ඒක පාර්ශවීය නම්යශීලී අරා බූට්ස්ට්‍රැප් කිරීම : ඔකාසාකිගේ අහඹු ප්‍රවේශ ප්‍රවේශ ලැයිස්තුවට සමානය, නමුත් ඒවා අතර කාල වෙළඳාම වෙනස් කිරීම සඳහා සුසර කළ හැකිය.cons සුචිගත කිරීම හා සුචිගත .

  • 2003: රාදු මිහෙස්කු සහ රොබට් ටර්ජන් විසින් රචිත නව කැටනබල් සහ කැටේන් ඩෙක්ස් : ඔකාසාකි උපුටා දක්වන පැරණි කෘති කිහිපයක් (කැප්ලාන් සහ ටර්ජන් විසින්) අළුත් කර ගැනීම (කැප්ලාන් සහ ටර්ජන්ගේ කෘතියේ නවතම අනුවාදය 2000 දී ප්‍රකාශයට පත් කරන ලදි ). මෙම අනුවාදය සමහර ආකාරවලින් සරල ය.

  • 2005: ක්‍රිස් ඔකාසාකි විසින් මැක්සිෆොබික් ගොඩවල් ( කඩදාසි සහ කේතය ) ඉදිරිපත් කරන ලද්දේ නව, වඩා කාර්යක්ෂම ව්‍යුහයක් ලෙස නොව ප්‍රමුඛතා පෝලිම් ඉගැන්වීමේ ක්‍රමයක් ලෙස ය.

  • 2006: ගර්ත් ස්ටොල්ටිං බ්‍රොඩල්, ක්‍රිස්ටෝස් මාක්‍රිස් සහ කොස්ටාස් සිච්ලස් විසින් තනිකරම ක්‍රියාකාරී නරකම නඩුව නියත වේලාව කැටනබල් වර්ග කළ ලැයිස්තු : ඕ ( එන්) ඇතුළු කිරීම, සෙවීම සහ මකා දැමීම සහ ඕ (1) කොන්කට්.

  • 2008: එරික් ඩී. ඩෙමයින්, ස්ටෙෆාන් ලැන්ගර්මන් සහ එරික් ප්‍රයිස් විසින් කාර්යක්ෂම අනුවාද පාලනය සඳහා එකවර උත්සාහ කරයි: කොළ අසල කාර්යක්ෂම සංචලනය සහ වෙනස් කිරීම් ඇති උත්සාහයන් සඳහා දත්ත ව්‍යුහයන් කිහිපයක් ඉදිරිපත් කරයි. සමහර ඒවා තනිකරම ක්‍රියාකාරී වේ. තවත් සමහරු ඩීට්ස් සහ වෙනත් අය විසින් දිගුකාලීන දත්ත ව්‍යුහයක් වැඩි දියුණු කරති. සම්පුර්ණයෙන්ම නොනැසී පවතින (නමුත් සංයුක්තව නොනැසී පවතින හෝ තනිකරම ක්‍රියාකාරී නොවන) අරා සඳහා. සමහර විට "ගතික ගස්" ලෙස හැඳින්වෙන තනිකරම ක්‍රියාකාරී සම්බන්ධක කැපූ ගස් ද මෙම ලිපියෙන් ඉදිරිපත් කෙරේ .

  • 2010: රතු-කළු ගස් සඳහා නව ක්‍රියාකාරී මකාදැමීමේ ඇල්ගොරිතමයක් , මැට් මයිට් විසින් : ඔකාසාකිගේ රතු-කළු ගස් ඇතුළු කිරීමේ ඇල්ගොරිතම මෙන්, මෙය නව දත්ත ව්‍යුහයක් හෝ දත්ත ව්‍යුහයක් පිළිබඳ නව මෙහෙයුමක් නොව, නව, සරල ක්‍රමයක් දන්නා මෙහෙයුමක් ලියන්න.

  • 2012: ආර්ආර්බී-ගස්: කාර්යක්ෂම වෙනස් කළ නොහැකි දෛශික , ෆිල් බග්වෙල් සහ ටියාර්ක් රොම්ප් : හැෂ් අරා සිතියම්ගත කළ උත්සාහයන් සඳහා දිගුවක්, වෙනස් කළ නොහැකි දෛශික සංයෝජනය, ඇතුළත් කිරීම සහ ඕ (එල්ජී එන්) කාලය බෙදීමට සහාය වීම, දර්ශකය පවත්වා ගෙන යාම, යාවත්කාලීන කිරීම , සහ මුල් වෙනස් කළ නොහැකි දෛශිකයේ ඇතුළත් කිරීමේ වේගය.

1997 දී දන්නා නමුත් ඔකාසාකිගේ පොතේ සාකච්ඡා කර නැත:

  • සමබර සෙවුම් ගසෙහි තවත් බොහෝ මෝස්තර . AVL, සහෝදරයා, ශ්‍රේණිගත-සමතුලිත, මායිම්-ශේෂය සහ තවත් බොහෝ සමතුලිත සෙවුම් ගස් මාර්ග පිටපත් කිරීමෙන් තනිකරම ක්‍රියාකාරීව ක්‍රියාත්මක කළ හැකිය. විශේෂ සඳහනක් ලැබිය යුත්තේ:

    • සැමුවෙල් ඩබ්ලිව්. බෙන්ට්, ඩැනියෙල් ඩී. ස්ලීටර් සහ රොබට් ඊ. ටර්ජන් විසින් රචිත පක්ෂග්‍රාහී සෙවුම් ගස් : බ්‍රොඩල් සහ වෙනත් අයගේ 2006 පුවත්පතේ ප්‍රධාන අංගයක් සහ ඩෙමයින් සහ වෙනත් 2008 පත්‍රිකාව.
  • මාටින් එස්කාර්ඩ් විසින් වේගවත් පරිපූර්ණ සෙවීමක් පිළිගන්නා අනන්ත කට්ටල : සමහර විට දත්ත ව්‍යුහයක් නොවේ .

  • ක්‍රිස් ඔකාසාකි විසින් බ්‍රවුන් ගස් මත ඇල්ගොරිතම තුනක් : මොළයේ ගස් නරකම අවස්ථාවක O (lg n) හි බොහෝ සිරස් මෙහෙයුම් සපයයි. මෙම සීමාව වෙනත් බොහෝ දත්ත ව්‍යුහයන් අභිබවා ගොස් ඇත, නමුත් මොළයේ ගස්consඑහි දෙවන තර්කයේ කම්මැලි ක්‍රියාකාරිත්වයක්ඇති අතරඅනෙක් ව්‍යුහයන්ට කළ නොහැකි ආකාරවලින් අනන්ත කොටස් ලෙස භාවිතා කළ හැකිය.

  • මෙම ලිහිල් යි-max ගොඩක්: ඒ ඒකාබද්ධ කලහැකි ද්විත්ව අවසන් ප්රමුඛත්වය පෝලිමේ හා එම කේ.ඩී. ගොඩක්: කාර්යක්ෂම බහු-මාන ප්රමුඛත්වය පෝලිමේ , Yuzheng Ding සහ මාර්ක් ඇලන් ගෝඩන් වයිස්ගේ වාර්තාවේ විසින් : මෙම පත්රිකා සාකච්ඡා කර නැත නමුත් මෙම පීඩනයට, අපවාදයට ක්රියා කළ හැකි පරිදි සිදු . ඇඟිලි ගස් (හින්ස් සහ පැටසන් හෝ කැප්ලාන් සහ ටර්ජන් ගේ) කේ-මාන ප්‍රමුඛතා පෝලිම් ලෙස භාවිතා කිරීමෙන් ලබා ගත හැකි කාල සීමාවන් වඩා හොඳ යැයි මම නොසිතමි, නමුත් ඩිං සහ වයිස් හි ව්‍යුහයන් අඩු ඉඩ ප්‍රමාණයක් භාවිතා කරයි .

  • ජෙරාඩ් හුවට් විසින් රචිත සිපර් : වෙනත් බොහෝ දත්ත ව්‍යුහයන්හි (හින්ස් සහ පැටසන්ගේ ඇඟිලි ගස් වැනි) භාවිතා වේ, මෙය දත්ත ව්‍යුහයක් ඇතුළත හැරවීමේ ක්‍රමයකි.

  • වෙනස ලැයිස්තු යනු සාමාන්‍ය consලැයිස්තු වලට O (n) පරිවර්තනයක් සහිත O (1) කැටනබල් ලැයිස්තු ය. ඔවුන් ප්‍රොග්ලොග් ප්‍රජාවේ පුරාණ කාලයේ සිටම ප්‍රසිද්ධ වී ඇති අතර, එහිදී ඔවුන් සාමාන්‍ය consලැයිස්තු වලට O (1) පරිවර්තනයක් කර ඇත. සාම්ප්‍රදායික ක්‍රියාකාරී වැඩසටහන්කරණයේදී O (1) පරිවර්තනය කළ නොහැකි බව පෙනේ, නමුත් මිනමයිඩ් හි මිනමයිඩ් හි සමාලෝචකයින්ගෙන් කෙනෙකි . POPL '98 වෙතින් සිදුරු , පිරිසිදු ක්‍රියාකාරී ක්‍රමලේඛනය තුළ O (1) එකතු කිරීමට සහ O (1) පරිවර්තනයට ඉඩ සලසන ක්‍රමයක් සාකච්ඡා කරයි. ක්‍රියාකාරී වසා දැමීම් මත පදනම් වූ වෙනස ලැයිස්තු වල සුපුරුදු ක්‍රියාකාරී ක්‍රමලේඛන ක්‍රියාත්මක කිරීම් මෙන් නොව, සිදුරු වියුක්ත කිරීම ප්‍රොලොග් වෙනස ලැයිස්තු ලෙස අත්‍යවශ්‍යයෙන්ම සමාන වේ (ඒවායේ භාවිතය සහ ක්‍රියාත්මක කිරීම යන දෙකෙහිම). කෙසේ වෙතත්, වසර ගණනාවක් තිස්සේ මෙය දුටු එකම පුද්ගලයා බව පෙනේ

  • අද්විතීය ලෙස නිරූපණය කරන ලද ශබ්දකෝෂ එකම මූලද්‍රව්‍යයන් සහිත ව්‍යුහයන් දෙකකට පැහැදිලි හැඩයන් තිබිය නොහැකි බවට වන සීමාව සමඟ ඇතුළු කිරීම, යාවත්කාලීන කිරීම සහ සොයා බැලීම සඳහා සහාය වේ. උදාහරණයක් ලෙස, වර්ග කළ තනි-සම්බන්ධිත ලැයිස්තු අද්විතීය ලෙස නිරූපණය කර ඇත, නමුත් සාම්ප්‍රදායික AVL ගස් එසේ නොවේ. උත්සාහයන් ද අද්විතීය ලෙස නිරූපණය කෙරේ. Tarjan හා Sundar, "අනන්ය ද්විමය සෝදිසි ගසක් නියෝජනයන් සහ කට්ටල සහ අනුක්රමයක සමානාත්මතාවය-පරීක්ෂණ" තුළ , තනිකරම ක්රියාකාරී අද්විතීය ලෙස නියෝජනය ශබ්ද කෝෂය සහය දැක්වීම කරන්නාට කාලය තුළ සෙවුම් සහ යාවත්කාලීන කිරීම් පෙන්වා (n)Θ(nlgn)Θ(nlgn)Θ(lg2n)

බොහෝ දුරට ක්‍රියාකාරී දත්ත ව්‍යුහයන්, ඔකාසාකිගේ පොතට පෙර, අතරතුර සහ පසුව:

  • (එම්)එම්(lglgn)

  • 1989: සසම්බාවී සොයන්න මන්දිරයේ සිසිලියා ආර් Aragon හා Raimund Seidel විසින් : මෙම දී ගයි ඊ Blelloch සහ මාග්රට් රීඩ්-මිලර් විසින් තනිකරම ක්රියාකාරී පරිසරයක දී සාකච්ඡා කරන ලදී Treaps භාවිතා කරමින් වේගවත් Set මෙහෙයුම් හා දාන් Blandford සහ ගයි Blelloch විසින් සමග ක්රියාකාරී Set මෙහෙයුම් උගුල් ( කේතය). ඒවා තනිකරම ක්‍රියාකාරී ඇඟිලි තුඩු සහ පක්ෂග්‍රාහී සෙවුම් ගස්වල සියලු ක්‍රියාකාරකම් සපයන නමුත් අහඹු ලෙස ප්‍රභවයක් අවශ්‍ය වන අතර ඒවා තනිකරම ක්‍රියාකාරී නොවේ. මෙය දඩයමේ මෙහෙයුම් වල කාල සංකීර්ණත්වය අවලංගු කළ හැකි අතර, කාලයාගේ ඇවෑමෙන් හා දිගු ඒවා පුනරාවර්තනය කළ හැකි විරුද්ධවාදියෙකු උපකල්පනය කරයි. (අත්‍යවශ්‍ය ක්‍රමක්ෂය තර්ක අඛණ්ඩව පවතින පසුබිමක වලංගු නොවීමට එකම හේතුව මෙයයි, නමුත් එයට නැවතුම් ඔරලෝසුවක් ඇති විරුද්ධවාදියෙකු අවශ්‍ය වේ)

  • 1997: සමගාමී ප්‍රවේශයක් සඳහා විකල්ප දත්ත ව්‍යුහයක් වන ස්කිප් -ගස්, සේවියර් මෙසෙගර් සහ බ්‍රයන් සී. ඩීන් සහ සැකරි එච්. ජෝන්ස් විසින් මඟ හැරුණු ලැයිස්තු සහ ද්විමය සෙවුම් ගස් අතර ද්විත්ව භාවය ගවේෂණය කිරීම: මඟ හැරීම් ලැයිස්තු තනිකරම ක්‍රියාකාරී, නමුත් ඒවා ගස් ලෙස ක්‍රියාකාරීව ක්‍රියාත්මක කළ හැකිය. උගුල් මෙන්, ඔවුන්ට අහඹු බිටු ප්‍රභවයක් අවශ්‍ය වේ. (මඟ හැරීම් ලැයිස්තු නිර්ණායකයක් බවට පත් කළ හැකිය, නමුත්, ඒවා ගසකට පරිවර්තනය කිරීමෙන් පසුව, මම සිතන්නේ ඒවා ගස් 2-3 ක් දෙස බැලීමේ තවත් ක්‍රමයක් බවයි.)

  • 1998: ඔකාසාකිගේ පොතේ ඇති සියලුම ක්‍රමක්ෂය ව්‍යුහයන්! ඔකාසාකි විසින් මෙම නව ක්‍රමවේදය ක්‍රමක්ෂය හා ක්‍රියාකාරී දත්ත ව්‍යුහයන් මිශ්‍ර කිරීම සඳහා සොයා ගන්නා ලදී. එය මතක තබා ගැනීම මත රඳා පවතී, සමහර විට කැප්ලාන් සහ ටර්ජන් සඳහන් කළ පරිදි ඇත්ත වශයෙන්ම අතුරු ආබාධයකි. සමහර අවස්ථාවල ( කාර්ය සාධන හේතූන් මත එස්එස්ඩී මත පීඑෆ්ඩීඑස් වැනි ), මෙය නුසුදුසු විය හැකිය.

  • 1998: සරල Confluently නියත Catenable ලැයිස්තු , Haim කැප්ලාන්, ක්රිස් Okasaki, සහ රොබට් ඊ Tarjan විසින් : ප්රයෝජන ලබා දීමට ඒ අවටනම් යටතේ වෙනස් කලින් (තනිකරම ක්රියාකාරී, නමුත් memoization සමග මෙන් ම අතුරු මුහුණත ඉදිරිපත්, සාමාන්ය (1) catenable deques ක්රමක්ෂය ) අනුවාදය ඔකාසාකිගේ පොතේ දිස්වේ. කැප්ලාන් සහ ටර්ජන් මීට පෙර තනිකරම ක්‍රියාකාරී O (1) නරකම ව්‍යුහයක් නිර්මාණය කර ඇති නමුත් එය සැලකිය යුතු ලෙස සංකීර්ණ ය.

  • 2007: මෙම පිටුවේ තවත් පිළිතුරක සඳහන් කළ පරිදි, අර්ධ-ස්ථිර දත්ත ව්‍යුහයන් සහ සිල්වයින් කොන්චොන් සහ ජීන්-ක්‍රිස්ටෝෆ් ෆිලියෙත්‍රේ විසින් නිරන්තරව සොයා ගැනීම

ඔකාසාකිගේ පොතට පෙර, අතරතුර සහ පසුව ක්‍රියාකාරී දත්ත ව්‍යුහයන් සත්‍යාපනය කිරීමේ ක්‍රම:

අත්‍යවශ්‍ය දත්ත ව්‍යුහයන් හෝ විශ්ලේෂණයන් ඔකාසාකිගේ පොතේ සාකච්ඡා කර නැති නමුත් තනිකරම ක්‍රියාකාරී දත්ත ව්‍යුහයන්ට සම්බන්ධ ය:

  • සොෆ්ට් හීප්: බර්නාඩ් චැසෙල් විසින් ප්‍රශස්ත දෝෂ අනුපාතයක් සහිත ආසන්න ප්‍රමුඛතා පෝලිමක් : මෙම දත්ත ව්‍යුහය අරා භාවිතා නොකරන අතර, පළමුව # හස්කල් අයිආර්සී නාලිකාව සහ පසුව ස්ටැක් පිටාර ගැලීම් භාවිතා කරන්නන් පොළඹවා ඇත , නමුත් එයටdeleteඕ ( එල්ජී එන්)ඇතුළත් වේ. , එය සාමාන්‍යයෙන් ක්‍රියාකාරී පසුබිමක කළ නොහැකි අතර තනිකරම ක්‍රියාකාරී පසුබිමක වලංගු නොවන අත්‍යවශ්‍ය ක්‍රමක්ෂය විශ්ලේෂණයකි.

  • O (1) ඇඟිලි යාවත්කාලීන කිරීම් සමඟ සමබර ද්විමය සෙවුම් ගස් . දී දත්ත ව්යුහ නියත කිරීම බව දිගටම පවතින යාවත්කාලීන පමණක් සාමාන්ය (1) ඉඩක් අවශ්ය නිසා, ජේම්ස් ආර් ඩ්රිස්කොල්, නීල් Sarnak, දානියෙල් ඩී Sleator, සහ රොබට් ඊ Tarjan රතු-කළු රුක තුළ ගැටිති ජිනිවා හි සඳහා ක්රමයක් ඉදිරිපත්. ටර්ජන්, කැප්ලාන් සහ මිහෙස්කු විසින් නිර්මාණය කරන ලද තනිකරම ක්‍රියාකාරී තට්ටු සහ ඇඟිලි ගස් සියල්ලම O (1) යාවත්කාලීනයන් දෙපසම යාවත්කාලීන කිරීමට ඉඩ දීම සඳහා ඉතා සමාන කණ්ඩායම්කරණ ක්‍රමයක් භාවිතා කරයි. අතනාසියෝස් කේ. සකාලිඩිස් විසින් දේශීයකරණය කළ සෙවීම සඳහා AVL- ගස් ඒ හා සමානව ක්‍රියා කරයි.

  • වේගවත් යුගලනය ගොඩවල් හෝ Pairing ගොඩවල් සඳහා වඩා හොඳ සීමාවන් : Okasaki පොත ප්රකාශයට පත් කරන ලදී බැවින්, අත්යවශ්ය යුගලනය ගොඩවල් නව විශ්ලේෂණයන් කිහිපයක් ඇතුළු පෙනී (ලඝු-සටහන ලඝු-සටහන n) සාමාන්ය සමග ගොඩවල් අඩු පිරිවැය Pairing අම්ර් Elmasry හා Pairing ගොඩවල් ක අවසන් විශ්ලේෂණය කරා විසින් සෙත් පෙට්ටි. මෙම කාර්යයෙන් සමහරක් ඔකාසාකිගේ කම්මැලි යුගල ගොඩවල් වලට යෙදිය හැකිය.

  • අයනික ඇඟිල්ල ගස් පක්ෂග්රාහී දී: ලැයිස්තු පක්ෂග්රාහී මගහරින්න කරන සැලසුම් අයනික පක්ෂග්රාහී සෙල්ලමකුත් ලැයිස්තු සඳහා ඉදිරිපත් කර ඇත, Amitabha Bagchi, ආදම් එල් Buchsbaum, හා මයිකල් ටී Goodrich විසින්. ඉහත සඳහන් කළ මඟ හැරීම් ලැයිස්තුව / ගස් පරිණාමනය හරහා, නිර්ණායක පක්ෂග්‍රාහී සෙවුම් ගස් සෑදිය හැකිය. ඒකාබද්ධ කළ හැකි ශබ්දකෝෂවල ජෝන් ඉකෝනෝ සහ ඔස්ගර් ඔස්කාන් විසින් විස්තර කරන ලද ඇඟිලි පක්ෂග්‍රාහී මඟ හැරීම් ලැයිස්තු පසුව පක්ෂග්‍රාහී මඟ හැරිය හැකි ගස් මත විය හැකිය. පක්ෂග්‍රාහී ඇඟිලි ගසක් ඩෙමයින් සහ වෙනත් අය විසින් යෝජනා කරනු ලැබේ. තනිකරම ක්‍රියාකාරී උත්සාහයන් පිළිබඳ ඔවුන්ගේ ලිපියේ (ඉහත බලන්න) උත්සාහයන් තුළ ඇඟිලි යාවත්කාලීන කිරීම සඳහා වන කාලය හා අවකාශය අඩු කිරීමේ ක්‍රමයක් ලෙස.

  • ස්ට්‍රිං බී-ට්‍රී: බාහිර මතකයේ නූල් සෙවීම සඳහා නව දත්ත ව්‍යුහයක් සහ එහි යෙදුම් පාවුලෝ ෆෙරාගිනා සහ රොබර්ටෝ ග්‍රොසි විසින් උත්සාහයන් සහ බී-ගස්වල ප්‍රතිලාභ ඒකාබද්ධ කරමින් හොඳින් අධ්‍යයනය කරන ලද දත්ත ව්‍යුහයකි.


6
මෙම පිළිතුරේ "ප්‍රජා විකී" කොටුව පරීක්ෂා කිරීම මට මතක නැත. එය අහෝසි කිරීමට ක්‍රමයක් තිබේද?
jbapple

7
bjbapple: නිශ්චිත සංස්කරණයන් ගණනකට පසු, සියලුම තනතුරු ප්‍රජා විකිය බවට පත්වේ. එය එහි දීප්තිමත් සමාලෝචනයක්. ඔබට ස්තුතියි.
ෆිල් මිලර්

29
නියම ලැයිස්තුව! ඒකෙන් මම ප්‍රාර්ථනා කරනවා ඔකාසාකි දෙවන සංස්කරණය ප්‍රකාශයට පත් කරයි කියලා.
රාඩු ග්‍රිගෝර්

4
ඉසබෙල් / එච්ඕඑල් හට SML, OCaml, Haskell, Scala සඳහා කේත ජනනය කළ හැකි බව සලකන්න. හස්කබෙල් මෙවලමට හස්කල් ඉසබෙල් / එච්ඕඑල් වෙත ආනයනය කළ හැකිය.
මකරියස්

2
“ක්‍රමලේඛ නිස්සාරණය” යන පාරිභාෂිතය Coq වලින් එකකි: ඔබ ruc ලදායී සාක්ෂියක් ගෙන එයින් ක්‍රියාත්මක කළ හැකි වැඩසටහනක් සාදමින් සමහර දේවල් ඉවත් කරයි. ඉසබෙල් හි මෙය "කේත උත්පාදනය" ලෙස හැඳින්වෙන අතර වෙනස් ආකාරයකින් ක්‍රියා කරයි, HOL පිරිවිතරයන් ව්‍යාජ කේතයක් ලෙස භාවිතා කරයි , සාක්ෂි නොවේ. බර්ගෝෆර්ට අනුව ඉසබෙල් / එච්ඕඑල් හි සාධනය නිස්සාරණය කොක් මෙන් ක්‍රියා කරයි, නමුත් මේ දිනවල කලාතුරකින් භාවිතා වේ.
මකරියස්

65

දැනටමත් සාදන ලද විශිෂ්ට සටහන් වලට, මම සිපර් එකතු කරමි .

හුවට්, ජෙරාඩ්. “ක්‍රියාකාරී මුතු: සිපර්” ක්‍රියාකාරී වැඩසටහන්කරණ ජර්නලය 7 (5): 549-554, 1997 සැප්තැම්බර්.

විකිපීඩියා: සිපර් (දත්ත ව්‍යුහය)


4
සිපර් විශ්මයජනකයි. බොහෝ භාවිත අවස්ථා සඳහා, ගස් පදනම් කරගත් නිරූපණයන් බොහෝ වර්ගවල දත්ත සඳහා “නිවැරදි” තේරීම බවට පත්වීමට ඉඩ සලසයි, එසේ
නොමැතිනම්

1
XML හැසිරවීම සඳහා ඔවුන් භාවිතා කළ බවට උදාහරණයක්: anti-xml.org/zippers.html
යාන්ත්‍රික ගොළුබෙල්ලා

41

ඇවැත්නි, නොනවතින UNION-FIND! ස්තූතියි!
jkff

3
හොඳයි, කාරුණික ... ලිපිය බලන්න.
රාඩු ග්‍රිගෝර්

1
... හෝ, ඔබ කැමති නම්, කේත කිහිපයක් බලන්න (මැට් පාකින්සන් විසින්) github.com/septract/jstar/blob/master/src/utils/…
රාඩු ග්‍රිගෝර්

5
දැන් මට පෙනෙන්නේ “කාරුණික ..” අදහස් දැක්වීම ඉහළ නැංවීමට හේතුව. ඔවුන් හොඳ කාර්ය සාධනයක් දරන්නේ එක් අයෙකු තනිකරම නොපසුබට උත්සාහය භාවිතා කරන විට හෝ සෑම විටම පසුපසට යන විට පමණි: ඔබ බොහෝ විට "නව" සහ "පැරණි" අනුවාද දෙකම භාවිතා කරන්නේ නම්, ඔබ ඉස්කුරුප්පු කරනු ලැබේ. සිසිල් නැවත පණගැන්වීමේ අදහස වුවද.
jkff


20

මම මැක්බ්‍රයිඩ්ගේ සිපර් අනුවාදය දත්ත වර්ගවල ව්‍යුත්පන්නයන් ලෙස එකතු කරමි.


මම ඒ දේවල් වලට කැමතියි. ව්‍යුත්පන්නයේ යෙදුමක් වෙනස් වීමේ අනුපාත සොයා ගැනීමට වඩා බෙහෙවින් වෙනස් බැවින් එය කෙතරම් සිසිල්ද!
SamB

3
SamB, නිත්‍ය ප්‍රකාශනවල ව්‍යුත්පන්නයන් ගැනද ඔබ උනන්දු විය හැකිය (ඔබ ඒවා ගැන දැනටමත් නොදැන සිටියේ නම්).
jbapple


14

පරාස සිතියම්

එය විශේෂිත දත්ත ව්‍යුහයකි, නමුත් එය තරමක් වෙනස් ගුණාංග සහිත මාටින් අර්විග්ගේ DIET වෙනුවට ආදේශකයක් ලෙස භාවිතා කළ හැකිය, එබැවින් අවම වශයෙන් එය සංසන්දනය කිරීම සඳහා දැනට පවතින එක් දත්ත ව්‍යුහයක් ඇත. 1998 දී ජේඑෆ්පී හි ලිපියක DIET විස්තර කර ඇති බැවින් සමහර විට එය තනිකරම ක්‍රියාකාරී දත්ත ව්‍යුහයන්ට ඇතුළත් නොවේ.


7

ඉහත සම්බන්ධිත 2012 පුවත්පතට පසුව, ආර්ආර්බී දෛශික පිළිබඳ වැඩ කටයුතු දීර් IC කර ICFP'15 හි ප්‍රකාශයට පත් කර ඇත.

RRB දෛශිකය: ප්‍රායෝගික පොදු අරමුණ වෙනස් කළ නොහැකි අනුක්‍රමයක් http://dl.acm.org/citation.cfm?id=2784739

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.