сведение

Для гарантии того, что полиномиальное сведение L(M) к ВЫП корректно, эта формула записывается так, чтобы отражать следующие свойства вычисления.

To make sure that the polynomial-time reduction of L(M) to SAT is correct, we write this expression so that it says the computation:

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

За границей, в "тоске и счастии", и, прибавлю, в самом строгом монашеском одиночестве (это особое сведение я уже получил потом через Татьяну Павловну), он вдруг вспомнил о маме - и именно вспомнил ее "впалые щеки", и тотчас послал за нею.

Abroad, in melancholy and happiness, and I may add in the strictest monastic solitude (this fact I learned afterwards through Tatyana Pavlovna), he suddenly thought of mother--to be exact, thought of her "hollow cheeks," and at once sent for her.

Достоевский, Фёдор / ПодростокDostoevsky, Fyodor / A Raw Youth

A Raw Youth

Dostoevsky, Fyodor

Подросток

Достоевский, Фёдор

© Издательство "Советская Россия", 1979

Матушка, проникшаяся ко мне живейшей благодарностью, с тех пор исправно поставляла ценнейшие сведение.

Inspired by her undying gratitude to me, his mother began diligently providing me with highly valuable information.

Акунин, Борис / Статский советникAkunin, Boris / The State Counsellor

The State Counsellor

Akunin, Boris

Статский советник

Акунин, Борис

© B. Akunin, автор, 1999

© И. Захаров, издатель, 1999

14 стран с крупнейшим долгом (10 млрд. долл. или более) одновременно являются странами, в которых сведение лесов идет беспрецедентными темпами.

The 14 largest debtor countries ($10 billion or more) are also the same countries in which an unprecedented rate of deforestation is occurring.

© United Nations 2010

http://www.un.org/ 03.02.2011

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 03.02.2011

В Эквадоре миграция в восточном направлении в район Амазонии и последовавшее затем массовое сведение лесов началось в 70-е годы со строительства нефтедобывающими компаниями дорог для прокладки нефтепроводов.

In Ecuador, migration eastward to the Amazon and the massive deforestation that ensued began in the early 1970s with the construction of roads by petroleum companies to lay oil pipelines.

© United Nations 2010

http://www.un.org/ 14.01.2011

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 14.01.2011

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

This provides for exact convergence of the conjugate points on the entire screen surface, optimal harmonization of horizontal parallaxes with regard to individual ocular stereobases, convergence angles and ocular focal points for each viewer.

http://www.patentlens.net/ 11/6/2011

http://www.patentlens.net/ 11/6/2011

Как показано на. рис. 9.7, сведение должно переводить всякий экземпляр Р, с ответом "да" (позитивный) в экземпляр Р2 с ответом "да", и всякий экземпляр Рх с ответом "нет" (негативный) — в экземпляр Р2 с ответом "нет".

As suggested in Fig. 9.7, a reduction must turn any instance of Pi that has a "yes" answer into an instance of P2 with a "yes" answer, and every instance of Pi with a "no" answer must be turned into an instance of P2 with a "no" answer.

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

Рассмотрите сведение проблемы клики из упражнения 10.4.1 к данной.

Consider a reduction from the clique problem of Exercise 10.4.1.

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

В зданиях, построенных с использованием АСМ, в настоящее время широко используется надзор, инженерный контроль и методы работы, обеспечивающие сведение к минимуму опасности воздействия асбестовых волокон.

Buildings with ACM today use extensive monitoring, engineering controls and work practices to ensure that the risk of exposure to asbestos fibers is minimized.

© United Nations 2010

http://www.un.org/ 11.03.2011

© Организация Объединенных Наций, 2010 год

http://www.un.org/ 11.03.2011

-- Драгоценное однако же сведение, несмотря на твое: "совсем не то".

"A precious admission, in spite of your 'not a bit the same.

Достоевский, Фёдор / Братья КарамазовыDostoevsky, Fyodor / The brothers Karamazov

The brothers Karamazov

Dostoevsky, Fyodor

Братья Карамазовы

Достоевский, Фёдор

© Издательство "Художественная литература", 1988

Первый набор выступов находится в тканях и ответственен за качественное сведение краев раны, второй набор 3 - по направлению протягивания нити.

The first set of protrusions is situated in the tissues and is responsible for a quality contraction of the wound edges, while the second set 3 is directed in the tightening direction of the thread.

http://www.patentlens.net/ 11/1/2011

http://www.patentlens.net/ 11/1/2011

Физический комфорт обеспечивает свободное движения зрителей в просторном секторе наблюдения, наклон и поворот тела и головы зрителей, смещение глаз и зрачков глаз (конвергенции - сведение зрительных осей в точку фиксации взгляда).

Physical comfort envisages free movement of the viewer in a spacious viewing zone, inclination and turn of the viewer's head and body, movement of the eyes and pupils (convergence of the visual axes to the ocular focal point).

http://www.patentlens.net/ 11/6/2011

http://www.patentlens.net/ 11/6/2011

Так как реляционную систему всегда можно свести к ассерторической с помощью использованного уже выше метода, а обратное сведение можно осуществить, взяв формальный объект 1 и определив как 1 = Х то очевидно, что обе формы в принципе эквивалентны.

Since a relational system can be reduced to an assertional one by the procedure we have just used, and the converse reduction can be made by taking a formal object 1 and defining as 1 =X it is evident that the two forms are in principle equivalent.

Карри, Хаскелл Б. / Основания математической логикиCurry, Haskell B. / Foundations of Mathematical Logic

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Того, что это сведение существует, вполне достаточно для завершения доказательства.

The existence of this reduction is sufficient to complete the proof.

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри / Введение в теорию автоматов, языков и вычисленийHopcroft, John,Motwani, Rajeev,Ullman, Jeffrey / Introduction to automata theory, languages, and computation

Introduction to automata theory, languages, and computation

Hopcroft, John,Motwani, Rajeev,Ullman, Jeffrey

© 2001 by Addison-Wesley

Введение в теорию автоматов, языков и вычислений

Хопкрофт, Джон,Мотвани, Раджив,Ульман, Джеффри

© Издательский дом "Вильямс", 2002

© Addison-Wesley Publishing Company, Inc. 2001

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

This valuable piece of information had obviously made a powerful impression on the traveller, as he gave a frightened glance at the houses as though afraid of seeing an atheist at every window.

Булгаков, Михаил / Мастер и МаргаритаBulgakov, Michail / The Master and Margarita

The Master and Margarita

Bulgakov, Michail

© Translated from the russian by Michael Glenny

© 1967 Collins and Harvill Press, London

© 1967 in the English translation

Мастер и Маргарита

Булгаков, Михаил

© "Мурманское книжное издательство", 1990