Category Archives

Archive of posts published in the category: Math

ILP Part 54 — Graph connectivity

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…

ILP Part 53 — Max flow

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…

ILP Part 52 — Unsigned magnitude decomposition for real variables

This is the fifty second part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra In part 2 we saw how to calculate unsigned magnitude decomposition for non-negative integer…

Machine Learning Part 5, ILP Part 51 — Linear regression

This is the fifty first part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra This is the fifth part of the ML series. For your convenience you can…

ILP Part 50 — MST, vertex cover and edge cover

This is the fiftieth 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 solve three graph problems: vinimum spanning tree, vertex cover and…

ILP Part 49 — Deadline24 2018 – Flow

This is the forty ninth 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 solve the task B from Deadline24 2018 edition. Sewage system Introduction Beetlejumpers…

ILP Part 48 — Shapes and colors

This is the forty eighth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra You are given board with thirty rows and fifteen columns. For each cell you…

ILP Part 47 — Battleship puzzle

This is the forty seventh 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 solve Battleship puzzle. It is very similar to nonograms…

ILP Part 46 — Gray Code

This is the forty sixth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra Hi. Today we are going to generate Gray code using ILP. I am not…

ILP Part 45 — Deadline 24 2017 Election

This is the forty fifth 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 solve Election task from Deadline 24 2017 using ILP. You can read…

ILP Part 44 — Pizza riddle simplified

This is the forty forth 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 solve Pizza practice problem from Hash Code 2017 contest…

ILP Part 43 — Maximum revisited

This is the forty thrid 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 how to implement function in ILP. Last time we used…

ILP Part 42 — Fifteen puzzle

This is the forty second 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 solve another puzzle: Fifteen puzzle. Let’s begin. Game Image from Wikipedia. In…

ILP Part 41 — Rubik’s cube

This is the forty first part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra We continue our exploration of riddles solvable by ILP. Today we are going to…

ILP Part 40 — Ternary logic

This is the fortieth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra We already know how to implement binary logic in ILP, today we are going to…

ILP Part 39 — Non-deterministic Turing Machine

This is the thirty ninth 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 simulate non-deterministic Turing machine using ILP. Let’s begin. Idea…

ILP Part 38 — Arrays in ILP

This is the thirty eighth 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 basic data structure: array. If you know functional…

ILP Part 37 — Send more money

This is the thirty seventh 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 solve “Send more money” problem. We have the following…

ILP Part 36 — Various goal types

This is the thirty sixth 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 will try to introduce various goal types to our problems. There are…

ILP Part 35 — Approximation

This is the thirty fifth 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 Special ordered sets in ILP. Today we…