IT, operating systems, maths, and more.
This is the third part of the Turing Machine series. For your convenience you can find other parts in the table of contents in Part 1 – Addition Today we check if given word w is a palindrome. First, we add delimiters at the beginning and at the end. Next, we check first character from … Continue reading Turing Machine Part 3 — Checking palindromes
This is the second part of the Turing Machine series. For your convenience you can find other parts in the table of contents in Part 1 – Addition Today we check if given word w is of a form w = xx. Idea is: first I add delimiters ^ to the word boundary. Next, I … Continue reading Turing Machine Part 2 — Checking if a word is a repetition
This is the fifty fifth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra We have already seen Max flow and last time we used it to ensure that the graph is connected. Today we are going to modify this … Continue reading ILP Part 55 — Shortest path
This is the fifty fourth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra Last time we saw how to implement max flow in ILP. Today we are going to use this approach to make sure that the graph is … Continue reading ILP Part 54 — Graph connectivity
This is the fifty third part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra Today we are going to implement Maximum flow in ILP. We use the following graph: We use the following records: Let’s now initialize the graph: Now … Continue reading ILP Part 53 — Max flow