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

Algorithm Design and Complexity - Course 3
Algorithm Design and Complexity - Course 3Algorithm Design and Complexity - Course 3
Algorithm Design and Complexity - Course 3
Traian Rebedea
ย 
Exponential Form - Radicals
Exponential Form - RadicalsExponential Form - Radicals
Exponential Form - Radicals
swartzje
ย 

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 Brief explanation of NP vs P. Prove Np not equal P using Markov Random Field and Boolean Algebra Simplification

Arjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjd
Arjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjdArjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjd
Arjrandomjjejejj3ejjeejjdjddjjdjdjdjdjdjdjdjdjd
12345arjitcs
ย 

Similar to Brief explanation of NP vs P. Prove Np not equal P using Markov Random Field and Boolean Algebra Simplification (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
ย 
Linear Programming- Leacture-16-lp1.pptx
Linear Programming- Leacture-16-lp1.pptxLinear Programming- Leacture-16-lp1.pptx
Linear Programming- Leacture-16-lp1.pptx
ย 
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
ย 

More from Sing 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

scipt v1.pptxcxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx...
scipt v1.pptxcxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx...scipt v1.pptxcxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx...
scipt v1.pptxcxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx...
HenryBriggs2
ย 
Integrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - NeometrixIntegrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - Neometrix
Neometrix_Engineering_Pvt_Ltd
ย 
"Lesotho Leaps Forward: A Chronicle of Transformative Developments"
"Lesotho Leaps Forward: A Chronicle of Transformative Developments""Lesotho Leaps Forward: A Chronicle of Transformative Developments"
"Lesotho Leaps Forward: A Chronicle of Transformative Developments"
mphochane1998
ย 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power Play
Epec Engineered Technologies
ย 
Digital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptxDigital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptx
pritamlangde
ย 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
ssuser89054b
ย 
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak HamilCara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Kandungan 087776558899
ย 
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills KuwaitKuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
jaanualu31
ย 

Recently uploaded (20)

scipt v1.pptxcxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx...
scipt v1.pptxcxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx...scipt v1.pptxcxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx...
scipt v1.pptxcxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx...
ย 
Integrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - NeometrixIntegrated Test Rig For HTFE-25 - Neometrix
Integrated Test Rig For HTFE-25 - Neometrix
ย 
Hostel management system project report..pdf
Hostel management system project report..pdfHostel management system project report..pdf
Hostel management system project report..pdf
ย 
"Lesotho Leaps Forward: A Chronicle of Transformative Developments"
"Lesotho Leaps Forward: A Chronicle of Transformative Developments""Lesotho Leaps Forward: A Chronicle of Transformative Developments"
"Lesotho Leaps Forward: A Chronicle of Transformative Developments"
ย 
Standard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power PlayStandard vs Custom Battery Packs - Decoding the Power Play
Standard vs Custom Battery Packs - Decoding the Power Play
ย 
fitting shop and tools used in fitting shop .ppt
fitting shop and tools used in fitting shop .pptfitting shop and tools used in fitting shop .ppt
fitting shop and tools used in fitting shop .ppt
ย 
Max. shear stress theory-Maximum Shear Stress Theory โ€‹ Maximum Distortional ...
Max. shear stress theory-Maximum Shear Stress Theory โ€‹  Maximum Distortional ...Max. shear stress theory-Maximum Shear Stress Theory โ€‹  Maximum Distortional ...
Max. shear stress theory-Maximum Shear Stress Theory โ€‹ Maximum Distortional ...
ย 
Digital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptxDigital Communication Essentials: DPCM, DM, and ADM .pptx
Digital Communication Essentials: DPCM, DM, and ADM .pptx
ย 
Electromagnetic relays used for power system .pptx
Electromagnetic relays used for power system .pptxElectromagnetic relays used for power system .pptx
Electromagnetic relays used for power system .pptx
ย 
Computer Graphics Introduction To Curves
Computer Graphics Introduction To CurvesComputer Graphics Introduction To Curves
Computer Graphics Introduction To Curves
ย 
COST-EFFETIVE and Energy Efficient BUILDINGS ptx
COST-EFFETIVE  and Energy Efficient BUILDINGS ptxCOST-EFFETIVE  and Energy Efficient BUILDINGS ptx
COST-EFFETIVE and Energy Efficient BUILDINGS ptx
ย 
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
ย 
Ground Improvement Technique: Earth Reinforcement
Ground Improvement Technique: Earth ReinforcementGround Improvement Technique: Earth Reinforcement
Ground Improvement Technique: Earth Reinforcement
ย 
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak HamilCara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
Cara Menggugurkan Sperma Yang Masuk Rahim Biyar Tidak Hamil
ย 
School management system project Report.pdf
School management system project Report.pdfSchool management system project Report.pdf
School management system project Report.pdf
ย 
Memory Interfacing of 8086 with DMA 8257
Memory Interfacing of 8086 with DMA 8257Memory Interfacing of 8086 with DMA 8257
Memory Interfacing of 8086 with DMA 8257
ย 
Post office management system project ..pdf
Post office management system project ..pdfPost office management system project ..pdf
Post office management system project ..pdf
ย 
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills KuwaitKuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
Kuwait City MTP kit ((+919101817206)) Buy Abortion Pills Kuwait
ย 
Linux Systems Programming: Inter Process Communication (IPC) using Pipes
Linux Systems Programming: Inter Process Communication (IPC) using PipesLinux Systems Programming: Inter Process Communication (IPC) using Pipes
Linux Systems Programming: Inter Process Communication (IPC) using Pipes
ย 
Online electricity billing project report..pdf
Online electricity billing project report..pdfOnline electricity billing project report..pdf
Online electricity billing project report..pdf
ย 

Brief explanation of NP vs P. Prove Np not equal P using Markov Random Field and Boolean Algebra Simplification

  • 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