Flum J., Grohe M. Parameterized Complexity Theory

  • формат pdf
  • размер 3.68 МБ
  • добавлен 08 февраля 2012 г.
Издательство Springer, 2006, -494 pp. Parameterized complexity theory provides a framework for a refined analysis of hard algorithmic problems. Classical complexity theory analyzes and classifies problems by the amount of a resource, usually time or space, that is required by algorithms solving them. It was a fundamental idea, going back to the work of Hartmanis and Stearns in the early 1960s, to measure the required amount of the resource as a...

Лекции - Теория алгоритмов

Статья
  • формат pdf
  • размер 43.93 МБ
  • добавлен 04 февраля 2012 г.
Автор не известен. 136 с. Лекции в виде презентации. Содержание. - Алгоритмы в математике. Основные черты алгоритмов. Числовые функциии алгоритмы их вычисления. Примитивно рекурсивные функции. - Частично рекурсивные функции.Тезис Черча. - Машины Тьюринга и машины с неограниченными регистрами. Вычислимость частично рекурсивных функций на МНР. - Нумерации и универсальные функции. - Нормальные алгорифмы. - Алгоритмические проблемы в логике и матем...

Atallah M.J., Blanton M. (eds.) Algorithms and Theory of Computation Handbook. General Concepts and Techniques

Справочник
  • формат pdf
  • размер 8.46 МБ
  • добавлен 30 января 2012 г.
Издательство Chapman&Hall/CRC Press, 2010, -990 pp. The design and analysis of algorithms and data structures form the foundation of computer science. As current algorithms and data structures are improved and new methods are introduced, it becomes increasingly important to present the latest research and applications to professionals in the field. This series aims to capture new developments and applications in the design and analysis of al...

Скиена С. Алгоритмы. Руководство по разработке

  • формат djvu
  • размер 10.81 МБ
  • добавлен 16 января 2012 г.
2-е изд.: Пер. с англ. — СПб.: БХВ-Петербург. 2011. — 720 с.: ил. Книга является наиболее полным руководством по разработке эффективных алгоритмов. Первая часть книги содержит практические рекомендации по разработке алгоритмов: приводятся основные понятия, дается анализ алгоритмов, рассматриваются типы структур данных, основные алгоритмы сортировки, операции обхода графов и алгоритмы для работы со взвешенными графами, примеры использования комбин...

Пильщиков В.Н., Абрамов В.Г., Вылиток А.А., Горячая И.В. Машина Тьюринга и алгоритмы Маркова. Решение задач

  • формат djvu
  • размер 255.05 КБ
  • добавлен 04 января 2012 г.
М.: МГУ, 2006. – 47 с. Учебно-методическое пособие Задачи на составление алгоритмов в виде машины Тьюринга и нормальных алгоритмов Маркова, а также задачи теоретического характера. Сведения по теории алгоритмов, типичные приёмы решения задач и большой набор задач для самостоятельного решения. Пособие рассчитано на студентов 1 курса факультета ВМК МГУ и преподавателей, ведущих семинарские занятия по программированию.

Битюцкий В.П., Папуловская Н.В. Теория алгоритмов

  • формат doc
  • размер 171.5 КБ
  • добавлен 04 января 2012 г.
Екатеринбург: ГОУ ВПО УГТУ-УПИ, 2006. - 17 с. Методическое пособие по дисциплине «Математическая логика и теория алгоритмов». Приводится формализация понятия «алгоритм». Обсуждаются два способа формального описания алгоритма –с помощью нормальных алгоритмов Маркова и через машины Тьюринга. Приводятся меры сложности алгоритмов, определяются легко и трудноразрешимые задачи, классы задач P и NP, алгоритмически неразрешимые проблемы.

Реферат - Принципы развития теории алгоритмов

Реферат
  • формат doc
  • размер 137 КБ
  • добавлен 04 января 2012 г.
Автор Лифшиц Ю.М. РАН СПб. Отделение Математического Института им. В.А. Стеклова, Лаборатория математической логики Содержание Введение Хронология теории алгоритмов Современное состояние теории алгоритмов Использование других наук в алгоритмах Наиболее значимые применения алгоритмов Идеи и техники в теории алгоритмов Формирование популярных направлений исследований Стили проведения научных исследований Заключение и выводы Список источников В эт...

Пападимитриу X., Стайглиц К. Комбинаторная оптимизация: Алгоритмы и сложность

  • формат pdf
  • размер 19.81 МБ
  • добавлен 04 января 2012 г.
М.: Мир, 1984. - 510 с. В предлагаемой вниманию читателей книге удачно синтезированы вопросы, которые ранее в литературе освещались изолированно. Объединяющим все изложение лейтмотивом послужила задача линейного программирования, занимающая важное место в истории развития теории алгоритмов.

Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: Построение и анализ

  • формат djvu
  • размер 23.08 МБ
  • добавлен 04 января 2012 г.
М.: МЦНМО, 2001. - 960 с. Книга представляет собой перевод учебника по курсу построения и анализа эффективных алгоритмов, написанного в Массачусетсом технологическом институте; в ней разбираются важнейшие, классы быстрых алгоритмов и приёмы их построения. Изложение подробное и математически строгое. Книгу можно использовать в качестве учебника и справочника; она будет полезна как студентам, так и профессионалам в области computer science и прогр...

Kozen D.C. Theory of Computation

  • формат pdf
  • размер 2.75 МБ
  • добавлен 08 декабря 2011 г.
Издательство Springer, 2006, -405 pp. The course serves a dual purpose: to cover core material in the foundations of computing for graduate students in computer science preparing for their PhD qualifying exams, and to provide an introduction to some more advanced topics in the theory of computational complexity for those intending to pursue further study in the area. The course is thus a mixture of core and advanced material. Most of the course...

Mayr E.W., Pr?mel H.J., Steger A. (eds.) Lectures on Proof Verification and Approximation Algorithms

  • формат pdf
  • размер 5.17 МБ
  • добавлен 08 декабря 2011 г.
Издательство Springer, 1998, -337 pp. Proof Verification and Approximation Algorithms - Hardly any area in theoretical computer science has been more lively and flourishing during the last few years. Different lines of research which had been developed independently of each other over the years culminated in a new and unexpected characterization of the well-known complexity class NP, based on probabilistically checking certain kinds of proofs. T...

Презентация - Теория алгоритмов

Презентация
  • формат ppt
  • размер 2.19 МБ
  • добавлен 10 ноября 2011 г.
Автор неизвестен. г. Екатеринбург, 2009. 73 слайда.Происхождение слова алгоритм. Варианты протекания алгоритмического процесса. Основные черты алгоритма. Алгоритмический процесс . Десятая проблема Гильберта. Направления формализации понятия алгоритм. Машина Тьюринга. Нормальные алгорифмы Маркова. Конструктивные объекты.

Лавров C.C. Программирование - Основы Средства Теория

  • формат pdf
  • размер 16.56 МБ
  • добавлен 10 ноября 2011 г.
Современное программирование излагается как искусство заставить компьютер решить задачу, возникшую перед человеком. Даны единые основания математики и программирования, краткие сведения из области графов, теории вероятностей и информации (в ее математическом толковании). Приведены основные понятия и конструкции современных языков программирования. Рассмотрен ряд вопросов теории программирования с упором на математическую семантику языковых констр...

Goldreich O. P, NP, and NP-Completeness. The Basics of Computational Complexity

  • формат pdf
  • размер 1.11 МБ
  • добавлен 31 октября 2011 г.
Издательство Cambridge University Press, 2010, -216 pp. The quest for efficiency is ancient and universal, as time and other resources are always in shortage. Thus, the question of which tasks can be performed efficiently is central to the human experience. A key step toward the systematic study of the aforementioned question is a rigorous definition of the notion of a task and of procedures for solving tasks. These definitions were provided by...

Goldreich O. Computational Complexity. A Conceptual Perspective

  • формат pdf
  • размер 3.3 МБ
  • добавлен 31 октября 2011 г.
Издательство Cambridge University Press, 2008, -632 pp. The quest for efficiency is ancient and universal, as time and other resources are always in shortage. Thus, the question of which tasks can be performed efficiently is central to the human experience. A key step toward the systematic study of the aforementioned question is a rigorous definition of the notion of a task and of procedures for solving tasks. These definitions were provided by...

Роджерс Х. Теория рекурсивных функций и эффективная вычислимость

  • формат djvu
  • размер 4.91 МБ
  • добавлен 22 октября 2011 г.
М.: Мир, 1972. - 624 с. Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет. Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хор...

Контрольная работа - Программометрика

Контрольная работа
  • формат doc
  • размер 35 КБ
  • добавлен 20 октября 2011 г.
Оценить длину программы умножения матриц произвольного ранга. Оценить начальное количество ошибок в ОС, если число разрядов слова состояния системы равно 12. Оценить длину программы обращения матрицы произвольного ранга. Оценить длину программы сортировки массива (например, по методу «пузырька»). Оценить квалификационное время программирования для табулирования Pn(x).

Rogers H. Theory of Recursive Functions and Effective Computability

  • формат djvu
  • размер 4.9 МБ
  • добавлен 12 октября 2011 г.
Издательство McGrow-Hill, 1967, -504 pp. In addressing the American Mathematical Society in 1944, E. L. Post concluded, "Indeed, if general recursive function is the formal equivalent of effective calculability, its formulation may play a role in the history of combinatory mathematics second only to that of the formulation of the concept of natural number." This book may be viewed as a progress report on some of the ideas and hopes expressed in...

Kannan R., Vempala S. Spectral Algorithms

  • формат pdf
  • размер 566.5 КБ
  • добавлен 07 октября 2011 г.
Из серии Foundations and Trends in Theoretical Computer Science издательства NOWPress, 2009, -110 pp. Spectral methods refer to the use of eigenvalues, eigenvectors, singular values, and singular vectors. They are widely used in Engineering, Applied Mathematics, and Statistics. More recently, spectral methods have found numerous applications in Computer Science to discrete as well as continuous problems. This monograph describes modern applicati...

Kao M.-Y. (ed.) Encyclopedia of Algorithms

Энциклопедия
  • формат pdf
  • размер 11.26 МБ
  • добавлен 07 октября 2011 г.
Издательство Springer, 2008, -1219 pp. Серия Springer Reference The Encyclopedia of Algorithms aims to provide the researchers, students, and practitioners of algorithmic research with a mechanism to efficiently and accurately find the names, definitions, key results, and further readings of important algorithmic problems. The work covers a wide range of algorithmic areas, and each algorithmic area is covered by a collection of entries. An encyc...