Этот баннер — требование Роскомнадзора для исполнения 152 ФЗ.
«На сайте осуществляется обработка файлов cookie, необходимых для работы сайта, а также для анализа использования сайта и улучшения предоставляемых сервисов с использованием метрической программы Яндекс.Метрика. Продолжая использовать сайт, вы даёте согласие с использованием данных технологий».
Политика конфиденциальности
|
|
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
Пора рисовать mind-map. В топике уже собрана куча фактов. Сложно в этом всем разбираться. Участники путаются в показаниях. Переспрашивают то что уже обсуждалось. Спорят заново. И нечитали основ по шахматам и алгоримам. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 10.09.2017, 12:03 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
Aleksandr SharahovmaytonЯ думаю что яйцеголовые ботаны не такие наивные. И лям бачей так просто никому не отдадут. Задача генерации всех решений из начальных условий - не тривиальная. И здесь "с наскока" или "карандашом на салфетке" никто ее не сделает. Тут нужны усилия. Причем я думаю что даже негативный результат тоже будет воспринят положительно. Тоесть даже если не будет найдено полиномиальное решение - и будет доказано что его нет - то это тоже серъезное продвижение в науке. Яйцеголовые ботаны давно знают, что тут нужен квантовый комп, на обычном полиномиального способа найти все решения не существует. Правда был, вроде, чувак, который говорил что-то вроде "дайте мне всю вашу память, и я решу". Если ничего не путаю ) Давно уже замечено для большинства комбинаторных задач: возможно уменьшить время вычислений за счет увеличения объема используемой памяти, и наоборот. Поэтому уже оценки полиномиальности не "времени" (что вообще нелепо практически в связи с быстродействием очень разным у разных вычмощностей), а входных данных (объема обрабатываемых данных, размернрсти задачи = здесь 8 ферзей и 1000 ферзей). Параллелизм реализации тоже уже существеннен - тоже более связывается с объемом задачи, а не с каким-то "временем" вычислений. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 10.09.2017, 13:56 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
Институт Клея платит 1 млн баксов за, имхо (так как это мнение о том, как представляю)), эффективный алгоритм решения задачи, то есть такой когда ресурсозатраты на осуществление вычисления программой, реализующей этот алгоритм, не растут экспоненциально (как степень числа больше 2, ...) от "размера" ("объема", "количества необходимых", ...) входных данных = в задаче "о ферзях" это количество клеток доски (NxN) или количество ферзей (N), где для доски NxN N ферзей. Если такой алгоритм будет найден, что ресурсы R(время, память, количество параллельных процессоров, скорость каналов связи, ...) есть N^k, а не k^N, где k>1, а N - количество ферзей или количество клеток в ряду доски, то значит по концепции NP-трудности NP=P. И Институт Клея после надлежащего оформления результата в виде пары публикаций в признанных Миром изданиях готов выдать премию $1млн. ______________________ Также нахождение количества решений вообще представляет собой задачу, так как нет формулы подсчета количества решений - и количества решений вычисляются через, в значительной степени, генерации самих решений. Это как "число конкретно" NP=P получается, если не будет чего-то, что будет формулой (или программой вычисления количества решений). Так вроде. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 11.09.2017, 14:54 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
Мудроглюков, гражданам РФ не заплатит, у них закон есть запрещающий это, меценаты только если скинутся вот такие дела ... ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 11.09.2017, 19:05 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
kealon(Ruslan), а Перельману они давали деньги, потому что знали, что он откажется от денег? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 11.09.2017, 21:04 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
Я-же говорил. Шахматы - это просто популяризация самой идеи поиска P -> NP. Форма подачи материала. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 11.09.2017, 22:26 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
jbondkealon(Ruslan), а Перельману они давали деньги, потому что знали, что он откажется от денег? пардон, перепутал с другим случаем можно решать дальше :-) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 12.09.2017, 06:36 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
maytonЯ-же говорил. Шахматы - это просто популяризация самой идеи поиска P -> NP. Форма подачи материала. Не совсем так, а точнее, совсем не так. Доказано (то есть принципиально), что если хотя бы для одной NP-полной задачи будет создан-найден-изобретен алгоритм, вычислительная (ресурсозатратная) трудность (NP-трудность) которого будет расти в зависимости от размеров входных данных N как полиномиально, то есть пропорционально , а не как обычно при неэффективных алгоритмах, экспоненциально, то есть как , то, значит, такие же (по этому свойству) алгоритмы существуют для любой другой NP-полной задачи. PS Всего, как бы, официально NP-полнота строго обоснована для вроде 4-5 тысяч разных (по постановке и рассматриваемым объектам) задач. Для задачи "О размещении ферзей" NP-полнота строго обоснована в признанных публикациях. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 12.09.2017, 11:14 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
kealon(Ruslan), насчёт гипотезы о том, что {A^k} покроет все позиции для N. Всё бы было хорошо, когда б для N знать А, и чтоб К=const ил очень медленно растёт. Если брать только А из числа тех самых 27! и эл-ты 0/1, то это вроде бы конечная циклическая группа. И тогда правильные -- в ней незамкнутое подмн-во. Каждая А - некоторая перестановка ортонорированных веторов. Мы не сможем получить А * А ни вырожденное, ни чтобы в строке было 2 эл-та. Вроде так ... ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 14:16 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
kealon(Ruslan), главное только забыл. Мне не пока не верится, что все 27! матриц можно покрыть одной цикл-й группой. То есть, что единственная, а не 27! = {A1^k1} U {A2^k2} U ... ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 14:27 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
kealon(Ruslan), если я верно вспомнил, то 27! (вообще-то N!), будучи группой 27-перестановок имеет спец. имя S 27 , и она не коммутативна. Значит не может быть циклической. Значит имеет неск. образующих. Наверное их все можно найти теоретически, вот только как распадаются по этим классам правильные перестановки? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 14:41 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
exp98kealon(Ruslan), если я верно вспомнил, то 27! (вообще-то N!), будучи группой 27-перестановок имеет спец. имя S 27 , и она не коммутативна. Значит не может быть циклической. Значит имеет неск. образующих. Наверное их все можно найти теоретически, вот только как распадаются по этим классам правильные перестановки? выходит расширяем предположение: таких "базовых" матриц больше 1-й и следовательно решения входят в комбинации их перемножений с оценкой количества вариантов вроде как проблем нет, для любой такой A существует k, такой что A = A^k - т.е. она при перемножении приходит к самой себе для начала бы проверить как растёт количество таких базовых матриц в зависимости от N PS: что-то это очень дико напоминает задачу факторизации ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 16:36 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
И даже, после освежения памяти, 27! = не объединение, а прямоме произведение подгрупп: {A1^k1} @ {A2^k2} @ ... Иначе тогда а и в из разных ручейков не перемножить ... ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 16:40 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
kealon(Ruslan), ну да, похоже, если только степени п/групп должны быть простыми в этом разложении. Только я не помню, уточнить надо. Помню, это была заключительная у нас теорема в курсе В.алгебры. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 16:44 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
kealon(Ruslan)для начала бы проверить как растёт количество таких базовых матриц в зависимости от N Боюсь, что КОРЕНЬ( О(N!)). Т.к. это разложение всех перестановок. Надо рыться в теории групп, я не с той кафедры ... )) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 16:51 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
exp98kealon(Ruslan), ну да, похоже, если только степени п/групп должны быть простыми в этом разложении. Только я не помню, уточнить надо. Помню, это была заключительная у нас теорема в курсе В.алгебры. ну я вообще физик в целом для записи расстановки на доске достаточно массива A[N] (N! вариантов) возьмём например, что каждый элемент содержит позицию x, а его позиция в массиве это y, тогда перемножение двух матриц A, B будет вестись по формуле R[i] := B[A[i]] перемножение двух матриц всегда будет давать матрицу, удовлетворяющую условию по вертикалям и горизонталям, если исходные матрицы удовлетворяли этим условиям ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 17:26 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
exp98kealon(Ruslan), насчёт гипотезы о том, что {A^k} покроет все позиции для N. Всё бы было хорошо, когда б для N знать А, и чтоб К=const ил очень медленно растёт. Если брать только А из числа тех самых 27! и эл-ты 0/1, то это вроде бы конечная циклическая группа. И тогда правильные -- в ней незамкнутое подмн-во. Каждая А - некоторая перестановка ортонорированных веторов. Мы не сможем получить А * А ни вырожденное, ни чтобы в строке было 2 эл-та. Вроде так ... ну даже в тупом (в смысле бесхитростной идеи) методе ветвей и границ ЕСТЬ ОТСЕЧЕНИЯ бесперспективных ветвей и чем больше размерность тем больше "бесперспективностей" и всё дуально - с одной стороны алгоритм, а с другой наша вычислительная система PS В каком-то смысле может быть вся наша жизнь 8 млрд людей - это может быть решение какой-то задачи = вот и все ВОЗМОЖНЫЕ беды человечество проходит в бэктрекинге , НО разные страны - разные беды (типа уже проанализоровано) Вот и орды мошенников в России во всем -где кидалово, казалось бы "какого черта к несчастным приставать", и пенсионеров и инвалидов, и в ритуальном бизнесе, и в бизнесе салонов красоты (казалось бы - в чем там может быть), в недвижимости, в ... - вообще везде = куда ни ткни везде есть "схемы кидалово". 8^) ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 17:54 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
Насчёт отсечений нифига не понял ... устала я (( щас глупость скажу. Матрица А. Строки (либо столбы) -- базисные вектора 27-мерного пр-ва. Здесь Е= 1 - это запись матрицы в исходной системе координат. Перестановка осей определляется из А=Е умножением на В, к-рая является м-цей преобразования координат. Любое из этих преобразований сводится к комбинации парных перестановок осей местами, т.е. к комбинации некоторых элементарных вращений. Берём аналогию с теоремой для группы перестановок Sn. Каждая перестановка раскладывается в произведение транспозиций, где трансп-ция -- перестановка местами 2-х эл-тов. Забыл, что хотел сказать ... ээ-э-э ..., вот: Предполагаю, что для наших баранов А в качестве элементарных образующих матриц В можно взять такие, чтобы В*А переставляло у Е ровно 2 строки (столба) -- аналог перестановки 2-х осей координат. Тогда кол-во образующих = 27 ??? ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 18:59 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
exp98Е ровно 2 строки (столба) -- аналог перестановки 2-х осей координат. Тогда кол-во образующих = 27 ??? N-1 достаточно, с помощью них можно реализовать любую другую ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 13.09.2017, 19:24 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
kealon(Ruslan), exp98 Так вы чё, для 27 ферзей количество решений пытаетесь посчитать через группы перестановок? PS Последовательность количество_решений(N_ферзей) официально подсчитана только до 27 ферзей. И пробуете сосчитать для 28, пытаясь по ходу вывести рекурентную формулу? В прямой модели задачи вроде ж нет никаких групп перестановок, так как ферзи по диагоналям еще ж жеж же атакуют, то вы будто не учитываете что ли. Или что? _______ Вот если как-то преобразовать постановку задачи, чтобы сократить какие-то проверки каких-то условий при переборе? Или ....? Или ....? ....? То есть в чём состязаются решатели NP-полных задач, достигая каких-то частичных успехов, но пока очень недостаточных для полного успеха. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 14.09.2017, 02:22 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
Мудроглюковkealon(Ruslan), exp98 Так вы чё, для 27 ферзей количество решений пытаетесь посчитать через группы перестановок? PS Последовательность количество_решений(N_ферзей) официально подсчитана только до 27 ферзей. И пробуете сосчитать для 28, пытаясь по ходу вывести рекурентную формулу? это бы было идеально, но пока за малым дело - хотя бы оптимизировать итератор по N! вариантов МудроглюковВ прямой модели задачи вроде ж нет никаких групп перестановок, так как ферзи по диагоналям еще ж жеж же атакуют, то вы будто не учитываете что ли. Или что? _______ Вот если как-то преобразовать постановку задачи, чтобы сократить какие-то проверки каких-то условий при переборе? Или ....? Или ....? ....? То есть в чём состязаются решатели NP-полных задач, достигая каких-то частичных успехов, но пока очень недостаточных для полного успеха. exp98 пытается проверить моё предположение "снизу" и подогнать под него какую то базу фактически сейчас твёрдо известно, что обладая максимум (N-1) матрицами перевода можно из единичной матрицы получить все решения работая с перестановками единичной матрицы мы всегда соблюдаем условие по вертикалям и горизонталям на каждом преобразовании мы будем точно знать сколько совпадающих элементов на левых и правых диагоналях, стоимость этого знания - O(количество изменившихся строк) алгоритм перестановок охватывающий все N! переборов, циклический - ????, было бы неплохо его найти произведение матриц ассоциативно ( (A * B) * C = A * (B * C) ), значит зная количество совпадений по диагоналям можно сразу пропускать определённое количество переборов ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 14.09.2017, 08:35 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
Ахтунг !!! Дисклаймер!!! К несчастью, сказанное выше про разложения неверно! Теорема нам мало полезна: Абелева группа с конечным числом образующих разложима в прямое произвед. циклических подгрупп. (в частности и бесконечная группа тоже). Наши матрицы не коммутативны, след-но теорема неприменима. Правда, кой-какие циклические п/группы у нас есть, но в прямое произв-е не разложить. И в разложении наверняка будут в наличии и нециклические п/группы. И пользы пока не видно. С другой стороны, всё же наши матрицы изоморфны группе подстановок Sn и на транспозиции их разлагать можно. Уверенно можно сказать, что есть чётные и ннечётные перестановки, или два класса матриц. И что правильные матрицы в общем случае не лежат в одной цикл. подгруппе. Например такая В Код: plaintext 1. 2. 3. 4. 5. 6. 7. 8. 9. и В*В - неправильная. Аналогия с перестанвкой осей координат, я считаю, проходит, только их сильно больше N. Ухожу заливать горе кофеём. З.Ы. Введение в теор. групп можно получить (ссылку не сохранил, pdf-файл) практически один в один как было у нас в лекциях. Федоровский АЛГЕБРА Введение в теорию групп МГТУ Баумана P/S. Да, пытаемся с нуля сокртить перебор, в меру сил. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 14.09.2017, 10:13 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
Мудроглюков, -- по диагоналям еще ж жеж же атакуют, то вы будто не учитываете что ли. Или что? Или что. Мух от котлет. Групповые свойства - с точностью до изоморфизма эл-тов. Диагонали - внутреннее св-во структуры элем-в. Графические паттерны - сбоку от всего этого. Блуждание по поверхности числа коллизий тоже сбоку. и т.д. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 14.09.2017, 10:19 |
|
||
|
Пятничная задачка для ума за 1 миллион $
|
|||
|---|---|---|---|
|
#18+
maytonПора рисовать mind-map Твой газон - тебе косить. А без шуток -- там как везде. Выше я делал набросок, а вот ещё попытка систематизировать на своё разумение, и по ссылкам не лазил. 1) Некоторые хотят ускорять за счёт самих программ. 2) Другие налегают на уровни сокращения перебора за счёт: 2.1 Представление матриц 2.1.1. представление эемента из структуры 2.1. 2.1.1.1. представление эемента из структуры 2.1.1. ........ На каждом уровне можно фильтровать перебор, особенно когда св-во сквозное на всём уровне. С каждым уровнем связаны свои типы доступной инфы и надежды, к-рые питают исслед-лей. В п.2.1. упомянуты виды : матрицы - правильные и все, перестановки, оси координат, строки длины N. В 2.1.1. диагонали. Глубже, вроде не залезали. На каждом уровне можно использовать: 3) За счёт навигации, ориентированной на локальный/глобальный перебор. 4) За счёт гипотез о хэшах (распознавание по паттернам, другое не упоминалось). 5) Непосредственное конструирование -- блочно-гнездовая штамповка (при чём тут фракталы, я не понял). 6) Хорошенькую теорию. В 2.1. можно попробовать и такую фантазию, если ещё не было. Берём N пар (i,j) - где в матрице стоит фишка. Тогда например i - амплитуда, j - номер гармоники из фиксированного набора. Затем долго-долго смотреть на полученные функции. ... |
|||
|
:
Нравится:
Не нравится:
|
|||
| 14.09.2017, 16:45 |
|
||
|
|

start [/forum/topic.php?fid=16&msg=39520573&tid=1340254]: |
0ms |
get settings: |
12ms |
get forum list: |
14ms |
check forum access: |
4ms |
check topic access: |
4ms |
track hit: |
415ms |
get topic data: |
9ms |
get forum data: |
2ms |
get page messages: |
263ms |
get tp. blocked users: |
1ms |
| others: | 15ms |
| total: | 739ms |

| 0 / 0 |
