Всем привет!
Меня зовут Дмитрий и по месту своей последней работы я дата консультант и владелец продукта, но сейчас мне больше подходит роль энтузиаста-исследователя.
Рубрика «mip»
Когда ИИ может в оптимизацию…
2024-12-09 в 6:16, admin, рубрики: mip, TSP, задача коммивояжёра, искусственный интеллект, оптимизация, точное решениеСпециалисты по информатике расширяют рубежи проверяемого знания
2019-07-18 в 7:00, admin, рубрики: IP, mip, neexp, np, графы, квантовая физика, квантовые компьютеры, квантовые технологии, математикаВселенная задач, проверяемых компьютером, выросла. Благодаря какому секретному ингредиенту это произошло? Из-за квантовой запутанности.
Представьте, что некто пришёл к вам и заявил, что у него есть оракул, способный раскрыть сокровенные тайны вселенной. Вы могли бы заинтересоваться этим, но вам тяжело было бы в это поверить. Вы бы хотели придумать способ подтвердить, что оракул говорит правду.
Такова основная проблема информатики. Некоторые задачи слишком сложно решить за разумное время. Но их решения просто проверить. Учитывая это, специалистам по информатике хочется знать: насколько сложной может быть задача, решение которой всё ещё можно проверить?
Оказывается, что ответ на этот вопрос: практически невообразимо сложной.
Читать полностью »