2023-09-07 19:53:23 +02:00
<!doctype html>
< html lang = "en" dir = "ltr" class = "docs-wrapper docs-doc-page docs-version-current plugin-docs plugin-id-ib002 docs-doc-id-rb-trees/applications" >
< head >
< meta charset = "UTF-8" >
< meta name = "generator" content = "Docusaurus v2.4.1" >
2023-09-07 20:16:18 +02:00
< title data-rh = "true" > Použití červeno-černých stromů | mf< / title > < meta data-rh = "true" name = "viewport" content = "width=device-width,initial-scale=1" > < meta data-rh = "true" name = "twitter:card" content = "summary_large_image" > < meta data-rh = "true" property = "og:url" content = "https://blog.mfocko.xyz/ib002/rb-trees/applications/" > < meta data-rh = "true" name = "docusaurus_locale" content = "en" > < meta data-rh = "true" name = "docsearch:language" content = "en" > < meta data-rh = "true" name = "docusaurus_version" content = "current" > < meta data-rh = "true" name = "docusaurus_tag" content = "docs-ib002-current" > < meta data-rh = "true" name = "docsearch:version" content = "current" > < meta data-rh = "true" name = "docsearch:docusaurus_tag" content = "docs-ib002-current" > < meta data-rh = "true" property = "og:title" content = "Použití červeno-černých stromů | mf" > < meta data-rh = "true" name = "description" content = "Ukázka použití červeno-černých stromů v standardních knižnicích známých jazyků .
2023-09-07 19:53:23 +02:00
">< meta data-rh = "true" property = "og:description" content = "Ukázka použití červeno-černých stromů v standardních knižnicích známých jazyků .
2023-09-07 20:16:18 +02:00
">< link data-rh = "true" rel = "icon" href = "/img/favicon.ico" > < link data-rh = "true" rel = "canonical" href = "https://blog.mfocko.xyz/ib002/rb-trees/applications/" > < link data-rh = "true" rel = "alternate" href = "https://blog.mfocko.xyz/ib002/rb-trees/applications/" hreflang = "en" > < link data-rh = "true" rel = "alternate" href = "https://blog.mfocko.xyz/ib002/rb-trees/applications/" hreflang = "x-default" > < link data-rh = "true" rel = "preconnect" href = "https://0VXRFPR4QF-dsn.algolia.net" crossorigin = "anonymous" > < link rel = "search" type = "application/opensearchdescription+xml" title = "mf" href = "/opensearch.xml" >
2023-09-07 19:53:23 +02:00
< link rel = "alternate" type = "application/rss+xml" href = "/blog/rss.xml" title = "mf RSS Feed" >
< link rel = "alternate" type = "application/atom+xml" href = "/blog/atom.xml" title = "mf Atom Feed" >
< link rel = "alternate" type = "application/json" href = "/blog/feed.json" title = "mf JSON Feed" >
< link rel = "stylesheet" href = "https://cdn.jsdelivr.net/npm/katex@0.13.24/dist/katex.min.css" integrity = "sha384-odtC+0UGzzFL/6PNoE8rX/SPcQDXBJ+uRepguP4QkPCm2LBxH3FA3y+fKSiJ+AmM" crossorigin = "anonymous" > < link rel = "stylesheet" href = "/assets/css/styles.8480cb83.css" >
2023-09-17 16:08:01 +02:00
< link rel = "preload" href = "/assets/js/runtime~main.aac6ed28.js" as = "script" >
2023-09-07 20:30:53 +02:00
< link rel = "preload" href = "/assets/js/main.a28961b3.js" as = "script" >
2023-09-07 19:53:23 +02:00
< / head >
< body class = "navigation-with-keyboard" >
< script > ! function ( ) { function t ( t ) { document . documentElement . setAttribute ( "data-theme" , t ) } var e = function ( ) { var t = null ; try { t = new URLSearchParams ( window . location . search ) . get ( "docusaurus-theme" ) } catch ( t ) { } return t } ( ) || function ( ) { var t = null ; try { t = localStorage . getItem ( "theme" ) } catch ( t ) { } return t } ( ) ; t ( null !== e ? e : "light" ) } ( ) < / script > < div id = "__docusaurus" >
2023-09-07 20:16:18 +02:00
< div role = "region" aria-label = "Skip to main content" > < a class = "skipToContent_fXgn" href = "#__docusaurus_skipToContent_fallback" > Skip to main content< / a > < / div > < nav aria-label = "Main" class = "navbar navbar--fixed-top" > < div class = "navbar__inner" > < div class = "navbar__items" > < button aria-label = "Toggle navigation bar" aria-expanded = "false" class = "navbar__toggle clean-btn" type = "button" > < svg width = "30" height = "30" viewBox = "0 0 30 30" aria-hidden = "true" > < path stroke = "currentColor" stroke-linecap = "round" stroke-miterlimit = "10" stroke-width = "2" d = "M4 7h22M4 15h22M4 23h22" > < / path > < / svg > < / button > < a class = "navbar__brand" href = "/" > < b class = "navbar__title text--truncate" > mf< / b > < / a > < div class = "navbar__item dropdown dropdown--hoverable" > < a href = "#" aria-haspopup = "true" aria-expanded = "false" role = "button" class = "navbar__link" > Additional FI MU materials< / a > < ul class = "dropdown__menu" > < li > < a aria-current = "page" class = "dropdown__link dropdown__link--active" href = "/ib002/" > IB002: Algorithms< / a > < / li > < li > < a class = "dropdown__link" href = "/pb071/" > PB071: C< / a > < / li > < li > < a class = "dropdown__link" href = "/pb161/" > PB161: C++< / a > < / li > < / ul > < / div > < a class = "navbar__item navbar__link" href = "/contributions/" > Contributions< / a > < a class = "navbar__item navbar__link" href = "/talks/" > Talks< / a > < / div > < div class = "navbar__items navbar__items--right" > < a class = "navbar__item navbar__link" href = "/blog/" > Blog< / a > < div class = "toggle_vylO colorModeToggle_DEke" > < button class = "clean-btn toggleButton_gllP toggleButtonDisabled_aARS" type = "button" disabled = "" title = "Switch between dark and light mode (currently light mode)" aria-label = "Switch between dark and light mode (currently light mode)" aria-live = "polite" > < svg viewBox = "0 0 24 24" width = "24" height = "24" class = "lightToggleIcon_pyhR" > < path fill = "currentColor" d = "M12,9c1.65,0,3,1.35,3,3s-1.35,3-3,3s-3-1.35-3-3S10.35,9,12,9 M12,7c-2.76,0-5,2.24-5,5s2.24,5,5,5s5-2.24,5-5 S14.76,7,12,7L12,7z M2,13l2,0c0.55,0,1-0.45,1-1s-0.45-1-1-1l-2,0c-0.55,0-1,0.45-1,1S1.45,13,2,13z M20,13l2,0c0.55,0,1-0.45,1-1 s-0.45-1-1-1l-2,0c-0.55,0-1,0.45-1,1S19.45,13,20,13z M11,2v2c0,0.55,0.45,1,1,1s1-0.45,1-1V2c0-0.55-0.45-1-1-1S11,1.45,11,2z M11,20v2c0,0.55,0.45,1,1,1s1-0.45,1-1v-2c0-0.55-0.45-1-1-1C11.45,19,11,19.45,11,20z M5.99,4.58c-0.39-0.39-1.03-0.39-1.41,0 c-0.39,0.39-0.39,1.03,0,1.41l1.06,1.06c0.39,0.39,1.03,0.39,1.41,0s0.39-1.03,0-1.41L5.99,4.58z M18.36,16.95 c-0.39-0.39-1.03-0.39-1.41,0c-0.39,0.39-0.39,1.03,0,1.41l1.06,1.06c0.39,0.39,1.03,0.39,1.41,0c0.39-0.39,0.39-1.03,0-1.41 L18.36,16.95z M19.42,5.99c0.39-0.39,0.39-1.03,0-1.41c-0.39-0.39-1.03-0.39-1.41,0l-1.06,1.06c-0.39,0.39-0.39,1.03,0,1.41 s1.03,0.39,1.41,0L19.42,5.99z M7.05,18.36c0.39-0.39,0.39-1.03,0-1.41c-0.39-0.39-1.03-0.39-1.41,0l-1.06,1.06 c-0.39,0.39-0.39,1.03,0,1.41s1.03,0.39,1.41,0L7.05,18.36z" > < / path > < / svg > < svg viewBox = "0 0 24 24" width = "24" height = "24" class = "darkToggleIcon_wfgR" > < path fill = "currentColor" d = "M9.37,5.51C9.19,6.15,9.1,6.82,9.1,7.5c0,4.08,3.32,7.4,7.4,7.4c0.68,0,1.35-0.09,1.99-0.27C17.45,17.19,14.93,19,12,19 c-3.86,0-7-3.14-7-7C5,9.07,6.81,6.55,9.37,5.51z M12,3c-4.97,0-9,4.03-9,9s4.03,9,9,9s9-4.03,9-9c0-0.46-0.04-0.92-0.1-1.36 c-0.98,1.37-2.58,2.26-4.4,2.26c-2.98,0-5.4-2.42-5.4-5.4c0-1.81,0.89-3.42,2.26-4.4C12.92,3.04,12.46,3,12,3L12,3z" > < / path > < / svg > < / button > < / div > < div class = "searchBox_ZlJk" > < button type = "button" class = "DocSearch DocSearch-Button" aria-label = "Search" > < span class = "DocSearch-Button-Container" > < svg width = "20" height = "20" class = "DocSearch-Search-Icon" viewBox = "0 0 20 20" > < path d = "M14.386 14.386l4.0877 4.0877-4.0877-4.0877c-2.9418 2.9419-7.7115 2.9419-10.6533 0-2.9419-2.9418-2.9419-7.7115 0-10.6533 2.9418-2.9419 7.7115-2.9419 10.6533 0 2.9419 2.9418 2.9419 7.7115 0 10.6533z" stroke = "currentColor" fill = "none" fill-rule = "evenodd" stroke-linecap = "round" stroke-linejoin = "round" > < / path > < / svg > < span class = "DocSearch-Button-Placeholder" > Search< / span > < / span > < span class = "DocSearch-Button-Keys" > < / span > < / button > < / div > < / div > < / div > < div role = "presentation" class = "navbar-sidebar__backdrop" > < / div > < / nav > < div id = "__docusaurus_skipToContent_fallback" class = "main-wrapper mainWrapp
2023-09-07 19:53:23 +02:00
jsme vybrali několik jazyků.< / p > < p > Pokud Vás zajímají různé implementace, tak bychom doporučili „prohrabávat“ se přes ně v následujícím pořadí: < code > C# → Java → C++< / code > . Důvod pro zvolené pořadí vychází z toho, že C# implementace je poměrně čitelná a obsahuje množství vysvětlujících komentářů. Implementace v Javě je stejně čitelná, ačkoli již s minimem komentářů, které se maximálně odkazují na CLRS. C++ implementace je „značně poznačená“ podtržítky ;)< / p > < h3 class = "anchor anchorWithStickyNavbar_LWe7" id = "c" > C++< a href = "#c" class = "hash-link" aria-label = "Direct link to C++" title = "Direct link to C++" > < / a > < / h3 > < p > V C++ si můžeme vybrat mezi 2 různými implementacemi (< code > clang< / code > nebo < code > gcc< / code > ).< / p > < h4 class = "anchor anchorWithStickyNavbar_LWe7" id = "clang" > clang< a href = "#clang" class = "hash-link" aria-label = "Direct link to clang" title = "Direct link to clang" > < / a > < / h4 > < p > Hlavičkové soubory, které používáme při práci s množinou nebo slovníkem (zajímavé sekce jsou vytaženy):< / p > < ul > < li > < p > < a href = "https://github.com/llvm/llvm-project/blob/main/libcxx/include/map" target = "_blank" rel = "noopener noreferrer" > < code > map< / code > < / a > < / p > < div class = "language-cpp codeBlockContainer_Ckt0 theme-code-block" style = "--prism-color:#000000;--prism-background-color:#ffffff" > < div class = "codeBlockContent_biex" > < pre tabindex = "0" class = "prism-code language-cpp codeBlock_bY9V thin-scrollbar" > < code class = "codeBlockLines_e6Vv" > < span class = "token-line" style = "color:#000000" > < span class = "token keyword" style = "color:rgb(0, 0, 255)" > template< / span > < span class = "token plain" > < / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > < < / span > < span class = "token keyword" style = "color:rgb(0, 0, 255)" > class< / span > < span class = "token plain" > < / span > < span class = "token class-name" style = "color:rgb(38, 127, 153)" > _Key< / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > ,< / span > < span class = "token plain" > < / span > < span class = "token keyword" style = "color:rgb(0, 0, 255)" > class< / span > < span class = "token plain" > < / span > < span class = "token class-name" style = "color:rgb(38, 127, 153)" > _Tp< / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > ,< / span > < span class = "token plain" > < / span > < span class = "token keyword" style = "color:rgb(0, 0, 255)" > class< / span > < span class = "token plain" > < / span > < span class = "token class-name" style = "color:rgb(38, 127, 153)" > _Compare< / span > < span class = "token plain" > < / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > =< / span > < span class = "token plain" > less< / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > < < / span > < span class = "token plain" > _Key< / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > > < / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > ,< / span > < span class = "token plain" > < / span > < br > < / span > < span class = "token-line" style = "color:#000000" > < span class = "token plain" > < / span > < span class = "token keyword" style = "color:rgb(0, 0, 255)" > class< / span > < span class = "token plain" > < / span > < span class = "token class-name" style = "color:rgb(38, 127, 153)" > _Allocator< / span > < span class = "token plain" > < / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > =< / span > < span class = "token plain" > allocator< / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > < < / span > < span class = "token plain" > pair< / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > < < / span > < span class = "token keyword" style = "color:rgb(0, 0, 255)" > const< / span > < span class = "token plain" > _Key< / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > ,< / span > < span class = "token plain" > _Tp< / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > > < / span > < span class = "token plain" > < / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > > < / span > < span class = "token plain" > < / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > > < / span > < span class = "token plain" > < / span > < br > < / span > < span class = "token-line" style = "color:#000000" > < span class = "token plain" > < /sp
2023-09-07 20:30:53 +02:00
ještě existuje < a href = "https://gcc.gnu.org/git/?p=gcc.git;a=blob;f=libstdc%2B%2B-v3/src/c%2B%2B98/tree.cc;h=fd14991589a57c6aa847f57105a938cd2bf4df6f;hb=HEAD" target = "_blank" rel = "noopener noreferrer" > < code > tree.cc< / code > < / a > , kde je lze nalézt třeba funkci s následující hlavičkou:< / p > < div class = "language-cpp codeBlockContainer_Ckt0 theme-code-block" style = "--prism-color:#000000;--prism-background-color:#ffffff" > < div class = "codeBlockContent_biex" > < pre tabindex = "0" class = "prism-code language-cpp codeBlock_bY9V thin-scrollbar" > < code class = "codeBlockLines_e6Vv" > < span class = "token-line" style = "color:#000000" > < span class = "token keyword" style = "color:rgb(0, 0, 255)" > void< / span > < span class = "token plain" > < / span > < br > < / span > < span class = "token-line" style = "color:#000000" > < span class = "token plain" > < / span > < span class = "token function" style = "color:rgb(0, 0, 255)" > _Rb_tree_insert_and_rebalance< / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > (< / span > < span class = "token keyword" style = "color:rgb(0, 0, 255)" > const< / span > < span class = "token plain" > < / span > < span class = "token keyword" style = "color:rgb(0, 0, 255)" > bool< / span > < span class = "token plain" > __insert_left< / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > ,< / span > < span class = "token plain" > < / span > < br > < / span > < span class = "token-line" style = "color:#000000" > < span class = "token plain" > _Rb_tree_node_base< / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > *< / span > < span class = "token plain" > __x< / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > ,< / span > < span class = "token plain" > < / span > < br > < / span > < span class = "token-line" style = "color:#000000" > < span class = "token plain" > _Rb_tree_node_base< / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > *< / span > < span class = "token plain" > __p< / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > ,< / span > < span class = "token plain" > < / span > < br > < / span > < span class = "token-line" style = "color:#000000" > < span class = "token plain" > _Rb_tree_node_base< / span > < span class = "token operator" style = "color:rgb(0, 0, 0)" > & < / span > < span class = "token plain" > __header< / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > )< / span > < span class = "token plain" > < / span > < span class = "token keyword" style = "color:rgb(0, 0, 255)" > throw< / span > < span class = "token plain" > < / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > (< / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > )< / span > < span class = "token punctuation" style = "color:rgb(4, 81, 165)" > ;< / span > < br > < / span > < / code > < / pre > < div class = "buttonGroup__atx" > < button type = "button" aria-label = "Copy code to clipboard" title = "Copy" class = "clean-btn" > < span class = "copyButtonIcons_eSgA" aria-hidden = "true" > < svg viewBox = "0 0 24 24" class = "copyButtonIcon_y97N" > < path fill = "currentColor" d = "M19,21H8V7H19M19,5H8A2,2 0 0,0 6,7V21A2,2 0 0,0 8,23H19A2,2 0 0,0 21,21V7A2,2 0 0,0 19,5M16,1H4A2,2 0 0,0 2,3V17H4V3H16V1Z" > < / path > < / svg > < svg viewBox = "0 0 24 24" class = "copyButtonSuccessIcon_LjdS" > < path fill = "currentColor" d = "M21,7L9,19L3.5,13.5L4.91,12.09L9,16.17L19.59,5.59L21,7Z" > < / path > < / svg > < / span > < / button > < / div > < / div > < / div > < h3 class = "anchor anchorWithStickyNavbar_LWe7" id = "java" > Java< a href = "#java" class = "hash-link" aria-label = "Direct link to Java" title = "Direct link to Java" > < / a > < / h3 > < p > V Javě jsou pro nás klíčové implementace < a href = "https://github.com/openjdk/jdk/blob/master/src/java.base/share/classes/java/util/TreeSet.java" target = "_blank" rel = "noopener noreferrer" > < code > TreeSet< / code > < / a > a < a href = "https://github.com/openjdk/jdk/blob/master/src/java.base/share/classes/java/util/TreeMap.java" target = "_blank" rel = "noopener noreferrer" > < code > TreeMap< / code > < / a > .< / p > < p > V implementaci < code > TreeSet< / code > si můžete povšimnout:< / p > < div class = "language-java codeBlockContainer_Ckt0 theme-code-block" style = "--prism-color:#000000;--prism-background-color:#ffffff" > < div class = "codeBlockContent_biex" > < pre tabindex = "0" class = "prism
2023-09-17 16:08:01 +02:00
< script src = "/assets/js/runtime~main.aac6ed28.js" > < / script >
2023-09-07 20:30:53 +02:00
< script src = "/assets/js/main.a28961b3.js" > < / script >
2023-09-07 19:53:23 +02:00
< / body >
< / html >