Разбор добавил Андрей Гусейнов

Единственная сложность этой задачи - догадаться, что отменять законы необходимо с конца. Именно в этой последовательности, если мы дошли до закона и еще не отменили его - он обязательно будет действовать.
Считываем данные массив целых чисел, скажем так: 0 - декларативный закон, k - отменяющий k-й закон. Проходим этот массив с конца. Если zakon[i]>0, то отменяем соответствующий ему: zakon[zakon[i]]=-1. Параллельно считаем количество неотмененных законов (ячеек в которых не -1). Далее выводим это количество и еще раз проходимся по массиву и выводим индексы ячеек в которых не -1.