QOJ.ac

QOJ

実行時間制限: 2 s メモリ制限: 512 MB 満点: 100

#903. Роза другого берега

統計

Это уже сколько-то там раз, как Иай перерождается, и этому нет конца. Новорожденные цветы и погребальные колокола проносятся перед её глазами, словно поток воды. В её голове, кажется, не воспоминания о прошлом, а неизменное будущее.

Вместо того чтобы называть мучения этого бесконечного цикла «бессмертием», лучше было бы даровать ей смерть.

Но в этот раз она вновь почувствовала ту самую крупицу «возможности» неизведанного. Преодолеть отчаяние...

В бесчисленных перезапусках не восстановились не только воспоминания Иай, но и та роза, что выросла, впитав в себя надежду, кровь и слезы, пришедшая с «того берега». Это и есть оружие, способное сразиться с «Ним».

Условие задачи

Эта роза вырастила $n$ цветков, соединенных в древовидную структуру. Известно $m$ путей, где путь $(a, b)$ означает, что если собрать все цветы на этом пути, можно создать одну единицу силы для борьбы с божеством. Однако, как только эта сила создана, цветы расходуются и не могут быть использованы в других схемах. Иными словами, можно выбрать набор непересекающихся по вершинам путей на дереве, каждый из которых дает одну единицу силы. Иай уже вычислила, какое максимальное количество единиц силы можно собрать, используя эти цветы, но... не хватает совсем чуть-чуть.

Нужна всего лишь еще одна единица силы, чтобы противостоять божеству.

Иай обнажает меч и делает порез на руке. Она хочет выбрать один путь и окрасить цветы на нем своей кровью, чтобы активировать древнюю магию, благодаря чему эти цветы также можно будет использовать для создания новой единицы силы.

Иай хочет знать, сколько существует различных путей $(x, y)$, которые она может выбрать, таких что при рассмотрении этого пути вместе с исходными $m$ путями, максимальное количество непересекающихся по вершинам путей, которые можно выбрать, будет больше, чем количество путей, которое можно было выбрать из исходных $m$ путей.

Бросаю вызов вечности, ища себя —

Как сейчас, сжимая пальцы в кулак.

Сбиваю солнце, посвящая его себе —

Помни, я и есть божество.

Входные данные

В первой строке содержатся два целых числа $n$ и $m$, обозначающие количество цветков и количество исходных схем для создания силы.

В следующих $n - 1$ строках содержатся по два целых положительных числа $u$ и $v$, обозначающих, что цветки $u$ и $v$ соединены напрямую.

В следующих $m$ строках содержатся по два целых положительных числа $a$ и $b$, обозначающих, что цветы на пути от $a$ до $b$ в совокупности могут создать одну единицу силы.

Выходные данные

Выведите одно целое число — количество возможных вариантов выбора пути $(a, b)$ для Иай.

Примеры

Пример 1

Входные данные 1

8 6
1 2
1 3
1 4
1 5
5 6
5 7
7 8
2 3
2 4
3 4
1 6
5 6
5 8

Выходные данные 1

8

Примечание

Изначально можно выбрать $2$ пути, например: $(2, 3), (5, 8)$.

Можно добавить следующие пути:

  • Добавить $(2, 2)$, можно выбрать $3$ пути: $(2, 2), (3, 4), (5, 8)$.
  • Добавить $(3, 3)$, можно выбрать $3$ пути: $(3, 3), (2, 4), (5, 8)$.
  • Добавить $(4, 4)$, можно выбрать $3$ пути: $(4, 4), (2, 3), (5, 8)$.
  • Добавить $(6, 6)$, можно выбрать $3$ пути: $(6, 6), (2, 3), (5, 8)$.
  • Добавить $(7, 7)$, можно выбрать $3$ пути: $(7, 7), (2, 3), (5, 6)$.
  • Добавить $(7, 8)$, можно выбрать $3$ пути: $(7, 8), (2, 3), (5, 6)$.
  • Добавить $(8, 7)$, можно выбрать $3$ пути: $(8, 7), (2, 3), (5, 6)$.
  • Добавить $(8, 8)$, можно выбрать $3$ пути: $(8, 8), (2, 3), (5, 6)$.

Таким образом, всего существует $8$ вариантов добавления пути.

Ограничения

Для $100\%$ данных гарантируется $2\le n \le 3 \times 10^5, 0\le m \le 3\times 10^5, 1\le u, v, a, b\le n$.

Тест $n$ $m$ Тип данных
$1,2$ $=10$ $\le10$ C2
$3,4$ $=20$ $\le20$
$5,6$ $=30$ $\le30$
$7,8$ $=10^2$ $\le10^2$
$9,10$ $=300$ $\le300$
$11$ $=500$ $\le500$
$12,13$ $=10^3$ $\le10^3$
$14,15$ $=3,000$ $\le3,000$
$16$ $=99,991$ $\le10^5$ A1
$17,18$ $=99,992$ A2
$19,20$ $=99,993$ B2
$21$ $=99,994$ C1
$22,23,24$ $=10^5$ C2
$25$ $=3\times 10^5$ $\le 3\times 10^5$

Значения типов данных:

A: гарантируется $v = u + 1$.

B: гарантируется $u = 1$.

C: нет специальных ограничений на форму дерева.

1: гарантируется $a = b$.

2: нет специальных ограничений на заданные пути.

Discussions

About Discussions

The discussion section is only for posting: General Discussions (problem-solving strategies, alternative approaches), and Off-topic conversations.

This is NOT for reporting issues! If you want to report bugs or errors, please use the Issues section below.

Open Discussions 0
No discussions in this category.

Issues

About Issues

If you find any issues with the problem (statement, scoring, time/memory limits, test cases, etc.), you may submit an issue here. A problem moderator will review your issue.

Guidelines:

  1. This is not a place to publish discussions, editorials, or requests to debug your code. Issues are only visible to you and problem moderators.
  2. Do not submit duplicated issues.
  3. Issues must be filed in English or Chinese only.
Active Issues 0
No issues in this category.
Closed/Resolved Issues 0
No issues in this category.