SlideShare a Scribd company logo
1 of 25
A Weird Soviet Method to
Partially Solve the Perebor
Problem
How is this method related to my NP vs P solution
Sing Kuang Tan
singkuangtan@gmail.com
17 August 2021
Perebor Problems
โ€ข Perebor problems are difficult problems which current methods can
only solve it by brute force algorithm
โ€ข https://drdoane.com/the-perebor-problem/
โ€ข Perebor problems are the NP (Non-Deterministic Polynomial time
complexity) problem
โ€ข Can we convert NP into P (Polynomial time complexity) problem?
โ€ข My answer is NO.
โ€ข My solution to NP vs P problem is NPโ‰ P
Link to my paper
https://www.slideshare.net/SingKuangTan/brief-np-vspexplain-249524831
Prove Np not equal P using Markov Random Field and Boolean Algebra
Simplification
https://vixra.org/abs/2105.0181
Alexander Razborov (from Soviet Union)
โ€ข He developed the method to partially solve Perebor Problem.
โ€ข Bio: https://en.wikipedia.org/wiki/Alexander_Razborov
โ€ข In 1985, Razborov has proved that Clique problem of a graph requires a Non-
Deterministic Polynomial time complexity (NP) algorithm if the algorithm is implemented
using Boolean algebra consist of only โ€œAndโ€ and โ€œOrโ€ operations
โ€ข As there is no โ€œNotโ€ operation, so it only partially proves that NPโ‰ P
โ€ข Later I will show how I circumvent the problem of no โ€œNotโ€ operation
โ€ข https://blog.computationalcomplexity.org/2005/09/circuit-complexity-and-p-versus-np.html
โ€ข https://www.cs.utexas.edu/~danama/courses/adv-comp/scribe5.pdf
โ€ข A. A. Razborov, Lower bounds on the monotone complexity of some Boolean functions, Dokl.
Akad. Nauk. SSSR, 281(4):798-801, 1985
โ€ข At that time, Soviet is one of the country leading in the problem on NP vs P
โ€ข Soviet Song โ€œOur Armyโ€ LOL
โ€ข https://www.youtube.com/watch?v=5yYQIa-4rLE
โ€ข Enable subtitles ๏Š
Clique Problem
โ€ข https://en.wikipedia.org/wiki/Clique_problem
4-clique in this 7 vertices graph can
be found using brute force
โ€œOrโ€ operation
โ€œAndโ€ operation
This digital circuit is used to detect whether a 3-clique exists
in this 4 vertices graph
This circuit has only โ€œAndโ€ and โ€œOrโ€ operations (In literature,
this is called a monotone circuit)
Cellular Automata
โ€ข What is Cellular Automata?
โ€ข https://mathworld.wolfram.com/CellularAutomaton.ht
ml
โ€ข https://natureofcode.com/book/chapter-7-cellular-
automata/
โ€ข https://towardsdatascience.com/simple-but-stunning-
animated-cellular-automata-in-python-c912e0c156a9
โ€ข https://towardsdatascience.com/algorithmic-beauty-an-
introduction-to-cellular-automata-f53179b3cf8f
โ€ข Animation
โ€ข https://www.youtube.com/watch?v=3MJ8deSCOCE
โ€œNotโ€ operations are unnecessary
โ€ข I will show using โ€œNotโ€ operations are unnecessary for
implementation of any algorithms using Boolean algebra
โ€ข I will use Cellular Automata as an Universal Computing model
โ€ข A Polynomial time (P) Cellular Automata can be implemented without any
โ€œNotโ€ operation
First layer is
the input of an
algorithm
Last layer is the
output of an
algorithm
Cellular Automata
can implement any
algorithm
Different algorithm can be
implemented by changing the
rule
Cellular Automata can Emulate any Computer
Algorithm
An algorithm implemented
on a modern computer
Can also be implemented using
Cellular Automata
A Polynomial time complexity (P)
algorithm remains Polynomial time (P)
after implemented on Cellular
Automata
A Non-Deterministic Polynomial time
complexity (NP) algorithm remains
Non-Deterministic Polynomial time
(NP) after implemented on Cellular
Automata
Simple Cellular Automata Example
5 bit binary input
1 bit binary output
Simple Cellular Automata Example
Each intermediate output is
dependent on input
Each output is dependent on
intermediate outputs
โ€ข This looks like a convolutional
neural network
โ€ข Neural Network can be
represented by multi-layer
Boolean algebra
โ€ข Multi-layer Boolean algebra
simplification gives us insight on
how to train a neural network
Simply Cellular Automata Example
a1,1 a1,2 a1,3 a1,4 a1,5
a2,2 a2,3 a2,4
a3,3
I give a variable name to each
cell of the Cellular Automata
a1,1
Boolean
Algebra or
Circuit
๐‘Ž3,3
a1,2
a1,3
a1,4
a1,5
Simply Cellular Automata Example
ai,j ai,j+1 Ai,j+2
ai+1,j+1
๐‘Ž๐‘–+1,๐‘—+1 = ๐‘Ž๐‘–,๐‘— ๐‘Ž๐‘–,๐‘—+1 ๐‘Ž๐‘–,๐‘—+2 +
๐‘Ž๐‘–,๐‘—๐‘Ž๐‘–,๐‘—+1 ๐‘Ž๐‘–,๐‘—+2+ ๐‘Ž๐‘–,๐‘— ๐‘Ž๐‘–,๐‘—+1 ๐‘Ž๐‘–,๐‘—+2 +
๐‘Ž๐‘–,๐‘— ๐‘Ž๐‘–,๐‘—+1 ๐‘Ž๐‘–,๐‘—+2
Bar above ai,j means โ€œNotโ€ operation on ai,j
Addition means โ€œOrโ€ operation
Multiplication means โ€œAndโ€ operation
The rule can be implemented
using the Boolean algebra below
Simply Cellular Automata Example
a1,1 a1,2 a1,3 a1,4 a1,5
a2,2 a2,3 a2,4
a3,3
๐‘Ž2,2 = ๐‘Ž1,1 ๐‘Ž1,2 ๐‘Ž1,3 + ๐‘Ž1,1๐‘Ž1,2 ๐‘Ž1,3+
๐‘Ž1,1 ๐‘Ž1,2 ๐‘Ž1,3 + ๐‘Ž1,1 ๐‘Ž1,2 ๐‘Ž1,3
๐‘Ž2,3 = ๐‘Ž1,2 ๐‘Ž1,3 ๐‘Ž1,4 + ๐‘Ž1,2๐‘Ž1,3 ๐‘Ž1,4+
๐‘Ž1,2 ๐‘Ž1,3 ๐‘Ž1,4 + ๐‘Ž1,2 ๐‘Ž1,3 ๐‘Ž1,4
๐‘Ž2,4 = ๐‘Ž1,3 ๐‘Ž1,4 ๐‘Ž1,5 + ๐‘Ž1,3๐‘Ž1,4 ๐‘Ž1,5+
๐‘Ž1,3 ๐‘Ž1,4 ๐‘Ž1,5 + ๐‘Ž1,3 ๐‘Ž1,4 ๐‘Ž1,5
๐‘Ž3,3 = ๐‘Ž2,2 ๐‘Ž2,3 ๐‘Ž2,4 + ๐‘Ž2,2๐‘Ž2,3 ๐‘Ž2,4+
๐‘Ž2,2 ๐‘Ž2,3 ๐‘Ž2,4 + ๐‘Ž2,2 ๐‘Ž2,3 ๐‘Ž2,4
Represent the Cellular Automata by
Boolean algebra,
Simply Cellular Automata Example
๐‘Ž2,2,0 = ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 +
๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1
+ ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0
๐‘Ž2,2,1 = ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,0 +
๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,1+ ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,0
+ ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,1
๐‘Ž2,3,0 = ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 +
๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+ ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1
+ ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0
๐‘Ž2,3,1 = ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 +
๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+ ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0
+ ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1
๐‘Ž2,4,0 = ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 +
๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+ ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1
+ ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0
๐‘Ž2,4,1 = ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 +
๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+ ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0
+ ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1
๐‘Ž3,3,1 = (๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,1+ ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,1)(๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 + ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+
๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0)(๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 + ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+ ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0) +
(๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0)(๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+
๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1)(๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+ ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1)+
(๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0)(๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+
๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1)(๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 + ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+ ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0)
+ (๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0)(๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 + ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+
๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0)(๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+ ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1)
Use the
representation below
to simplify the
equations,
๐‘Ž๐‘–,๐‘—,0 = ๐‘Ž๐‘–,๐‘—
๐‘Ž๐‘–,๐‘—,1 = ๐‘Ž๐‘–,๐‘—
Combine all equations into 1 equation
Later can do expansion or factorization on this 1 equation
๐‘Ž3,3,1 = ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,0 +
๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,1+ ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,0
+ ๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,1
Simply Cellular Automata Example
a1,1 a1,2 a1,3 a1,4 a1,5
a2,2 a2,3 a2,4
a3,3
Find a3,3 in terms of a1,1, a1,2, a1,3, a1,4, a1,5 is
a3,3=a1,1,0a1,2,0a1,3,0a1,4,0a1,5,1
+ a1,1,0a1,2,0a1,3,0a1,4,1a1,5,0
+ a1,1,0a1,2,0a1,3,0a1,4,1a1,5,1
+ a1,1,0a1,2,1a1,3,1a1,4,0a1,5,1
+ a1,1,0a1,2,1a1,3,1a1,4,1a1,5,0
+ a1,1,0a1,2,1a1,3,1a1,4,1a1,5,1
+ a1,1,1a1,2,0a1,3,0a1,4,0a1,5,0
+ a1,1,1a1,2,0a1,3,1a1,4,0a1,5,0
+ a1,1,1a1,2,0a1,3,1a1,4,0a1,5,1
+ a1,1,1a1,2,0a1,3,1a1,4,1a1,5,0
+ a1,1,1a1,2,0a1,3,1a1,4,1a1,5,1
+ a1,1,1a1,2,1a1,3,0a1,4,0a1,5,0
+ a1,1,1a1,2,1a1,3,0a1,4,0a1,5,1
+ a1,1,1a1,2,1a1,3,0a1,4,1a1,5,0
+ a1,1,1a1,2,1a1,3,0a1,4,1a1,5,1
+ a1,1,1a1,2,1a1,3,1a1,4,0a1,5,0
Use the
representation below
to simplify the
equations,
๐‘Ž๐‘–,๐‘—,0 = ๐‘Ž๐‘–,๐‘—
๐‘Ž๐‘–,๐‘—,1 = ๐‘Ž๐‘–,๐‘—
Simply Cellular Automata Example
a1,1,0
Use the
representation below
to simplify the
equations,
๐‘Ž๐‘–,๐‘—,0 = ๐‘Ž๐‘–,๐‘—
๐‘Ž๐‘–,๐‘—,1 = ๐‘Ž๐‘–,๐‘—
a1,1,1 a1,2,0 a1,2,1 a1,3,0 a1,3,1 a1,4,0 a1,4,1 a1,5,0 a1,5,1
a2,2,0 a2,2,1 a2,3,0 a2,3,1 a2,4,0 a2,4,1
A3,3,0 A3,3,1
Represent the Cellular Automata by
Boolean algebra,
๐‘Ž2,2,0 = ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 +
๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1
+ ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0
๐‘Ž2,2,1 = ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,0 +
๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,1+ ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,0
+ ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,1
๐‘Ž2,3,0 = ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 +
๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+ ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1
+ ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0
๐‘Ž2,3,1 = ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 +
๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+ ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0
+ ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1
๐‘Ž2,4,0 = ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 +
๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+ ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1
+ ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0
๐‘Ž2,4,1 = ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 +
๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+ ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0
+ ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1
๐‘Ž3,3,0 = ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,1 +
๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,0+ ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,1
+ ๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,0
๐‘Ž3,3,1 = ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,0 +
๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,1+ ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,0
+ ๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,1
The use of double
variables remove the
need of โ€œNotโ€ operation
in the Boolean algebra
Simply Cellular Automata Example
a1,1,0
Find a3,3,1 in terms of a1,1,0, a1,2,0, a1,3,0, a1,4,0, a1,5,0, a1,1,1,
a1,2,1, a1,3,1, a1,4,1, a1,5,1 is
a3,3,1=a1,1,0a1,2,0a1,3,0a1,4,0a1,5,1
+ a1,1,0a1,2,0a1,3,0a1,4,1a1,5,0
+ a1,1,0a1,2,0a1,3,0a1,4,1a1,5,1
+ a1,1,0a1,2,1a1,3,1a1,4,0a1,5,1
+ a1,1,0a1,2,1a1,3,1a1,4,1a1,5,0
+ a1,1,0a1,2,1a1,3,1a1,4,1a1,5,1
+ a1,1,1a1,2,0a1,3,0a1,4,0a1,5,0
+ a1,1,1a1,2,0a1,3,1a1,4,0a1,5,0
+ a1,1,1a1,2,0a1,3,1a1,4,0a1,5,1
+ a1,1,1a1,2,0a1,3,1a1,4,1a1,5,0
+ a1,1,1a1,2,0a1,3,1a1,4,1a1,5,1
+ a1,1,1a1,2,1a1,3,0a1,4,0a1,5,0
+ a1,1,1a1,2,1a1,3,0a1,4,0a1,5,1
+ a1,1,1a1,2,1a1,3,0a1,4,1a1,5,0
+ a1,1,1a1,2,1a1,3,0a1,4,1a1,5,1
+ a1,1,1a1,2,1a1,3,1a1,4,0a1,5,0
Use the
representation below
to simplify the
equations,
๐‘Ž๐‘–,๐‘—,0 = ๐‘Ž๐‘–,๐‘—
๐‘Ž๐‘–,๐‘—,1 = ๐‘Ž๐‘–,๐‘—
a1,1,1 a1,2,0 a1,2,1 a1,3,0 a1,3,1 a1,4,0 a1,4,1 a1,5,0 a1,5,1
a2,2,0 a2,2,1 a2,3,0 a2,3,1 a2,4,0 a2,4,1
A3,3,0 A3,3,1
The use of double
variables remove the
need of โ€œNotโ€ operation
in the Boolean algebra
Other Models without โ€œNotโ€ operation
โ€ข Creating a Boolean algebra without โ€œNotโ€ operation may seem weird
in the first place
โ€ข But there is no โ€œNotโ€ operation in
โ€ข Fault tree analysis
โ€ข AND OR graph (for solving e.g. TIC-TAC-TOE)
โ€ข Bayesian network or Markov Random Field
Expansion of the Boolean Algebra
a3,3=a1,1,0a1,2,0a1,3,0a1,4,0a1,5,1
+ a1,1,0a1,2,0a1,3,0a1,4,1a1,5,0
+ a1,1,0a1,2,0a1,3,0a1,4,1a1,5,1
+ a1,1,0a1,2,1a1,3,1a1,4,0a1,5,1
+ a1,1,0a1,2,1a1,3,1a1,4,1a1,5,0
+ a1,1,0a1,2,1a1,3,1a1,4,1a1,5,1
+ a1,1,1a1,2,0a1,3,0a1,4,0a1,5,0
+ a1,1,1a1,2,0a1,3,1a1,4,0a1,5,0
+ a1,1,1a1,2,0a1,3,1a1,4,0a1,5,1
+ a1,1,1a1,2,0a1,3,1a1,4,1a1,5,0
+ a1,1,1a1,2,0a1,3,1a1,4,1a1,5,1
+ a1,1,1a1,2,1a1,3,0a1,4,0a1,5,0
+ a1,1,1a1,2,1a1,3,0a1,4,0a1,5,1
+ a1,1,1a1,2,1a1,3,0a1,4,1a1,5,0
+ a1,1,1a1,2,1a1,3,0a1,4,1a1,5,1
+ a1,1,1a1,2,1a1,3,1a1,4,0a1,5,0
Polynomial Time Complexity Boolean algebra
Non-Deterministic Polynomial Time
Complexity Boolean algebra
The Boolean algebra can
be expanded
๐‘Ž2,2,0 = ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+
๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 +๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0
๐‘Ž2,2,1 = ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,1+
๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,0 +๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,1
๐‘Ž2,3,0 = ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 + ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+
๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1 +๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0
๐‘Ž2,3,1 = ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+
๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0 +๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1
๐‘Ž2,4,0 = ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 + ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+
๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1 +๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0
๐‘Ž2,4,1 = ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+
๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0 +๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1
๐‘Ž3,3,0 = ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,1 + ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,0+
๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,1 +๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,0
๐‘Ž3,3,1 = ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,0 + ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,1+
๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,0 +๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,1
โ€ข Note that all Boolean
algebras do not have
โ€œNotโ€ operation
โ€ข Expansion is simply
multiply throughout
Factorization of the Boolean Algebra
a3,3
=a1,1,0a1,2,0a1,3,0a1,4,0a1,5,1+a1,1,0a1,2,0a1,3,0a1,4,1a1,5,0+
a1,1,0a1,2,0a1,3,0a1,4,1a1,5,1+ a1,1,0a1,2,1a1,3,1a1,4,0a1,5,1+
a1,1,0a1,2,1a1,3,1a1,4,1a1,5,0+ a1,1,0a1,2,1a1,3,1a1,4,1a1,5,1+
a1,1,1a1,2,0a1,3,0a1,4,0a1,5,0+ a1,1,1a1,2,0a1,3,1a1,4,0a1,5,0+
a1,1,1a1,2,0a1,3,1a1,4,0a1,5,1+ a1,1,1a1,2,0a1,3,1a1,4,1a1,5,0+
a1,1,1a1,2,0a1,3,1a1,4,1a1,5,1+ a1,1,1a1,2,1a1,3,0a1,4,0a1,5,0+
a1,1,1a1,2,1a1,3,0a1,4,0a1,5,1+ a1,1,1a1,2,1a1,3,0a1,4,1a1,5,0+
a1,1,1a1,2,1a1,3,0a1,4,1a1,5,1+ a1,1,1a1,2,1a1,3,1a1,4,0a1,5,0
Polynomial Time Complexity Boolean algebra
Non-Deterministic Polynomial Time
Complexity Boolean algebra
The Boolean algebra can
be factorized into multi-
layer Boolean algebra that
is more efficient if a more
efficient Boolean algebra
exists
Naรฏve problem definition that solves a
problem using brute force
๐‘Ž2,2,0 = ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+
๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 +๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0
๐‘Ž2,2,1 = ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,1+
๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,0 +๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,1
๐‘Ž2,3,0 = ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 + ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+
๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1 +๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0
๐‘Ž2,3,1 = ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+
๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0 +๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1
๐‘Ž2,4,0 = ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 + ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+
๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1 +๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0
๐‘Ž2,4,1 = ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+
๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0 +๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1
๐‘Ž3,3,0 = ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,1 + ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,0+
๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,1 +๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,0
๐‘Ž3,3,1 = ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,0 + ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,1+
๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,0 +๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,1
โ€ข Simplification is simply
factoring as there is no
โ€œNotโ€ operation
โ€ข We can find optimal time
efficient Boolean algebra
by factoring
Example of an Non-Deterministic problem (NP)
expressed in Markov Random Field representation
a1 a2
a3
a4
๐‘“ ๐‘Ž1, ๐‘Ž2, ๐‘Ž3, ๐‘Ž4 =
๐‘Ž1,๐‘Ž2,๐‘Ž3,๐‘Ž4
โ„Ž(๐‘Ž1, ๐‘Ž2)โ„Ž(๐‘Ž1, ๐‘Ž3)โ„Ž(๐‘Ž1, ๐‘Ž4)โ„Ž(๐‘Ž2, ๐‘Ž3)โ„Ž(๐‘Ž2, ๐‘Ž4)โ„Ž(๐‘Ž3, ๐‘Ž4)
Example of an NP problem expressed as a Graphical model (or
Markov Random Field)
Each variable ai can take finite values, e.g. ๐‘Ž๐‘– โˆˆ {0,1,2,3}
โ„Ž ๐‘Ž๐‘–, ๐‘Ž๐‘— = 0 ๐‘œ๐‘Ÿ 1
If the NP problem has a solution, ๐‘“ ๐‘Ž1, ๐‘Ž2, ๐‘Ž3, ๐‘Ž4 >0
Addition is โ€œOrโ€ operation
Multiplication is โ€œAndโ€ Operation
Boolean Algebra of NP Problem
โ€ข Boolean algebra
โ€ข ๐‘“ ๐‘Ž1, ๐‘Ž2, ๐‘Ž3, ๐‘Ž4 =
๐‘Ž1,๐‘Ž2,๐‘Ž3,๐‘Ž4
โ„Ž(๐‘Ž1, ๐‘Ž2)โ„Ž(๐‘Ž1, ๐‘Ž3)โ„Ž(๐‘Ž1, ๐‘Ž4)โ„Ž(๐‘Ž2, ๐‘Ž3)โ„Ž(๐‘Ž2, ๐‘Ž4)โ„Ž(๐‘Ž3, ๐‘Ž4)
โ€ข Each h term, h(ai,aj), is a Boolean input variable taking an input
0 or 1
โ€ข Addition is โ€œOrโ€ operation
โ€ข Multiplication is โ€œAndโ€ operation
โ€ข We can try to simplify this Boolean algebra by factorization
h(a1=0,a2=0)
h(a1=1,a2=0)
h(a1=0,a2=1)
h(a1=0,a2=2)
โ€ฆ
h(a1=0,a3=0)
h(a1=1,a3=0)
h(a1=0,a3=1)
h(a1=0,a3=2)
โ€ฆ
h(a3=0,a4=0)
h(a3=1,a4=0)
h(a3=0,a4=1)
h(a3=0,a4=2)
โ€ฆ
Boolean
Algebra or
Circuit
โ‹ฎ
โ‹ฎ
โ€œNotโ€ Operations on h() Terms can be
Replaced
โ€ข Do not have to consider โ„Ž(๐‘Ž๐‘– = ๐‘ฃ๐‘–, ๐‘Ž๐‘— = ๐‘ฃ๐‘—) because โ€œNotโ€ operation on
input can be replaced by
โ€ข ๐‘ฃ๐‘˜,๐‘ฃ๐‘™ (๐‘ฃ๐‘–,๐‘ฃ๐‘—) โ„Ž(๐‘Ž๐‘– = ๐‘ฃ๐‘˜, ๐‘Ž๐‘— = ๐‘ฃ๐‘™)
โ€ข which means sum of all h(ai,aj) terms not including h(ai=vi,aj=vj)
โ€ข After replacing the โ„Ž(๐‘Ž๐‘– = ๐‘ฃ๐‘–, ๐‘Ž๐‘— = ๐‘ฃ๐‘—) term, the Boolean algebra remains
Polynomial Time complexity if it is originally Polynomial time
โ€ข Because it is replaced by at most 4*4-1=15 terms, where n=4 is the number of variables
โ€ข Assume that the number of values a variable can take is 4
โ€ข E.g. โ„Ž(๐‘Ž๐‘– = 0, ๐‘Ž๐‘— = 0) can be replaced by h(ai=0,aj=1)+h(ai=0,aj=2)
+h(ai=0,aj=3)+h(ai=1,aj=0)+h(ai=1,aj=1)+h(ai=1,aj=2)
+h(ai=1,aj=3)+h(ai=2,aj=0)+h(ai=2,aj=1)+h(ai=2,aj=2)+h(ai=2,aj=3)+h(ai=3,aj=0)
+h(ai=3,aj=1)+h(ai=3,aj=2)+h(ai=3,aj=3)
NP problem cannot be simplified into P
๐‘“ ๐‘Ž1, ๐‘Ž2, ๐‘Ž3, ๐‘Ž4 =
๐‘Ž1,๐‘Ž2,๐‘Ž3,๐‘Ž4
โ„Ž(๐‘Ž1, ๐‘Ž2)โ„Ž(๐‘Ž1, ๐‘Ž3)โ„Ž(๐‘Ž1, ๐‘Ž4)โ„Ž(๐‘Ž2, ๐‘Ž3)โ„Ž(๐‘Ž2, ๐‘Ž4)โ„Ž(๐‘Ž3, ๐‘Ž4)
๐‘“ ๐‘Ž1, ๐‘Ž2, ๐‘Ž3, ๐‘Ž4 =
๐‘Ž1,๐‘Ž2
โ„Ž(๐‘Ž1, ๐‘Ž2)
๐‘Ž3
โ„Ž(๐‘Ž1, ๐‘Ž3)โ„Ž(๐‘Ž2, ๐‘Ž3)
๐‘Ž4
โ„Ž(๐‘Ž1, ๐‘Ž4) โ„Ž(๐‘Ž2, ๐‘Ž4)โ„Ž(๐‘Ž3, ๐‘Ž4)
One possible factorization is shown below. There are many possible different factorizations
An NP (Non-Deterministic Polynomial) problem cannot be simplified into Polynomial time by
factorization
Because of these 3 terms, it takes NP time to evaluate
a1 a2
a3
a4
Actual proof is much more complex than this
For details, please read my paper (end of slides)
About Me
โ€ข My job uses Machine Learning to solve problems
โ€ข Like my posts or slides in LinkedIn, Twitter or Slideshare
โ€ข Follow me on LinkedIn
โ€ข https://www.linkedin.com/in/sing-kuang-tan-b189279/
โ€ข Follow me on Twitter
โ€ข https://twitter.com/Tan_Sing_Kuang
โ€ข Look at my Slideshare slides
โ€ข https://www.slideshare.net/SingKuangTan
โ€ข 8 trends in Hang Seng Index
โ€ข 4 types of Mathematical Proofs
โ€ข How I prove NP vs P
โ€ข Follow me on Slideshare
Share my links
โ€ข I am a Small Person with Big Dreams
โ€ข Please help me to repost my links to other platforms so that I can spread my ideas to the rest of
the world
โ€ข ๆˆ‘ไบบๅฐ๏ผŒไฝ†ๅ› ๆขฆๆƒณ่€ŒไผŸๅคงใ€‚
โ€ข ่ฏทๅธฎๆˆ‘็š„ๆ–‡ไปถ้“พๆŽฅไผ ๅ‘ๅˆฐๅ…ถไป–ๅนณๅฐ๏ผŒ่ฎฉๆˆ‘็š„ๆ€ๆƒณ่ƒฝไผ ้ๅคฉไธ‹ใ€‚
โ€ข Comments? Send to singkuangtan@gmail.com
โ€ข Link to my paper NP vs P paper
โ€ข https://www.slideshare.net/SingKuangTan/brief-np-vspexplain-249524831
โ€ข Prove Np not equal P using Markov Random Field and Boolean Algebra Simplification
โ€ข https://vixra.org/abs/2105.0181
โ€ข Other link
โ€ข https://www.slideshare.net/SingKuangTan

More Related Content

What's hot

The n Queen Problem
The n Queen ProblemThe n Queen Problem
The n Queen ProblemSukrit Gupta
ย 
Analysis and design of algorithms part 4
Analysis and design of algorithms part 4Analysis and design of algorithms part 4
Analysis and design of algorithms part 4Deepak John
ย 
N Queens problem
N Queens problemN Queens problem
N Queens problemArkadeep Dey
ย 
Artyom Makovetskii - An Efficient Algorithm for Total Variation Denoising
Artyom Makovetskii - An Efficient Algorithm for Total Variation DenoisingArtyom Makovetskii - An Efficient Algorithm for Total Variation Denoising
Artyom Makovetskii - An Efficient Algorithm for Total Variation DenoisingAIST
ย 
Lesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic FunctionsLesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic FunctionsKevin Johnson
ย 
Algorithm Design and Complexity - Course 3
Algorithm Design and Complexity - Course 3Algorithm Design and Complexity - Course 3
Algorithm Design and Complexity - Course 3Traian Rebedea
ย 
Digital Signals and Systems (May โ€“ 2016) [Question Paper | IDOL: Revised Course]
Digital Signals and Systems (May โ€“ 2016) [Question Paper | IDOL: Revised Course]Digital Signals and Systems (May โ€“ 2016) [Question Paper | IDOL: Revised Course]
Digital Signals and Systems (May โ€“ 2016) [Question Paper | IDOL: Revised Course]Mumbai B.Sc.IT Study
ย 
Split and list technique for solving hard problems
Split and list technique for solving hard problemsSplit and list technique for solving hard problems
Split and list technique for solving hard problemsRohit Kumar Singh
ย 
5.1 greedy 03
5.1 greedy 035.1 greedy 03
5.1 greedy 03Krish_ver2
ย 
Digital Signals and Systems (April โ€“ 2015) [Question Paper | IDOL: Revised Co...
Digital Signals and Systems (April โ€“ 2015) [Question Paper | IDOL: Revised Co...Digital Signals and Systems (April โ€“ 2015) [Question Paper | IDOL: Revised Co...
Digital Signals and Systems (April โ€“ 2015) [Question Paper | IDOL: Revised Co...Mumbai B.Sc.IT Study
ย 
5.1 greedy
5.1 greedy5.1 greedy
5.1 greedyKrish_ver2
ย 
Digital Signals and System (May โ€“ 2016) [Revised Syllabus | Question Paper]
Digital Signals and System (May  โ€“ 2016) [Revised Syllabus | Question Paper]Digital Signals and System (May  โ€“ 2016) [Revised Syllabus | Question Paper]
Digital Signals and System (May โ€“ 2016) [Revised Syllabus | Question Paper]Mumbai B.Sc.IT Study
ย 
Quadratic programming (Tool of optimization)
Quadratic programming (Tool of optimization)Quadratic programming (Tool of optimization)
Quadratic programming (Tool of optimization)VARUN KUMAR
ย 
Backstepping Controller Synthesis for Piecewise Polynomial Systems: A Sum of ...
Backstepping Controller Synthesis for Piecewise Polynomial Systems: A Sum of ...Backstepping Controller Synthesis for Piecewise Polynomial Systems: A Sum of ...
Backstepping Controller Synthesis for Piecewise Polynomial Systems: A Sum of ...Behzad Samadi
ย 
Application of parallel hierarchical matrices and low-rank tensors in spatial...
Application of parallel hierarchical matrices and low-rank tensors in spatial...Application of parallel hierarchical matrices and low-rank tensors in spatial...
Application of parallel hierarchical matrices and low-rank tensors in spatial...Alexander Litvinenko
ย 
signal and system Hw2 solution
signal and system Hw2 solutionsignal and system Hw2 solution
signal and system Hw2 solutioniqbal ahmad
ย 
Dealinggreensfncsolft sqrdb
Dealinggreensfncsolft sqrdbDealinggreensfncsolft sqrdb
Dealinggreensfncsolft sqrdbfoxtrot jp R
ย 

What's hot (20)

A0280106
A0280106A0280106
A0280106
ย 
The n Queen Problem
The n Queen ProblemThe n Queen Problem
The n Queen Problem
ย 
Analysis and design of algorithms part 4
Analysis and design of algorithms part 4Analysis and design of algorithms part 4
Analysis and design of algorithms part 4
ย 
N Queens problem
N Queens problemN Queens problem
N Queens problem
ย 
Artyom Makovetskii - An Efficient Algorithm for Total Variation Denoising
Artyom Makovetskii - An Efficient Algorithm for Total Variation DenoisingArtyom Makovetskii - An Efficient Algorithm for Total Variation Denoising
Artyom Makovetskii - An Efficient Algorithm for Total Variation Denoising
ย 
Lesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic FunctionsLesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic Functions
ย 
Algorithm Design and Complexity - Course 3
Algorithm Design and Complexity - Course 3Algorithm Design and Complexity - Course 3
Algorithm Design and Complexity - Course 3
ย 
Digital Signals and Systems (May โ€“ 2016) [Question Paper | IDOL: Revised Course]
Digital Signals and Systems (May โ€“ 2016) [Question Paper | IDOL: Revised Course]Digital Signals and Systems (May โ€“ 2016) [Question Paper | IDOL: Revised Course]
Digital Signals and Systems (May โ€“ 2016) [Question Paper | IDOL: Revised Course]
ย 
Split and list technique for solving hard problems
Split and list technique for solving hard problemsSplit and list technique for solving hard problems
Split and list technique for solving hard problems
ย 
5.1 greedy 03
5.1 greedy 035.1 greedy 03
5.1 greedy 03
ย 
Digital Signals and Systems (April โ€“ 2015) [Question Paper | IDOL: Revised Co...
Digital Signals and Systems (April โ€“ 2015) [Question Paper | IDOL: Revised Co...Digital Signals and Systems (April โ€“ 2015) [Question Paper | IDOL: Revised Co...
Digital Signals and Systems (April โ€“ 2015) [Question Paper | IDOL: Revised Co...
ย 
5.1 greedy
5.1 greedy5.1 greedy
5.1 greedy
ย 
Digital Signals and System (May โ€“ 2016) [Revised Syllabus | Question Paper]
Digital Signals and System (May  โ€“ 2016) [Revised Syllabus | Question Paper]Digital Signals and System (May  โ€“ 2016) [Revised Syllabus | Question Paper]
Digital Signals and System (May โ€“ 2016) [Revised Syllabus | Question Paper]
ย 
Quadratic programming (Tool of optimization)
Quadratic programming (Tool of optimization)Quadratic programming (Tool of optimization)
Quadratic programming (Tool of optimization)
ย 
Backstepping Controller Synthesis for Piecewise Polynomial Systems: A Sum of ...
Backstepping Controller Synthesis for Piecewise Polynomial Systems: A Sum of ...Backstepping Controller Synthesis for Piecewise Polynomial Systems: A Sum of ...
Backstepping Controller Synthesis for Piecewise Polynomial Systems: A Sum of ...
ย 
Application of parallel hierarchical matrices and low-rank tensors in spatial...
Application of parallel hierarchical matrices and low-rank tensors in spatial...Application of parallel hierarchical matrices and low-rank tensors in spatial...
Application of parallel hierarchical matrices and low-rank tensors in spatial...
ย 
signal and system Hw2 solution
signal and system Hw2 solutionsignal and system Hw2 solution
signal and system Hw2 solution
ย 
H023078082
H023078082H023078082
H023078082
ย 
Dealinggreensfncsolft sqrdb
Dealinggreensfncsolft sqrdbDealinggreensfncsolft sqrdb
Dealinggreensfncsolft sqrdb
ย 
Backtracking
BacktrackingBacktracking
Backtracking
ย 

Similar to A Weird Soviet Method to Partially Solve the Perebor Problem

Ai2418281871
Ai2418281871Ai2418281871
Ai2418281871IJMER
ย 
"SSumM: Sparse Summarization of Massive Graphs", KDD 2020
"SSumM: Sparse Summarization of Massive Graphs", KDD 2020"SSumM: Sparse Summarization of Massive Graphs", KDD 2020
"SSumM: Sparse Summarization of Massive Graphs", KDD 2020KyuhanLee4
ย 
Find transitive-closure using warshalls-algorithm
Find transitive-closure  using warshalls-algorithmFind transitive-closure  using warshalls-algorithm
Find transitive-closure using warshalls-algorithmMamun Hasan
ย 
Gomory's cutting plane method
Gomory's cutting plane methodGomory's cutting plane method
Gomory's cutting plane methodRajesh Piryani
ย 
Genetic Algorithm (GA) Optimization - Step-by-Step Example
Genetic Algorithm (GA) Optimization - Step-by-Step ExampleGenetic Algorithm (GA) Optimization - Step-by-Step Example
Genetic Algorithm (GA) Optimization - Step-by-Step ExampleAhmed Gad
ย 
Hidden Markov Model
Hidden Markov ModelHidden Markov Model
Hidden Markov ModelNghia Bui Van
ย 
GraphBLAS: A linear algebraic approach for high-performance graph queries
GraphBLAS: A linear algebraic approach for high-performance graph queriesGraphBLAS: A linear algebraic approach for high-performance graph queries
GraphBLAS: A linear algebraic approach for high-performance graph queriesGรกbor Szรกrnyas
ย 
Overview of sparse and low-rank matrix / tensor techniques
Overview of sparse and low-rank matrix / tensor techniques Overview of sparse and low-rank matrix / tensor techniques
Overview of sparse and low-rank matrix / tensor techniques Alexander Litvinenko
ย 
Deep Learning for Folks Without (or With!) a Ph.D.
Deep Learning for Folks Without (or With!) a Ph.D.Deep Learning for Folks Without (or With!) a Ph.D.
Deep Learning for Folks Without (or With!) a Ph.D.Douglas Starnes
ย 
Aizaz comb sort
Aizaz comb sortAizaz comb sort
Aizaz comb sortNauman Ali
ย 
one main advantage of bubble sort as compared to others
one main advantage of bubble sort as compared to othersone main advantage of bubble sort as compared to others
one main advantage of bubble sort as compared to othersAjay Chimmani
ย 
Ee315 probability muqaibel ch1
Ee315 probability muqaibel ch1Ee315 probability muqaibel ch1
Ee315 probability muqaibel ch1MuhannadSaleh
ย 
Brief instruction on backprop
Brief instruction on backpropBrief instruction on backprop
Brief instruction on backpropYasutoTamura1
ย 
Lecture 5 backpropagation
Lecture 5 backpropagationLecture 5 backpropagation
Lecture 5 backpropagationParveenMalik18
ย 
Deep Learning con CNTK by Pablo Doval
Deep Learning con CNTK by Pablo DovalDeep Learning con CNTK by Pablo Doval
Deep Learning con CNTK by Pablo DovalPlain Concepts
ย 
Fine Grained Complexity
Fine Grained ComplexityFine Grained Complexity
Fine Grained ComplexityAkankshaAgrawal55
ย 
Fear and loathing with APL (oredev)
Fear and loathing with APL (oredev)Fear and loathing with APL (oredev)
Fear and loathing with APL (oredev)Yan Cui
ย 

Similar to A Weird Soviet Method to Partially Solve the Perebor Problem (19)

Ai2418281871
Ai2418281871Ai2418281871
Ai2418281871
ย 
"SSumM: Sparse Summarization of Massive Graphs", KDD 2020
"SSumM: Sparse Summarization of Massive Graphs", KDD 2020"SSumM: Sparse Summarization of Massive Graphs", KDD 2020
"SSumM: Sparse Summarization of Massive Graphs", KDD 2020
ย 
Find transitive-closure using warshalls-algorithm
Find transitive-closure  using warshalls-algorithmFind transitive-closure  using warshalls-algorithm
Find transitive-closure using warshalls-algorithm
ย 
Gomory's cutting plane method
Gomory's cutting plane methodGomory's cutting plane method
Gomory's cutting plane method
ย 
Genetic Algorithm (GA) Optimization - Step-by-Step Example
Genetic Algorithm (GA) Optimization - Step-by-Step ExampleGenetic Algorithm (GA) Optimization - Step-by-Step Example
Genetic Algorithm (GA) Optimization - Step-by-Step Example
ย 
Hidden Markov Model
Hidden Markov ModelHidden Markov Model
Hidden Markov Model
ย 
GraphBLAS: A linear algebraic approach for high-performance graph queries
GraphBLAS: A linear algebraic approach for high-performance graph queriesGraphBLAS: A linear algebraic approach for high-performance graph queries
GraphBLAS: A linear algebraic approach for high-performance graph queries
ย 
Overview of sparse and low-rank matrix / tensor techniques
Overview of sparse and low-rank matrix / tensor techniques Overview of sparse and low-rank matrix / tensor techniques
Overview of sparse and low-rank matrix / tensor techniques
ย 
Deep Learning for Folks Without (or With!) a Ph.D.
Deep Learning for Folks Without (or With!) a Ph.D.Deep Learning for Folks Without (or With!) a Ph.D.
Deep Learning for Folks Without (or With!) a Ph.D.
ย 
Aizaz comb sort
Aizaz comb sortAizaz comb sort
Aizaz comb sort
ย 
one main advantage of bubble sort as compared to others
one main advantage of bubble sort as compared to othersone main advantage of bubble sort as compared to others
one main advantage of bubble sort as compared to others
ย 
Ee315 probability muqaibel ch1
Ee315 probability muqaibel ch1Ee315 probability muqaibel ch1
Ee315 probability muqaibel ch1
ย 
Brief instruction on backprop
Brief instruction on backpropBrief instruction on backprop
Brief instruction on backprop
ย 
Lecture 5 backpropagation
Lecture 5 backpropagationLecture 5 backpropagation
Lecture 5 backpropagation
ย 
Deep Learning con CNTK by Pablo Doval
Deep Learning con CNTK by Pablo DovalDeep Learning con CNTK by Pablo Doval
Deep Learning con CNTK by Pablo Doval
ย 
Fine Grained Complexity
Fine Grained ComplexityFine Grained Complexity
Fine Grained Complexity
ย 
Fear and loathing with APL (oredev)
Fear and loathing with APL (oredev)Fear and loathing with APL (oredev)
Fear and loathing with APL (oredev)
ย 
Linear timesorting
Linear timesortingLinear timesorting
Linear timesorting
ย 
Modul 9
Modul 9Modul 9
Modul 9
ย 

More from Sing Kuang Tan

neuron_never_overfits.pptx
neuron_never_overfits.pptxneuron_never_overfits.pptx
neuron_never_overfits.pptxSing Kuang Tan
ย 
Square Peg Problem Test Function
Square Peg Problem Test FunctionSquare Peg Problem Test Function
Square Peg Problem Test FunctionSing Kuang Tan
ย 
Convex Square Peg Problem
Convex Square Peg ProblemConvex Square Peg Problem
Convex Square Peg ProblemSing Kuang Tan
ย 
Visual topology
Visual topologyVisual topology
Visual topologySing Kuang Tan
ย 
Implement Data Structures with Python Fast using Sparse Matrix
Implement Data Structures with Python Fast using Sparse MatrixImplement Data Structures with Python Fast using Sparse Matrix
Implement Data Structures with Python Fast using Sparse MatrixSing Kuang Tan
ย 
Discrete Markov Random Field Relaxation
Discrete Markov Random Field RelaxationDiscrete Markov Random Field Relaxation
Discrete Markov Random Field RelaxationSing Kuang Tan
ย 
NP vs P Proof using Deterministic Finite Automata
NP vs P Proof using Deterministic Finite AutomataNP vs P Proof using Deterministic Finite Automata
NP vs P Proof using Deterministic Finite AutomataSing Kuang Tan
ย 
Use Inductive or Deductive Logic to solve NP vs P?
Use Inductive or Deductive Logic to solve NP vs P?Use Inductive or Deductive Logic to solve NP vs P?
Use Inductive or Deductive Logic to solve NP vs P?Sing Kuang Tan
ย 
Clique problem step_by_step
Clique problem step_by_stepClique problem step_by_step
Clique problem step_by_stepSing Kuang Tan
ย 
Hang Seng Index 8 trends
Hang Seng Index 8 trendsHang Seng Index 8 trends
Hang Seng Index 8 trendsSing Kuang Tan
ย 
Mathematical Proof types
Mathematical Proof typesMathematical Proof types
Mathematical Proof typesSing Kuang Tan
ย 

More from Sing Kuang Tan (11)

neuron_never_overfits.pptx
neuron_never_overfits.pptxneuron_never_overfits.pptx
neuron_never_overfits.pptx
ย 
Square Peg Problem Test Function
Square Peg Problem Test FunctionSquare Peg Problem Test Function
Square Peg Problem Test Function
ย 
Convex Square Peg Problem
Convex Square Peg ProblemConvex Square Peg Problem
Convex Square Peg Problem
ย 
Visual topology
Visual topologyVisual topology
Visual topology
ย 
Implement Data Structures with Python Fast using Sparse Matrix
Implement Data Structures with Python Fast using Sparse MatrixImplement Data Structures with Python Fast using Sparse Matrix
Implement Data Structures with Python Fast using Sparse Matrix
ย 
Discrete Markov Random Field Relaxation
Discrete Markov Random Field RelaxationDiscrete Markov Random Field Relaxation
Discrete Markov Random Field Relaxation
ย 
NP vs P Proof using Deterministic Finite Automata
NP vs P Proof using Deterministic Finite AutomataNP vs P Proof using Deterministic Finite Automata
NP vs P Proof using Deterministic Finite Automata
ย 
Use Inductive or Deductive Logic to solve NP vs P?
Use Inductive or Deductive Logic to solve NP vs P?Use Inductive or Deductive Logic to solve NP vs P?
Use Inductive or Deductive Logic to solve NP vs P?
ย 
Clique problem step_by_step
Clique problem step_by_stepClique problem step_by_step
Clique problem step_by_step
ย 
Hang Seng Index 8 trends
Hang Seng Index 8 trendsHang Seng Index 8 trends
Hang Seng Index 8 trends
ย 
Mathematical Proof types
Mathematical Proof typesMathematical Proof types
Mathematical Proof types
ย 

Recently uploaded

High Profile Call Girls Nashik Megha 7001305949 Independent Escort Service Na...
High Profile Call Girls Nashik Megha 7001305949 Independent Escort Service Na...High Profile Call Girls Nashik Megha 7001305949 Independent Escort Service Na...
High Profile Call Girls Nashik Megha 7001305949 Independent Escort Service Na...Call Girls in Nagpur High Profile
ย 
Model Call Girl in Narela Delhi reach out to us at ๐Ÿ”8264348440๐Ÿ”
Model Call Girl in Narela Delhi reach out to us at ๐Ÿ”8264348440๐Ÿ”Model Call Girl in Narela Delhi reach out to us at ๐Ÿ”8264348440๐Ÿ”
Model Call Girl in Narela Delhi reach out to us at ๐Ÿ”8264348440๐Ÿ”soniya singh
ย 
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130Suhani Kapoor
ย 
Software Development Life Cycle By Team Orange (Dept. of Pharmacy)
Software Development Life Cycle By  Team Orange (Dept. of Pharmacy)Software Development Life Cycle By  Team Orange (Dept. of Pharmacy)
Software Development Life Cycle By Team Orange (Dept. of Pharmacy)Suman Mia
ย 
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxDecoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxJoรฃo Esperancinha
ย 
Porous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writingPorous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writingrakeshbaidya232001
ย 
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINE
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINEMANUFACTURING PROCESS-II UNIT-2 LATHE MACHINE
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINESIVASHANKAR N
ย 
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur Escorts
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur EscortsCall Girls in Nagpur Suman Call 7001035870 Meet With Nagpur Escorts
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur EscortsCall Girls in Nagpur High Profile
ย 
Introduction to IEEE STANDARDS and its different types.pptx
Introduction to IEEE STANDARDS and its different types.pptxIntroduction to IEEE STANDARDS and its different types.pptx
Introduction to IEEE STANDARDS and its different types.pptxupamatechverse
ย 
Coefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptxCoefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptxAsutosh Ranjan
ย 
SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )Tsuyoshi Horigome
ย 
Processing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptxProcessing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptxpranjaldaimarysona
ย 
Analog to Digital and Digital to Analog Converter
Analog to Digital and Digital to Analog ConverterAnalog to Digital and Digital to Analog Converter
Analog to Digital and Digital to Analog ConverterAbhinavSharma374939
ย 
VIP Call Girls Service Kondapur Hyderabad Call +91-8250192130
VIP Call Girls Service Kondapur Hyderabad Call +91-8250192130VIP Call Girls Service Kondapur Hyderabad Call +91-8250192130
VIP Call Girls Service Kondapur Hyderabad Call +91-8250192130Suhani Kapoor
ย 
Introduction and different types of Ethernet.pptx
Introduction and different types of Ethernet.pptxIntroduction and different types of Ethernet.pptx
Introduction and different types of Ethernet.pptxupamatechverse
ย 
IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024Mark Billinghurst
ย 
Biology for Computer Engineers Course Handout.pptx
Biology for Computer Engineers Course Handout.pptxBiology for Computer Engineers Course Handout.pptx
Biology for Computer Engineers Course Handout.pptxDeepakSakkari2
ย 
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLS
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLSMANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLS
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLSSIVASHANKAR N
ย 
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...ranjana rawat
ย 

Recently uploaded (20)

High Profile Call Girls Nashik Megha 7001305949 Independent Escort Service Na...
High Profile Call Girls Nashik Megha 7001305949 Independent Escort Service Na...High Profile Call Girls Nashik Megha 7001305949 Independent Escort Service Na...
High Profile Call Girls Nashik Megha 7001305949 Independent Escort Service Na...
ย 
Model Call Girl in Narela Delhi reach out to us at ๐Ÿ”8264348440๐Ÿ”
Model Call Girl in Narela Delhi reach out to us at ๐Ÿ”8264348440๐Ÿ”Model Call Girl in Narela Delhi reach out to us at ๐Ÿ”8264348440๐Ÿ”
Model Call Girl in Narela Delhi reach out to us at ๐Ÿ”8264348440๐Ÿ”
ย 
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
VIP Call Girls Service Hitech City Hyderabad Call +91-8250192130
ย 
Software Development Life Cycle By Team Orange (Dept. of Pharmacy)
Software Development Life Cycle By  Team Orange (Dept. of Pharmacy)Software Development Life Cycle By  Team Orange (Dept. of Pharmacy)
Software Development Life Cycle By Team Orange (Dept. of Pharmacy)
ย 
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptxDecoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
Decoding Kotlin - Your guide to solving the mysterious in Kotlin.pptx
ย 
9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf
9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf
9953056974 Call Girls In South Ex, Escorts (Delhi) NCR.pdf
ย 
Porous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writingPorous Ceramics seminar and technical writing
Porous Ceramics seminar and technical writing
ย 
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINE
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINEMANUFACTURING PROCESS-II UNIT-2 LATHE MACHINE
MANUFACTURING PROCESS-II UNIT-2 LATHE MACHINE
ย 
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur Escorts
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur EscortsCall Girls in Nagpur Suman Call 7001035870 Meet With Nagpur Escorts
Call Girls in Nagpur Suman Call 7001035870 Meet With Nagpur Escorts
ย 
Introduction to IEEE STANDARDS and its different types.pptx
Introduction to IEEE STANDARDS and its different types.pptxIntroduction to IEEE STANDARDS and its different types.pptx
Introduction to IEEE STANDARDS and its different types.pptx
ย 
Coefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptxCoefficient of Thermal Expansion and their Importance.pptx
Coefficient of Thermal Expansion and their Importance.pptx
ย 
SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )SPICE PARK APR2024 ( 6,793 SPICE Models )
SPICE PARK APR2024 ( 6,793 SPICE Models )
ย 
Processing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptxProcessing & Properties of Floor and Wall Tiles.pptx
Processing & Properties of Floor and Wall Tiles.pptx
ย 
Analog to Digital and Digital to Analog Converter
Analog to Digital and Digital to Analog ConverterAnalog to Digital and Digital to Analog Converter
Analog to Digital and Digital to Analog Converter
ย 
VIP Call Girls Service Kondapur Hyderabad Call +91-8250192130
VIP Call Girls Service Kondapur Hyderabad Call +91-8250192130VIP Call Girls Service Kondapur Hyderabad Call +91-8250192130
VIP Call Girls Service Kondapur Hyderabad Call +91-8250192130
ย 
Introduction and different types of Ethernet.pptx
Introduction and different types of Ethernet.pptxIntroduction and different types of Ethernet.pptx
Introduction and different types of Ethernet.pptx
ย 
IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024IVE Industry Focused Event - Defence Sector 2024
IVE Industry Focused Event - Defence Sector 2024
ย 
Biology for Computer Engineers Course Handout.pptx
Biology for Computer Engineers Course Handout.pptxBiology for Computer Engineers Course Handout.pptx
Biology for Computer Engineers Course Handout.pptx
ย 
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLS
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLSMANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLS
MANUFACTURING PROCESS-II UNIT-5 NC MACHINE TOOLS
ย 
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
(PRIYA) Rajgurunagar Call Girls Just Call 7001035870 [ Cash on Delivery ] Pun...
ย 

A Weird Soviet Method to Partially Solve the Perebor Problem

  • 1. A Weird Soviet Method to Partially Solve the Perebor Problem How is this method related to my NP vs P solution Sing Kuang Tan singkuangtan@gmail.com 17 August 2021
  • 2. Perebor Problems โ€ข Perebor problems are difficult problems which current methods can only solve it by brute force algorithm โ€ข https://drdoane.com/the-perebor-problem/ โ€ข Perebor problems are the NP (Non-Deterministic Polynomial time complexity) problem โ€ข Can we convert NP into P (Polynomial time complexity) problem? โ€ข My answer is NO. โ€ข My solution to NP vs P problem is NPโ‰ P Link to my paper https://www.slideshare.net/SingKuangTan/brief-np-vspexplain-249524831 Prove Np not equal P using Markov Random Field and Boolean Algebra Simplification https://vixra.org/abs/2105.0181
  • 3. Alexander Razborov (from Soviet Union) โ€ข He developed the method to partially solve Perebor Problem. โ€ข Bio: https://en.wikipedia.org/wiki/Alexander_Razborov โ€ข In 1985, Razborov has proved that Clique problem of a graph requires a Non- Deterministic Polynomial time complexity (NP) algorithm if the algorithm is implemented using Boolean algebra consist of only โ€œAndโ€ and โ€œOrโ€ operations โ€ข As there is no โ€œNotโ€ operation, so it only partially proves that NPโ‰ P โ€ข Later I will show how I circumvent the problem of no โ€œNotโ€ operation โ€ข https://blog.computationalcomplexity.org/2005/09/circuit-complexity-and-p-versus-np.html โ€ข https://www.cs.utexas.edu/~danama/courses/adv-comp/scribe5.pdf โ€ข A. A. Razborov, Lower bounds on the monotone complexity of some Boolean functions, Dokl. Akad. Nauk. SSSR, 281(4):798-801, 1985 โ€ข At that time, Soviet is one of the country leading in the problem on NP vs P โ€ข Soviet Song โ€œOur Armyโ€ LOL โ€ข https://www.youtube.com/watch?v=5yYQIa-4rLE โ€ข Enable subtitles ๏Š
  • 4. Clique Problem โ€ข https://en.wikipedia.org/wiki/Clique_problem 4-clique in this 7 vertices graph can be found using brute force โ€œOrโ€ operation โ€œAndโ€ operation This digital circuit is used to detect whether a 3-clique exists in this 4 vertices graph This circuit has only โ€œAndโ€ and โ€œOrโ€ operations (In literature, this is called a monotone circuit)
  • 5. Cellular Automata โ€ข What is Cellular Automata? โ€ข https://mathworld.wolfram.com/CellularAutomaton.ht ml โ€ข https://natureofcode.com/book/chapter-7-cellular- automata/ โ€ข https://towardsdatascience.com/simple-but-stunning- animated-cellular-automata-in-python-c912e0c156a9 โ€ข https://towardsdatascience.com/algorithmic-beauty-an- introduction-to-cellular-automata-f53179b3cf8f โ€ข Animation โ€ข https://www.youtube.com/watch?v=3MJ8deSCOCE
  • 6. โ€œNotโ€ operations are unnecessary โ€ข I will show using โ€œNotโ€ operations are unnecessary for implementation of any algorithms using Boolean algebra โ€ข I will use Cellular Automata as an Universal Computing model โ€ข A Polynomial time (P) Cellular Automata can be implemented without any โ€œNotโ€ operation First layer is the input of an algorithm Last layer is the output of an algorithm Cellular Automata can implement any algorithm Different algorithm can be implemented by changing the rule
  • 7. Cellular Automata can Emulate any Computer Algorithm An algorithm implemented on a modern computer Can also be implemented using Cellular Automata A Polynomial time complexity (P) algorithm remains Polynomial time (P) after implemented on Cellular Automata A Non-Deterministic Polynomial time complexity (NP) algorithm remains Non-Deterministic Polynomial time (NP) after implemented on Cellular Automata
  • 8. Simple Cellular Automata Example 5 bit binary input 1 bit binary output
  • 9. Simple Cellular Automata Example Each intermediate output is dependent on input Each output is dependent on intermediate outputs โ€ข This looks like a convolutional neural network โ€ข Neural Network can be represented by multi-layer Boolean algebra โ€ข Multi-layer Boolean algebra simplification gives us insight on how to train a neural network
  • 10. Simply Cellular Automata Example a1,1 a1,2 a1,3 a1,4 a1,5 a2,2 a2,3 a2,4 a3,3 I give a variable name to each cell of the Cellular Automata a1,1 Boolean Algebra or Circuit ๐‘Ž3,3 a1,2 a1,3 a1,4 a1,5
  • 11. Simply Cellular Automata Example ai,j ai,j+1 Ai,j+2 ai+1,j+1 ๐‘Ž๐‘–+1,๐‘—+1 = ๐‘Ž๐‘–,๐‘— ๐‘Ž๐‘–,๐‘—+1 ๐‘Ž๐‘–,๐‘—+2 + ๐‘Ž๐‘–,๐‘—๐‘Ž๐‘–,๐‘—+1 ๐‘Ž๐‘–,๐‘—+2+ ๐‘Ž๐‘–,๐‘— ๐‘Ž๐‘–,๐‘—+1 ๐‘Ž๐‘–,๐‘—+2 + ๐‘Ž๐‘–,๐‘— ๐‘Ž๐‘–,๐‘—+1 ๐‘Ž๐‘–,๐‘—+2 Bar above ai,j means โ€œNotโ€ operation on ai,j Addition means โ€œOrโ€ operation Multiplication means โ€œAndโ€ operation The rule can be implemented using the Boolean algebra below
  • 12. Simply Cellular Automata Example a1,1 a1,2 a1,3 a1,4 a1,5 a2,2 a2,3 a2,4 a3,3 ๐‘Ž2,2 = ๐‘Ž1,1 ๐‘Ž1,2 ๐‘Ž1,3 + ๐‘Ž1,1๐‘Ž1,2 ๐‘Ž1,3+ ๐‘Ž1,1 ๐‘Ž1,2 ๐‘Ž1,3 + ๐‘Ž1,1 ๐‘Ž1,2 ๐‘Ž1,3 ๐‘Ž2,3 = ๐‘Ž1,2 ๐‘Ž1,3 ๐‘Ž1,4 + ๐‘Ž1,2๐‘Ž1,3 ๐‘Ž1,4+ ๐‘Ž1,2 ๐‘Ž1,3 ๐‘Ž1,4 + ๐‘Ž1,2 ๐‘Ž1,3 ๐‘Ž1,4 ๐‘Ž2,4 = ๐‘Ž1,3 ๐‘Ž1,4 ๐‘Ž1,5 + ๐‘Ž1,3๐‘Ž1,4 ๐‘Ž1,5+ ๐‘Ž1,3 ๐‘Ž1,4 ๐‘Ž1,5 + ๐‘Ž1,3 ๐‘Ž1,4 ๐‘Ž1,5 ๐‘Ž3,3 = ๐‘Ž2,2 ๐‘Ž2,3 ๐‘Ž2,4 + ๐‘Ž2,2๐‘Ž2,3 ๐‘Ž2,4+ ๐‘Ž2,2 ๐‘Ž2,3 ๐‘Ž2,4 + ๐‘Ž2,2 ๐‘Ž2,3 ๐‘Ž2,4 Represent the Cellular Automata by Boolean algebra,
  • 13. Simply Cellular Automata Example ๐‘Ž2,2,0 = ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0 ๐‘Ž2,2,1 = ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,1+ ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,1 ๐‘Ž2,3,0 = ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 + ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+ ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0 ๐‘Ž2,3,1 = ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+ ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1 ๐‘Ž2,4,0 = ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 + ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+ ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0 ๐‘Ž2,4,1 = ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+ ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1 ๐‘Ž3,3,1 = (๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,1+ ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,1)(๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 + ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+ ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0)(๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 + ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+ ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0) + (๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0)(๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+ ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1)(๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+ ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1)+ (๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0)(๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+ ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1)(๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 + ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+ ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0) + (๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0)(๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 + ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+ ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0)(๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+ ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1) Use the representation below to simplify the equations, ๐‘Ž๐‘–,๐‘—,0 = ๐‘Ž๐‘–,๐‘— ๐‘Ž๐‘–,๐‘—,1 = ๐‘Ž๐‘–,๐‘— Combine all equations into 1 equation Later can do expansion or factorization on this 1 equation ๐‘Ž3,3,1 = ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,0 + ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,1+ ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,0 + ๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,1
  • 14. Simply Cellular Automata Example a1,1 a1,2 a1,3 a1,4 a1,5 a2,2 a2,3 a2,4 a3,3 Find a3,3 in terms of a1,1, a1,2, a1,3, a1,4, a1,5 is a3,3=a1,1,0a1,2,0a1,3,0a1,4,0a1,5,1 + a1,1,0a1,2,0a1,3,0a1,4,1a1,5,0 + a1,1,0a1,2,0a1,3,0a1,4,1a1,5,1 + a1,1,0a1,2,1a1,3,1a1,4,0a1,5,1 + a1,1,0a1,2,1a1,3,1a1,4,1a1,5,0 + a1,1,0a1,2,1a1,3,1a1,4,1a1,5,1 + a1,1,1a1,2,0a1,3,0a1,4,0a1,5,0 + a1,1,1a1,2,0a1,3,1a1,4,0a1,5,0 + a1,1,1a1,2,0a1,3,1a1,4,0a1,5,1 + a1,1,1a1,2,0a1,3,1a1,4,1a1,5,0 + a1,1,1a1,2,0a1,3,1a1,4,1a1,5,1 + a1,1,1a1,2,1a1,3,0a1,4,0a1,5,0 + a1,1,1a1,2,1a1,3,0a1,4,0a1,5,1 + a1,1,1a1,2,1a1,3,0a1,4,1a1,5,0 + a1,1,1a1,2,1a1,3,0a1,4,1a1,5,1 + a1,1,1a1,2,1a1,3,1a1,4,0a1,5,0 Use the representation below to simplify the equations, ๐‘Ž๐‘–,๐‘—,0 = ๐‘Ž๐‘–,๐‘— ๐‘Ž๐‘–,๐‘—,1 = ๐‘Ž๐‘–,๐‘—
  • 15. Simply Cellular Automata Example a1,1,0 Use the representation below to simplify the equations, ๐‘Ž๐‘–,๐‘—,0 = ๐‘Ž๐‘–,๐‘— ๐‘Ž๐‘–,๐‘—,1 = ๐‘Ž๐‘–,๐‘— a1,1,1 a1,2,0 a1,2,1 a1,3,0 a1,3,1 a1,4,0 a1,4,1 a1,5,0 a1,5,1 a2,2,0 a2,2,1 a2,3,0 a2,3,1 a2,4,0 a2,4,1 A3,3,0 A3,3,1 Represent the Cellular Automata by Boolean algebra, ๐‘Ž2,2,0 = ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0 ๐‘Ž2,2,1 = ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,1+ ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,1 ๐‘Ž2,3,0 = ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 + ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+ ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0 ๐‘Ž2,3,1 = ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+ ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1 ๐‘Ž2,4,0 = ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 + ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+ ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0 ๐‘Ž2,4,1 = ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+ ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1 ๐‘Ž3,3,0 = ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,1 + ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,0+ ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,1 + ๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,0 ๐‘Ž3,3,1 = ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,0 + ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,1+ ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,0 + ๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,1 The use of double variables remove the need of โ€œNotโ€ operation in the Boolean algebra
  • 16. Simply Cellular Automata Example a1,1,0 Find a3,3,1 in terms of a1,1,0, a1,2,0, a1,3,0, a1,4,0, a1,5,0, a1,1,1, a1,2,1, a1,3,1, a1,4,1, a1,5,1 is a3,3,1=a1,1,0a1,2,0a1,3,0a1,4,0a1,5,1 + a1,1,0a1,2,0a1,3,0a1,4,1a1,5,0 + a1,1,0a1,2,0a1,3,0a1,4,1a1,5,1 + a1,1,0a1,2,1a1,3,1a1,4,0a1,5,1 + a1,1,0a1,2,1a1,3,1a1,4,1a1,5,0 + a1,1,0a1,2,1a1,3,1a1,4,1a1,5,1 + a1,1,1a1,2,0a1,3,0a1,4,0a1,5,0 + a1,1,1a1,2,0a1,3,1a1,4,0a1,5,0 + a1,1,1a1,2,0a1,3,1a1,4,0a1,5,1 + a1,1,1a1,2,0a1,3,1a1,4,1a1,5,0 + a1,1,1a1,2,0a1,3,1a1,4,1a1,5,1 + a1,1,1a1,2,1a1,3,0a1,4,0a1,5,0 + a1,1,1a1,2,1a1,3,0a1,4,0a1,5,1 + a1,1,1a1,2,1a1,3,0a1,4,1a1,5,0 + a1,1,1a1,2,1a1,3,0a1,4,1a1,5,1 + a1,1,1a1,2,1a1,3,1a1,4,0a1,5,0 Use the representation below to simplify the equations, ๐‘Ž๐‘–,๐‘—,0 = ๐‘Ž๐‘–,๐‘— ๐‘Ž๐‘–,๐‘—,1 = ๐‘Ž๐‘–,๐‘— a1,1,1 a1,2,0 a1,2,1 a1,3,0 a1,3,1 a1,4,0 a1,4,1 a1,5,0 a1,5,1 a2,2,0 a2,2,1 a2,3,0 a2,3,1 a2,4,0 a2,4,1 A3,3,0 A3,3,1 The use of double variables remove the need of โ€œNotโ€ operation in the Boolean algebra
  • 17. Other Models without โ€œNotโ€ operation โ€ข Creating a Boolean algebra without โ€œNotโ€ operation may seem weird in the first place โ€ข But there is no โ€œNotโ€ operation in โ€ข Fault tree analysis โ€ข AND OR graph (for solving e.g. TIC-TAC-TOE) โ€ข Bayesian network or Markov Random Field
  • 18. Expansion of the Boolean Algebra a3,3=a1,1,0a1,2,0a1,3,0a1,4,0a1,5,1 + a1,1,0a1,2,0a1,3,0a1,4,1a1,5,0 + a1,1,0a1,2,0a1,3,0a1,4,1a1,5,1 + a1,1,0a1,2,1a1,3,1a1,4,0a1,5,1 + a1,1,0a1,2,1a1,3,1a1,4,1a1,5,0 + a1,1,0a1,2,1a1,3,1a1,4,1a1,5,1 + a1,1,1a1,2,0a1,3,0a1,4,0a1,5,0 + a1,1,1a1,2,0a1,3,1a1,4,0a1,5,0 + a1,1,1a1,2,0a1,3,1a1,4,0a1,5,1 + a1,1,1a1,2,0a1,3,1a1,4,1a1,5,0 + a1,1,1a1,2,0a1,3,1a1,4,1a1,5,1 + a1,1,1a1,2,1a1,3,0a1,4,0a1,5,0 + a1,1,1a1,2,1a1,3,0a1,4,0a1,5,1 + a1,1,1a1,2,1a1,3,0a1,4,1a1,5,0 + a1,1,1a1,2,1a1,3,0a1,4,1a1,5,1 + a1,1,1a1,2,1a1,3,1a1,4,0a1,5,0 Polynomial Time Complexity Boolean algebra Non-Deterministic Polynomial Time Complexity Boolean algebra The Boolean algebra can be expanded ๐‘Ž2,2,0 = ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 +๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0 ๐‘Ž2,2,1 = ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,1+ ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,0 +๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,1 ๐‘Ž2,3,0 = ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 + ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+ ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1 +๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0 ๐‘Ž2,3,1 = ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+ ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0 +๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1 ๐‘Ž2,4,0 = ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 + ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+ ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1 +๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0 ๐‘Ž2,4,1 = ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+ ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0 +๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1 ๐‘Ž3,3,0 = ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,1 + ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,0+ ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,1 +๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,0 ๐‘Ž3,3,1 = ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,0 + ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,1+ ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,0 +๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,1 โ€ข Note that all Boolean algebras do not have โ€œNotโ€ operation โ€ข Expansion is simply multiply throughout
  • 19. Factorization of the Boolean Algebra a3,3 =a1,1,0a1,2,0a1,3,0a1,4,0a1,5,1+a1,1,0a1,2,0a1,3,0a1,4,1a1,5,0+ a1,1,0a1,2,0a1,3,0a1,4,1a1,5,1+ a1,1,0a1,2,1a1,3,1a1,4,0a1,5,1+ a1,1,0a1,2,1a1,3,1a1,4,1a1,5,0+ a1,1,0a1,2,1a1,3,1a1,4,1a1,5,1+ a1,1,1a1,2,0a1,3,0a1,4,0a1,5,0+ a1,1,1a1,2,0a1,3,1a1,4,0a1,5,0+ a1,1,1a1,2,0a1,3,1a1,4,0a1,5,1+ a1,1,1a1,2,0a1,3,1a1,4,1a1,5,0+ a1,1,1a1,2,0a1,3,1a1,4,1a1,5,1+ a1,1,1a1,2,1a1,3,0a1,4,0a1,5,0+ a1,1,1a1,2,1a1,3,0a1,4,0a1,5,1+ a1,1,1a1,2,1a1,3,0a1,4,1a1,5,0+ a1,1,1a1,2,1a1,3,0a1,4,1a1,5,1+ a1,1,1a1,2,1a1,3,1a1,4,0a1,5,0 Polynomial Time Complexity Boolean algebra Non-Deterministic Polynomial Time Complexity Boolean algebra The Boolean algebra can be factorized into multi- layer Boolean algebra that is more efficient if a more efficient Boolean algebra exists Naรฏve problem definition that solves a problem using brute force ๐‘Ž2,2,0 = ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,1 + ๐‘Ž1,1,1๐‘Ž1,2,1๐‘Ž1,3,0+ ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,1 +๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,0 ๐‘Ž2,2,1 = ๐‘Ž1,1,1๐‘Ž1,2,0๐‘Ž1,3,0 + ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,1+ ๐‘Ž1,1,0๐‘Ž1,2,1๐‘Ž1,3,0 +๐‘Ž1,1,0๐‘Ž1,2,0๐‘Ž1,3,1 ๐‘Ž2,3,0 = ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,1 + ๐‘Ž1,2,1๐‘Ž1,3,1๐‘Ž1,4,0+ ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,1 +๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,0 ๐‘Ž2,3,1 = ๐‘Ž1,2,1๐‘Ž1,3,0๐‘Ž1,4,0 + ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,1+ ๐‘Ž1,2,0๐‘Ž1,3,1๐‘Ž1,4,0 +๐‘Ž1,2,0๐‘Ž1,3,0๐‘Ž1,4,1 ๐‘Ž2,4,0 = ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,1 + ๐‘Ž1,3,1๐‘Ž1,4,1๐‘Ž1,5,0+ ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,1 +๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,0 ๐‘Ž2,4,1 = ๐‘Ž1,3,1๐‘Ž1,4,0๐‘Ž1,5,0 + ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,1+ ๐‘Ž1,3,0๐‘Ž1,4,1๐‘Ž1,5,0 +๐‘Ž1,3,0๐‘Ž1,4,0๐‘Ž1,5,1 ๐‘Ž3,3,0 = ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,1 + ๐‘Ž2,2,1๐‘Ž2,3,1๐‘Ž2,4,0+ ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,1 +๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,0 ๐‘Ž3,3,1 = ๐‘Ž2,2,1๐‘Ž2,3,0๐‘Ž2,4,0 + ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,1+ ๐‘Ž2,2,0๐‘Ž2,3,1๐‘Ž2,4,0 +๐‘Ž2,2,0๐‘Ž2,3,0๐‘Ž2,4,1 โ€ข Simplification is simply factoring as there is no โ€œNotโ€ operation โ€ข We can find optimal time efficient Boolean algebra by factoring
  • 20. Example of an Non-Deterministic problem (NP) expressed in Markov Random Field representation a1 a2 a3 a4 ๐‘“ ๐‘Ž1, ๐‘Ž2, ๐‘Ž3, ๐‘Ž4 = ๐‘Ž1,๐‘Ž2,๐‘Ž3,๐‘Ž4 โ„Ž(๐‘Ž1, ๐‘Ž2)โ„Ž(๐‘Ž1, ๐‘Ž3)โ„Ž(๐‘Ž1, ๐‘Ž4)โ„Ž(๐‘Ž2, ๐‘Ž3)โ„Ž(๐‘Ž2, ๐‘Ž4)โ„Ž(๐‘Ž3, ๐‘Ž4) Example of an NP problem expressed as a Graphical model (or Markov Random Field) Each variable ai can take finite values, e.g. ๐‘Ž๐‘– โˆˆ {0,1,2,3} โ„Ž ๐‘Ž๐‘–, ๐‘Ž๐‘— = 0 ๐‘œ๐‘Ÿ 1 If the NP problem has a solution, ๐‘“ ๐‘Ž1, ๐‘Ž2, ๐‘Ž3, ๐‘Ž4 >0 Addition is โ€œOrโ€ operation Multiplication is โ€œAndโ€ Operation
  • 21. Boolean Algebra of NP Problem โ€ข Boolean algebra โ€ข ๐‘“ ๐‘Ž1, ๐‘Ž2, ๐‘Ž3, ๐‘Ž4 = ๐‘Ž1,๐‘Ž2,๐‘Ž3,๐‘Ž4 โ„Ž(๐‘Ž1, ๐‘Ž2)โ„Ž(๐‘Ž1, ๐‘Ž3)โ„Ž(๐‘Ž1, ๐‘Ž4)โ„Ž(๐‘Ž2, ๐‘Ž3)โ„Ž(๐‘Ž2, ๐‘Ž4)โ„Ž(๐‘Ž3, ๐‘Ž4) โ€ข Each h term, h(ai,aj), is a Boolean input variable taking an input 0 or 1 โ€ข Addition is โ€œOrโ€ operation โ€ข Multiplication is โ€œAndโ€ operation โ€ข We can try to simplify this Boolean algebra by factorization h(a1=0,a2=0) h(a1=1,a2=0) h(a1=0,a2=1) h(a1=0,a2=2) โ€ฆ h(a1=0,a3=0) h(a1=1,a3=0) h(a1=0,a3=1) h(a1=0,a3=2) โ€ฆ h(a3=0,a4=0) h(a3=1,a4=0) h(a3=0,a4=1) h(a3=0,a4=2) โ€ฆ Boolean Algebra or Circuit โ‹ฎ โ‹ฎ
  • 22. โ€œNotโ€ Operations on h() Terms can be Replaced โ€ข Do not have to consider โ„Ž(๐‘Ž๐‘– = ๐‘ฃ๐‘–, ๐‘Ž๐‘— = ๐‘ฃ๐‘—) because โ€œNotโ€ operation on input can be replaced by โ€ข ๐‘ฃ๐‘˜,๐‘ฃ๐‘™ (๐‘ฃ๐‘–,๐‘ฃ๐‘—) โ„Ž(๐‘Ž๐‘– = ๐‘ฃ๐‘˜, ๐‘Ž๐‘— = ๐‘ฃ๐‘™) โ€ข which means sum of all h(ai,aj) terms not including h(ai=vi,aj=vj) โ€ข After replacing the โ„Ž(๐‘Ž๐‘– = ๐‘ฃ๐‘–, ๐‘Ž๐‘— = ๐‘ฃ๐‘—) term, the Boolean algebra remains Polynomial Time complexity if it is originally Polynomial time โ€ข Because it is replaced by at most 4*4-1=15 terms, where n=4 is the number of variables โ€ข Assume that the number of values a variable can take is 4 โ€ข E.g. โ„Ž(๐‘Ž๐‘– = 0, ๐‘Ž๐‘— = 0) can be replaced by h(ai=0,aj=1)+h(ai=0,aj=2) +h(ai=0,aj=3)+h(ai=1,aj=0)+h(ai=1,aj=1)+h(ai=1,aj=2) +h(ai=1,aj=3)+h(ai=2,aj=0)+h(ai=2,aj=1)+h(ai=2,aj=2)+h(ai=2,aj=3)+h(ai=3,aj=0) +h(ai=3,aj=1)+h(ai=3,aj=2)+h(ai=3,aj=3)
  • 23. NP problem cannot be simplified into P ๐‘“ ๐‘Ž1, ๐‘Ž2, ๐‘Ž3, ๐‘Ž4 = ๐‘Ž1,๐‘Ž2,๐‘Ž3,๐‘Ž4 โ„Ž(๐‘Ž1, ๐‘Ž2)โ„Ž(๐‘Ž1, ๐‘Ž3)โ„Ž(๐‘Ž1, ๐‘Ž4)โ„Ž(๐‘Ž2, ๐‘Ž3)โ„Ž(๐‘Ž2, ๐‘Ž4)โ„Ž(๐‘Ž3, ๐‘Ž4) ๐‘“ ๐‘Ž1, ๐‘Ž2, ๐‘Ž3, ๐‘Ž4 = ๐‘Ž1,๐‘Ž2 โ„Ž(๐‘Ž1, ๐‘Ž2) ๐‘Ž3 โ„Ž(๐‘Ž1, ๐‘Ž3)โ„Ž(๐‘Ž2, ๐‘Ž3) ๐‘Ž4 โ„Ž(๐‘Ž1, ๐‘Ž4) โ„Ž(๐‘Ž2, ๐‘Ž4)โ„Ž(๐‘Ž3, ๐‘Ž4) One possible factorization is shown below. There are many possible different factorizations An NP (Non-Deterministic Polynomial) problem cannot be simplified into Polynomial time by factorization Because of these 3 terms, it takes NP time to evaluate a1 a2 a3 a4 Actual proof is much more complex than this For details, please read my paper (end of slides)
  • 24. About Me โ€ข My job uses Machine Learning to solve problems โ€ข Like my posts or slides in LinkedIn, Twitter or Slideshare โ€ข Follow me on LinkedIn โ€ข https://www.linkedin.com/in/sing-kuang-tan-b189279/ โ€ข Follow me on Twitter โ€ข https://twitter.com/Tan_Sing_Kuang โ€ข Look at my Slideshare slides โ€ข https://www.slideshare.net/SingKuangTan โ€ข 8 trends in Hang Seng Index โ€ข 4 types of Mathematical Proofs โ€ข How I prove NP vs P โ€ข Follow me on Slideshare
  • 25. Share my links โ€ข I am a Small Person with Big Dreams โ€ข Please help me to repost my links to other platforms so that I can spread my ideas to the rest of the world โ€ข ๆˆ‘ไบบๅฐ๏ผŒไฝ†ๅ› ๆขฆๆƒณ่€ŒไผŸๅคงใ€‚ โ€ข ่ฏทๅธฎๆˆ‘็š„ๆ–‡ไปถ้“พๆŽฅไผ ๅ‘ๅˆฐๅ…ถไป–ๅนณๅฐ๏ผŒ่ฎฉๆˆ‘็š„ๆ€ๆƒณ่ƒฝไผ ้ๅคฉไธ‹ใ€‚ โ€ข Comments? Send to singkuangtan@gmail.com โ€ข Link to my paper NP vs P paper โ€ข https://www.slideshare.net/SingKuangTan/brief-np-vspexplain-249524831 โ€ข Prove Np not equal P using Markov Random Field and Boolean Algebra Simplification โ€ข https://vixra.org/abs/2105.0181 โ€ข Other link โ€ข https://www.slideshare.net/SingKuangTan