Identifying Large Structural Balanced Cliques in Signed Graphs

Kai Yao,Lijun Chang,Lu Qin

Published 2024 in IEEE Transactions on Knowledge and Data Engineering

ABSTRACT

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.

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

    Open on Semantic Scholar

  • 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