powered by simpleCommunicator - 2.0.59     © 2026 Programmizd 02
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Пятничная задачка для ума за 1 миллион $
25 сообщений из 491, страница 9 из 20
Пятничная задачка для ума за 1 миллион $
    #39518744
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Пора рисовать mind-map. В топике уже собрана куча фактов. Сложно в этом
всем разбираться. Участники путаются в показаниях. Переспрашивают то
что уже обсуждалось. Спорят заново. И нечитали основ по шахматам и
алгоримам.
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39518762
Мудроглюков
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Aleksandr SharahovmaytonЯ думаю что яйцеголовые ботаны не такие наивные. И лям бачей так просто никому не отдадут.
Задача генерации всех решений из начальных условий - не тривиальная. И здесь "с наскока"
или "карандашом на салфетке" никто ее не сделает.

Тут нужны усилия. Причем я думаю что даже негативный результат тоже будет воспринят
положительно. Тоесть даже если не будет найдено полиномиальное решение - и будет
доказано что его нет - то это тоже серъезное продвижение в науке.

Яйцеголовые ботаны давно знают, что тут нужен квантовый комп,
на обычном полиномиального способа найти все решения не существует.

Правда был, вроде, чувак, который говорил что-то вроде
"дайте мне всю вашу память, и я решу". Если ничего не путаю )

Давно уже замечено для большинства комбинаторных задач: возможно уменьшить
время вычислений за счет увеличения объема используемой памяти, и наоборот.
Поэтому уже оценки полиномиальности не "времени" (что вообще нелепо практически в
связи с быстродействием очень разным у разных вычмощностей), а входных
данных (объема обрабатываемых данных, размернрсти задачи = здесь 8 ферзей и 1000
ферзей).

Параллелизм реализации тоже уже существеннен - тоже более связывается с объемом задачи,
а не с каким-то "временем" вычислений.
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39519228
Мудроглюков
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Институт Клея платит 1 млн баксов за, имхо (так как это мнение о том, как представляю)),
эффективный алгоритм решения задачи, то есть такой когда ресурсозатраты на
осуществление вычисления программой, реализующей этот алгоритм, не растут
экспоненциально (как степень числа больше 2, ...) от "размера" ("объема", "количества необходимых", ...) входных
данных = в задаче "о ферзях" это количество клеток доски (NxN) или количество ферзей (N), где для доски NxN N ферзей.

Если такой алгоритм будет найден, что ресурсы R(время, память, количество параллельных процессоров, скорость каналов связи, ...) есть N^k, а не k^N, где k>1, а N - количество ферзей или количество клеток в ряду доски, то значит по
концепции NP-трудности NP=P. И Институт Клея после надлежащего оформления результата в виде пары публикаций
в признанных Миром изданиях готов выдать премию $1млн.

______________________
Также нахождение количества решений вообще представляет собой задачу, так как нет формулы подсчета количества решений - и количества решений вычисляются через, в значительной степени, генерации самих решений. Это как
"число конкретно" NP=P получается, если не будет чего-то, что будет формулой (или программой вычисления количества
решений).


Так вроде.
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39519454
kealon(Ruslan)
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Мудроглюков,

гражданам РФ не заплатит, у них закон есть запрещающий это, меценаты только если скинутся

вот такие дела ...
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39519489
jbond
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Гость
kealon(Ruslan),
а Перельману они давали деньги, потому что знали, что он откажется от денег?
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39519519
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Я-же говорил. Шахматы - это просто популяризация самой идеи поиска P -> NP.
Форма подачи материала.
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39519611
kealon(Ruslan)
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
jbondkealon(Ruslan),
а Перельману они давали деньги, потому что знали, что он откажется от денег?

пардон, перепутал с другим случаем
можно решать дальше :-)
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39519751
Мудроглюков
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
maytonЯ-же говорил. Шахматы - это просто популяризация самой идеи поиска P -> NP.
Форма подачи материала.
Не совсем так, а точнее, совсем не так.
Доказано (то есть принципиально), что если хотя бы для одной NP-полной задачи будет
создан-найден-изобретен алгоритм, вычислительная (ресурсозатратная) трудность (NP-трудность) которого будет расти
в зависимости от размеров входных данных N как полиномиально, то есть пропорционально ,
а не как обычно при неэффективных алгоритмах, экспоненциально, то есть как ,
то, значит, такие же (по этому свойству) алгоритмы существуют для любой другой NP-полной задачи.

PS Всего, как бы, официально NP-полнота строго обоснована для вроде 4-5 тысяч разных (по постановке и
рассматриваемым объектам) задач.

Для задачи "О размещении ферзей" NP-полнота строго обоснована в признанных публикациях.
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520454
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
kealon(Ruslan),
насчёт гипотезы о том, что {A^k} покроет все позиции для N.
Всё бы было хорошо, когда б для N знать А, и чтоб К=const ил очень медленно растёт.

Если брать только А из числа тех самых 27! и эл-ты 0/1, то это вроде бы конечная циклическая группа. И тогда правильные -- в ней незамкнутое подмн-во.
Каждая А - некоторая перестановка ортонорированных веторов. Мы не сможем получить А * А ни вырожденное, ни чтобы в строке было 2 эл-та. Вроде так ...
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520468
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
kealon(Ruslan),
главное только забыл. Мне не пока не верится, что все 27! матриц можно покрыть одной цикл-й группой. То есть, что единственная, а не 27! = {A1^k1} U {A2^k2} U ...
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520482
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
kealon(Ruslan),
если я верно вспомнил, то 27! (вообще-то N!), будучи группой 27-перестановок имеет спец. имя S 27 , и она не коммутативна.
Значит не может быть циклической.
Значит имеет неск. образующих.
Наверное их все можно найти теоретически, вот только как распадаются по этим классам правильные перестановки?
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520569
kealon(Ruslan)
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
exp98kealon(Ruslan),
если я верно вспомнил, то 27! (вообще-то N!), будучи группой 27-перестановок имеет спец. имя S 27 , и она не коммутативна.
Значит не может быть циклической.
Значит имеет неск. образующих.
Наверное их все можно найти теоретически, вот только как распадаются по этим классам правильные перестановки?
выходит расширяем предположение: таких "базовых" матриц больше 1-й и следовательно решения входят в комбинации их перемножений

с оценкой количества вариантов вроде как проблем нет, для любой такой A существует k, такой что A = A^k - т.е. она при перемножении приходит к самой себе

для начала бы проверить как растёт количество таких базовых матриц в зависимости от N

PS: что-то это очень дико напоминает задачу факторизации
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520573
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
И даже, после освежения памяти,
27! = не объединение, а прямоме произведение подгрупп: {A1^k1} @ {A2^k2} @ ...
Иначе тогда а и в из разных ручейков не перемножить ...
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520578
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
kealon(Ruslan), ну да, похоже, если только степени п/групп должны быть простыми в этом разложении.
Только я не помню, уточнить надо. Помню, это была заключительная у нас теорема в курсе В.алгебры.
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520582
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
kealon(Ruslan)для начала бы проверить как растёт количество таких базовых матриц в зависимости от N Боюсь, что КОРЕНЬ( О(N!)). Т.к. это разложение всех перестановок. Надо рыться в теории групп, я не с той кафедры ... ))
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520611
kealon(Ruslan)
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
exp98kealon(Ruslan), ну да, похоже, если только степени п/групп должны быть простыми в этом разложении.
Только я не помню, уточнить надо. Помню, это была заключительная у нас теорема в курсе В.алгебры.
ну я вообще физик
в целом для записи расстановки на доске достаточно массива A[N] (N! вариантов)
возьмём например, что каждый элемент содержит позицию x, а его позиция в массиве это y, тогда

перемножение двух матриц A, B будет вестись по формуле R[i] := B[A[i]]

перемножение двух матриц всегда будет давать матрицу, удовлетворяющую условию по вертикалям и горизонталям, если исходные матрицы удовлетворяли этим условиям
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520647
Мудроглюков
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
exp98kealon(Ruslan),
насчёт гипотезы о том, что {A^k} покроет все позиции для N.
Всё бы было хорошо, когда б для N знать А, и чтоб К=const ил очень медленно растёт.

Если брать только А из числа тех самых 27! и эл-ты 0/1, то это вроде бы конечная циклическая группа. И тогда правильные -- в ней незамкнутое подмн-во.
Каждая А - некоторая перестановка ортонорированных веторов. Мы не сможем получить А * А ни вырожденное, ни чтобы в строке было 2 эл-та. Вроде так ...

ну даже в тупом (в смысле бесхитростной идеи) методе ветвей и границ ЕСТЬ ОТСЕЧЕНИЯ бесперспективных ветвей и чем больше размерность тем больше "бесперспективностей"

и всё дуально - с одной стороны алгоритм, а с другой наша вычислительная система
PS В каком-то смысле может быть вся наша жизнь 8 млрд людей - это может быть решение какой-то задачи = вот и
все ВОЗМОЖНЫЕ беды человечество проходит в бэктрекинге , НО разные страны - разные беды (типа уже проанализоровано)

Вот и орды мошенников в России во всем -где кидалово, казалось бы "какого черта к несчастным приставать", и пенсионеров и инвалидов, и в ритуальном бизнесе, и в бизнесе салонов красоты (казалось бы - в чем там может быть), в недвижимости, в ... - вообще везде = куда ни ткни везде есть "схемы кидалово".

8^)
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520685
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Насчёт отсечений нифига не понял ...

устала я (( щас глупость скажу.
Матрица А.
Строки (либо столбы) -- базисные вектора 27-мерного пр-ва.
Здесь Е= 1 - это запись матрицы в исходной системе координат.
Перестановка осей определляется из А=Е умножением на В, к-рая является м-цей преобразования координат.
Любое из этих преобразований сводится к комбинации парных перестановок осей местами, т.е. к комбинации некоторых элементарных вращений.

Берём аналогию с теоремой для группы перестановок Sn. Каждая перестановка раскладывается в произведение транспозиций, где трансп-ция -- перестановка местами 2-х эл-тов.

Забыл, что хотел сказать ... ээ-э-э ..., вот:
Предполагаю, что для наших баранов А в качестве элементарных образующих матриц В можно взять такие, чтобы В*А переставляло у Е ровно 2 строки (столба) -- аналог перестановки 2-х осей координат.
Тогда кол-во образующих = 27 ???
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520698
kealon(Ruslan)
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
exp98Е ровно 2 строки (столба) -- аналог перестановки 2-х осей координат.
Тогда кол-во образующих = 27 ???
N-1 достаточно, с помощью них можно реализовать любую другую
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520816
Мудроглюков
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
kealon(Ruslan),
exp98

Так вы чё, для 27 ферзей количество решений пытаетесь посчитать через группы
перестановок?
PS Последовательность количество_решений(N_ферзей) официально подсчитана
только до 27 ферзей. И пробуете сосчитать для 28, пытаясь по ходу вывести рекурентную
формулу?

В прямой модели задачи вроде ж нет никаких групп перестановок, так как
ферзи по диагоналям еще ж жеж же атакуют, то вы будто не учитываете что ли. Или что?

_______
Вот если как-то преобразовать постановку задачи, чтобы сократить какие-то
проверки каких-то условий при переборе? Или ....? Или ....? ....?
То есть в чём состязаются решатели NP-полных задач, достигая каких-то частичных успехов,
но пока очень недостаточных для полного успеха.
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520863
kealon(Ruslan)
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Мудроглюковkealon(Ruslan),
exp98

Так вы чё, для 27 ферзей количество решений пытаетесь посчитать через группы
перестановок?
PS Последовательность количество_решений(N_ферзей) официально подсчитана
только до 27 ферзей. И пробуете сосчитать для 28, пытаясь по ходу вывести рекурентную
формулу?
это бы было идеально, но пока за малым дело - хотя бы оптимизировать итератор по N! вариантов

МудроглюковВ прямой модели задачи вроде ж нет никаких групп перестановок, так как
ферзи по диагоналям еще ж жеж же атакуют, то вы будто не учитываете что ли. Или что?

_______
Вот если как-то преобразовать постановку задачи, чтобы сократить какие-то
проверки каких-то условий при переборе? Или ....? Или ....? ....?
То есть в чём состязаются решатели NP-полных задач, достигая каких-то частичных успехов,
но пока очень недостаточных для полного успеха.
exp98 пытается проверить моё предположение "снизу" и подогнать под него какую то базу
фактически сейчас твёрдо известно, что обладая максимум (N-1) матрицами перевода можно из единичной матрицы получить все решения

работая с перестановками единичной матрицы мы всегда соблюдаем условие по вертикалям и горизонталям

на каждом преобразовании мы будем точно знать сколько совпадающих элементов на левых и правых диагоналях, стоимость этого знания - O(количество изменившихся строк)

алгоритм перестановок охватывающий все N! переборов, циклический - ????, было бы неплохо его найти

произведение матриц ассоциативно ( (A * B) * C = A * (B * C) ), значит зная количество совпадений по диагоналям можно сразу пропускать определённое количество переборов
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520919
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Ахтунг !!! Дисклаймер!!! К несчастью, сказанное выше про разложения неверно!

Теорема нам мало полезна:
Абелева группа с конечным числом образующих разложима в прямое произвед. циклических подгрупп.
(в частности и бесконечная группа тоже).

Наши матрицы не коммутативны, след-но теорема неприменима.
Правда, кой-какие циклические п/группы у нас есть, но в прямое произв-е не разложить.
И в разложении наверняка будут в наличии и нециклические п/группы.
И пользы пока не видно.

С другой стороны, всё же наши матрицы изоморфны группе подстановок Sn и на транспозиции их разлагать можно.
Уверенно можно сказать, что есть чётные и ннечётные перестановки, или два класса матриц.
И что правильные матрицы в общем случае не лежат в одной цикл. подгруппе.
Например такая В

Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
 [code=plsql]
	1						
			1				
					1		
							1
		1					
1							
						1	
				1			

и В*В - неправильная.

Аналогия с перестанвкой осей координат, я считаю, проходит, только их сильно больше N.
Ухожу заливать горе кофеём.

З.Ы.
Введение в теор. групп можно получить (ссылку не сохранил, pdf-файл)
практически один в один как было у нас в лекциях.

Федоровский
АЛГЕБРА
Введение в теорию групп
МГТУ Баумана

P/S. Да, пытаемся с нуля сокртить перебор, в меру сил.
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39520925
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Мудроглюков,
-- по диагоналям еще ж жеж же атакуют, то вы будто не учитываете что ли. Или что?

Или что. Мух от котлет.
Групповые свойства - с точностью до изоморфизма эл-тов.
Диагонали - внутреннее св-во структуры элем-в.
Графические паттерны - сбоку от всего этого.
Блуждание по поверхности числа коллизий тоже сбоку.
и т.д.
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39521259
exp98
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
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 - номер гармоники из фиксированного набора.
Затем долго-долго смотреть на полученные функции.
...
Рейтинг: 0 / 0
Пятничная задачка для ума за 1 миллион $
    #39521371
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Участник
Меня не покидает идея о том чтобы завернуть доску в тор.
...
Рейтинг: 0 / 0
25 сообщений из 491, страница 9 из 20
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Пятничная задачка для ума за 1 миллион $
Найденые пользователи ...
Разблокировать пользователей ...
Читали форум (0):
Пользователи онлайн (0):
x
x
Закрыть


Просмотр
0 / 0
Close
Debug Console [Select Text]