Теперь Кью работает в режиме чтения

Мы сохранили весь контент, но добавить что-то новое уже нельзя

Все ли задачи можно решить перебором?

ОбразованиеМатематика+3
Алена Каменецких
Математика и математики
  · 2,1 K
Преподаю математику. Спорю в интернете.  · 6 авг 2021

1) Очевидно, что большинство задач на доказательство не решается перебором. Также как, например, задачи на построение циркулем и линейкой, неравенства и т.д. Но подозреваю, что вопрос был не об этом.
2) Квадратное уравнение перебором не решить. Во-первых, перебор ничего не скажет о количестве корней. Предположим, мы даже нашли один корень. И что дальше? Он единственный или есть второй? Хуже того, поскольку решениями квадратных уравнений могут быть иррациональные числа, то нам нужно перебрать континуум...
Есть огромное количество разнообразных поисков приблизительного решения. Можно добиться того, что найденное перебором число сколь угодно мало отличается от искомого. Но при этом:
а) приходится предположить, что решение вообще есть;
б) приходится предположить, что решение лежит в некотором заранее выбранном отрезке (его строгий поиск - потенциально бесконечное занятие);
в) приблизительное решение - это не решение.

2 эксперта согласны
В математике решить задачу означает найти все её решения, и в этом слабое место метода "перебор" - найдя решение... Читать дальше
Openstack DevOps and IBM/Informix Certified DBA . Phd in Math (Duality of spaces of...  · 6 авг 2021
Мне хочется вернуться к задачам Алгебры Логики и Алгебры Предикатов в контексте ЕГЭ Информатика до 2020, которые ФИПИ полностью заменил на задачи , решаемые сложным алгоритмом перебора на Python или PascalABC.NET. 1. Алгебра Логики и Алгебра Предикатов есть чистая математика и попытки это игнорировать в известной статье К.Ю. Полякова 2015 года https://kpolyakov.spb.ru/d... Читать далее
1 эксперт согласен
Инженер - строитель. Экономист - математик. к.э.н. "Математические и инструментальные...  · 31 авг 2021
Нет не все задачи можно решить перебором. Мало того, не все задачи имеют алгоритмическое разрешение. Доказано А. Тьюрингом "Теорема о неразрешимости проблемы остановки машины Тьюринга": "Об алгоритмической неразрешимости КЛАССОВ задач" , К. Гёделем "О неполноте формальной логики": "В любой непротиворечивой формальной системе можно составить утверждение, истинность или... Читать далее
1 эксперт согласен
Я знаю много и давно живу. "Простой инженер".  · 6 авг 2021
Все задачи, имеющие численное решение, можно решить перебором вариантов. Даже метод решения такой есть "метод случайного поиска". Когда появились мощные ЭВМ, к нему довольно часто прибегали ("мощные" - это по тем временам, IBM-серии). Другое дело, когда параметров слишком много, метод случайного поиска будет жрать ресурсы непотребно долго, особенно, если не прибегать к... Читать далее
2 эксперта не согласны
Он противоречит доказанной А. Тюрингом в 1936 г. теореме о неразрешимости ПРОБЛЕМЫ остановки машины Тьюринга.