Anki Deck Changes

Commit: 7552128f - jeez

Author: lhorva <lhorva@student.ethz.ch>

Date: 2026-01-06T01:13:48+01:00

Changes: 33 note(s) changed (0 added, 33 modified, 0 deleted)

ℹ️ Cosmetic Changes Hidden: 5 note(s) had formatting-only changes and are not shown below • 1 HTML formatting changes • 3 mixed cosmetic changes

Note 1: ETH::A&D

Deck: ETH::A&D
Note Type: Image Occlusion-73a2c
GUID: GKG~Tp?e4l
modified

Before

Front

Note that the key parameter of insertAfter and delete in lists refers to the actual node, not it's value.
image-occlusion:rect:left=.4368:top=.3055:width=.0903:height=.1154:oi=1
image-occlusion:rect:left=.444:top=.6997:width=.0794:height=.0947:oi=1
image-occlusion:rect:left=.4404:top=.5635:width=.0939:height=.1018:oi=1
image-occlusion:rect:left=.7906:top=.4413:width=.083:height=.1086:oi=1
image-occlusion:rect:left=.7834:top=.6972:width=.0975:height=.0972:oi=1
image-occlusion:rect:left=.5848:top=.5703:width=.0866:height=.0976:oi=1
image-occlusion:rect:left=.4368:top=.4481:width=.0903:height=.0951:oi=1
image-occlusion:rect:left=.5921:top=.6993:width=.0758:height=.091:oi=1
image-occlusion:rect:left=.7906:top=.3123:width=.0866:height=.1086:oi=1
image-occlusion:rect:left=.7906:top=.5771:width=.0866:height=.0883:oi=1
image-occlusion:rect:left=.5884:top=.3055:width=.083:height=.1018:oi=1
image-occlusion:rect:left=.5921:top=.4413:width=.0794:height=.0951:oi=1

Back

Note that the key parameter of insertAfter and delete in lists refers to the actual node, not it's value.
image-occlusion:rect:left=.4368:top=.3055:width=.0903:height=.1154:oi=1
image-occlusion:rect:left=.444:top=.6997:width=.0794:height=.0947:oi=1
image-occlusion:rect:left=.4404:top=.5635:width=.0939:height=.1018:oi=1
image-occlusion:rect:left=.7906:top=.4413:width=.083:height=.1086:oi=1
image-occlusion:rect:left=.7834:top=.6972:width=.0975:height=.0972:oi=1
image-occlusion:rect:left=.5848:top=.5703:width=.0866:height=.0976:oi=1
image-occlusion:rect:left=.4368:top=.4481:width=.0903:height=.0951:oi=1
image-occlusion:rect:left=.5921:top=.6993:width=.0758:height=.091:oi=1
image-occlusion:rect:left=.7906:top=.3123:width=.0866:height=.1086:oi=1
image-occlusion:rect:left=.7906:top=.5771:width=.0866:height=.0883:oi=1
image-occlusion:rect:left=.5884:top=.3055:width=.083:height=.1018:oi=1
image-occlusion:rect:left=.5921:top=.4413:width=.0794:height=.0951:oi=1

After

Front

Note that the key parameter of insertAfter and delete in lists refers to the actual node, not it's value.
image-occlusion:rect:left=.592:top=.4403:width=.0786:height=.0963:oi=1
image-occlusion:rect:left=.5847:top=.571:width=.0859:height=.0963:oi=1
image-occlusion:rect:left=.444:top=.6983:width=.0786:height=.0963:oi=1
image-occlusion:rect:left=.7912:top=.313:width=.0859:height=.1101:oi=1
image-occlusion:rect:left=.5884:top=.313:width=.0822:height=.1032:oi=1
image-occlusion:rect:left=.4404:top=.5641:width=.0932:height=.1032:oi=1
image-occlusion:rect:left=.7912:top=.5779:width=.0859:height=.0894:oi=1
image-occlusion:rect:left=.4367:top=.3061:width=.0895:height=.117:oi=1
image-occlusion:rect:left=.4367:top=.4472:width=.0895:height=.0963:oi=1
image-occlusion:rect:left=.7839:top=.6983:width=.0968:height=.0963:oi=1
image-occlusion:rect:left=.5879:top=.6944:width=.0749:height=.1042:oi=1
image-occlusion:rect:left=.7912:top=.4403:width=.0822:height=.1101:oi=1

Back

Note that the key parameter of insertAfter and delete in lists refers to the actual node, not it's value.
image-occlusion:rect:left=.592:top=.4403:width=.0786:height=.0963:oi=1
image-occlusion:rect:left=.5847:top=.571:width=.0859:height=.0963:oi=1
image-occlusion:rect:left=.444:top=.6983:width=.0786:height=.0963:oi=1
image-occlusion:rect:left=.7912:top=.313:width=.0859:height=.1101:oi=1
image-occlusion:rect:left=.5884:top=.313:width=.0822:height=.1032:oi=1
image-occlusion:rect:left=.4404:top=.5641:width=.0932:height=.1032:oi=1
image-occlusion:rect:left=.7912:top=.5779:width=.0859:height=.0894:oi=1
image-occlusion:rect:left=.4367:top=.3061:width=.0895:height=.117:oi=1
image-occlusion:rect:left=.4367:top=.4472:width=.0895:height=.0963:oi=1
image-occlusion:rect:left=.7839:top=.6983:width=.0968:height=.0963:oi=1
image-occlusion:rect:left=.5879:top=.6944:width=.0749:height=.1042:oi=1
image-occlusion:rect:left=.7912:top=.4403:width=.0822:height=.1101:oi=1
Field-by-field Comparison
Field Before After
Occlusion {{c1::image-occlusion:rect:left=.4368:top=.3055:width=.0903:height=.1154:oi=1}}<br>{{c12::image-occlusion:rect:left=.444:top=.6997:width=.0794:height=.0947:oi=1}}<br>{{c11::image-occlusion:rect:left=.4404:top=.5635:width=.0939:height=.1018:oi=1}}<br>{{c6::image-occlusion:rect:left=.7906:top=.4413:width=.083:height=.1086:oi=1}}<br>{{c8::image-occlusion:rect:left=.7834:top=.6972:width=.0975:height=.0972:oi=1}}<br>{{c10::image-occlusion:rect:left=.5848:top=.5703:width=.0866:height=.0976:oi=1}}<br>{{c4::image-occlusion:rect:left=.4368:top=.4481:width=.0903:height=.0951:oi=1}}<br>{{c9::image-occlusion:rect:left=.5921:top=.6993:width=.0758:height=.091:oi=1}}<br>{{c3::image-occlusion:rect:left=.7906:top=.3123:width=.0866:height=.1086:oi=1}}<br>{{c7::image-occlusion:rect:left=.7906:top=.5771:width=.0866:height=.0883:oi=1}}<br>{{c2::image-occlusion:rect:left=.5884:top=.3055:width=.083:height=.1018:oi=1}}<br>{{c5::image-occlusion:rect:left=.5921:top=.4413:width=.0794:height=.0951:oi=1}}<br> {{c5::image-occlusion:rect:left=.592:top=.4403:width=.0786:height=.0963:oi=1}}<br>{{c10::image-occlusion:rect:left=.5847:top=.571:width=.0859:height=.0963:oi=1}}<br>{{c12::image-occlusion:rect:left=.444:top=.6983:width=.0786:height=.0963:oi=1}}<br>{{c3::image-occlusion:rect:left=.7912:top=.313:width=.0859:height=.1101:oi=1}}<br>{{c2::image-occlusion:rect:left=.5884:top=.313:width=.0822:height=.1032:oi=1}}<br>{{c11::image-occlusion:rect:left=.4404:top=.5641:width=.0932:height=.1032:oi=1}}<br>{{c7::image-occlusion:rect:left=.7912:top=.5779:width=.0859:height=.0894:oi=1}}<br>{{c1::image-occlusion:rect:left=.4367:top=.3061:width=.0895:height=.117:oi=1}}<br>{{c4::image-occlusion:rect:left=.4367:top=.4472:width=.0895:height=.0963:oi=1}}<br>{{c8::image-occlusion:rect:left=.7839:top=.6983:width=.0968:height=.0963:oi=1}}<br>{{c9::image-occlusion:rect:left=.5879:top=.6944:width=.0749:height=.1042:oi=1}}<br>{{c6::image-occlusion:rect:left=.7912:top=.4403:width=.0822:height=.1101:oi=1}}<br>
Tags: ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List

Note 2: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: J!K^!6M$e^
modified

Before

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
Differences between Subarray vs. Subsequence vs. Subset:
  • subarray: continous partition of the original
  • subsequence: non-continous partition
  • subset any subset (order does not matter)

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
Differences between Subarray vs. Subsequence vs. Subset:
  • subarray: continous partition of the original
  • subsequence: non-continous partition
  • subset any subset (order does not matter)

After

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
Differences between Subarray vs. Subsequence vs. Subset:
  • Subarray: continous partition of the original
  • Subsequence: non-continous partition
  • Subset: any subset (order does not matter)

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
Differences between Subarray vs. Subsequence vs. Subset:
  • Subarray: continous partition of the original
  • Subsequence: non-continous partition
  • Subset: any subset (order does not matter)
Field-by-field Comparison
Field Before After
Text Differences between Subarray vs. Subsequence vs. Subset:<br><ul><li><b>subarray</b>: {{c1:: continous partition of the original}}</li><li><b>subsequence</b>: {{c2:: non-continous partition}}</li><li><b>subset</b> {{c3:: any subset (order does not matter)}}</li></ul> Differences between Subarray vs. Subsequence vs. Subset:<br><ul><li><b>Subarray</b>: {{c1:: continous partition of the original}}</li><li><b>Subsequence</b>: {{c2:: non-continous partition}}</li><li><b>Subset:</b> {{c3:: any subset (order does not matter)}}</li></ul>
Tags: ETH::1._Semester::A&D::06._Dynamic_Programming

Note 3: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: M11/nZaHIu
modified

Before

Front

ETH::1._Semester::A&D::05._Data_Structures::2._ADT_Dictionary
search insert delete
unsorted Array \(O(n)\) \(O(1)\) \(O(n)\)
sorted Array \(O(\log n)\) \(O(n)\) \(O(n)\)
DLL \(O(n)\) (no bin. search possible) \(O(1)\) \(O(n)\)

Back

ETH::1._Semester::A&D::05._Data_Structures::2._ADT_Dictionary
search insert delete
unsorted Array \(O(n)\) \(O(1)\) \(O(n)\)
sorted Array \(O(\log n)\) \(O(n)\) \(O(n)\)
DLL \(O(n)\) (no bin. search possible) \(O(1)\) \(O(n)\)

After

Front

ETH::1._Semester::A&D::05._Data_Structures::2._ADT_Dictionary
Search Insertion   Deletion
Non-sorted array   \(O(n)\) \(O(1)\) \(O(n)\)
Sorted array \(O(\log n)\)   \(O(n)\) \(O(n)\)
Doubly linked list   \(O(n)\) \(O(1)\) \(O(n)\)

Back

ETH::1._Semester::A&D::05._Data_Structures::2._ADT_Dictionary
Search Insertion   Deletion
Non-sorted array   \(O(n)\) \(O(1)\) \(O(n)\)
Sorted array \(O(\log n)\)   \(O(n)\) \(O(n)\)
Doubly linked list   \(O(n)\) \(O(1)\) \(O(n)\)
Field-by-field Comparison
Field Before After
Text <b></b><b></b><b></b><b></b><table> <tbody><tr> <td></td> <td><b>search</b></td> <td><b>insert</b></td> <td><b>delete</b></td> </tr> <tr> <td>unsorted Array</td> <td>{{c1::\(O(n)\)}}</td> <td>{{c2::\(O(1)\)}}</td> <td>{{c3::\(O(n)\)}}</td> </tr> <tr> <td>sorted Array</td> <td>{{c4::\(O(\log n)\)}}</td> <td>{{c5::\(O(n)\)}}</td> <td>{{c6::\(O(n)\)}}</td> </tr> <tr> <td>DLL</td> <td>{{c7::\(O(n)\) (no bin. search possible)}}</td> <td>{{c8::\(O(1)\)}}</td> <td>{{c9::\(O(n)\)}}</td> </tr> </tbody></table> <b></b><b></b><b></b><b></b><table> <tbody><tr> <td></td> <td><b>Search</b></td> <td><b>Insertion&nbsp;&nbsp;</b></td> <td><b>Deletion</b></td> </tr> <tr> <td>Non-sorted array&nbsp;&nbsp;</td> <td>{{c1::\(O(n)\)}}</td> <td>{{c2::\(O(1)\)}}</td> <td>{{c3::\(O(n)\)}}</td> </tr> <tr> <td>Sorted array</td> <td>{{c4::\(O(\log n)\)}}&nbsp;&nbsp;</td> <td>{{c5::\(O(n)\)}}</td> <td>{{c6::\(O(n)\)}}</td> </tr> <tr> <td>Doubly linked list&nbsp;&nbsp;</td> <td>{{c7::\(O(n)\)}}</td> <td>{{c8::\(O(1)\)}}</td> <td>{{c9::\(O(n)\)}}</td> </tr> </tbody></table>
Tags: ETH::1._Semester::A&D::05._Data_Structures::2._ADT_Dictionary

Note 4: ETH::A&D

Deck: ETH::A&D
Note Type: Algorithms
GUID: NAHrkHd^ik
modified

Before

Front

ETH::1._Semester::A&D::04._Sorting_Algorithms::4._Merge_Sort
Runtime of Merge Sort?

Back

ETH::1._Semester::A&D::04._Sorting_Algorithms::4._Merge_Sort
Runtime of Merge Sort?

Best Case: \(O(n \log n)\)
Worst Case: \(O(n \log n)\)

After

Front

ETH::1._Semester::A&D::04._Sorting_Algorithms::4._Merge_Sort
Runtime of Merge Sort?

Back

ETH::1._Semester::A&D::04._Sorting_Algorithms::4._Merge_Sort
Runtime of Merge Sort?

Best Case: \(O(n \log n)\)
Worst Case: \(O(n \log n)\)

Field-by-field Comparison
Field Before After
Attributes not in place, thus the space complexity is&nbsp;\(K(n)\). (can be made in place)<br><b>Stable</b> Not in place, thus the space complexity is&nbsp;\(K(n)\). (Though it can be implemented as such)<br><b>Stable</b>
Tags: ETH::1._Semester::A&D::04._Sorting_Algorithms::4._Merge_Sort

Note 5: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: Pf|C9|^n[w
modified

Before

Front

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::2._Linked_List
In a singly and doubly linked list, the operation:
  • Insert is \(\Theta(1)\) as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's \(\Theta(l)\).
  • Get is \(\Theta(i)\) very slow as we need to traverse the entire list up to i
  • insertAfter is  \(O(1)\) if we get the memory address of the element to insert after.
  • delete is:
          SLL: {{c4::\(\Theta(l)\) as we need to find the previous element and change it's pointer}.}
          DLL:  \(O(1)\) we know the address of the previous element and then just edit it's pointer.

Back

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::2._Linked_List
In a singly and doubly linked list, the operation:
  • Insert is \(\Theta(1)\) as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's \(\Theta(l)\).
  • Get is \(\Theta(i)\) very slow as we need to traverse the entire list up to i
  • insertAfter is  \(O(1)\) if we get the memory address of the element to insert after.
  • delete is:
          SLL: {{c4::\(\Theta(l)\) as we need to find the previous element and change it's pointer}.}
          DLL:  \(O(1)\) we know the address of the previous element and then just edit it's pointer.

After

Front

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::2._Linked_List
In a singly and doubly linked list, the operation:
  • Insert is \(\Theta(1)\) as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's \(\Theta(l)\).
  • Get is \(\Theta(i)\) very slow as we need to traverse the entire list up to i
  • insertAfter is  \(O(1)\) if we get the memory address of the element to insert after.
  • delete is:
          SLL: \(\Theta(l)\) as we need to find the previous element and change it's pointer.
          DLL:  \(O(1)\) we know the address of the previous element and then just edit it's pointer.

Back

ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::2._Linked_List
In a singly and doubly linked list, the operation:
  • Insert is \(\Theta(1)\) as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's \(\Theta(l)\).
  • Get is \(\Theta(i)\) very slow as we need to traverse the entire list up to i
  • insertAfter is  \(O(1)\) if we get the memory address of the element to insert after.
  • delete is:
          SLL: \(\Theta(l)\) as we need to find the previous element and change it's pointer.
          DLL:  \(O(1)\) we know the address of the previous element and then just edit it's pointer.
Field-by-field Comparison
Field Before After
Text In a&nbsp;<b>singly</b>&nbsp;and&nbsp;<b>doubly linked list</b>, the operation:<br><ul><li><b>Insert</b>&nbsp;is {{c1::\(\Theta(1)\)&nbsp;as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's&nbsp;\(\Theta(l)\). }}<br></li><li><b>Get</b>&nbsp;is {{c2::\(\Theta(i)\)&nbsp;very slow as we need to traverse the entire list up to&nbsp;<b>i</b>}}<br></li><li><b>insertAfter</b>&nbsp;is {{c3::&nbsp;\(O(1)\)&nbsp;if we get the memory address of the element to insert after.}}<br></li><li><b>delete</b>&nbsp;is:<br>&nbsp; &nbsp; &nbsp; SLL: {{c4::\(\Theta(l)\)&nbsp;as we need to find the previous element and change it's pointer}.}<br>&nbsp; &nbsp; &nbsp; DLL: {{c5::&nbsp;\(O(1)\)&nbsp;we know the address of the previous element and then just edit it's pointer.}}</li></ul> In a&nbsp;<b>singly</b>&nbsp;and&nbsp;<b>doubly linked list</b>, the operation:<br><ul><li><b>Insert</b>&nbsp;is {{c1::\(\Theta(1)\)&nbsp;as we know the memory address of the final element in the list and just have to set the null pointer to the new keys address. Without this pointer it's&nbsp;\(\Theta(l)\). }}<br></li><li><b>Get</b>&nbsp;is {{c2::\(\Theta(i)\)&nbsp;very slow as we need to traverse the entire list up to&nbsp;<b>i</b>}}<br></li><li><b>insertAfter</b>&nbsp;is {{c3::&nbsp;\(O(1)\)&nbsp;if we get the memory address of the element to insert after.}}<br></li><li><b>delete</b>&nbsp;is:<br>&nbsp; &nbsp; &nbsp; SLL: {{c4::\(\Theta(l)\)&nbsp;as we need to find the previous element and change it's pointer.}}<br>&nbsp; &nbsp; &nbsp; DLL: {{c5::&nbsp;\(O(1)\)&nbsp;we know the address of the previous element and then just edit it's pointer.}}</li></ul>
Tags: ETH::1._Semester::A&D::05._Data_Structures::1._ADT_List::2._Linked_List

Note 6: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: Q3:!A9V`D,
modified

Before

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
Steps of giving a DP solution:
  1. Define the DP table (dimensions, index, range; meaning of entry): ex: DP[1..n+1][1..k+1]
  2. Computation of Entry (Base Case, recursive formula, pay attention to bounds!)
  3. Calculation Order (what depends on what entries, what variable incremented first)
  4. Extract Solution (How to get final solution out)
  5. Running time proof

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
Steps of giving a DP solution:
  1. Define the DP table (dimensions, index, range; meaning of entry): ex: DP[1..n+1][1..k+1]
  2. Computation of Entry (Base Case, recursive formula, pay attention to bounds!)
  3. Calculation Order (what depends on what entries, what variable incremented first)
  4. Extract Solution (How to get final solution out)
  5. Running time proof

SMIROST (Size, Meaning, Initialisation, Recursive,  Order, Solution, Time)


Smiling Monkey In Red Overall Steals Tacos

After

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
Steps of giving a DP solution:
  1. Define the DP table (dimensions, index, range; meaning of entry): ex: DP[1..n+1][1..k+1]
  2. Computation of entries (Base case, recursive formula, pay attention to bounds!)
  3. Order of calculation (what depends on what entries, what variable incremented first)
  4. Extracting the solution
  5. Runtime

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
Steps of giving a DP solution:
  1. Define the DP table (dimensions, index, range; meaning of entry): ex: DP[1..n+1][1..k+1]
  2. Computation of entries (Base case, recursive formula, pay attention to bounds!)
  3. Order of calculation (what depends on what entries, what variable incremented first)
  4. Extracting the solution
  5. Runtime

SMIROST (Size, Meaning, Initialisation, Recursive Relation, Order, Solution, Time)


Smiling Monkey In Red Overall Steals Tacos
Field-by-field Comparison
Field Before After
Text Steps of giving a DP solution:<br><ol><li>{{c1::Define the DP table (dimensions, index, range; meaning of entry): ex:&nbsp;<b>DP[1..n+1][1..k+1]</b>}}</li><li>{{c2::Computation of Entry (Base Case, recursive formula, pay attention to bounds!)}}</li><li>{{c3::Calculation Order (what depends on what entries, what variable incremented first)}}</li><li>{{c4::Extract Solution (How to get final solution out)}}</li><li>{{c5::Running time proof}}</li></ol> Steps of giving a DP solution:<br><ol><li>{{c1::Define the DP table (dimensions, index, range; meaning of entry): ex:&nbsp;<b>DP[1..n+1][1..k+1]</b>}}</li><li>{{c2::Computation of entries (Base case, recursive formula, pay attention to bounds!)}}</li><li>{{c3::Order of calculation (what depends on what entries, what variable incremented first)}}</li><li>{{c4::Extracting the solution}}</li><li>{{c5::Runtime}}</li></ol>
Extra SMIROST (Size, Meaning, Initialisation, Recursive,&nbsp; Order, Solution, Time)<br><br><img alt="" src="https://chatgpt.com/backend-api/estuary/content?id=file_00000000b144722fb24d37aefc63a244&amp;ts=490704&amp;p=fs&amp;cid=1&amp;sig=9139f521032b1f527f402bd9e46aa4fc98c1c346920ce78fa1198c460ce702b0&amp;v=0"><img src="b8ad5128-8b94-4df8-a395-8fcd177c0ef6.png"><br><strong>S</strong>miling <strong>M</strong>onkey <strong>I</strong>n <strong>R</strong>ed <strong>O</strong>verall&nbsp;<strong>S</strong>teals <strong>T</strong>acos<img alt="" src="https://chatgpt.com/backend-api/estuary/content?id=file_00000000b144722fb24d37aefc63a244&amp;ts=490704&amp;p=fs&amp;cid=1&amp;sig=9139f521032b1f527f402bd9e46aa4fc98c1c346920ce78fa1198c460ce702b0&amp;v=0"> SMIROST (Size, Meaning, Initialisation, Recursive Relation, Order, Solution, Time)<br><br><img alt="" src="https://chatgpt.com/backend-api/estuary/content?id=file_00000000b144722fb24d37aefc63a244&amp;ts=490704&amp;p=fs&amp;cid=1&amp;sig=9139f521032b1f527f402bd9e46aa4fc98c1c346920ce78fa1198c460ce702b0&amp;v=0"><img src="b8ad5128-8b94-4df8-a395-8fcd177c0ef6.png"><br><strong>S</strong>miling <strong>M</strong>onkey <strong>I</strong>n <strong>R</strong>ed <strong>O</strong>verall&nbsp;<strong>S</strong>teals <strong>T</strong>acos<img alt="" src="https://chatgpt.com/backend-api/estuary/content?id=file_00000000b144722fb24d37aefc63a244&amp;ts=490704&amp;p=fs&amp;cid=1&amp;sig=9139f521032b1f527f402bd9e46aa4fc98c1c346920ce78fa1198c460ce702b0&amp;v=0">
Tags: ETH::1._Semester::A&D::06._Dynamic_Programming

Note 7: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Cloze
GUID: QJ{Y%?s>+w
modified

Before

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
When writing the recursion, make sure that if the index goes out of bound, you specify the "neutral".

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
When writing the recursion, make sure that if the index goes out of bound, you specify the "neutral".

For subset sum, we take \(DP[i-1][B - b_i]\), where if we don't check \(B - b_i\) might go negative and thus oob.

After

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
When writing a recursion which accesses an index that could go out of bounds, make sure to return a neutral value instead of crashing.

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
When writing a recursion which accesses an index that could go out of bounds, make sure to return a neutral value instead of crashing.

Example: Subset Sum

Recursion: \(DP[i][B] = DP[i-1][B] \lor DP[i-1][B - b_i]\)

The term \(B - b_i\) can become negative. Instead of accessing an invalid index, return "false" (the neutral element for OR), since you can't achieve a negative sum.
Field-by-field Comparison
Field Before After
Text When writing the recursion, make sure that if the index {{c1:: goes out of bound, you specify the "neutral"}}. When writing a recursion which accesses an index that could go out of bounds, make sure to {{c1::return a neutral value instead of crashing}}.
Extra For subset sum, we take&nbsp;\(DP[i-1][B - b_i]\), where if we don't check&nbsp;\(B - b_i\)&nbsp;might go negative and thus oob. Example: Subset Sum<br><br>Recursion: \(DP[i][B] = DP[i-1][B] \lor DP[i-1][B - b_i]\)<br><br>The term \(B - b_i\)&nbsp;can become negative. Instead of accessing an invalid index, return "false" (the neutral element for OR), since you can't achieve a negative sum.
Tags: ETH::1._Semester::A&D::06._Dynamic_Programming

Note 8: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Classic
GUID: i~[|jYI|rt
modified

Before

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
Backtracking in DP Problems

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
Backtracking in DP Problems

Backtracking can find the solution of the problem from the DP table. From the recursion and it's behaviour we find the "path"

After

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
What is "backtracking" in DP problems?

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
What is "backtracking" in DP problems?

Once the DP table is filled, backtracking reconstructs the actual solution (not just the optimal value) by tracing which choices led to each cell.

Field-by-field Comparison
Field Before After
Front Backtracking in DP Problems What is "backtracking" in DP problems?
Back Backtracking can find the solution of the problem from the DP table. From the recursion and it's behaviour we find the "path"<br><br><img src="paste-c186a33203c3cb874cfeb7870ee1a4c5d52bf205.jpg"> Once the DP table is filled, backtracking reconstructs the actual solution (not just the optimal value) by tracing which choices led to each cell.<br><br><img src="paste-c186a33203c3cb874cfeb7870ee1a4c5d52bf205.jpg">
Tags: ETH::1._Semester::A&D::06._Dynamic_Programming

Note 9: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Classic
GUID: m5TC:^C`Y9
modified

Before

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
how to speed up array access to DP-Array

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
how to speed up array access to DP-Array

Row-Major vs. Column Major Access:

set the inner loop variable to be the array's inner variable:

for j in ...:
  for i in ...:
    DP[j][i]

Otherwise we have to jump DP[i].length elements each time we want to access the next element

After

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
How to speed up array access for a DP-array

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
How to speed up array access for a DP-array

Row-Major vs. Column Major Access:

Set the inner loop variable to be the array's inner variable:

for j in ...:
  for i in ...:
    DP[j][i]

Otherwise we have to jump DP[i].length elements each time we want to access the next element.
Field-by-field Comparison
Field Before After
Front how to speed up array access to DP-Array How to speed up array access for a DP-array
Back <b>Row-Major</b> vs. <b>Column Major</b> Access:<br><br>set the inner loop variable to be the array's inner variable:<br><br>for j in ...:<br>&nbsp; for i in ...:<br>&nbsp; &nbsp; DP[j][i]<br><br>Otherwise we have to jump DP[i].length elements each time we want to access the next element <b>Row-Major</b> vs. <b>Column Major</b> Access:<br><br>Set the inner loop variable to be the array's inner variable:<br><br>for j in ...:<br>&nbsp; for i in ...:<br>&nbsp; &nbsp; DP[j][i]<br><br>Otherwise we have to jump DP[i].length elements each time we want to access the next element.
Tags: ETH::1._Semester::A&D::06._Dynamic_Programming

Note 10: ETH::A&D

Deck: ETH::A&D
Note Type: Horvath Classic
GUID: vgCb-fRsjm
modified

Before

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
Runtime from DP Table

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
Runtime from DP Table

We use the number of entries * the time to compute them (usually \(O(1)\))

After

Front

ETH::1._Semester::A&D::06._Dynamic_Programming
How can we get the runtime of an algorithm based on it's DP table?

Back

ETH::1._Semester::A&D::06._Dynamic_Programming
How can we get the runtime of an algorithm based on it's DP table?

We use the number of entries * the time to compute them (usually \(O(1)\))
Field-by-field Comparison
Field Before After
Front Runtime from DP Table How can we get the runtime of an algorithm based on it's DP table?
Tags: ETH::1._Semester::A&D::06._Dynamic_Programming

Note 11: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: Cug/az1F}r
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability Proof by Complement (with example \([0,1] \setminus \mathbb{Q}\):

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability Proof by Complement (with example \([0,1] \setminus \mathbb{Q}\):

  • Find \(B\) uncountable such that \(A \subseteq B\).
  • Show that \(B \backslash A\) countable which proves that \(A\) uncountable.
  • You have to prove this implication in the exam:
    • Assume \(A\) is countable towards contradiction.
    • We have shown that \(B \ \backslash \ A\) is countable.
    • Thus \(A \cup (B \ \backslash \ A)\) also countable (Theorem 3.22: Union of countable is countable).
    • But \(A \cup (B \ \backslash \ A) = B\) which is uncountable - contradiction!

Verwende \(\mathbb{R}\) oder \([0,1]\) statt \({0, 1}^\infty\) falls einfacher.

Beispiel mit \([0,1] \setminus \mathbb{Q}\):
  • We know \([0,1]\) is uncountable.
  • By definition \([0, 1] \setminus \mathbb{Q} \subseteq [0,1]\) and \([0,1] \setminus ([0,1] \setminus \mathbb{Q})\) which is equal to \(\mathbb{Q} \cap [0,1]\). Thus \(\mathbb{Q} \cap [0,1] \subseteq \mathbb{Q}\) and by Lemma 3.15 \(\mathbb{Q} \cap [0,1] \preceq \mathbb{Q}\) (subset is dominated). 
  • Hence \(\mathbb{Q} \cap [0,1] \preceq \mathbb{N}\) (by transitivity). 
  • Therefore \(\mathbb{Q} \cap [0,1] = [0,1] \setminus ([0,1] \setminus \mathbb{Q})\) countable and thus \([0,1] \setminus \mathbb{Q}\) uncountable (by complement trick).

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability Proof by Complement (with example \([0,1] \setminus \mathbb{Q}\)):

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability Proof by Complement (with example \([0,1] \setminus \mathbb{Q}\)):

  • Find \(B\) uncountable such that \(A \subseteq B\).
  • Show that \(B \backslash A\) countable which proves that \(A\) uncountable.
  • You have to prove this implication in the exam:
    • Assume \(A\) is countable towards contradiction.
    • We have shown that \(B \ \backslash \ A\) is countable.
    • Thus \(A \cup (B \ \backslash \ A)\) also countable (Theorem 3.22: Union of countable is countable).
    • But \(A \cup (B \ \backslash \ A) = B\) which is uncountable - contradiction!

Verwende \(\mathbb{R}\) oder \([0,1]\) statt \({0, 1}^\infty\) falls einfacher.

Beispiel mit \([0,1] \setminus \mathbb{Q}\):
  • We know \([0,1]\) is uncountable.
  • By definition \([0, 1] \setminus \mathbb{Q} \subseteq [0,1]\) and \([0,1] \setminus ([0,1] \setminus \mathbb{Q})\) which is equal to \(\mathbb{Q} \cap [0,1]\). Thus \(\mathbb{Q} \cap [0,1] \subseteq \mathbb{Q}\) and by Lemma 3.15 \(\mathbb{Q} \cap [0,1] \preceq \mathbb{Q}\) (subset is dominated). 
  • Hence \(\mathbb{Q} \cap [0,1] \preceq \mathbb{N}\) (by transitivity). 
  • Therefore \(\mathbb{Q} \cap [0,1] = [0,1] \setminus ([0,1] \setminus \mathbb{Q})\) countable and thus \([0,1] \setminus \mathbb{Q}\) uncountable (by complement trick).
Field-by-field Comparison
Field Before After
Front Uncountability Proof by Complement (with example&nbsp;\([0,1] \setminus \mathbb{Q}\): Uncountability Proof by Complement (with example&nbsp;\([0,1] \setminus \mathbb{Q}\)):
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞

Note 12: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: G3,dI)){d{
modified

Before

Front

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

Which elements generate \(\mathbb{Z}_n\)? Also proof

Back

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

Which elements generate \(\mathbb{Z}_n\)? Also proof


\(\mathbb{Z}_n\) is generated by all \(a \in \mathbb{Z}_n\) for which \(\gcd(n, a) = 1\) (all elements coprime to \(n\)).

Proof idea:
- If \(\mathbb{Z}_n = \langle a \rangle\), then \(1 \in \langle a \rangle\)
- This means \(au \equiv_n 1\) for some \(u\)
- By Bézout's identity, this implies \(\gcd(a, n) = 1\) (since \(\gcd\) must divide both \(au-qn\) and 1).

After

Front

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

Which elements generate \(\mathbb{Z}_n\)? How can this be proven?

Back

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

Which elements generate \(\mathbb{Z}_n\)? How can this be proven?


\(\mathbb{Z}_n\) is generated by all \(a \in \mathbb{Z}_n\) for which \(\gcd(n, a) = 1\) (all elements coprime to \(n\)).

Proof idea:
- If \(\mathbb{Z}_n = \langle a \rangle\), then \(1 \in \langle a \rangle\)
- This means \(au \equiv_n 1\) for some \(u\)
- By Bézout's identity, this implies \(\gcd(a, n) = 1\) (since \(\gcd\) must divide both \(au-qn\) and 1).

Field-by-field Comparison
Field Before After
Front <p>Which elements generate \(\mathbb{Z}_n\)? Also proof</p> <p>Which elements generate \(\mathbb{Z}_n\)? How can this be proven?</p>
Tags: ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

Note 13: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: IH=>J8$0Y%
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::2._Representations_of_Relations
What are the three ways to represent a relation on finite sets?

1.  Set notation (subset of \(A \times B\))
2.  Boolean matrix (1 if \((a,b) \in \rho\), 0 otherwise)
3.  Directed graph (nodes are elements, edges are relations)

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::2._Representations_of_Relations
What are the three ways to represent a relation on finite sets?

1.  Set notation (subset of \(A \times B\))
2.  Boolean matrix (1 if \((a,b) \in \rho\), 0 otherwise)
3.  Directed graph (nodes are elements, edges are relations)

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::2._Representations_of_Relations
What are the three ways to represent a relation on finite sets?
  1.  Set notation (subset of \(A \times B\))
  2.  Boolean matrix (1 if \((a,b) \in \rho\), 0 otherwise)
  3.  Directed graph (nodes are elements, edges are relations)

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::2._Representations_of_Relations
What are the three ways to represent a relation on finite sets?
  1.  Set notation (subset of \(A \times B\))
  2.  Boolean matrix (1 if \((a,b) \in \rho\), 0 otherwise)
  3.  Directed graph (nodes are elements, edges are relations)
Field-by-field Comparison
Field Before After
Text What are the three ways to represent a relation on finite sets?<br><br>1. {{c1::&nbsp;<strong>Set notation</strong>&nbsp;(subset of&nbsp;\(A \times B\))}}<br>2. {{c2::&nbsp;<strong>Boolean matrix</strong>&nbsp;(1 if&nbsp;\((a,b) \in \rho\), 0 otherwise)}}<br>3. {{c3::&nbsp;<strong>Directed graph</strong>&nbsp;(nodes are elements, edges are relations)}} What are the three ways to represent a relation on finite sets?<br><ol><li>{{c1::&nbsp;<strong>Set notation</strong>&nbsp;(subset of&nbsp;\(A \times B\))}}</li><li>{{c2::&nbsp;<strong>Boolean matrix</strong>&nbsp;(1 if&nbsp;\((a,b) \in \rho\), 0 otherwise)}}</li><li>{{c3::&nbsp;<strong>Directed graph</strong>&nbsp;(nodes are elements, edges are relations)}}</li></ol>
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::3._Relations::2._Representations_of_Relations

Note 14: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: LM9=
modified

Before

Front

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
The Diffie-Hellman Key-Agreement selects two public values:
  1. a large prime \(p\)
  2. basis \(g\) which is then exponentiated

Back

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
The Diffie-Hellman Key-Agreement selects two public values:
  1. a large prime \(p\)
  2. basis \(g\) which is then exponentiated

After

Front

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
The Diffie-Hellman Key-Agreement selects two public values:
  1. a large prime \(p\)
  2. a basis \(g\), which is then exponentiated

Back

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
The Diffie-Hellman Key-Agreement selects two public values:
  1. a large prime \(p\)
  2. a basis \(g\), which is then exponentiated
Field-by-field Comparison
Field Before After
Text The Diffie-Hellman Key-Agreement selects two public values:<br><ol><li>{{c1:: a large prime&nbsp;\(p\)}}</li><li>{{c2:: basis&nbsp;\(g\)&nbsp;which is then exponentiated}}</li></ol> The Diffie-Hellman Key-Agreement selects two public values:<br><ol><li>{{c1:: a large prime&nbsp;\(p\)}}</li><li>{{c2:: a basis&nbsp;\(g\),&nbsp;which is then exponentiated}}</li></ol>
Tags: ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement

Note 15: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: M035/^ZEJ$
modified

Before

Front

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of subgroups of \(\mathbb{Z}_n\)?

Back

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of subgroups of \(\mathbb{Z}_n\)?

it is the number of divisors of \(n\) (as the order of each subgroup divides the group order (which is n here) by Lagrange). 
if \(n\) is written \(n = p_1^{e_1} \times p_2^{e_2} \times ... \times p_k^{e_k}\) then it is \(\prod_{i=1}^k (e_i+1)\)

After

Front

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of subgroups of \(\mathbb{Z}_n\)?

Back

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of subgroups of \(\mathbb{Z}_n\)?

The number of divisors of \(n\) (as the order of each subgroup divides the group order (which is n here) by Lagrange). 

If \(n\) is written \(n = p_1^{e_1} \times p_2^{e_2} \times ... \times p_k^{e_k}\) then it is \(\prod_{i=1}^k (e_i+1)\)
Field-by-field Comparison
Field Before After
Back it is the number of divisors of&nbsp;\(n\)&nbsp;(as the order of each subgroup divides the group order (which is n here) by Lagrange).&nbsp;<br>if&nbsp;\(n\)&nbsp;is written&nbsp;\(n = p_1^{e_1} \times p_2^{e_2} \times ... \times p_k^{e_k}\)&nbsp;then it is&nbsp;\(\prod_{i=1}^k (e_i+1)\) The number of divisors of&nbsp;\(n\)&nbsp;(as the order of each subgroup divides the group order (which is n here) by Lagrange).&nbsp;<br><br>If&nbsp;\(n\)&nbsp;is written&nbsp;\(n = p_1^{e_1} \times p_2^{e_2} \times ... \times p_k^{e_k}\)&nbsp;then it is&nbsp;\(\prod_{i=1}^k (e_i+1)\)
Tags: ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

Note 16: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: N$(b/mcC}}
modified

Before

Front

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::2._Associativity_and_Monoids
A monoid is an algebra \( \langle S; *, e \rangle\) where \(*\) is associative and \(e\) is the neutral element.

Back

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::2._Associativity_and_Monoids
A monoid is an algebra \( \langle S; *, e \rangle\) where \(*\) is associative and \(e\) is the neutral element.

Difference to group: Inverse missing

After

Front

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::2._Associativity_and_Monoids
A monoid is an algebra \( \langle S; *, e \rangle\) where \(*\) is associative and \(e\) is the neutral element.

Back

ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::2._Associativity_and_Monoids
A monoid is an algebra \( \langle S; *, e \rangle\) where \(*\) is associative and \(e\) is the neutral element.

Difference to group: Absence of inverse
Field-by-field Comparison
Field Before After
Extra Difference to group: Inverse missing Difference to group: Absence of inverse
Tags: ETH::1._Semester::DiskMat::5._Algebra::2._Monoids_and_Groups::2._Associativity_and_Monoids

Note 17: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: eQKQ_hr,6l
modified

Before

Front

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

We have the order {{c1::\(\text{ord}(a)\)}} = \(|\langle a \rangle|\). (Subgroup def.)

Back

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

We have the order {{c1::\(\text{ord}(a)\)}} = \(|\langle a \rangle|\). (Subgroup def.)


The order of a also divides the group order according to Lagranges.

After

Front

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

We have {{c1::the order \(\text{ord}(a)\)}} = \(|\langle a \rangle|\)

Back

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

We have {{c1::the order \(\text{ord}(a)\)}} = \(|\langle a \rangle|\)


The order of a also divides the group order according to Lagranges.
Field-by-field Comparison
Field Before After
Text <p>We have the order {{c1::\(\text{ord}(a)\)}} = {{c2::\(|\langle a \rangle|\)}}. (Subgroup def.)</p> <p>We have {{c1::the order&nbsp;\(\text{ord}(a)\)}} = {{c2::\(|\langle a \rangle|\)::Subgroup definition}}.&nbsp;</p>
Tags: ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

Note 18: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: flg:zgN+=`
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability Proof by Diagonalisation:

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability Proof by Diagonalisation:

  1. Assume countable: Suppose \(f: \mathbb{N} \to A\) is a bijection. Therefore we can enumerate elements of \(A\): \(a_1, a_2, a_3, \ldots\)
  2. Represent elements: Let \(a_{i,j} \) represent the \(j\)-th number in the \(i\)-th element.
  3. Construct diagonal element \(b\): Define \(b\) by setting each element
    • We need to have: \(b_i \neq a_{i,i}\) for all \(i\) 
    • \(b_i = 1 - a_{i,i}\) (flip the bit) or \(b_i = \begin{cases} 4 & \text{if } a_{i,i} \neq 4 \\ 5 & \text{if } a_{i,i} = 4 \end{cases}\) (simply change element)
  4. Show \(b\) not in list: For any \(i\), we have \(b_i \neq a_{i,i}\)
    • Therefore \(b \neq a_i\) for all \(i\)
  5. Contradiction: But \(b \in A\), yet \(b \notin \{a_1, a_2, \ldots\}\)
    • So \(f\) is not surjective → no bijection exists → \(A\) uncountable

Key idea: \(b\) differs from the \(n\)-th element in the \(n\)-th position, so it "escapes" any enumeration.

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability Proof by Diagonalisation

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability Proof by Diagonalisation

  1. Assume countable: Suppose \(f: \mathbb{N} \to A\) is a bijection. Therefore we can enumerate elements of \(A\): \(a_1, a_2, a_3, \ldots\)
  2. Represent elements: Let \(a_{i,j} \) represent the \(j\)-th number in the \(i\)-th element.
  3. Construct diagonal element \(b\): Define \(b\) by setting each element
    • We need to have: \(b_i \neq a_{i,i}\) for all \(i\) 
    • \(b_i = 1 - a_{i,i}\) (flip the bit) or \(b_i = \begin{cases} 4 & \text{if } a_{i,i} \neq 4 \\ 5 & \text{if } a_{i,i} = 4 \end{cases}\) (simply change element)
  4. Show \(b\) not in list: For any \(i\), we have \(b_i \neq a_{i,i}\)
    • Therefore \(b \neq a_i\) for all \(i\)
  5. Contradiction: But \(b \in A\), yet \(b \notin \{a_1, a_2, \ldots\}\)
    • So \(f\) is not surjective → no bijection exists → \(A\) uncountable

Key idea: \(b\) differs from the \(n\)-th element in the \(n\)-th position, so it "escapes" any enumeration.

Field-by-field Comparison
Field Before After
Front Uncountability Proof by Diagonalisation: Uncountability Proof by Diagonalisation
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞

Note 19: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: lvTl-y(g+[
modified

Before

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability proof using \(\{0,1\}^\infty\) (4 steps):

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability proof using \(\{0,1\}^\infty\) (4 steps):

  • Injektion finden: Konstruiere \(f : {0, 1}^\infty \rightarrow A$, sodass $b \not = b’ \ \implies f(b) \not = f(b’)\)
  • Funktion verifizieren: Zeige dass \(f\) well-defined und total ist, und \(f(b) \in A\) für alle \(b\).
  • Injektivität beweisen: Zeige \(f(b) = f(b’) \ \implies b = b’\) oder direkt \(b \not = b’ \ \implies \ f(b) \not = f(b’)\).
  • Schluss: We now know \(\{0, 1\}^\infty \preceq A\) as there's an injection.
    Annahme \(A \preceq \mathbb{N} \implies \{0, 1\}^\infty \preceq \mathbb{N}\) via transitivity -> Contradiction. Thus \(A\) is uncountable: \(\lnot (A \preceq\mathbb{N})\).

After

Front

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability proof using \(\{0,1\}^\infty\) (4 steps):

Back

ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞
Uncountability proof using \(\{0,1\}^\infty\) (4 steps):

  • Injektion finden: Konstruiere \(f : {0, 1}^\infty \rightarrow A\), sodass \(b \not = b’ \ \implies f(b) \not = f(b’)\).
  • Funktion verifizieren: Zeige dass \(f\) well-defined und total ist, und \(f(b) \in A\) für alle \(b\).
  • Injektivität beweisen: Zeige \(f(b) = f(b’) \ \implies b = b’\) oder direkt \(b \not = b’ \ \implies \ f(b) \not = f(b’)\).
  • Schluss: We now know \(\{0, 1\}^\infty \preceq A\) as there's an injection.
    Annahme \(A \preceq \mathbb{N} \implies \{0, 1\}^\infty \preceq \mathbb{N}\) via transitivity -> Contradiction. Thus \(A\) is uncountable: \(\lnot (A \preceq\mathbb{N})\).
Field-by-field Comparison
Field Before After
Back <ul> <li><em>Injektion finden</em>: Konstruiere \(f : {0, 1}^\infty \rightarrow A$, sodass $b \not = b’ \ \implies f(b) \not = f(b’)\)</li> <li><em>Funktion verifizieren</em>: Zeige dass \(f\) <em>well-defined</em> und <em>total</em> ist, und \(f(b) \in A\) für alle \(b\).</li> <li><em>Injektivität beweisen</em>: Zeige \(f(b) = f(b’) \ \implies b = b’\) oder direkt \(b \not = b’ \ \implies \ f(b) \not = f(b’)\).</li> <li><em>Schluss</em>: We now know \(\{0, 1\}^\infty \preceq A\) as there's an injection.<br>Annahme \(A \preceq \mathbb{N} \implies \{0, 1\}^\infty \preceq \mathbb{N}\) via transitivity -&gt; Contradiction. Thus \(A\) is uncountable: \(\lnot (A \preceq\mathbb{N})\).</li></ul> <ul> <li><em>Injektion finden</em>: Konstruiere \(f : {0, 1}^\infty \rightarrow A\), sodass&nbsp;\(b \not = b’ \ \implies f(b) \not = f(b’)\).</li> <li><em>Funktion verifizieren</em>: Zeige dass \(f\) <em>well-defined</em> und <em>total</em> ist, und \(f(b) \in A\) für alle \(b\).</li> <li><em>Injektivität beweisen</em>: Zeige \(f(b) = f(b’) \ \implies b = b’\) oder direkt \(b \not = b’ \ \implies \ f(b) \not = f(b’)\).</li> <li><em>Schluss</em>: We now know \(\{0, 1\}^\infty \preceq A\) as there's an injection.<br>Annahme \(A \preceq \mathbb{N} \implies \{0, 1\}^\infty \preceq \mathbb{N}\) via transitivity -&gt; Contradiction. Thus \(A\) is uncountable: \(\lnot (A \preceq\mathbb{N})\).</li></ul>
Tags: ETH::1._Semester::DiskMat::3._Sets,_Relations,_and_Functions::7._Countable_and_Uncountable_Sets::4._Uncountability_of_{0,_1}^∞

Note 20: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: pD<6]f{)8D
modified

Before

Front

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of generators of \(\mathbb{Z}_{25}^* \)?

Back

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of generators of \(\mathbb{Z}_{25}^* \)?

it is \(\varphi(\varphi(25)) = |\mathbb{Z}_{\varphi(25)}^*| = |\mathbb{Z}_{20}^*| = 8\) ( 1, 3, 7, 9, 11, 13, 17, 19 )

After

Front

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of generators of \(\mathbb{Z}_{25}^* \)?

Back

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of generators of \(\mathbb{Z}_{25}^* \)?

\(\varphi(\varphi(25)) = |\mathbb{Z}_{\varphi(25)}| = |\mathbb{Z}_{20}| = 8\) 

( 1, 3, 7, 9, 11, 13, 17, 19 )
Field-by-field Comparison
Field Before After
Back it is&nbsp;\(\varphi(\varphi(25)) = |\mathbb{Z}_{\varphi(25)}^*| = |\mathbb{Z}_{20}^*| = 8\)&nbsp;( 1, 3, 7, 9, 11, 13, 17, 19 ) \(\varphi(\varphi(25)) = |\mathbb{Z}_{\varphi(25)}| = |\mathbb{Z}_{20}| = 8\)&nbsp;<br><br>( 1, 3, 7, 9, 11, 13, 17, 19 )
Tags: ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

Note 21: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: qAyHDnFN7L
modified

Before

Front

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of generators of \(\mathbb{Z}_n^*\)?

Back

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of generators of \(\mathbb{Z}_n^*\)?

1. verify that \(\mathbb{Z}_n^*\)is cyclic (iff n = 2, 4, \(p^e\), \(2p^e\), with \(e \ge 1\) and \(p\) is an odd prime)
2. if \(\mathbb{Z}_n^*\) is cyclic then it is isomorphic to \(\mathbb{Z}_{\varphi(n)}^+\) (by lemma) 
3. the number of generators of \(\mathbb{Z}_{\varphi(n)}^+\) is \(\varphi(\varphi(n))\) as it is the number of coprime elements of the group

After

Front

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of generators of \(\mathbb{Z}_n^*\)?

Back

ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups
What is the number of generators of \(\mathbb{Z}_n^*\)?

1. Verify that \(\mathbb{Z}_n^*\)is cyclic (iff n = 2, 4, \(p^e\), \(2p^e\), with \(e \ge 1\) and \(p\) is an odd prime)
2. If \(\mathbb{Z}_n^*\) is cyclic then it is isomorphic to \(\mathbb{Z}_{\varphi(n)}^+\) (by lemma) 
3. The number of generators of \(\mathbb{Z}_{\varphi(n)}^+\) is \(\varphi(\varphi(n))\) as it is the number of coprime elements of the group.
Field-by-field Comparison
Field Before After
Back 1. verify that&nbsp;\(\mathbb{Z}_n^*\)is cyclic (iff n = 2, 4,&nbsp;\(p^e\),&nbsp;\(2p^e\), with&nbsp;\(e \ge 1\)&nbsp;and&nbsp;\(p\)&nbsp;is an odd prime)<br>2. if&nbsp;\(\mathbb{Z}_n^*\)&nbsp;is cyclic then it is isomorphic to&nbsp;\(\mathbb{Z}_{\varphi(n)}^+\)&nbsp;(by lemma)&nbsp;<br>3. the number of generators of&nbsp;\(\mathbb{Z}_{\varphi(n)}^+\)&nbsp;is&nbsp;\(\varphi(\varphi(n))\)&nbsp;as it is the number of coprime elements of the group 1. Verify that&nbsp;\(\mathbb{Z}_n^*\)is cyclic (iff n = 2, 4,&nbsp;\(p^e\),&nbsp;\(2p^e\), with&nbsp;\(e \ge 1\)&nbsp;and&nbsp;\(p\)&nbsp;is an odd prime)<br>2. If&nbsp;\(\mathbb{Z}_n^*\)&nbsp;is cyclic then it is isomorphic to&nbsp;\(\mathbb{Z}_{\varphi(n)}^+\)&nbsp;(by lemma)&nbsp;<br>3. The number of generators of&nbsp;\(\mathbb{Z}_{\varphi(n)}^+\)&nbsp;is&nbsp;\(\varphi(\varphi(n))\)&nbsp;as it is the number of coprime elements of the group.
Tags: ETH::1._Semester::DiskMat::5._Algebra::3._The_Structure_of_Groups::5._Cyclic_Groups

Note 22: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Classic
GUID: tuHe#n^N^#
modified

Before

Front

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
DHKE works because?

Back

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
DHKE works because?

The discrete logarithm problem is hard!

That is, it's hard to find \(x_A\) from \(g^{x_A} \mod p\), knowing \(g\).

After

Front

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
The Diffie-Hellman Key-Agreement works because?

Back

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
The Diffie-Hellman Key-Agreement works because?

The discrete logarithm problem is hard!

That is, it's hard to find \(x_A\) from \(g^{x_A} \mod p\), knowing \(g\).
Field-by-field Comparison
Field Before After
Front DHKE works because? The Diffie-Hellman Key-Agreement works because?
Tags: ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement

Note 23: ETH::DiskMat

Deck: ETH::DiskMat
Note Type: Horvath Cloze
GUID: uK|j,XZw5[
modified

Before

Front

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
For DHKE, both Alice and Bob choose \(x_A, x_B\) (their private keys) at random.

They then compute {{c2:: \(y_A := R_p(g^{x_A})\) and \(y_B\) analogously, which are their public keys}} which is sent over the network to their partner.

The other {{c3:: then exponentiates by their private key to get the shared key \(k_{AB} \equiv_p y_B^{x_A} \equiv_p g^{x_B \cdot x_A} \equiv_p y_A^{x_B}\)}}.

Back

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
For DHKE, both Alice and Bob choose \(x_A, x_B\) (their private keys) at random.

They then compute {{c2:: \(y_A := R_p(g^{x_A})\) and \(y_B\) analogously, which are their public keys}} which is sent over the network to their partner.

The other {{c3:: then exponentiates by their private key to get the shared key \(k_{AB} \equiv_p y_B^{x_A} \equiv_p g^{x_B \cdot x_A} \equiv_p y_A^{x_B}\)}}.

After

Front

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
For Diffie-Hellman key agreement, both Alice and Bob choose \(x_A, x_B\) (their private keys) at random.

They then compute {{c2:: \(y_A := R_p(g^{x_A})\) and \(y_B\) analogously, which are their public keys}} which is sent over the network to their partner.

The other {{c3:: then exponentiates by their private key to get the shared key \(k_{AB} \equiv_p y_B^{x_A} \equiv_p g^{x_B \cdot x_A} \equiv_p y_A^{x_B}\)}}.

Back

ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement
For Diffie-Hellman key agreement, both Alice and Bob choose \(x_A, x_B\) (their private keys) at random.

They then compute {{c2:: \(y_A := R_p(g^{x_A})\) and \(y_B\) analogously, which are their public keys}} which is sent over the network to their partner.

The other {{c3:: then exponentiates by their private key to get the shared key \(k_{AB} \equiv_p y_B^{x_A} \equiv_p g^{x_B \cdot x_A} \equiv_p y_A^{x_B}\)}}.
Field-by-field Comparison
Field Before After
Text For DHKE, both Alice and Bob {{c1:: choose&nbsp;\(x_A, x_B\)&nbsp;(their private keys) at random}}.<br><br>They then compute {{c2::&nbsp;\(y_A := R_p(g^{x_A})\)&nbsp;and&nbsp;\(y_B\)&nbsp;analogously, which are their public keys}} which is {{c2:: sent over the network to their partner}}.<br><br>The other {{c3:: then exponentiates by their private key to get the shared key&nbsp;\(k_{AB} \equiv_p y_B^{x_A} \equiv_p g^{x_B \cdot x_A} \equiv_p y_A^{x_B}\)}}. For Diffie-Hellman key agreement, both Alice and Bob {{c1:: choose&nbsp;\(x_A, x_B\)&nbsp;(their private keys) at random}}.<br><br>They then compute {{c2::&nbsp;\(y_A := R_p(g^{x_A})\)&nbsp;and&nbsp;\(y_B\)&nbsp;analogously, which are their public keys}} which is {{c2:: sent over the network to their partner}}.<br><br>The other {{c3:: then exponentiates by their private key to get the shared key&nbsp;\(k_{AB} \equiv_p y_B^{x_A} \equiv_p g^{x_B \cdot x_A} \equiv_p y_A^{x_B}\)}}.
Tags: ETH::1._Semester::DiskMat::4._Number_Theory::6._Application:_Diffie-Hellman_Key-Agreement

Note 24: ETH::EProg

Deck: ETH::EProg
Note Type: Horvath Cloze
GUID: D{XXurJu$`
modified

Before

Front

ETH::1._Semester::EProg::2._First_Java_Programs::3._Simple_Calculations::3._Variable_Declaration_and_Initialization
short, int, float, double, long can be initialized using hexadecimal

Back

ETH::1._Semester::EProg::2._First_Java_Programs::3._Simple_Calculations::3._Variable_Declaration_and_Initialization
short, int, float, double, long can be initialized using hexadecimal

possibly also other types but definitely not boolean and char

After

Front

ETH::1._Semester::EProg::2._First_Java_Programs::3._Simple_Calculations::3._Variable_Declaration_and_Initialization
short, int, float, double, long can be initialized using hexadecimal.

Back

ETH::1._Semester::EProg::2._First_Java_Programs::3._Simple_Calculations::3._Variable_Declaration_and_Initialization
short, int, float, double, long can be initialized using hexadecimal.

possibly also other types but definitely not boolean and char
Field-by-field Comparison
Field Before After
Text {{c1:: short, int, float, double, long}} can be initialized using {{c2:: hexadecimal}} {{c1:: short, int, float, double, long}} can be initialized using {{c2:: hexadecimal}}.
Tags: ETH::1._Semester::EProg::2._First_Java_Programs::3._Simple_Calculations::3._Variable_Declaration_and_Initialization

Note 25: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Cloze
GUID: Dd-0>Kd049
modified

Before

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::1._Matrix-Vector_multiplication
The columns of \(A\) are independent if and only if \(x = 0\) is the  only vector for which \(Ax = 0\) (Linear combination view).

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::1._Matrix-Vector_multiplication
The columns of \(A\) are independent if and only if \(x = 0\) is the  only vector for which \(Ax = 0\) (Linear combination view).

After

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::1._Matrix-Vector_multiplication
The columns of \(A\) are independent if and only if \(x = 0\) is the only vector for which \(Ax = 0\).

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::1._Matrix-Vector_multiplication
The columns of \(A\) are independent if and only if \(x = 0\) is the only vector for which \(Ax = 0\).
Field-by-field Comparison
Field Before After
Text The columns of&nbsp;\(A\)&nbsp;are independent if and only if {{c1::\(x = 0\)&nbsp;is the&nbsp; only vector for which&nbsp;\(Ax = 0\)}} (Linear combination view). The columns of&nbsp;\(A\)&nbsp;are independent if and only if {{c1::\(x = 0\)&nbsp;is the only vector for which&nbsp;\(Ax = 0\)::Linear combination view}}.
Tags: ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::1._Matrix-Vector_multiplication

Note 26: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Cloze
GUID: D|B,=vwf}e
modified

Before

Front

ETH::1._Semester::LinAlg::2._Matrices::3._Matrix_multiplication::2._Definition_and_basic_properties
For matrices A, B, C, \(A(B+C)=\)\(AB + AC\) (distributivity)

Back

ETH::1._Semester::LinAlg::2._Matrices::3._Matrix_multiplication::2._Definition_and_basic_properties
For matrices A, B, C, \(A(B+C)=\)\(AB + AC\) (distributivity)

After

Front

ETH::1._Semester::LinAlg::2._Matrices::3._Matrix_multiplication::2._Definition_and_basic_properties
For matrices \(A\), \(B\), \(C\):

\(A(B+C)=AB + AC\)

Back

ETH::1._Semester::LinAlg::2._Matrices::3._Matrix_multiplication::2._Definition_and_basic_properties
For matrices \(A\), \(B\), \(C\):

\(A(B+C)=AB + AC\)

(Distributivity)
Field-by-field Comparison
Field Before After
Text For matrices A, B, C,&nbsp;\(A(B+C)=\){{c1::\(AB + AC\)&nbsp;(distributivity)}} For matrices&nbsp;\(A\),&nbsp;\(B\),&nbsp;\(C\):<br><br>\(A(B+C)={{c1::AB + AC}}\)
Extra (Distributivity)
Tags: ETH::1._Semester::LinAlg::2._Matrices::3._Matrix_multiplication::2._Definition_and_basic_properties

Note 27: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Classic
GUID: v`BTz<1Q{~
modified

Before

Front

ETH::1._Semester::LinAlg::2._Matrices::4._Invertible_and_Inverse_matrices::1._Undoing_matrix_transformations
Wann ist eine Matrix invertierbar?

Back

ETH::1._Semester::LinAlg::2._Matrices::4._Invertible_and_Inverse_matrices::1._Undoing_matrix_transformations
Wann ist eine Matrix invertierbar?

Falls eine Matrix \( \mathbf{X} \) existiert, so dass \( \mathbf{AX} = \mathbf{XA} = \mathbf{I_n}\)

Beispiel: \( \begin{pmatrix} 1 & 2 \\ 0 & 3 \end{pmatrix} * \begin{pmatrix} 1 & -\frac{2}{3} \\ 0 & \frac{1}{3} \end{pmatrix} = \mathbf{I_2}\) 

After

Front

ETH::1._Semester::LinAlg::2._Matrices::4._Invertible_and_Inverse_matrices::1._Undoing_matrix_transformations
Wann ist eine Matrix invertierbar?

Back

ETH::1._Semester::LinAlg::2._Matrices::4._Invertible_and_Inverse_matrices::1._Undoing_matrix_transformations
Wann ist eine Matrix invertierbar?

Falls eine Matrix \( \mathbf{X} \) existiert, sodass \( \mathbf{AX} = \mathbf{XA} = \mathbf{I_n}\)

Beispiel: \( \begin{pmatrix} 1 & 2 \\ 0 & 3 \end{pmatrix} * \begin{pmatrix} 1 & -\frac{2}{3} \\ 0 & \frac{1}{3} \end{pmatrix} = \mathbf{I_2}\) 
Field-by-field Comparison
Field Before After
Back Falls eine Matrix&nbsp;\( \mathbf{X} \) existiert, so dass&nbsp;\( \mathbf{AX} = \mathbf{XA} = \mathbf{I_n}\)<div><br></div><div>Beispiel:&nbsp;\( \begin{pmatrix} 1 &amp; 2 \\ 0 &amp; 3 \end{pmatrix} * \begin{pmatrix} 1 &amp; -\frac{2}{3} \\ 0 &amp; \frac{1}{3} \end{pmatrix} = \mathbf{I_2}\)&nbsp;</div> Falls eine Matrix&nbsp;\( \mathbf{X} \) existiert, sodass&nbsp;\( \mathbf{AX} = \mathbf{XA} = \mathbf{I_n}\)<div><br></div><div>Beispiel:&nbsp;\( \begin{pmatrix} 1 &amp; 2 \\ 0 &amp; 3 \end{pmatrix} * \begin{pmatrix} 1 &amp; -\frac{2}{3} \\ 0 &amp; \frac{1}{3} \end{pmatrix} = \mathbf{I_2}\)&nbsp;</div>
Tags: ETH::1._Semester::LinAlg::2._Matrices::4._Invertible_and_Inverse_matrices::1._Undoing_matrix_transformations

Note 28: ETH::LinAlg

Deck: ETH::LinAlg
Note Type: Horvath Cloze
GUID: z~{N,b0:-A
modified

Before

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
The independent columns of \(A\) {{c1::span the columns space \(\textbf{C}(A)\) of \(A\)}}. Lemma 2.11

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
The independent columns of \(A\) {{c1::span the columns space \(\textbf{C}(A)\) of \(A\)}}. Lemma 2.11

Proven by induction, adding elements that are a linear combination of other ones doesn't change span, thus we can iteratively remove the dependent columns.

After

Front

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
The independent columns of \(A\), {{c1::span the column space \(\textbf{C}(A)\) of \(A\)}}.

Back

ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
The independent columns of \(A\), {{c1::span the column space \(\textbf{C}(A)\) of \(A\)}}.

Proven by induction, adding elements that are a linear combination of other ones doesn't change span, thus we can iteratively remove the dependent columns.

Lemma 2.11
Field-by-field Comparison
Field Before After
Text The {{c2::independent}} columns of&nbsp;\(A\)&nbsp;{{c1::span the columns space&nbsp;\(\textbf{C}(A)\)&nbsp;of&nbsp;\(A\)}}. Lemma 2.11 The {{c2::independent}} columns of&nbsp;\(A\),&nbsp;{{c1::span the column space&nbsp;\(\textbf{C}(A)\)&nbsp;of&nbsp;\(A\)}}.
Extra Proven by induction, adding elements that are a linear combination of other ones doesn't change span, thus we can iteratively remove the dependent columns. Proven by induction, adding elements that are a linear combination of other ones doesn't change span, thus we can iteratively remove the dependent columns.<br><br>Lemma 2.11
Tags: ETH::1._Semester::LinAlg::2._Matrices::1._Matrices_and_linear_combinations::2._Column-space_and_rank
↑ Top