![Page 1: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/1.jpg)
The complexity of homomorphismsof signed graphs
Florent Foucaud(Universitat Politecnica de Catalunya, Barcelona)
joint work (in progress) with:
Richard Brewster (Thompson Rivers U., Kamloops)Pavol Hell (Simon Fraser U., Vancouver)
Reza Naserasr (U. Paris-Sud, Orsay)
JGA 2013
![Page 2: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/2.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
1
1 5 4
2
23
3
2
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 3: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/3.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 4: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/4.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 5: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/5.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 6: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/6.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 7: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/7.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 8: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/8.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 9: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/9.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 10: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/10.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 11: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/11.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 12: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/12.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 13: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/13.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 14: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/14.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 15: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/15.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
Target graph: H = C5
1
54
2
3
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 16: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/16.jpg)
Graph homomorphisms
Mapping from V (G ) to V (H) which preserves adjacency.If it exists, we note G → H.
Definition - Graph homomorphism from G to H
1
1 5 4
2
23
3
2
Target graph: H = C5
1
54
2
3
G → Kk ⇐⇒ G is k-colourable
Remark: Homomorphisms generalize proper vertex-colourings
Florent Foucaud The complexity of homomorphisms of signed graphs 2 / 14
![Page 17: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/17.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 18: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/18.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 19: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/19.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 20: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/20.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 21: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/21.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 22: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/22.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-
1 2
34
-
-Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 23: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/23.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-
1 2
34
-
-Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 24: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/24.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-
1 2
34
-
-
1 2
34
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 25: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/25.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-
1 2
34
-
-
1 2
34
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 26: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/26.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-
1 2
34
-
-
1 2
34
1 2
34
-
-
-
-
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 27: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/27.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-
-
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 28: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/28.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-
-
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 29: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/29.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-
- 1 2
34
-
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 30: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/30.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-
- 1 2
34
-
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 31: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/31.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
1 2
34
-
-
- 1 2
34
- 1 2
34
-
-
-
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 32: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/32.jpg)
Signed graphs: definitions
Signature Σ of graph G : assignment of + or − sign to each edge of G .Σ: set of − edges.
1 2
34
-
-
Σ = {12, 34}
Re-signing operation at v : switch sign of each edge incident to v
v
-
v
-
-
Signatures Σ, Σ′ are equivalent (Σ ≡ Σ′) if one can be obtained fromthe other with re-signings. (equivalently: changing signs along an edge-cut)
Signed graph: Graph G with an equivalence class C of signatures.
Notation: (G ,Σ) with any Σ ∈ C.
Florent Foucaud The complexity of homomorphisms of signed graphs 3 / 14
![Page 33: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/33.jpg)
Signed graphs: (un)balanced cycles
Cycle with an odd number of negative edges.
Definition - Unbalanced cycle
1 2
34
-
-
balanced C4
1 2
34
-
unbalanced C4: UC4
Re-signing always preserves the balance of a cycle.
Remark
Two signatures are equivalent if and only if they induce the same setof unbalanced cycles.
Theorem (Zaslavsky, 1982)
Florent Foucaud The complexity of homomorphisms of signed graphs 4 / 14
![Page 34: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/34.jpg)
Signed graphs: (un)balanced cycles
Cycle with an odd number of negative edges.
Definition - Unbalanced cycle
1 2
34
-
-
balanced C4
1 2
34
-
unbalanced C4: UC4
Re-signing always preserves the balance of a cycle.
Remark
Two signatures are equivalent if and only if they induce the same setof unbalanced cycles.
Theorem (Zaslavsky, 1982)
Florent Foucaud The complexity of homomorphisms of signed graphs 4 / 14
![Page 35: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/35.jpg)
Signed graphs: (un)balanced cycles
Cycle with an odd number of negative edges.
Definition - Unbalanced cycle
1 2
34
-
-
balanced C4
1 2
34
-
unbalanced C4: UC4
Re-signing always preserves the balance of a cycle.
Remark
Two signatures are equivalent if and only if they induce the same setof unbalanced cycles.
Theorem (Zaslavsky, 1982)
Florent Foucaud The complexity of homomorphisms of signed graphs 4 / 14
![Page 36: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/36.jpg)
Why signed graphs?
Introduced by Harary (1953): notion of balanced signed graphs (eachcycle is balanced)→ Social psychology: “like” and “dislike” relations in a social network.Balanced networks are socially stable. (Cartwright and Harary, 1956)
→ Graph theory
If G has no Kk as a minor, χ(G ) ≤ k − 1.
Conjecture (Hadwiger, 1943)
Very difficult; proved up to k = 6.
If (G ,E (G )) has no (Kk ,E (Kk)) as a minor, χ(G ) ≤ k − 1.
Conjecture (“Odd Hadwiger” - Seymour; Gerards, 1993)
Extends the previous one; proved up to k = 5.
Florent Foucaud The complexity of homomorphisms of signed graphs 5 / 14
![Page 37: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/37.jpg)
Why signed graphs?
Introduced by Harary (1953): notion of balanced signed graphs (eachcycle is balanced)→ Social psychology: “like” and “dislike” relations in a social network.Balanced networks are socially stable. (Cartwright and Harary, 1956)
→ Graph theory
If G has no Kk as a minor, χ(G ) ≤ k − 1.
Conjecture (Hadwiger, 1943)
Very difficult; proved up to k = 6.
If (G ,E (G )) has no (Kk ,E (Kk)) as a minor, χ(G ) ≤ k − 1.
Conjecture (“Odd Hadwiger” - Seymour; Gerards, 1993)
Extends the previous one; proved up to k = 5.
Florent Foucaud The complexity of homomorphisms of signed graphs 5 / 14
![Page 38: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/38.jpg)
Why signed graphs?
Introduced by Harary (1953): notion of balanced signed graphs (eachcycle is balanced)→ Social psychology: “like” and “dislike” relations in a social network.Balanced networks are socially stable. (Cartwright and Harary, 1956)
→ Graph theory
If G has no Kk as a minor, χ(G ) ≤ k − 1.
Conjecture (Hadwiger, 1943)
Very difficult; proved up to k = 6.
If (G ,E (G )) has no (Kk ,E (Kk)) as a minor, χ(G ) ≤ k − 1.
Conjecture (“Odd Hadwiger” - Seymour; Gerards, 1993)
Extends the previous one; proved up to k = 5.
Florent Foucaud The complexity of homomorphisms of signed graphs 5 / 14
![Page 39: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/39.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 40: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/40.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
- -
Target: (K2,E (K2))
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 41: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/41.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
- -
Target: (K2,E (K2))
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 42: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/42.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
- - - -
Target: (K2,E (K2))
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 43: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/43.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
- - - -
Target: (K2,E (K2))
-
-
-
1 2
34
-
Target:UC4
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 44: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/44.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
- - - -
Target: (K2,E (K2))
-
-
-
1 2
34
-
Target:UC4
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 45: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/45.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
- - - -
Target: (K2,E (K2))
-
-
-
-1 2
34
-
Target:UC4
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 46: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/46.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
- - - -
Target: (K2,E (K2))
-
-
-
-1 2
34
-
Target:UC4
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 47: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/47.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
- - - -
Target: (K2,E (K2))
-
-
-
- -1 2
34
-
Target:UC4
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 48: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/48.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
- - - -
Target: (K2,E (K2))
-
-
-
- -1 2
34
-
Target:UC4
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 49: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/49.jpg)
Signed graph homomorphisms
Homomorphism f : G → H such that there exists Σ′G ≡ ΣG for whichthe signs are preserved with respect to Σ′G ,ΣH .
Definition - Signed graph homomorphism from (G ,ΣG ) to (H,ΣH)
Recently introduced by Naserasr, Rollova and Sopena (2012)
- - - -
Target: (K2,E (K2))
-
-
-
- - -1 2
34
-
Target:UC4
Florent Foucaud The complexity of homomorphisms of signed graphs 6 / 14
![Page 50: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/50.jpg)
Complexity: classical homomorphisms
INSTANCE: A graph G .QUESTION: does G → H?
Definition - H-Colouring
Florent Foucaud The complexity of homomorphisms of signed graphs 7 / 14
![Page 51: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/51.jpg)
Complexity: classical homomorphisms
INSTANCE: A graph G .QUESTION: does G → H?
Definition - H-Colouring
K3-Colouring is NP-complete.
Theorem (Karp, 1972)
Florent Foucaud The complexity of homomorphisms of signed graphs 7 / 14
![Page 52: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/52.jpg)
Complexity: classical homomorphisms
INSTANCE: A graph G .QUESTION: does G → H?
Definition - H-Colouring
H-Colouring is NP-complete for every non-bipartite graph H.Polynomial (trivial) if H is bipartite or has a loop.
Theorem (Hell, Nesetril, 1990)
Florent Foucaud The complexity of homomorphisms of signed graphs 7 / 14
![Page 53: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/53.jpg)
Complexity: classical homomorphisms
INSTANCE: A graph G .QUESTION: does G → H?
Definition - H-Colouring
H-Colouring is NP-complete for every non-bipartite graph H.Polynomial (trivial) if H is bipartite or has a loop.
Theorem (Hell, Nesetril, 1990)
For every digraph D, D-Colouring is either NP-complete orpolynomial-time solvable.
Conjecture (Feder-Vardi, 1998: Dichotomy conjecture)
(Equivalent to dichotomy for CSP and MMSNP — tough conjecture!)
Florent Foucaud The complexity of homomorphisms of signed graphs 7 / 14
![Page 54: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/54.jpg)
Complexity: questions for signed graphs
INSTANCE: A signed graph (G ,Σ).QUESTION: does (G ,Σ)→ (H,ΣH)?
Definition - (H,ΣH)-Colouring
• checking if Σ ≡ Σ′: polynomial
• (G ,Σ)→ (H, ∅) IFF G → H and Σ ≡ ∅.
• (G ,Σ)→ (H,E (H)) IFF G → H and Σ ≡ E (G ).
→ If ΣH ≡ ∅ or ΣH ≡ E (H), (H,ΣH)-Colouring has same com-plexity as H-Colouring.
Remark
Polynomial cases:
H bipartite, ΣH ≡ ∅ ≡ E (H)H has one vertex with both + loop and − loopH has a loop and ΣH ≡ ∅ or ΣH ≡ E (H)H is bipartite and contains a multi-edge (+ and −)
Florent Foucaud The complexity of homomorphisms of signed graphs 8 / 14
![Page 55: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/55.jpg)
Complexity: questions for signed graphs
INSTANCE: A signed graph (G ,Σ).QUESTION: does (G ,Σ)→ (H,ΣH)?
Definition - (H,ΣH)-Colouring
• checking if Σ ≡ Σ′: polynomial
• (G ,Σ)→ (H, ∅) IFF G → H and Σ ≡ ∅.
• (G ,Σ)→ (H,E (H)) IFF G → H and Σ ≡ E (G ).
→ If ΣH ≡ ∅ or ΣH ≡ E (H), (H,ΣH)-Colouring has same com-plexity as H-Colouring.
Remark
Polynomial cases:
H bipartite, ΣH ≡ ∅ ≡ E (H)H has one vertex with both + loop and − loopH has a loop and ΣH ≡ ∅ or ΣH ≡ E (H)H is bipartite and contains a multi-edge (+ and −)
Florent Foucaud The complexity of homomorphisms of signed graphs 8 / 14
![Page 56: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/56.jpg)
Complexity: questions for signed graphs
INSTANCE: A signed graph (G ,Σ).QUESTION: does (G ,Σ)→ (H,ΣH)?
Definition - (H,ΣH)-Colouring
• checking if Σ ≡ Σ′: polynomial
• (G ,Σ)→ (H, ∅) IFF G → H and Σ ≡ ∅.
• (G ,Σ)→ (H,E (H)) IFF G → H and Σ ≡ E (G ).
→ If ΣH ≡ ∅ or ΣH ≡ E (H), (H,ΣH)-Colouring has same com-plexity as H-Colouring.
Remark
Polynomial cases:
H bipartite, ΣH ≡ ∅ ≡ E (H)H has one vertex with both + loop and − loopH has a loop and ΣH ≡ ∅ or ΣH ≡ E (H)H is bipartite and contains a multi-edge (+ and −)
Florent Foucaud The complexity of homomorphisms of signed graphs 8 / 14
![Page 57: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/57.jpg)
Reduction from classical H-Colouring
(G ,E (G ))→ (H,Σ) IFF G → ((H,Σ)× KR−2 )U
Theorem (Brewster, F., Hell, 2013+)
-- - - -
-
-
Florent Foucaud The complexity of homomorphisms of signed graphs 9 / 14
![Page 58: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/58.jpg)
Reduction from classical H-Colouring
(G ,E (G ))→ (H,Σ) IFF G → ((H,Σ)× KR−2 )U
Theorem (Brewster, F., Hell, 2013+)
-- - - -
-
- - - --
- -----
Florent Foucaud The complexity of homomorphisms of signed graphs 9 / 14
![Page 59: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/59.jpg)
Reduction from classical H-Colouring
(G ,E (G ))→ (H,Σ) IFF G → ((H,Σ)× KR−2 )U
Theorem (Brewster, F., Hell, 2013+)
-- - - -
-
- - - --
- -----
If (H,Σ) has an unbalanced odd cycle, then (H,Σ)-Colouring isNP-complete.(symmetric result holds when (H,Σ) has balanced odd cycle)
Corollary
Florent Foucaud The complexity of homomorphisms of signed graphs 9 / 14
![Page 60: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/60.jpg)
Reduction from classical H-Colouring
(G ,E (G ))→ (H,Σ) IFF G → ((H,Σ)× KR−2 )U
Theorem (Brewster, F., Hell, 2013+)
-- - - -
-
- - - --
- -----
If (H,Σ) has an unbalanced odd cycle, then (H,Σ)-Colouring isNP-complete.(symmetric result holds when (H,Σ) has balanced odd cycle)
Corollary
Florent Foucaud The complexity of homomorphisms of signed graphs 9 / 14
![Page 61: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/61.jpg)
Reduction from classical H-Colouring
(G ,E (G ))→ (H,Σ) IFF G → ((H,Σ)× KR−2 )U
Theorem (Brewster, F., Hell, 2013+)
-- - - -
-
- - - --
- -----
If (H,Σ) has an unbalanced odd cycle, then (H,Σ)-Colouring isNP-complete.(symmetric result holds when (H,Σ) has balanced odd cycle)
Corollary
Florent Foucaud The complexity of homomorphisms of signed graphs 9 / 14
![Page 62: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/62.jpg)
Reduction from classical H-Colouring
(G ,E (G ))→ (H,Σ) IFF G → ((H,Σ)× KR−2 )U
Theorem (Brewster, F., Hell, 2013+)
-- - - -
-
- - - --
- -----
1 2 3 45
If (H,Σ) has an unbalanced odd cycle, then (H,Σ)-Colouring isNP-complete.(symmetric result holds when (H,Σ) has balanced odd cycle)
Corollary
Florent Foucaud The complexity of homomorphisms of signed graphs 9 / 14
![Page 63: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/63.jpg)
Reduction from classical H-Colouring
(G ,E (G ))→ (H,Σ) IFF G → ((H,Σ)× KR−2 )U
Theorem (Brewster, F., Hell, 2013+)
-- - - -
-
- - - --
- -----
If (H,Σ) has an unbalanced odd cycle, then (H,Σ)-Colouring isNP-complete.(symmetric result holds when (H,Σ) has balanced odd cycle)
Corollary
Florent Foucaud The complexity of homomorphisms of signed graphs 9 / 14
![Page 64: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/64.jpg)
Reduction from NAE-3SAT
INSTANCE: A (bipartite) signed graph (G ,Σ).QUESTION: does (G ,Σ)→ UC2k?
Definition - UC2k-Colouring
UC2k-Colouring is NP-complete for every k ≥ 2.
Theorem (F., Naserasr, 2012+)
INSTANCE: A set of clauses of 3 Boolean variables from set X .QUESTION: Is there a truth assignment X → {0, 1} s.t. each clausehas variables with different values?
Definition - Monotone Not-All-Equal-3SAT
Florent Foucaud The complexity of homomorphisms of signed graphs 10 / 14
![Page 65: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/65.jpg)
Reduction from NAE-3SAT
INSTANCE: A (bipartite) signed graph (G ,Σ).QUESTION: does (G ,Σ)→ UC2k?
Definition - UC2k-Colouring
UC2k-Colouring is NP-complete for every k ≥ 2.
Theorem (F., Naserasr, 2012+)
INSTANCE: A set of clauses of 3 Boolean variables from set X .QUESTION: Is there a truth assignment X → {0, 1} s.t. each clausehas variables with different values?
Definition - Monotone Not-All-Equal-3SAT
Florent Foucaud The complexity of homomorphisms of signed graphs 10 / 14
![Page 66: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/66.jpg)
Reduction from NAE-3SAT
INSTANCE: A (bipartite) signed graph (G ,Σ).QUESTION: does (G ,Σ)→ UC2k?
Definition - UC2k-Colouring
UC2k-Colouring is NP-complete for every k ≥ 2.
Theorem (F., Naserasr, 2012+)
INSTANCE: A set of clauses of 3 Boolean variables from set X .QUESTION: Is there a truth assignment X → {0, 1} s.t. each clausehas variables with different values?
Definition - Monotone Not-All-Equal-3SAT
Florent Foucaud The complexity of homomorphisms of signed graphs 10 / 14
![Page 67: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/67.jpg)
NAE-3SAT ≤R UC4-Colouring: clause gadget
Gadget for clause {x1, x2, x3}
-
-
--
-
-c
x1
x2 x3
y1
y3y2
Target: UC41 2
34
-
Construction of G (F ): one clause gadget per clause of F .All vertices with same labels (c or xi ) identified with each other.
Main idea: In a mapping, re-signing at xi ⇐⇒ xi=TRUE
Florent Foucaud The complexity of homomorphisms of signed graphs 11 / 14
![Page 68: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/68.jpg)
NAE-3SAT ≤R UC2k-Colouring: clause gadget
c
x1
x2 x3
UC2k
UC2kUC2k
UC2k
Pk
Pk Pk
-
--
--
-
(where Pk has length k − 1)
Florent Foucaud The complexity of homomorphisms of signed graphs 12 / 14
![Page 69: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/69.jpg)
CSPs, signed CSPs
Constraint Satisfaction Problem (CSP) for relational systemT = (XT ,VT ): domain XT , set V relations R1, . . . ,Rk of arity a1, . . . , akwith Ri ⊆ X ai (vocabulary).
INSTANCE: domain X with vocabulary V ∼= VT .QUESTION: does (X ,V )→ T?
Definition - T -CSP, T = (XT ,VT )
Florent Foucaud The complexity of homomorphisms of signed graphs 13 / 14
![Page 70: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/70.jpg)
CSPs, signed CSPs
Constraint Satisfaction Problem (CSP) for relational systemT = (XT ,VT ): domain XT , set V relations R1, . . . ,Rk of arity a1, . . . , akwith Ri ⊆ X ai (vocabulary).
INSTANCE: domain X with vocabulary V ∼= VT .QUESTION: does (X ,V )→ T?
Definition - T -CSP, T = (XT ,VT )
Examples:
• (Di)graph homomorphism to D: XT = V (D), VT is one binary(non-)symmetric relation.
• 3SAT: XT = {0, 1}, VT : one ternary relation with all triples except000.
Florent Foucaud The complexity of homomorphisms of signed graphs 13 / 14
![Page 71: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/71.jpg)
CSPs, signed CSPs
Constraint Satisfaction Problem (CSP) for relational systemT = (XT ,VT ): domain XT , set V relations R1, . . . ,Rk of arity a1, . . . , akwith Ri ⊆ X ai (vocabulary).
INSTANCE: domain X with vocabulary V ∼= VT .QUESTION: does (X ,V )→ T?
Definition - T -CSP, T = (XT ,VT )
For every T , T -CSP is either NP-complete or polynomial-time.
Conjecture (Feder-Vardi, 1998: Dichotomy conjecture)
Florent Foucaud The complexity of homomorphisms of signed graphs 13 / 14
![Page 72: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/72.jpg)
CSPs, signed CSPs
Constraint Satisfaction Problem (CSP) for relational systemT = (XT ,VT ): domain XT , set V relations R1, . . . ,Rk of arity a1, . . . , akwith Ri ⊆ X ai (vocabulary).
INSTANCE: domain X with vocabulary V ∼= VT .QUESTION: does (X ,V )→ T?
Definition - T -CSP, T = (XT ,VT )
For every T , T -CSP is either NP-complete or polynomial-time.
Conjecture (Feder-Vardi, 1998: Dichotomy conjecture)
Signed CSP: + and − tuples, re-signing allowed.
Dichotomy for CSP ⇐⇒ Dichotomy for signed CSP
Proposition
Florent Foucaud The complexity of homomorphisms of signed graphs 13 / 14
![Page 73: The complexity of homomorphisms of signed graphs · The complexity of homomorphisms of signed graphs Florent Foucaud (Universitat Polit ecnica de Catalunya, Barcelona) joint work](https://reader030.vdocument.in/reader030/viewer/2022041015/5ec71c75a0dba564ac4e2976/html5/thumbnails/73.jpg)
Perspectives
Prove dichotomy for (H,Σ)-Colouring.→ remaining cases: H bipartite or has both kinds of loops
Study signed CSPs
Florent Foucaud The complexity of homomorphisms of signed graphs 14 / 14