SlideShare a Scribd company logo
1 of 15
Brief explanation of how I
prove NP≠P
Sing Kuang Tan
singkuangtan@gmail.com
Link to my paper
Prove Np not equal P using Markov Random Field and
Boolean Algebra Simplification
https://vixra.org/abs/2105.0181
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
Linear Chain Graphical Model
a1 a2 a3
a4
𝑓 𝑎1, 𝑎2, 𝑎3, 𝑎4 =
𝑎1,𝑎2,𝑎3,𝑎4
ℎ(𝑎1, 𝑎2)ℎ(𝑎2, 𝑎3)ℎ(𝑎3, 𝑎4)
𝑓 𝑎1, 𝑎2, 𝑎3, 𝑎4 =
𝑎1 𝑎2
ℎ(𝑎1, 𝑎2)
𝑎3
ℎ(𝑎2, 𝑎3)
𝑎4
ℎ(𝑎3, 𝑎4)
It is well known in the literature that linear chain graphical model can be solved in Polynomial time
This expression needs Non-Deterministic
Polynomial time to evaluate
Can be factorized into
This expression needs Polynomial time to
evaluate
Tree Structure Graphical Model
a1
a2 a3
𝑓 𝑎1, 𝑎2, 𝑎3, 𝑎4, 𝑎5, 𝑎6, 𝑎7 =
𝑎1,𝑎2,𝑎3,𝑎4,𝑎5,𝑎6,𝑎7
ℎ(𝑎1, 𝑎2)ℎ(𝑎1, 𝑎3)ℎ(𝑎2, 𝑎4)ℎ(𝑎2, 𝑎5)ℎ(𝑎3, 𝑎6)ℎ(𝑎3, 𝑎7)
It is well known in the literature that tree
structure graphical model can be solved in
Polynomial time
This expression
needs Non-
Deterministic
Polynomial time
to evaluate
Can be factorized into
This expression
needs Polynomial
time to evaluate
a5
a4 a7
a6
𝑓 𝑎1, 𝑎2, 𝑎3, 𝑎4, 𝑎5, 𝑎6, 𝑎7
=
𝑎1 𝑎2
ℎ(𝑎1, 𝑎2)
𝑎4
ℎ(𝑎2, 𝑎4)
𝑎5
ℎ(𝑎2, 𝑎5)
𝑎3
ℎ(𝑎1, 𝑎3)
𝑎6
ℎ(𝑎3, 𝑎6)
𝑎7
ℎ(𝑎3, 𝑎7)
Transform any Boolean algebra so that only
the first layer has ‘Not’ operations
a1
a2
a3
a4
a6
a5
𝐻
Output
Not operation
at input or
output
Or operation
And operation
Propagate the ‘Not’ operations to the previous
layer using DE Morgan’s theorem
a1
a2
a3
a4
a6
a5
𝐻
Output
Not operation
at input or
output
Or operation
And operation
Propagate the ‘Not’ operations to the previous
layer using DE Morgan’s theorem
a1
a2
a3
a4
a6
a5
𝐻
Output
Not operation
at input or
output
Or operation
And operation
Propagate the ‘Not’ operations to the previous
layer using DE Morgan’s theorem
a1
a2
a3
a4
a6
a5
𝐻
Output
Not operation
at input or
output
Or operation
And operation
Propagate the ‘Not’ operations to the previous
layer using DE Morgan’s theorem
a1
a2
a3
a4
a6
a5
𝐻
Output
Not operation
at input or
output
Or operation
And operation
Propagate the ‘Not’ operations to the previous
layer using DE Morgan’s theorem
a1
a2
a3
a4
a6
a5
𝐻
Output
Not operation
at input or
output
Or operation
And operation
Until only the first layer has ‘Not’ operations
For details, please read my paper
Note that the number
of gates is at most 2
times the original
Boolean algebra after
propagation.
Polynomial time
Boolean algebra
remains Polynomial
time after
propagation.
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
Why NP problem cannot be simplified
a1 a2
a3
a4
a1 a2
a3
a4
a1 a2
a3
a4
If we remove constraints
such that the Graphical
model becomes a linear
chain, it can be solved
efficiently in Polynomial
time
If we remove constraints
such that the Graphical
model becomes a tree, it
can be solved efficiently
in Polynomial time
However if no constraint
is removed, it can never
be solved efficiently in
Polynomial time
Boolean algebra representation of NP
problem
The NP Markov Random Field can be expressed as a Boolean algebra
𝑓 𝑎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, 𝑎3 ∧ℎ 𝑎1, 𝑎4 ∧ℎ 𝑎2, 𝑎3 ∧ℎ 𝑎2, 𝑎4 ∧ℎ 𝑎3, 𝑎4 )
From the previous example that every Boolean algebra can be expressed with only first layer contains ‘Not’ operations, and
this NP Markov Random Field Boolean algebra has no ‘Not’ operation, the simplification of this NP Boolean algebra can be
done without any ‘Not’ operation. (For details, please read my paper)
2sat problem
• There is a special case for the fully connected Graphical
model
• If each variable ai can only takes 2 values (0 or 1)
• Then it is a 2sat problem
• The Graphical Model can be solved in Polynomial time
• It can be solved by dynamic programming
• 𝐻0 𝑎𝑖, 𝑎𝑗 = 𝐻 𝑎𝑖, 𝑎𝑗
• 𝐻𝑙
𝑎𝑖, 𝑎𝑗 = 𝐻𝑙−1
(𝑎𝑖, 𝑎𝑗) 𝑎𝑘
𝐻𝑙−1
𝑎𝑖, 𝑎𝑘 𝐻𝑙−1
(𝑎𝑗, 𝑎𝑘)
• where 1 ≤ 𝑙 ≤ 𝑛
• n is the number of variables 𝑎1, 𝑎2, … , 𝑎𝑛
• For details, please read my paper
a1 a2
a3
a4
Note that for Hl() and Hl-1(),
the superscripts are indexes
and do not mean H raised to
the power of l
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
• Prove Np not equal P using Markov Random Field and Boolean Algebra
Simplification
• https://vixra.org/abs/2105.0181

More Related Content

What's hot

The n Queen Problem
The n Queen ProblemThe n Queen Problem
The n Queen ProblemSukrit Gupta
 
Quadratic programming (Tool of optimization)
Quadratic programming (Tool of optimization)Quadratic programming (Tool of optimization)
Quadratic programming (Tool of optimization)VARUN KUMAR
 
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
 
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
 
Euclid's Algorithm for Greatest Common Divisor - Time Complexity Analysis
Euclid's Algorithm for Greatest Common Divisor - Time Complexity AnalysisEuclid's Algorithm for Greatest Common Divisor - Time Complexity Analysis
Euclid's Algorithm for Greatest Common Divisor - Time Complexity AnalysisAmrinder Arora
 
Algorithm Design and Complexity - Course 3
Algorithm Design and Complexity - Course 3Algorithm Design and Complexity - Course 3
Algorithm Design and Complexity - Course 3Traian Rebedea
 
Exponential Form - Radicals
Exponential Form - RadicalsExponential Form - Radicals
Exponential Form - Radicalsswartzje
 
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
 
Lesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic FunctionsLesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic FunctionsKevin Johnson
 
Numerical Solutions of Second Order Boundary Value Problems by Galerkin Resid...
Numerical Solutions of Second Order Boundary Value Problems by Galerkin Resid...Numerical Solutions of Second Order Boundary Value Problems by Galerkin Resid...
Numerical Solutions of Second Order Boundary Value Problems by Galerkin Resid...iosrjce
 
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
 
Module Seven Lesson Four Remediation Notes
Module Seven Lesson Four Remediation NotesModule Seven Lesson Four Remediation Notes
Module Seven Lesson Four Remediation Notesncvpsmanage1
 
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
 

What's hot (20)

The n Queen Problem
The n Queen ProblemThe n Queen Problem
The n Queen Problem
 
Quadratic programming (Tool of optimization)
Quadratic programming (Tool of optimization)Quadratic programming (Tool of optimization)
Quadratic programming (Tool of optimization)
 
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
 
A0280106
A0280106A0280106
A0280106
 
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
 
Euclid's Algorithm for Greatest Common Divisor - Time Complexity Analysis
Euclid's Algorithm for Greatest Common Divisor - Time Complexity AnalysisEuclid's Algorithm for Greatest Common Divisor - Time Complexity Analysis
Euclid's Algorithm for Greatest Common Divisor - Time Complexity Analysis
 
Matlab Assignment Help
Matlab Assignment HelpMatlab Assignment Help
Matlab Assignment Help
 
Algorithm Design and Complexity - Course 3
Algorithm Design and Complexity - Course 3Algorithm Design and Complexity - Course 3
Algorithm Design and Complexity - Course 3
 
Signal Processing Assignment Help
Signal Processing Assignment HelpSignal Processing Assignment Help
Signal Processing Assignment Help
 
Exponential Form - Radicals
Exponential Form - RadicalsExponential Form - Radicals
Exponential Form - Radicals
 
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
 
Lesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic FunctionsLesson 19: Exponential and Logarithmic Functions
Lesson 19: Exponential and Logarithmic Functions
 
Numerical Solutions of Second Order Boundary Value Problems by Galerkin Resid...
Numerical Solutions of Second Order Boundary Value Problems by Galerkin Resid...Numerical Solutions of Second Order Boundary Value Problems by Galerkin Resid...
Numerical Solutions of Second Order Boundary Value Problems by Galerkin Resid...
 
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]
 
Module Seven Lesson Four Remediation Notes
Module Seven Lesson Four Remediation NotesModule Seven Lesson Four Remediation Notes
Module Seven Lesson Four Remediation Notes
 
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...
 
5.1 greedy
5.1 greedy5.1 greedy
5.1 greedy
 
5.1 greedy 03
5.1 greedy 035.1 greedy 03
5.1 greedy 03
 
H023078082
H023078082H023078082
H023078082
 

Similar to How I Prove NP≠P Using Markov Random Fields

DISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEMDISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEMMANISH KUMAR
 
Direct solution of sparse network equations by optimally ordered triangular f...
Direct solution of sparse network equations by optimally ordered triangular f...Direct solution of sparse network equations by optimally ordered triangular f...
Direct solution of sparse network equations by optimally ordered triangular f...Dimas Ruliandi
 
Paper study: Learning to solve circuit sat
Paper study: Learning to solve circuit satPaper study: Learning to solve circuit sat
Paper study: Learning to solve circuit satChenYiHuang5
 
Learning group em - 20171025 - copy
Learning group   em - 20171025 - copyLearning group   em - 20171025 - copy
Learning group em - 20171025 - copyShuai Zhang
 
P, NP and NP-Complete, Theory of NP-Completeness V2
P, NP and NP-Complete, Theory of NP-Completeness V2P, NP and NP-Complete, Theory of NP-Completeness V2
P, NP and NP-Complete, Theory of NP-Completeness V2S.Shayan Daneshvar
 
Arjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjd
Arjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjdArjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjd
Arjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjd12345arjitcs
 
Setting linear algebra problems
Setting linear algebra problemsSetting linear algebra problems
Setting linear algebra problemsJB Online
 
A Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary ConditionA Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary ConditionIJMERJOURNAL
 
Lego like spheres and tori, enumeration and drawings
Lego like spheres and tori, enumeration and drawingsLego like spheres and tori, enumeration and drawings
Lego like spheres and tori, enumeration and drawingsMathieu Dutour Sikiric
 
Lecture Notes: EEEC6430310 Electromagnetic Fields And Waves - Dipole Arrays
Lecture Notes:  EEEC6430310 Electromagnetic Fields And Waves - Dipole ArraysLecture Notes:  EEEC6430310 Electromagnetic Fields And Waves - Dipole Arrays
Lecture Notes: EEEC6430310 Electromagnetic Fields And Waves - Dipole ArraysAIMST University
 
Optimum Engineering Design - Day 2b. Classical Optimization methods
Optimum Engineering Design - Day 2b. Classical Optimization methodsOptimum Engineering Design - Day 2b. Classical Optimization methods
Optimum Engineering Design - Day 2b. Classical Optimization methodsSantiagoGarridoBulln
 
Machine learning ppt and presentation code
Machine learning ppt and presentation codeMachine learning ppt and presentation code
Machine learning ppt and presentation codesharma239172
 
lecture-3 laplce and poisson.pptx .
lecture-3 laplce and poisson.pptx                .lecture-3 laplce and poisson.pptx                .
lecture-3 laplce and poisson.pptx .happycocoman
 
International Journal of Engineering Research and Development
International Journal of Engineering Research and DevelopmentInternational Journal of Engineering Research and Development
International Journal of Engineering Research and DevelopmentIJERD Editor
 
A New Lagrangian Relaxation Approach To The Generalized Assignment Problem
A New Lagrangian Relaxation Approach To The Generalized Assignment ProblemA New Lagrangian Relaxation Approach To The Generalized Assignment Problem
A New Lagrangian Relaxation Approach To The Generalized Assignment ProblemKim Daniels
 
Generalized Laplace - Mellin Integral Transformation
Generalized Laplace - Mellin Integral TransformationGeneralized Laplace - Mellin Integral Transformation
Generalized Laplace - Mellin Integral TransformationIJERA Editor
 

Similar to How I Prove NP≠P Using Markov Random Fields (20)

04 Multi-layer Feedforward Networks
04 Multi-layer Feedforward Networks04 Multi-layer Feedforward Networks
04 Multi-layer Feedforward Networks
 
DISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEMDISCRETE LOGARITHM PROBLEM
DISCRETE LOGARITHM PROBLEM
 
Direct solution of sparse network equations by optimally ordered triangular f...
Direct solution of sparse network equations by optimally ordered triangular f...Direct solution of sparse network equations by optimally ordered triangular f...
Direct solution of sparse network equations by optimally ordered triangular f...
 
Paper study: Learning to solve circuit sat
Paper study: Learning to solve circuit satPaper study: Learning to solve circuit sat
Paper study: Learning to solve circuit sat
 
Neural Networks
Neural NetworksNeural Networks
Neural Networks
 
Learning group em - 20171025 - copy
Learning group   em - 20171025 - copyLearning group   em - 20171025 - copy
Learning group em - 20171025 - copy
 
P, NP and NP-Complete, Theory of NP-Completeness V2
P, NP and NP-Complete, Theory of NP-Completeness V2P, NP and NP-Complete, Theory of NP-Completeness V2
P, NP and NP-Complete, Theory of NP-Completeness V2
 
Arjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjd
Arjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjdArjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjd
Arjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjd
 
Setting linear algebra problems
Setting linear algebra problemsSetting linear algebra problems
Setting linear algebra problems
 
A Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary ConditionA Non Local Boundary Value Problem with Integral Boundary Condition
A Non Local Boundary Value Problem with Integral Boundary Condition
 
Lego like spheres and tori, enumeration and drawings
Lego like spheres and tori, enumeration and drawingsLego like spheres and tori, enumeration and drawings
Lego like spheres and tori, enumeration and drawings
 
Lecture Notes: EEEC6430310 Electromagnetic Fields And Waves - Dipole Arrays
Lecture Notes:  EEEC6430310 Electromagnetic Fields And Waves - Dipole ArraysLecture Notes:  EEEC6430310 Electromagnetic Fields And Waves - Dipole Arrays
Lecture Notes: EEEC6430310 Electromagnetic Fields And Waves - Dipole Arrays
 
Optimum Engineering Design - Day 2b. Classical Optimization methods
Optimum Engineering Design - Day 2b. Classical Optimization methodsOptimum Engineering Design - Day 2b. Classical Optimization methods
Optimum Engineering Design - Day 2b. Classical Optimization methods
 
Machine learning ppt and presentation code
Machine learning ppt and presentation codeMachine learning ppt and presentation code
Machine learning ppt and presentation code
 
On the Analysis of the Finite Element Solutions of Boundary Value Problems Us...
On the Analysis of the Finite Element Solutions of Boundary Value Problems Us...On the Analysis of the Finite Element Solutions of Boundary Value Problems Us...
On the Analysis of the Finite Element Solutions of Boundary Value Problems Us...
 
E04 06 3943
E04 06 3943E04 06 3943
E04 06 3943
 
lecture-3 laplce and poisson.pptx .
lecture-3 laplce and poisson.pptx                .lecture-3 laplce and poisson.pptx                .
lecture-3 laplce and poisson.pptx .
 
International Journal of Engineering Research and Development
International Journal of Engineering Research and DevelopmentInternational Journal of Engineering Research and Development
International Journal of Engineering Research and Development
 
A New Lagrangian Relaxation Approach To The Generalized Assignment Problem
A New Lagrangian Relaxation Approach To The Generalized Assignment ProblemA New Lagrangian Relaxation Approach To The Generalized Assignment Problem
A New Lagrangian Relaxation Approach To The Generalized Assignment Problem
 
Generalized Laplace - Mellin Integral Transformation
Generalized Laplace - Mellin Integral TransformationGeneralized Laplace - Mellin Integral Transformation
Generalized Laplace - Mellin Integral Transformation
 

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
 
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

GDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentationGDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentationGDSCAESB
 
Current Transformer Drawing and GTP for MSETCL
Current Transformer Drawing and GTP for MSETCLCurrent Transformer Drawing and GTP for MSETCL
Current Transformer Drawing and GTP for MSETCLDeelipZope
 
microprocessor 8085 and its interfacing
microprocessor 8085  and its interfacingmicroprocessor 8085  and its interfacing
microprocessor 8085 and its interfacingjaychoudhary37
 
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Dr.Costas Sachpazis
 
Internship report on mechanical engineering
Internship report on mechanical engineeringInternship report on mechanical engineering
Internship report on mechanical engineeringmalavadedarshan25
 
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur EscortsHigh Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escortsranjana rawat
 
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...ZTE
 
What are the advantages and disadvantages of membrane structures.pptx
What are the advantages and disadvantages of membrane structures.pptxWhat are the advantages and disadvantages of membrane structures.pptx
What are the advantages and disadvantages of membrane structures.pptxwendy cai
 
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
 
Call Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile serviceCall Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile servicerehmti665
 
power system scada applications and uses
power system scada applications and usespower system scada applications and uses
power system scada applications and usesDevarapalliHaritha
 
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
 
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
 
Artificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxArtificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxbritheesh05
 
Sachpazis Costas: Geotechnical Engineering: A student's Perspective Introduction
Sachpazis Costas: Geotechnical Engineering: A student's Perspective IntroductionSachpazis Costas: Geotechnical Engineering: A student's Perspective Introduction
Sachpazis Costas: Geotechnical Engineering: A student's Perspective IntroductionDr.Costas Sachpazis
 
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escortsranjana rawat
 
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdf
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdfCCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdf
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdfAsst.prof M.Gokilavani
 
main PPT.pptx of girls hostel security using rfid
main PPT.pptx of girls hostel security using rfidmain PPT.pptx of girls hostel security using rfid
main PPT.pptx of girls hostel security using rfidNikhilNagaraju
 
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort serviceGurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort servicejennyeacort
 
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
 

Recently uploaded (20)

GDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentationGDSC ASEB Gen AI study jams presentation
GDSC ASEB Gen AI study jams presentation
 
Current Transformer Drawing and GTP for MSETCL
Current Transformer Drawing and GTP for MSETCLCurrent Transformer Drawing and GTP for MSETCL
Current Transformer Drawing and GTP for MSETCL
 
microprocessor 8085 and its interfacing
microprocessor 8085  and its interfacingmicroprocessor 8085  and its interfacing
microprocessor 8085 and its interfacing
 
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
Sheet Pile Wall Design and Construction: A Practical Guide for Civil Engineer...
 
Internship report on mechanical engineering
Internship report on mechanical engineeringInternship report on mechanical engineering
Internship report on mechanical engineering
 
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur EscortsHigh Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
High Profile Call Girls Nagpur Isha Call 7001035870 Meet With Nagpur Escorts
 
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...
ZXCTN 5804 / ZTE PTN / ZTE POTN / ZTE 5804 PTN / ZTE POTN 5804 ( 100/200 GE Z...
 
What are the advantages and disadvantages of membrane structures.pptx
What are the advantages and disadvantages of membrane structures.pptxWhat are the advantages and disadvantages of membrane structures.pptx
What are the advantages and disadvantages of membrane structures.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 )
 
Call Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile serviceCall Girls Delhi {Jodhpur} 9711199012 high profile service
Call Girls Delhi {Jodhpur} 9711199012 high profile service
 
power system scada applications and uses
power system scada applications and usespower system scada applications and uses
power system scada applications and uses
 
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
 
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🔝
 
Artificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptxArtificial-Intelligence-in-Electronics (K).pptx
Artificial-Intelligence-in-Electronics (K).pptx
 
Sachpazis Costas: Geotechnical Engineering: A student's Perspective Introduction
Sachpazis Costas: Geotechnical Engineering: A student's Perspective IntroductionSachpazis Costas: Geotechnical Engineering: A student's Perspective Introduction
Sachpazis Costas: Geotechnical Engineering: A student's Perspective Introduction
 
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
(MEERA) Dapodi Call Girls Just Call 7001035870 [ Cash on Delivery ] Pune Escorts
 
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdf
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdfCCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdf
CCS355 Neural Network & Deep Learning UNIT III notes and Question bank .pdf
 
main PPT.pptx of girls hostel security using rfid
main PPT.pptx of girls hostel security using rfidmain PPT.pptx of girls hostel security using rfid
main PPT.pptx of girls hostel security using rfid
 
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort serviceGurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
Gurgaon ✡️9711147426✨Call In girls Gurgaon Sector 51 escort service
 
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
 

How I Prove NP≠P Using Markov Random Fields

  • 1. Brief explanation of how I prove NP≠P Sing Kuang Tan singkuangtan@gmail.com Link to my paper Prove Np not equal P using Markov Random Field and Boolean Algebra Simplification https://vixra.org/abs/2105.0181
  • 2. 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
  • 3. Linear Chain Graphical Model a1 a2 a3 a4 𝑓 𝑎1, 𝑎2, 𝑎3, 𝑎4 = 𝑎1,𝑎2,𝑎3,𝑎4 ℎ(𝑎1, 𝑎2)ℎ(𝑎2, 𝑎3)ℎ(𝑎3, 𝑎4) 𝑓 𝑎1, 𝑎2, 𝑎3, 𝑎4 = 𝑎1 𝑎2 ℎ(𝑎1, 𝑎2) 𝑎3 ℎ(𝑎2, 𝑎3) 𝑎4 ℎ(𝑎3, 𝑎4) It is well known in the literature that linear chain graphical model can be solved in Polynomial time This expression needs Non-Deterministic Polynomial time to evaluate Can be factorized into This expression needs Polynomial time to evaluate
  • 4. Tree Structure Graphical Model a1 a2 a3 𝑓 𝑎1, 𝑎2, 𝑎3, 𝑎4, 𝑎5, 𝑎6, 𝑎7 = 𝑎1,𝑎2,𝑎3,𝑎4,𝑎5,𝑎6,𝑎7 ℎ(𝑎1, 𝑎2)ℎ(𝑎1, 𝑎3)ℎ(𝑎2, 𝑎4)ℎ(𝑎2, 𝑎5)ℎ(𝑎3, 𝑎6)ℎ(𝑎3, 𝑎7) It is well known in the literature that tree structure graphical model can be solved in Polynomial time This expression needs Non- Deterministic Polynomial time to evaluate Can be factorized into This expression needs Polynomial time to evaluate a5 a4 a7 a6 𝑓 𝑎1, 𝑎2, 𝑎3, 𝑎4, 𝑎5, 𝑎6, 𝑎7 = 𝑎1 𝑎2 ℎ(𝑎1, 𝑎2) 𝑎4 ℎ(𝑎2, 𝑎4) 𝑎5 ℎ(𝑎2, 𝑎5) 𝑎3 ℎ(𝑎1, 𝑎3) 𝑎6 ℎ(𝑎3, 𝑎6) 𝑎7 ℎ(𝑎3, 𝑎7)
  • 5. Transform any Boolean algebra so that only the first layer has ‘Not’ operations a1 a2 a3 a4 a6 a5 𝐻 Output Not operation at input or output Or operation And operation Propagate the ‘Not’ operations to the previous layer using DE Morgan’s theorem
  • 6. a1 a2 a3 a4 a6 a5 𝐻 Output Not operation at input or output Or operation And operation Propagate the ‘Not’ operations to the previous layer using DE Morgan’s theorem
  • 7. a1 a2 a3 a4 a6 a5 𝐻 Output Not operation at input or output Or operation And operation Propagate the ‘Not’ operations to the previous layer using DE Morgan’s theorem
  • 8. a1 a2 a3 a4 a6 a5 𝐻 Output Not operation at input or output Or operation And operation Propagate the ‘Not’ operations to the previous layer using DE Morgan’s theorem
  • 9. a1 a2 a3 a4 a6 a5 𝐻 Output Not operation at input or output Or operation And operation Propagate the ‘Not’ operations to the previous layer using DE Morgan’s theorem
  • 10. a1 a2 a3 a4 a6 a5 𝐻 Output Not operation at input or output Or operation And operation Until only the first layer has ‘Not’ operations For details, please read my paper Note that the number of gates is at most 2 times the original Boolean algebra after propagation. Polynomial time Boolean algebra remains Polynomial time after propagation.
  • 11. 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
  • 12. Why NP problem cannot be simplified a1 a2 a3 a4 a1 a2 a3 a4 a1 a2 a3 a4 If we remove constraints such that the Graphical model becomes a linear chain, it can be solved efficiently in Polynomial time If we remove constraints such that the Graphical model becomes a tree, it can be solved efficiently in Polynomial time However if no constraint is removed, it can never be solved efficiently in Polynomial time
  • 13. Boolean algebra representation of NP problem The NP Markov Random Field can be expressed as a Boolean algebra 𝑓 𝑎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, 𝑎3 ∧ℎ 𝑎1, 𝑎4 ∧ℎ 𝑎2, 𝑎3 ∧ℎ 𝑎2, 𝑎4 ∧ℎ 𝑎3, 𝑎4 ) From the previous example that every Boolean algebra can be expressed with only first layer contains ‘Not’ operations, and this NP Markov Random Field Boolean algebra has no ‘Not’ operation, the simplification of this NP Boolean algebra can be done without any ‘Not’ operation. (For details, please read my paper)
  • 14. 2sat problem • There is a special case for the fully connected Graphical model • If each variable ai can only takes 2 values (0 or 1) • Then it is a 2sat problem • The Graphical Model can be solved in Polynomial time • It can be solved by dynamic programming • 𝐻0 𝑎𝑖, 𝑎𝑗 = 𝐻 𝑎𝑖, 𝑎𝑗 • 𝐻𝑙 𝑎𝑖, 𝑎𝑗 = 𝐻𝑙−1 (𝑎𝑖, 𝑎𝑗) 𝑎𝑘 𝐻𝑙−1 𝑎𝑖, 𝑎𝑘 𝐻𝑙−1 (𝑎𝑗, 𝑎𝑘) • where 1 ≤ 𝑙 ≤ 𝑛 • n is the number of variables 𝑎1, 𝑎2, … , 𝑎𝑛 • For details, please read my paper a1 a2 a3 a4 Note that for Hl() and Hl-1(), the superscripts are indexes and do not mean H raised to the power of l
  • 15. 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 • Prove Np not equal P using Markov Random Field and Boolean Algebra Simplification • https://vixra.org/abs/2105.0181