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