mfocko/blog
1
0
Fork 0
mirror of https://github.com/mfocko/blog.git synced 2024-11-22 13:03:47 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: revert the ‹ThemedSVG› shite

Browse source 
Signed-off-by: Matej Focko <me@mfocko.xyz>
This commit is contained in:
Matej Focko 2023-09-06 19:41:01 +02:00
parent b5fbddb8c9
commit 85cda31779
Signed by: mfocko
GPG key ID: 7C47D46246790496
3 changed files with 32 additions and 30 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
ib002/03-time-complexity/2021-03-31-extend.mdx → ib002/03-time-complexity/2021-03-31-extend.md
View file

@ -13,8 +13,6 @@ last_update:
date: 2021-03-31 date: 2021-03-31
--- ---
import ThemedSVG from "@site/src/components/ThemedSVG";
## Introduction ## Introduction
Each year there is a lot of confusion regarding time complexity of the `extend` operation on the lists in Python. I will introduce two specific examples from previous year and also will try to explain it on one of the possible implementations of `extend` operation. Each year there is a lot of confusion regarding time complexity of the `extend` operation on the lists in Python. I will introduce two specific examples from previous year and also will try to explain it on one of the possible implementations of `extend` operation.
@ -88,10 +86,8 @@ As we could observe in the example above, `extend` iterates over all of the elem
Consider constructing of this list: Consider constructing of this list:
<ThemedSVG ![Rendered construction of the list](/files/ib002/time-complexity/extend/construction_light.svg#gh-light-mode-only)
source="/files/ib002/time-complexity/extend/construction" ![Rendered construction of the list](/files/ib002/time-complexity/extend/construction_dark.svg#gh-dark-mode-only)
alt="Rendered construction of the list"
/>
Let us assume that you extend the result with the list that you get from the recursive call. Let us assume that you extend the result with the list that you get from the recursive call.

39
ib002/08-rb-trees/2023-06-10-rules.mdx → ib002/08-rb-trees/2023-06-10-rules.md
View file

@ -10,8 +10,6 @@ last_update:
date: 2023-06-10 date: 2023-06-10
--- ---
import ThemedSVG from "@site/src/components/ThemedSVG";
## Introduction ## Introduction
Have you ever thought about the red-black tree rules in more depth? Why are they Have you ever thought about the red-black tree rules in more depth? Why are they
@ -57,10 +55,8 @@ my child would be colored red.
Example of a red-black tree that keeps count of black nodes on paths to the Example of a red-black tree that keeps count of black nodes on paths to the
leaves follows: leaves follows:
<ThemedSVG ![Red-black tree with black height](/files/ib002/rb-trees/rules/rb_height_light.svg#gh-light-mode-only)
source="/files/ib002/rb-trees/rules/rb_height" ![Red-black tree with black height](/files/ib002/rb-trees/rules/rb_height_dark.svg#gh-dark-mode-only)
alt="Red-black tree with black height"
/>
We mark the _black heights_ in superscript. You can see that all leaves have the We mark the _black heights_ in superscript. You can see that all leaves have the
black height equal to $1$. Let's take a look at some of the interesting cases: black height equal to $1$. Let's take a look at some of the interesting cases:
@ -144,15 +140,15 @@ accordingly.
| Usual algorithm with black root | Allowing red root | | Usual algorithm with black root | Allowing red root |
| :-----------------------------: | :---------------: | | :-----------------------------: | :---------------: |
| <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/br_0" alt="1ª insertion" /> | <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/rr_0" alt="1ª insertion" /> | | ![1ª insertion](/files/ib002/rb-trees/rules/red-root/br_0_light.svg#gh-light-mode-only)![1ª insertion](/files/ib002/rb-trees/rules/red-root/br_0_dark.svg#gh-dark-mode-only) | ![1ª insertion](/files/ib002/rb-trees/rules/red-root/rr_0_light.svg#gh-light-mode-only)![1ª insertion](/files/ib002/rb-trees/rules/red-root/rr_0_dark.svg#gh-dark-mode-only) |
| <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/br_1" alt="2ª insertion" /> | <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/rr_1" alt="2ª insertion" /> | | ![2ª insertion](/files/ib002/rb-trees/rules/red-root/br_1_light.svg#gh-light-mode-only)![2ª insertion](/files/ib002/rb-trees/rules/red-root/br_1_dark.svg#gh-dark-mode-only) | ![2ª insertion](/files/ib002/rb-trees/rules/red-root/rr_1_light.svg#gh-light-mode-only)![2ª insertion](/files/ib002/rb-trees/rules/red-root/rr_1_dark.svg#gh-dark-mode-only) |
| <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/br_2" alt="3ª insertion" /> | <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/rr_2" alt="3ª insertion" /> | | ![3ª insertion](/files/ib002/rb-trees/rules/red-root/br_2_light.svg#gh-light-mode-only)![3ª insertion](/files/ib002/rb-trees/rules/red-root/br_2_dark.svg#gh-dark-mode-only) | ![3ª insertion](/files/ib002/rb-trees/rules/red-root/rr_2_light.svg#gh-light-mode-only)![3ª insertion](/files/ib002/rb-trees/rules/red-root/rr_2_dark.svg#gh-dark-mode-only) |
| <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/br_3" alt="4ª insertion" /> | <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/rr_3" alt="4ª insertion" /> | | ![4ª insertion](/files/ib002/rb-trees/rules/red-root/br_3_light.svg#gh-light-mode-only)![4ª insertion](/files/ib002/rb-trees/rules/red-root/br_3_dark.svg#gh-dark-mode-only) | ![4ª insertion](/files/ib002/rb-trees/rules/red-root/rr_3_light.svg#gh-light-mode-only)![4ª insertion](/files/ib002/rb-trees/rules/red-root/rr_3_dark.svg#gh-dark-mode-only) |
| <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/br_4" alt="5ª insertion" /> | <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/rr_4" alt="5ª insertion" /> | | ![5ª insertion](/files/ib002/rb-trees/rules/red-root/br_4_light.svg#gh-light-mode-only)![5ª insertion](/files/ib002/rb-trees/rules/red-root/br_4_dark.svg#gh-dark-mode-only) | ![5ª insertion](/files/ib002/rb-trees/rules/red-root/rr_4_light.svg#gh-light-mode-only)![5ª insertion](/files/ib002/rb-trees/rules/red-root/rr_4_dark.svg#gh-dark-mode-only) |
| <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/br_5" alt="6ª insertion" /> | <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/rr_5" alt="6ª insertion" /> | | ![6ª insertion](/files/ib002/rb-trees/rules/red-root/br_5_light.svg#gh-light-mode-only)![6ª insertion](/files/ib002/rb-trees/rules/red-root/br_5_dark.svg#gh-dark-mode-only) | ![6ª insertion](/files/ib002/rb-trees/rules/red-root/rr_5_light.svg#gh-light-mode-only)![6ª insertion](/files/ib002/rb-trees/rules/red-root/rr_5_dark.svg#gh-dark-mode-only) |
| <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/br_6" alt="7ª insertion" /> | <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/rr_6" alt="7ª insertion" /> | | ![7ª insertion](/files/ib002/rb-trees/rules/red-root/br_6_light.svg#gh-light-mode-only)![7ª insertion](/files/ib002/rb-trees/rules/red-root/br_6_dark.svg#gh-dark-mode-only) | ![7ª insertion](/files/ib002/rb-trees/rules/red-root/rr_6_light.svg#gh-light-mode-only)![7ª insertion](/files/ib002/rb-trees/rules/red-root/rr_6_dark.svg#gh-dark-mode-only) |
| <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/br_7" alt="8ª insertion" /> | <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/rr_7" alt="8ª insertion" /> | | ![8ª insertion](/files/ib002/rb-trees/rules/red-root/br_7_light.svg#gh-light-mode-only)![8ª insertion](/files/ib002/rb-trees/rules/red-root/br_7_dark.svg#gh-dark-mode-only) | ![8ª insertion](/files/ib002/rb-trees/rules/red-root/rr_7_light.svg#gh-light-mode-only)![8ª insertion](/files/ib002/rb-trees/rules/red-root/rr_7_dark.svg#gh-dark-mode-only) |
| <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/br_8" alt="9ª insertion" /> | <ThemedSVG source="/files/ib002/rb-trees/rules/red-root/rr_8" alt="9ª insertion" /> | | ![9ª insertion](/files/ib002/rb-trees/rules/red-root/br_8_light.svg#gh-light-mode-only)![9ª insertion](/files/ib002/rb-trees/rules/red-root/br_8_dark.svg#gh-dark-mode-only) | ![9ª insertion](/files/ib002/rb-trees/rules/red-root/rr_8_light.svg#gh-light-mode-only)![9ª insertion](/files/ib002/rb-trees/rules/red-root/rr_8_dark.svg#gh-dark-mode-only) |
## 3ª Every leaf (`nil`) is black. ## 3ª Every leaf (`nil`) is black.
@ -161,7 +157,8 @@ some other way? Let's go through some of the possible ways I can look at this an
how would they affect the other rules and balancing. how would they affect the other rules and balancing.
We will experiment with the following tree: We will experiment with the following tree:
<ThemedSVG source="/files/ib002/rb-trees/rules/rb" /> ![](/files/ib002/rb-trees/rules/rb_light.svg#gh-light-mode-only)
![](/files/ib002/rb-trees/rules/rb_dark.svg#gh-dark-mode-only)
We should start by counting the black nodes from root to the `nil` leaves based We should start by counting the black nodes from root to the `nil` leaves based
on the rules. We have multiple similar paths, so we will pick only the interesting on the rules. We have multiple similar paths, so we will pick only the interesting
@ -234,11 +231,17 @@ import TabItem from '@theme/TabItem';
<Tabs> <Tabs>
<TabItem value="enforcing" label="Enforcing this rule"> <TabItem value="enforcing" label="Enforcing this rule">
<ThemedSVG source="/files/ib002/rb-trees/rules/red-node-black-children/correct" />
![](/files/ib002/rb-trees/rules/red-node-black-children/correct_light.svg#gh-light-mode-only)
![](/files/ib002/rb-trees/rules/red-node-black-children/correct_dark.svg#gh-dark-mode-only)
</TabItem> </TabItem>
<TabItem value="omitting" label="Omitting this rule"> <TabItem value="omitting" label="Omitting this rule">
<ThemedSVG source="/files/ib002/rb-trees/rules/red-node-black-children/incorrect" />
![](/files/ib002/rb-trees/rules/red-node-black-children/incorrect_light.svg#gh-light-mode-only)
![](/files/ib002/rb-trees/rules/red-node-black-children/incorrect_dark.svg#gh-dark-mode-only)
</TabItem> </TabItem>
</Tabs> </Tabs>

15
ib002/10-graphs/2022-04-30-bfs-tree.mdx → ib002/10-graphs/2022-04-30-bfs-tree.md
View file

@ -10,8 +10,6 @@ last_update:
date: 2022-04-30 date: 2022-04-30
--- ---
import ThemedSVG from "@site/src/components/ThemedSVG";
## Introduction ## Introduction
As we have talked on the seminar, if we construct from some vertex $u$ BFS tree on an undirected graph, we can obtain: As we have talked on the seminar, if we construct from some vertex $u$ BFS tree on an undirected graph, we can obtain:
@ -23,11 +21,13 @@ As we have talked on the seminar, if we construct from some vertex $u$ BFS tree
Consider the following graph: Consider the following graph:
<ThemedSVG source="/files/ib002/graphs/bfs-tree/bfs_graph" /> ![](/files/ib002/graphs/bfs-tree/bfs_graph_light.svg#gh-light-mode-only)
![](/files/ib002/graphs/bfs-tree/bfs_graph_dark.svg#gh-dark-mode-only)
We run BFS from the vertex $a$ and obtain the following BFS tree: We run BFS from the vertex $a$ and obtain the following BFS tree:
<ThemedSVG source="/files/ib002/graphs/bfs-tree/bfs_tree" /> ![](/files/ib002/graphs/bfs-tree/bfs_tree_light.svg#gh-light-mode-only)
![](/files/ib002/graphs/bfs-tree/bfs_tree_dark.svg#gh-dark-mode-only)
Let's consider pair of vertices $e$ and $h$. For them we can safely lay, from the BFS tree, following properties: Let's consider pair of vertices $e$ and $h$. For them we can safely lay, from the BFS tree, following properties:
@ -42,7 +42,9 @@ Let's keep the same graph, but break the lower bound, i.e. I have gotten a lower
Now the more important question, is there a shorter path in that graph? The answer is no, there's no shorter path than the one with length $2$. So what can we do about it? We'll add an edge to have a shorter path. Now we have gotten a lower bound of $2$, which means the only shorter path we can construct has $1$ edge and that is ‹$e, h$› (no intermediary vertices). Let's do this! Now the more important question, is there a shorter path in that graph? The answer is no, there's no shorter path than the one with length $2$. So what can we do about it? We'll add an edge to have a shorter path. Now we have gotten a lower bound of $2$, which means the only shorter path we can construct has $1$ edge and that is ‹$e, h$› (no intermediary vertices). Let's do this!
<ThemedSVG source="/files/ib002/bfs-tree/bfs_graph_with_additional_edge" /> ![](/files/ib002/graphs/bfs-tree/bfs_graph_with_additional_edge_light.svg#gh-light-mode-only)
![](/files/ib002/graphs/bfs-tree/bfs_graph_with_additional_edge_dark.svg#gh-dark-mode-only)
Okay, so we have a graph that breaks the rule we have laid. However, we need to run BFS to obtain the new BFS tree, since we have changed the graph. Okay, so we have a graph that breaks the rule we have laid. However, we need to run BFS to obtain the new BFS tree, since we have changed the graph.
@ -54,7 +56,8 @@ Do we need to run BFS after **every** change?
::: :::
<ThemedSVG source="/files/ib002/bfs-tree/bfs_tree_with_additional_edge" /> ![](/files/ib002/graphs/bfs-tree/bfs_tree_with_additional_edge_light.svg#gh-light-mode-only)
![](/files/ib002/graphs/bfs-tree/bfs_tree_with_additional_edge_dark.svg#gh-dark-mode-only)
Oops, we have gotten a new BFS tree, that has a height difference of 1. Oops, we have gotten a new BFS tree, that has a height difference of 1.