Значения столбцов идентификационных данных SQL-сервера запускаются в 0 вместо 1

B находится в NP, поэтому есть некоторая машина Тьюринга, назовем ее M (B), которая решает B за полиномиальное время. Кроме того, поскольку A сводится к B за полиномиальное время, существуют TM, давайте назовем их M (R) и M (R '), которые преобразуют входные экземпляры A во входные экземпляры B, а выходы B - в выходы A , оба в полиномиальное время. Рассмотрим TM, сконструированный следующим образом:

  1. Выполните M (R) на входной ленте, а затем сбросьте головку ленты
  2. Выполните M (B) на входной ленте, а затем сбросьте головка ленты
  3. Выполнить M (R ') на входной ленте, а затем сбросить головку ленты

Каждый из этих шагов занимает полиномиальное время, поэтому весь процесс занимает полиномиальное время. Поскольку недетерминированные машины Тьюринга закрываются при конкатенации (путем замены halt_accept в LHS начальным состоянием RHS), вычисление может быть выполнено одной недетерминированной машиной Тьюринга, объединяющей эти этапы. Таким образом, A может быть определена недетерминированной машиной Тьюринга за полиномиальное время - критерий включения в NP.

39
задан Muxa 14 May 2013 в 02:11
поделиться

2 ответа

От DBCC CHECKIDENT

DBCC CHECKIDENT ( table_name, RESEED, new_reseed_value )

Если никакие строки не были вставлены в таблицу, так как она была создана, или все строки были удалены при помощи оператора TRUNCATE TABLE, первая строка, вставленная после выполнения использования DBCC CHECKIDENT new_reseed_value как идентификационные данные. Иначе следующая строка вставила использование new_reseed_value + текущее инкрементное значение.

Так, это ожидается для пустой или усеченной таблицы.

46
ответ дан gbn 27 November 2019 в 02:45
поделиться

Это логично, так как Вы изменились (пересеял) значение идентификационных данных для обнуления?

DBCC CHECKIDENT (SyncSession, reseed, 1)

пересеет Ваш столбец идентификационных данных и удостоверится, что первая новая запись запустится с 1.

3
ответ дан Frederik Gheysels 27 November 2019 в 02:45
поделиться
Другие вопросы по тегам:

Похожие вопросы: