Search for tag: "sudoku"

CL - 13d - Black holes and DFA

We begin with a short discussion of the history and some applications of FSM. We then introduce Deterministic Finit-state Automata (DFA), and the use of the black hole convention when presenting…

From  Haoran Peng on November 18th, 2020 0 likes 293 plays 0  

CL - 9b - Sudoku III

Sudoku is just a game, but it a good, accessible example of a type of problem that of great practical significance. Here we discuss the Sudoku problem within this wider context.

From  Haoran Peng on November 4th, 2020 0 likes 244 plays 0  

CL - 8d - Sudoku II

In this video we translate this code for checking a solution described by a function s :: Int -> Int -> Int -> Bool into an expression in our language of Forms.This form uses 729…

From  Haoran Peng on November 1st, 2020 0 likes 310 plays 0  

CL - 8c - Sudoku

First we see how to express the rules of Sudoku in Haskell. Given a total function s :: Int -> Int -> Int -> Bool that represents the way a sudoku puzzle is filled in by saying that s i j k…

From  Haoran Peng on November 1st, 2020 0 likes 329 plays 0  

CL - 6f - CNF I

This video shows how blocks of zeros, which correspond to disjund=ctions of literals, lead us to conjunctive normal form (CNF) which we met earlier as the output of our reduction procedure. CNF is in…

From  Haoran Peng on October 24th, 2020 0 likes 448 plays 0