applications of types of sats
DESCRIPTION
Applications of types of SATs. Arash Ahadi 2013. What is SAT ?. What is SAT ?. What is SAT ?. What is SAT Problem?. What is SAT Problem?. SAT is NP -complete. Why 3-SAT is useful?. An example (in Computational Geometry). An important open problem. Sketch of Proof. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/1.jpg)
Applications of types of SATs
Arash Ahadi2013
![Page 2: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/2.jpg)
What is SAT?
![Page 3: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/3.jpg)
What is SAT?
![Page 4: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/4.jpg)
What is SAT?
![Page 5: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/5.jpg)
What is SAT Problem?
![Page 6: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/6.jpg)
What is SAT Problem?
![Page 7: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/7.jpg)
SAT is NP-complete
![Page 8: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/8.jpg)
Why 3-SAT is useful?
![Page 9: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/9.jpg)
An example (in Computational Geometry)
![Page 10: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/10.jpg)
An important open problem
![Page 11: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/11.jpg)
Sketch of Proof
![Page 12: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/12.jpg)
Sketch of Proof
![Page 13: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/13.jpg)
Sketch of Proof
![Page 14: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/14.jpg)
Sketch of Proof
![Page 15: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/15.jpg)
Sketch of Proof
![Page 16: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/16.jpg)
Sketch of Proof
![Page 17: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/17.jpg)
Types of SAT
Why do we need another types of SATs?
![Page 18: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/18.jpg)
Answer by several examples
![Page 19: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/19.jpg)
![Page 20: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/20.jpg)
Sketch of Proof
![Page 21: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/21.jpg)
Sketch of Proof
![Page 22: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/22.jpg)
Sketch of Proof
![Page 23: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/23.jpg)
Planar 3-SAT
![Page 24: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/24.jpg)
Other types and examples?!!
![Page 25: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/25.jpg)
Labeling of Graphs:Lucky labeling
![Page 26: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/26.jpg)
Existance
![Page 27: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/27.jpg)
Hardness
![Page 28: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/28.jpg)
Sketch of Proof
![Page 29: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/29.jpg)
Sketch of Proof
![Page 30: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/30.jpg)
What about every k >1?
![Page 31: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/31.jpg)
Main Reference
![Page 32: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/32.jpg)
Another type
Not All Equal SAT
![Page 33: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/33.jpg)
Labeling of Graphs:Sigma labeling
![Page 34: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/34.jpg)
The Relationship between Lucky & Sigma
![Page 35: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/35.jpg)
They are very different
![Page 36: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/36.jpg)
Relationship to Chromatic Number
![Page 37: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/37.jpg)
Complexity for 3-regular graphs
![Page 38: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/38.jpg)
Sketch of Proof
![Page 39: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/39.jpg)
Sketch of Proof
![Page 40: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/40.jpg)
Complexity for every k
![Page 41: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/41.jpg)
Minimizing the size of a Part
![Page 42: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/42.jpg)
Minimizing the size of a Part
![Page 43: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/43.jpg)
Minimizing the size of a Part
![Page 44: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/44.jpg)
Minimizing the size of a Part
![Page 45: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/45.jpg)
Minimizing the size of a Part
![Page 46: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/46.jpg)
Conclusion
![Page 47: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/47.jpg)
The Others
![Page 48: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/48.jpg)
Proper Labeling Problems
A. Ahadi and A. Dehghan, Journal of Theoretical Computer Science, in appears.
![Page 49: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/49.jpg)
Edge Labeling by Sum
![Page 50: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/50.jpg)
Proper Labeling Problems
![Page 51: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/51.jpg)
Edge Labeling by Product
![Page 52: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/52.jpg)
Vertex Labeling by Product
![Page 53: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/53.jpg)
Edge Labeling by Gap
![Page 54: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/54.jpg)
Edge Labeling by Gap
![Page 55: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/55.jpg)
Edge Labeling by Gap
![Page 56: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/56.jpg)
Vertex Labeling by Gap
![Page 57: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/57.jpg)
Vertex Labeling by Gap
![Page 58: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/58.jpg)
Polynomial Algorithm
![Page 59: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/59.jpg)
Fractional Coloring
![Page 60: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/60.jpg)
Fractional Coloring
![Page 61: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/61.jpg)
The Results (in labelings)
![Page 62: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/62.jpg)
There are several another theorems…
![Page 63: Applications of types of SATs](https://reader035.vdocuments.us/reader035/viewer/2022062501/5681662d550346895dd99352/html5/thumbnails/63.jpg)
Thanks