Форум: Проблемы искусственного интеллекта

Регистрация | Вход

Все темы | Новая тема  Стр.1 (1)     Поиск:
Автор	Тема: Есть вопросик
Ivan Сообщений: 1	Есть вопросик Добавлено: 14 дек 07 1:57 писал програмку распознавания образов в движении использовал для идеи Aa + Ba + Ca = Sum(y1) Ab + Bb + Cd = Sum(y2) Ac + Bc + Cc = Sum(y3) = = = Sum Sum Sum (x1) (x2) (x3) вопрос заключается в том что можно ли востановить матрицу зная Sum(y1) Sum(y2) Sum(y3) Summ(yn) Summ(x1) Summ(x2) Summ(x3) Summ(xn) ??? [Ответ][Цитата]
daner Сообщений: 4593	На: Есть вопросик Добавлено: 14 дек 07 2:13 Не знаю как остальные, но я ничего не понял. нормально описать задачу можно? [Ответ][Цитата]
Павел Фоменко Сообщений: 1081	На: Есть вопросик Добавлено: 14 дек 07 19:24 Похоже на умножение двух матриц... но очень отдалённо А дальше - непонятно [Ответ][Цитата]
гост Сообщений: 6163	На: Есть вопросик Добавлено: 10 дек 11 18:57 Изменено: 26 мар 17 8:08 . [Ответ][Цитата]
Эгг (остерегайтесь подделок, у меня > 5907 сообщений) Сообщений: 508	На: Есть вопросик Добавлено: 24 янв 15 3:05 Вот именно, на что хватит аксиом.... Но а по сути, для доказательства теорем используют различные методы, в том числе и графические, а тупо вертеть логическими высказываниями перебором ничего толком не получится. Вот посмотрите, обычная теорема Пифагора о прямоугольном треугольнике, а сколько разных видов доказательств у нее. И в математике очень интересуются именно красивыми доказательствами теорем, которые как правило требуют нестандартного подхода. Пример: недавно доказанная "теорема о четырех красках", тупо перебором вариантов на выч. машине. И к ее доказательству многие относятся скептически... Очень сомневаюсь, что возможно построить автоматический доказатель теорем (по крайней мере сейчас), но попытка не пытка, от рассмотрения ничего хуже не станет, и вполне возможно может выйти что-то ценное. [Ответ][Цитата]
Стр.1 (1)