Logo
(追記) (追記ここまで)

30850번 - Отличная лекция 다국어

시간 제한메모리 제한제출정답맞힌 사람정답 비율
3 초 1024 MB80656.329%

문제

В одном очень известном университете часто важные люди приходят читать интересные лекции. Лекция обычно состоит из последовательности дедуктивных следствий «из A следует Б». При этом почти все люди обладают способностью к логическому мышлению: если они знают, что из A следует Б, и из Б следует В, то они вполне вправе считать, что из А следует В. Поскольку лектор не любит совсем бессмысленные следствия, то он никогда не выводит одно и то же утверждение дважды (т.е. не существует двух следствий вида «из А следует Б» и «из В следует Б»).

На очередную лекцию пришло несколько студентов. Каждый из них уже обладает некоторыми знаниями о мире (а именно, он знает, что некоторые утверждения — ложны, а некоторые — истинны). В ходе лекции лектор сообщает им некоторые дедуктивные следствия, которые, однако, в какой-то момент могут прийти в противоречие со знаниями студента (к примеру, если студент знал, что A ложно, а Б — истинно, а лектор сообщает, что «из Б следует А»). Вам необходимо для каждого студента узнать первый момент, когда рассуждения лектора приводят к противоречию с его знаниями. Противоречием называется момент, когда из набора истинных для студента утверждений с помощью дедутивных следствий лектора студент может логически вывести утверждение, которое он считает ложным.

Разберем пример типичной лекции. Предположим, что на лекции лектор сообщает следствия «из А следует Б», «из В следует Г», «из Б следует В», а студент считает, что А — истинно, а Г — ложно. Студент слушает следствия по одному, после добавления первого следствия «из А следует Б» студент думает, что Б — истинно. После добавления второго следствия противоречия также не происходит. После добавления третьего следствия «из Б следует В» студент думает, что В — истинно, и он (используя второе следствие лектора) может вывести, что Г — истинно, что противоречит его знаниям (ведь изначально он считал, что Г — ложно).

Если же в разобранном примере другой студент считал, что А — ложно, а Г — истинно, то для него противоречия не происходит ни в какой момент (даже зная все следствия лектора, он не может вывести из истинного утверждения вывести ложное).

입력

В первой строке входных данных содержится число M — количество дедуктивных следствий лектора (1 ⩽ M ⩽ 500 000). В следующих M строках содержатся описания следствий, каждое из них описывается двумя числами ai и bi , обозначающих антецедент (посылку) и консеквент (заключение) очередного следствия (ai ≠ bi, 1 ⩽ ai, bi ⩽ 500 000), т.е. лектор сообщает, что из утверждения ai следует утверждение bi, все bi являются различными.

В следующей строке содержится число Q — количество студентов (1 ⩽ Q ⩽ 500 000). Далее содержится описание знаний каждого студента. Описание начинается с числа ti — количества утверждений, которые студент считает истинным, после которого следует ti чисел —- номеров этих утверждений. Далее описание содержит число fi — количество утверждений, которые студент считает ложным, после которого следует fi чисел — номеров этих утверждений.

Все номера утверждений лежат в пределах от 1 до 500 000. В отличие от действительности, каждый студент хоть что-то знает, т.е. ti + fi > 0. Отметим, что все номера утверждений, упомянутые одним студентом, различны. Общее количество упомянутых кем-либо утверждений (сумма ti + fi по всем i) не превосходит 500 000.

출력

Для каждого студента выведите номер первого следствия лектора, которое приводит к противоречию с его картиной мира, или −1, если они полностью согласны со всеми следствиями лектора.

제한

예제 입력 1

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

예제 출력 1

3
4
-1

예제 입력 2

5
1 2
2 3
3 4
4 5
5 1
6
1 2 1 4
1 4 1 2
1 2 1 3
1 3 1 2
1 1 1 5
1 5 1 1

예제 출력 2

3
5
2
5
4
5

힌트

출처

Olympiad > Moscow Open Olympiad in Informatics > Moscow Open Olympiad in Informatics Qualification 2013-14 J번

(追記) (追記ここまで)

출처

대학교 대회

  • 사업자 등록 번호: 541-88-00682
  • 대표자명: 최백준
  • 주소: 서울시 서초구 서초대로74길 29 서초파라곤 412호
  • 전화번호: 02-521-0487 (이메일로 연락 주세요)
  • 이메일: contacts@startlink.io
  • 통신판매신고번호: 제 2017-서울서초-2193 호

AltStyle によって変換されたページ (->オリジナル) /