Category Archives

Archive of posts published in the category: Math

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…

ILP Part 34 — Special Ordered Set Type 1 and 2

This is the thirty fourth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra In the next part of ILP series we will implement Special ordered sets. These…

ILP Part 33 — Lexicographical comparisons

This is the thirty third 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 implement lexicographical comparisons using ILP. Let’s begin! Introduction…

ILP Part 32 — Wolf, goat, cabbage, and farmer

This is the thirty second part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra Hello! Today we will solve classic constraint programming riddle using ILP. Rules Farmer has…

Yet Another Useless Language Part 4 — Compiler

This is the fourth part of YAUL series. For your convenience you can find other parts in the table of contents in Part 1 — Introduction Today we are going to take a look at the basics of compilation process. AST In order…

ILP Part 31 — Students Placement Problem Part 10 — Fixing plan

This is the thirty first part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra Hello! Today we once again take a look at Students Placement Problem. We already…

ILP Part 30 — Sudoku

This is the thirtieth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra Hello! Today we are going to solve Sudoku using ILP. Description In Sudoku we need…

ILP Part 29 — Nonograms

This is the twenty ninth part of the ILP series. For your convenience you can find other parts in the table of contents in Part 1 – Boolean algebra Hello! Today we are going to solve nonograms using ILP. Task description Nonograms are…