B находится в NP, поэтому есть некоторая машина Тьюринга, назовем ее M (B), которая решает B за полиномиальное время. Кроме того, поскольку A сводится к B за полиномиальное время, существуют TM, давайте назовем их M (R) и M (R '), которые преобразуют входные экземпляры A во входные экземпляры B, а выходы B - в выходы A , оба в полиномиальное время. Рассмотрим TM, сконструированный следующим образом:
Каждый из этих шагов занимает полиномиальное время, поэтому весь процесс занимает полиномиальное время. Поскольку недетерминированные машины Тьюринга закрываются при конкатенации (путем замены halt_accept в LHS начальным состоянием RHS), вычисление может быть выполнено одной недетерминированной машиной Тьюринга, объединяющей эти этапы. Таким образом, A может быть определена недетерминированной машиной Тьюринга за полиномиальное время - критерий включения в NP.
DBCC CHECKIDENT ( table_name, RESEED, new_reseed_value )
Если никакие строки не были вставлены в таблицу, так как она была создана, или все строки были удалены при помощи оператора TRUNCATE TABLE, первая строка, вставленная после выполнения использования DBCC CHECKIDENT new_reseed_value как идентификационные данные. Иначе следующая строка вставила использование new_reseed_value + текущее инкрементное значение.
Так, это ожидается для пустой или усеченной таблицы.
Это логично, так как Вы изменились (пересеял) значение идентификационных данных для обнуления?
DBCC CHECKIDENT (SyncSession, reseed, 1)
пересеет Ваш столбец идентификационных данных и удостоверится, что первая новая запись запустится с 1.