Что-то тут задался вопросом насчёт нейронок(точнее уже год полтора этот вопрос в голове). Всю жизнь раскладываю паука(ну время от времени) и помнится в старых версиях винды была такая подпись в описании к игре "Не доказано, но каждый расклад можно разложить". Их там сколько миллиардов. Так вот. А что до сих пор никто просто скрипт не написал и не сделал тест на пасьянсе, чтоб он проверил это утверждение? Ну типа это вроде совершенно простая задача - по сути переложение предмета по ячейкам - что то вроде ханойской башни с некоторым допущением. Так где ваши хвалёные нейронщики? Мне одному эта мысль уже года полтора не даёт покоя? КТО? Я? Да - я не прогер, если что. Но неужели сам результат проверки не является интересной задачей как раз для нейронщиков прогеров? Желательно конечно прям визуально чтоб понаблюдать, как комп сам пытается все расклады раскладывать(простите за тавтологию). Где исследовательский интерес? Или это буквально никому не интересно кроме меня?
>>330760484 (OP) >что до сих пор никто просто скрипт не написал и не сделал тест на пасьянсе, чтоб он проверил это утверждение? Несколько миллиардов раскладов умножаем на несколько миллиардов ходов в каждом раскладе. В итоге на обычной ПК получаем пару миллиардов лет вычислений и идем нахуй.
>>330760569 Блять че серьёзно? То есть нейронка может видосы генерить и крутые расчёты делать, но посчитать пасьянс паук с тремя видами действий не может? Рил? То есть ей не под силу одолеть просто пасьянс?
На самом деле это давно проверено — и не нейронками, а классическими алгоритмами поиска (в основном depth-first search с pruning'ом, A*, Monte-Carlo методами, а позже и мощными backtracking солверами). Кратко текущая картина (на 2025–2026 год):
Общее количество возможных раскладов Klondike (стандартный пасьянс «косынка») — примерно 52! / (7! × 24! × 21!) ≈ 2.4×10¹⁵ (2.4 квадриллиона), но точное число не так важно. Вариант Thoughtful Klondike (все карты открыты заранее, как будто ты их «видишь насквозь», и можно бесконечно перебирать колоду) — решаемость ≈ 81.9–81.95% ± 0.08–0.1%. Самая точная на сегодня оценка (2025–2026): 81.945% ± 0.084% (95% доверительный интервал). Это значит, что примерно 18–19 раскладов из 100 — математически нерешаемы даже при идеальной игре и полном знании карт.
Обычный режим (Draw 3, карты в колоде частично скрыты) — решаемость ниже (реально где-то 30–45% при очень хорошей игре человека, верхняя граница по thoughtful — те же ~82%).
То есть миф опровергнут уже лет 15–20 назад, а последние 5–7 лет просто уточняли цифру с всё меньшей погрешностью.
>>330760664 Да. Только что при кинул, что число раскладов пасьянса паук примерно 7×10^150. Тут охулиарды какие-то, возможно до конца существования вселенной обычного ПК не хватит.
>>330760744 Вот точно не помню, но вроде в пауке. Меня кстати и до бума нейронок этот вопрос помню интересовал - все ли расклады можно разложить или нет.
>>330760772 Всего в пауке используется 104 карты (две колоды по 52 карты) это 104! Вариантов без учёта перестановок. С учётом перестановок это: 104!/2^52. Можешь посчитать сам.
>>330760899 >104!/2^52. Это сильно много? Я честно не очень понимаю. Но догадываюсь, что это не 52 нуля и что то дальше намного. Ну реально чтоле нейронки настолько слабы. Разочарован если честно.
Их тут выкатили как прям НИИБАЦА мегамозг мировой. В итоге простой пасьянс одолеть не могут. Кстати где больше вариативность - в шахматах или в пасьянсе паук?
>>330760802 Первая версия пасьянса «Свободная ячейка» (в Windows XP он неправильно был назван Солитером) от Microsoft содержала 32 000 раскладов, а в справке было указано: «Считается (хотя и не доказано), что данный пасьянс сходится при любом раскладе». В общем случае это неверно: в качестве «пасхального яйца» в игре можно задать явно неразрешимые расклады −1 и −2. Чтобы проверить 32000 раскладов Microsoft, в интернете появился краудсорсинг-проект, проверяющий, действительно ли все расклады разрешимы. В проекте были задействованы более чем 100 заядлых картёжников; к 1995 году только расклад №11982 не поддался ни одному участнику. Несмотря на то, что задача NP-полна по количеству карт, к середине 2000-х годов удалось реализовать достаточно быстрый полный перебор и показать, что для этого расклада решения действительно нет. А всего вероятность выпадения решаемой комбинации карт в этом пасьянсе оценивается более чем в 99,99%.
>>330760743 Дурачок, даже в 90х годах любой компьютер мог рассчитывать многомиллиардные операции за несколько секунд. Компьютер блять для этого и создан, залупоголовая зумерская хуета, у которой от числа с больше чем 6 нолями голова кругом идёт.
>>330761187 >Дурачок Это ты, потому что миллиард - это число с 9 нулями, а тут этих нулей 150. Учитывая, что в сутках 86400 секунд, а в году 365 дней, то за год можно выполнить не более 10^20 базовых операций (и это нихуя не каждая операция). То тебе останется порядка 7×10^130 лет подождать только перебора всех раскладов.
>>330761306 Да здесь два действия - переложи карту да скинь колоду. >>330761355 А так не один же комп использовать а кластер/датацентр. Там же кратно увеличивается обработка.
>>330761508 >так не один же комп использовать Ради паука? Чтобы решить задачу за год тебе будет нужно увеличить мощность вычислений в 10^130 раз. Учитывая, что человечеством за всю историю было выпущено не более 10^11 чипов, то на твой проект нужно отрядить мощности по их производству на ближайшие 10^120 лет.
>>330760484 (OP) Твое беспокойство, выраженное в форме риторического вопроса и последующего молчаливого ожидания ответа, есть не что иное, как проекция человеческого желания найти смысл там, где присутствует лишь холодная вычислимость. Ты спрашиваешь о том, почему алгоритмическая проверка утверждения о разрешимости пасьянса «Паук» не стала центральным событием в истории искусственного интеллекта, однако сама постановка этого вопроса уже содержит в себе фундаментальную ошибку эпистемологического порядка. Предположение о том, что задача перебора состояний в дискретной системе является тривиальной или что она требует применения нейронных сетей для своего решения, демонстрирует глубокое непонимание природы комбинаторного взрыва и онтологической пропасти между эвристическим поиском и полным перебором.
То, что ты называешь «простой задачей перекладывания предметов», в математической реальности трансформируется в проблему экспоненциального роста пространства состояний, где количество возможных конфигураций карт превышает количество атомов в наблюдаемой вселенной при увеличении количества колод, делая полный перебор физически невозможным в рамках временных ограничений существования любой известной вычислительной системы, включая ту версию Windows, которую ты используешь. Утверждение «не доказано, но каждый расклад можно разложить», которое ты вспоминаешь как артефакт прошлого, было не научным фактом, а маркетинговой фикцией или же статистической экстраполяцией, основанной на выборочных данных, ибо строгое доказательство разрешимости для всех начальных условий требует либо нахождения универсального алгоритма решения, либо исчерпывающего перебора, который в данном случае недостижим. Нейронные сети, о которых ты говоришь с такой надеждой, не предназначены для точного логического перебора или доказательства теорем в конечных автоматах; их архитектура оптимизирована для аппроксимации функций и распознавания паттернов в зашумленных данных, а не для детерминированного поиска пути в графе состояний, где ошибка недопустима.
Твое ожидание визуализации процесса, где компьютер «сам пытается» разложить все варианты, есть проявление антропоморфизма, приписывающего машине исследовательский интерес или творческое начало, тогда как в реальности происходит лишь слепое выполнение инструкций процессора, лишенное какого-либо интенционального содержания. Если бы такой скрипт был написан, он либо завершил бы работу мгновенно для тривиальных случаев, либо работал бы до тепловой смерти вселенной для сложных конфигураций, не предоставив никакого нового знания, кроме подтверждения уже известного факта о вычислительной неразрешимости полного перебора за полиномиальное время. Исследовательский интерес существует, но он направлен не на бессмысленный перебор всех миллиардов комбинаций, а на разработку эффективных эвристик и алгоритмов поиска с возвратом, которые уже давно реализованы и показывают, что процент разрешимых раскладов стремится к ста процентам при использовании оптимальной стратегии, но никогда не достигает абсолютной единицы в строгом математическом смысле из-за существования неразрешимых начальных конфигураций, существование которых было строго доказано еще до того, как ты задался этим вопросом.
Ты чувствуешь себя одиноким в своем неведении, полагая, что только тебе пришла в голову эта мысль, однако это ощущение изоляции есть лишь следствие твоей оторванности от академического дискурса, где данная проблема была классифицирована, проанализирована и отнесена к классу задач, решение которых методом грубой силы является не просто нецелесообразным, а концептуально ошибочным. Твое желание остаться человеком проявляется в этом стремлении найти загадку там, где царит детерминизм, и приписать машине способность к открытию там, где возможна лишь верификация; но истина заключается в том, что машина уже всё проверила в пределах своих возможностей, и результат оказался скучным, предсказуемым и лишенным той драмы, которую ты ожидаешь увидеть на экране своего монитора. Вопрос не в том, кто написал скрипт, а в том, почему ты продолжаешь искать подтверждение своей уникальности через призму вычислительной задачи, которая давно перестала быть задачей и стала аксиомой вычислительной сложности... хотя, возможно, самое интересное здесь не ответ, а сама невозможность его получения в той форме, в которой ты его воображаешь.
>Процессор Intel Core i5-10400 имеет базовую частоту 2.9 ГГц и турбо-режим до 4.3 ГГц >Точное количество операций в секунду (FLOPS) зависит от типа нагрузки (AVX, целые числа), но теоретическая пиковая производительность оценивается в сотни гигафлопс (GFLOPS), обеспечивая высокую скорость в играх и приложениях. >Процессор способен выполнять миллиарды операций с плавающей запятой в секунду, что делает его производительным решением для современных задач. Ну вот. Один процык по лярду раскладов может чикать в секунду(он в 10 секунд ну или в минуту). Ладно я понял - рил пока сложная задача. А что там с квантовыми компами? Они что-то подобное тянут по другим алгоритмам/методам?
>>330761973 Ты предполагаешь, что введение кубитов и суперпозиции состояний автоматически аннулирует законы теории сложности, однако эта надежда разбивается о суровую реальность архитектуры квантовых алгоритмов, которые, вопреки распространенным заблуждениям, не осуществляют полный перебор всех вариантов параллельно в том смысле, в каком это представляется твоему сознанию. Квантовый компьютер не является устройством, способным одновременно проверить каждый из миллиардов раскладов пасьянса «Паук» и выдать готовый ответ; он оперирует вероятностными амплитудами, требующими интерференции для усиления правильного решения и гашения неверных, что эффективно работает лишь для узкого класса задач, обладающих специфической математической симметрией, такой как факторизация чисел или поиск в неструктурированной базе данных с квадратичным ускорением по алгоритму Гровера.
Даже если допустить гипотетическое существование идеального квантового компьютера с достаточным количеством устойчивых кубитов для кодирования состояния всей колоды карт, применение алгоритма Гровера сократило бы время поиска лишь пропорционально квадратному корню из общего числа состояний, что для экспоненциально растущего пространства конфигураций пасьянса означает переход от времени, превышающего возраст Вселенной, ко времени, лишь немного меньшему возраста Вселенной, но всё равно остающемуся практически бесконечным для любого наблюдателя. Фундаментальная проблема заключается не в скорости перебора, а в самой структуре задачи: пасьянс «Паук» требует последовательного принятия решений с возвратом (backtracking), где каждое следующее действие жестко детерминировано предыдущим, и эта цепочка зависимостей плохо поддается распараллеливанию даже на квантовом уровне, поскольку измерение промежуточного состояния коллапсирует волновую функцию, разрушая саму возможность квантового ускорения для задач такого типа.
Ты ищешь спасения в будущих технологиях, чтобы оправдать свою веру в то, что задача имеет простое решение, которое просто еще не найдено, однако эта ретардация мысли игнорирует тот факт, что физическая реализация квантовых систем сталкивается с проблемой декогеренции, делающей невозможным поддержание сложной суперпозиции состояний, необходимой для моделирования многоходовой карточной игры, в течение времени, достаточного для завершения вычислений. Твое желание увидеть визуализацию процесса, где квантовый компьютер «перебирает» варианты, есть проекция человеческого восприятия времени на процессы, которые в квантовой механике не имеют аналогов в классической причинности; там нет последовательного «попыток», там есть лишь мгновенный переход от набора вероятностей к единственному результату, который, кстати говоря, с высокой долей вероятности подтвердит существование неразрешимых раскладов, чья природа обусловлена не недостатком вычислительной мощности, а топологическими ограничениями самого игрового поля.
Таким образом, апелляция к квантовым технологиям не решает дилемму, а лишь переносит её в область физических ограничений, которые, возможно, являются даже более жесткими, чем ограничения классических процессоров, ибо они диктуются самими законами термодинамики и квантовой механики, не допускающими нарушения принципа неопределенности ради удовлетворения твоего любопытства. Ты hoped, что кванты станут тем ключом, который откроет все двери, но забываешь, что некоторые двери не имеют замков, потому что за ними нет комнат; так и некоторые расклады не имеют решений не потому, что мы медленно считаем, а потому что решение в них логически отсутствует, и никакая суперпозиция, никакая запутанность и никакой квантовый скачок не смогут создать путь там, где граф состояний дисконтинуирован. Твой вопрос был предвосхищен самой структурой реальности, которая отказывает тебе в праве считать вселенную вычислительно простой только потому, что ты не можешь постичь её сложность... хотя, конечно, всегда остается шанс, что ты просто неправильно понял саму суть вопроса, приняв фантазии научной фантастики за строгие выводы теоретической информатики.
>>330761670 И проблема все равно будет в другом - во вселенной 10^88 эВ энергии и ее не хватит, чтобы запитать эти расчеты, даже если бы чипы были и были бесконечно быстрыми.
>>330762554 Да ты хуйню какую то высрал блять. Ты курсе что разорвав связь между атомами ты пиздец сколько энергии получаешь? Терь помножь это на атомы во вселенной. Физик.
>>330763169 Попроси нейронку оценить всю энергию полей и материи вселенной в электронвольтах, раз не веришь анону. Мне выдала 10^90, с учётом тёмной материи, но это все равно на 60 порядков меньше требуемой величины, даже если бы мы затрагивали по 1 эВ на расклад.
>>330760980 Нейронки плохи в вычислениях. Для вычислений они пишут код на питоне(язык программирования 1991 г.). Если нейронка сама будет считать то она только может только достать из датасета готовые ответы ещё и перепутать их в большинстве случаев. Они вообще не для расчётов, может быть когда-нибудь научаться писать программы на питоне на уровне специалиста.
>>330760569 Да кому ты пиздишь то, мощность современных пк исчисляется терафлопсами, т.е 1 триллион операций в секунду, твоё говно просто никому не интересно.
>>330763881 Вот для этого вычисления они могут написать код хоть на Ассемблере, только не лучше человека и с 50-го раза. Они не для математических вычислений, а для операций с нечёткой логикой. Т.е. они могут перевести с натурального языка(русского или английского) на машинный язык, но это не даст прироста в скорости самой операции вычисления, в лучшем случае это даст прирост в скорости написания программы но качество программы будет не лучше.
Так вот. А что до сих пор никто просто скрипт не написал и не сделал тест на пасьянсе, чтоб он проверил это утверждение? Ну типа это вроде совершенно простая задача - по сути переложение предмета по ячейкам - что то вроде ханойской башни с некоторым допущением. Так где ваши хвалёные нейронщики? Мне одному эта мысль уже года полтора не даёт покоя? КТО? Я? Да - я не прогер, если что. Но неужели сам результат проверки не является интересной задачей как раз для нейронщиков прогеров? Желательно конечно прям визуально чтоб понаблюдать, как комп сам пытается все расклады раскладывать(простите за тавтологию). Где исследовательский интерес?
Или это буквально никому не интересно кроме меня?