Логотип
Юніонпедія
Зв'язок
Завантажити з Google Play
Новинка! Завантажити Юніонпедія на вашому Android™ пристрої!
Завантажити
Більш швидкий доступ, ніж браузер!
 

Теорія складності обчислень

Індекс Теорія складності обчислень

Теорія складності обчислень — підрозділ теоретичної інформатики, що займається дослідженням складності алгоритмів для розв'язання задач на основі формально визначених моделей обчислювальних пристроїв.

10 відносини: PCP-теорема, Обчислювальна складність, Алан Тюрінг, Алгоритм Евкліда, Річард Стернз, Список алгоритмів, Юріс Гартманіс, Машина Тюрінга, Багатозначна зводимість, Габрієль Ламе.

PCP-теорема

У теорії обчислювальної складності, PCP теорема стверджує, що будь-яка задача розпізнавання у NP має ймовірнісно перевірювані доведення константної запитової складності і логарифмічної випадкової складності.

Новинка!!: Теорія складності обчислень і PCP-теорема · Побачити більше »

Обчислювальна складність

Складність обчислювальних процесів — це поняття теорії складності обчислень, оцінка ресурсів (зазвичай часу) необхідних для виконання алгоритму.

Новинка!!: Теорія складності обчислень і Обчислювальна складність · Побачити більше »

Алан Тюрінг

Алан Ма́тісон Тю́рінг (Alan Mathison Turing) (23 червня 1912, Вілмслоу, Чешир, Англія, Велика Британія — 7 червня 1954, Вілмслоу, Чешир, Англія, Велика Британія) — англійський математик, логік і криптограф.

Новинка!!: Теорія складності обчислень і Алан Тюрінг · Побачити більше »

Алгоритм Евкліда

Анімація алгоритму Евкліда для чисел 252 та 105. Рисочки відповідають числам кратним 21, найбільшому спільному дільникові (НСД). На кожному кроці менше число віднімають від більшого, поки одне з них не дорівнюватиме нулю. Число, що лишилось і є НСД. Алгоритм Евкліда (також називається евклідів алгоритм) — ефективний метод обчислення найбільшого спільного дільника (НСД).

Новинка!!: Теорія складності обчислень і Алгоритм Евкліда · Побачити більше »

Річард Стернз

Річард (Дік) Едвін Стернз (Richard Edwin Stearns; 7 липня 1936) — видатний американський науковець відомий своїми дослідженнями в теорії складності обчислень.

Новинка!!: Теорія складності обчислень і Річард Стернз · Побачити більше »

Список алгоритмів

Нижче наведений не вичерпний список алгоритмів.

Новинка!!: Теорія складності обчислень і Список алгоритмів · Побачити більше »

Юріс Гартманіс

Юріс Гартманіс (Juris Hartmanis; 5 липня 1928) — американський науковець латиського походження, відомий через свої внески в теорію складності обчислень.

Новинка!!: Теорія складності обчислень і Юріс Гартманіс · Побачити більше »

Машина Тюрінга

Схематична ілюстрація роботи машини Тюрінга. Маши́на Тю́рінга — математичне поняття, введене для формального уточнення інтуїтивного поняття алгоритму.

Новинка!!: Теорія складності обчислень і Машина Тюрінга · Побачити більше »

Багатозначна зводимість

У теорії обчислюваності та теорії обчислювальної складності, багатозначна зводимість являє собою зводимість, що перетворює приклади одної задачі розпізнавання у приклади другої задачі розпізнавання.

Новинка!!: Теорія складності обчислень і Багатозначна зводимість · Побачити більше »

Габрієль Ламе

Ґабрієль Ламе́ (Gabriel Lamé, *, Тур — †1 травня 1870, Париж) — французький інженер, математик і механік.

Новинка!!: Теорія складності обчислень і Габрієль Ламе · Побачити більше »

Перенаправлення тут:

Непіддатливість (складність), Складність обчислень, Теорія складності.

ВихідніВхідний
Гей! Ми на Facebook зараз! »