Signed graphs have been used to capture the polarity of relationships through positive/negative edge signs. In this paper, we consider balanced cliques — a clique is balanced if its vertex set <inline-formula><tex-math notation="LaTeX">$C$</tex-math><alternatives><mml:math><mml:mi>C</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq1-3295803.gif"/></alternatives></inline-formula> can be partitioned into <inline-formula><tex-math notation="LaTeX">$C_{L}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>C</mml:mi><mml:mi>L</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq2-3295803.gif"/></alternatives></inline-formula> and <inline-formula><tex-math notation="LaTeX">$C_{R}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>C</mml:mi><mml:mi>R</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq3-3295803.gif"/></alternatives></inline-formula> such that all negative edges are between <inline-formula><tex-math notation="LaTeX">$C_{L}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>C</mml:mi><mml:mi>L</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq4-3295803.gif"/></alternatives></inline-formula> and <inline-formula><tex-math notation="LaTeX">$C_{R}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>C</mml:mi><mml:mi>R</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq5-3295803.gif"/></alternatives></inline-formula> — and study the problems of maximum balanced clique computation and large balanced clique enumeration. Our main idea is a novel graph reduction that transforms a balanced clique problem over a signed graph <inline-formula><tex-math notation="LaTeX">$G$</tex-math><alternatives><mml:math><mml:mi>G</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq6-3295803.gif"/></alternatives></inline-formula> to problems over small subgraphs of <inline-formula><tex-math notation="LaTeX">$G$</tex-math><alternatives><mml:math><mml:mi>G</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq7-3295803.gif"/></alternatives></inline-formula>. Specifically, for each vertex <inline-formula><tex-math notation="LaTeX">$u$</tex-math><alternatives><mml:math><mml:mi>u</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq8-3295803.gif"/></alternatives></inline-formula> in <inline-formula><tex-math notation="LaTeX">$G$</tex-math><alternatives><mml:math><mml:mi>G</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq9-3295803.gif"/></alternatives></inline-formula>, we extract the subgraph <inline-formula><tex-math notation="LaTeX">$G_{u}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>G</mml:mi><mml:mi>u</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq10-3295803.gif"/></alternatives></inline-formula> of <inline-formula><tex-math notation="LaTeX">$G$</tex-math><alternatives><mml:math><mml:mi>G</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq11-3295803.gif"/></alternatives></inline-formula> induced by <inline-formula><tex-math notation="LaTeX">$V_{L} \cup V_{R}$</tex-math><alternatives><mml:math><mml:mrow><mml:msub><mml:mi>V</mml:mi><mml:mi>L</mml:mi></mml:msub><mml:mo>∪</mml:mo><mml:msub><mml:mi>V</mml:mi><mml:mi>R</mml:mi></mml:msub></mml:mrow></mml:math><inline-graphic xlink:href="yao-ieq12-3295803.gif"/></alternatives></inline-formula>; <inline-formula><tex-math notation="LaTeX">$V_{L}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>V</mml:mi><mml:mi>L</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq13-3295803.gif"/></alternatives></inline-formula> is <inline-formula><tex-math notation="LaTeX">$u$</tex-math><alternatives><mml:math><mml:mi>u</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq14-3295803.gif"/></alternatives></inline-formula> and <inline-formula><tex-math notation="LaTeX">$u$</tex-math><alternatives><mml:math><mml:mi>u</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq15-3295803.gif"/></alternatives></inline-formula>'s positive neighbors while <inline-formula><tex-math notation="LaTeX">$V_{R}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>V</mml:mi><mml:mi>R</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq16-3295803.gif"/></alternatives></inline-formula> is <inline-formula><tex-math notation="LaTeX">$u$</tex-math><alternatives><mml:math><mml:mi>u</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq17-3295803.gif"/></alternatives></inline-formula>'s negative neighbors. Then, we remove from <inline-formula><tex-math notation="LaTeX">$G_{u}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>G</mml:mi><mml:mi>u</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq18-3295803.gif"/></alternatives></inline-formula> all positive edges between <inline-formula><tex-math notation="LaTeX">$V_{L}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>V</mml:mi><mml:mi>L</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq19-3295803.gif"/></alternatives></inline-formula> and <inline-formula><tex-math notation="LaTeX">$V_{R}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>V</mml:mi><mml:mi>R</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq20-3295803.gif"/></alternatives></inline-formula> and all negative edges between vertices of the same set; denote the resulting graph of discarding edge signs as <inline-formula><tex-math notation="LaTeX">$g_{u}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>g</mml:mi><mml:mi>u</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq21-3295803.gif"/></alternatives></inline-formula>. We show that all balanced cliques containing <inline-formula><tex-math notation="LaTeX">$u$</tex-math><alternatives><mml:math><mml:mi>u</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq22-3295803.gif"/></alternatives></inline-formula> in <inline-formula><tex-math notation="LaTeX">$G$</tex-math><alternatives><mml:math><mml:mi>G</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq23-3295803.gif"/></alternatives></inline-formula> can be found by processing <inline-formula><tex-math notation="LaTeX">$g_{u}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>g</mml:mi><mml:mi>u</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq24-3295803.gif"/></alternatives></inline-formula>. Due to the small size and no edge signs, large cliques containing <inline-formula><tex-math notation="LaTeX">$u$</tex-math><alternatives><mml:math><mml:mi>u</mml:mi></mml:math><inline-graphic xlink:href="yao-ieq25-3295803.gif"/></alternatives></inline-formula> in <inline-formula><tex-math notation="LaTeX">$g_{u}$</tex-math><alternatives><mml:math><mml:msub><mml:mi>g</mml:mi><mml:mi>u</mml:mi></mml:msub></mml:math><inline-graphic xlink:href="yao-ieq26-3295803.gif"/></alternatives></inline-formula> can be efficiently identified. Experimental results on real signed graphs demonstrated the advantages of our techniques.
Identifying Large Structural Balanced Cliques in Signed Graphs
Published 2024 in IEEE Transactions on Knowledge and Data Engineering
ABSTRACT
PUBLICATION RECORD
- Publication year
2024
- Venue
IEEE Transactions on Knowledge and Data Engineering
- Publication date
2024-03-01
- Fields of study
Mathematics, Computer Science
- Identifiers
- External record
- Source metadata
Semantic Scholar
CITATION MAP
EXTRACTION MAP
CLAIMS
- No claims are published for this paper.
CONCEPTS
- No concepts are published for this paper.
REFERENCES
Showing 1-30 of 30 references · Page 1 of 1
CITED BY
Showing 1-4 of 4 citing papers · Page 1 of 1