强连通点对计数(Come Back in One Piece)

题目描述

本题对应 AtCoder Typical 90 第 021 题：Come Back in One Piece。

给定一个包含 $n$ 个顶点、$m$ 条有向边的有向图，顶点编号为 $1 \sim n$。

请你统计有多少个无序点对 $(u, v)$（满足 $1 \le u < v \le n$），使得在图中既存在从 $u$ 到 $v$ 的有向路径，也存在从 $v$ 到 $u$ 的有向路径。

输入格式

第一行包含两个整数 $n, m$，分别表示顶点数和有向边数。

接下来 $m$ 行，每行包含两个正整数 $a_i, b_i$，表示一条从 $a_i$ 指向 $b_i$ 的有向边。

输出格式

输出一行一个整数，表示能够互相到达的无序点对 $(u, v)$ 的数量。

样例输入 #1

4 7
1 2
2 1
2 3
4 3
4 1
1 4
2 3

样例输出 #1

3

数据范围

对于 $100\%$ 的数据，$1 \le n \le 10^5$，$1 \le m \le 2 \times 10^5$。

知识点与难度

本题涉及的知识点从属于 CSP-S，难度（CF Rating）：1400。

测试点分布

出处：原题链接