С Новым годом!

Форум программистов, компьютерный форум, киберфорум

Haskell

Форум программистов и сисадминов Киберфорум

Войти

Регистрация
Восстановить пароль

Сообщество

Заказать работу

Рейтинг 4.85/13:

Рейтинг темы: голосов - 13, средняя оценка - 4.85

mariamiromortu

Аватар для mariamiromortu

0 / 0 / 2

Регистрация: 06.06.2013

Сообщений: 30

[Haskell] Расстановка 8 ферзей

12.05.2016, 10:18. Показов 2460. Ответов 2

Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам

Haskell
1
2
3
4
5
6
7
8
9
10
11
import Control.Monad (foldM)
import Data.List ((\\))
 
main :: IO ()
main = mapM_ print $ queens 8  --печатает все аргументы ф-ции queens
 
queens :: Int -> [[Int]] 
queens n = foldM f [] [1..n]
 where
      f qs _ = [q:qs | q <- [1..n] \\ qs, q `notDiag` qs] 
      q `notDiag` qs = and [abs (q - qi) /= i | (qi,i) <- qs `zip` [1..]]

Задача о безопасной расстановке 8 ферзей(королев), ходят по горизонтали и вертикали
Поясните последние 2 строчки

_-все что угодно
q:qs-множество, где q начало , а qs- конец?
в q заносятся числа от 1 до 8
(qi,i) <- qs `zip` [1..] - список пар?
\\ -неассоциативный список. в результате xs//ys первые значения каждого элемента из ys
заносятся в стек и удаляются из xs
в данном случае первые значения каждого элемента из qs заносятся в стек и удаляются из q(от 1 до 8)?
zip объедин ДВОИХ списков 1 элем с 1, [1..] бесконечный список

0

Лучшие ответы (1)

Сообщение: #9129197

IT_Exp

Эксперт

34794 / 4073 / 2104

Регистрация: 17.06.2006

Сообщений: 32,602

12.05.2016, 10:18

Ответы с готовыми решениями:

[Haskell] Изменить с 8 ферзей на 8 ладей
import Control.Monad (foldM) import Data.List ((\\)) main :: IO () main = mapM_ print $ queens 8 --печатает все аргументы ф-ции...

Место ФП и Haskell в компьютерной индустрии (Для чего он нужен, этот Haskell?)
"У нас" ? А где преподавание этой экзотики на высоте? Добавлено через 2 минуты А где такие "пришедшие" используют...

Расстановка ферзей
Добрый День!!! Помогите Пожалуйста написать программу: Найдите такую расстановку пяти ферзей на шахматной доске, при которой каждое поле...

2

Curry

Модератор

Аватар для Curry

5153 / 3465 / 536

Регистрация: 01.06.2013

Сообщений: 7,527

Записей в блоге: 9

12.05.2016, 12:48

Лучший ответ

Сообщение было отмечено mariamiromortu как решение

Решение

Цитата

Сообщение от mariamiromortu

Посмотреть сообщение

--печатает все аргументы ф-ции queens

Печатает результат ф-ции queens.

Цитата

Сообщение от mariamiromortu

Посмотреть сообщение

_-все что угодно

Да. Но, в данном случае неиспользуемый аргумент функции.

Цитата

Сообщение от mariamiromortu

Посмотреть сообщение

q:qs-множество, где q начало , а qs- конец?

к списку qs в начало добавляется элемент q

Цитата

Сообщение от mariamiromortu

Посмотреть сообщение

в q заносятся числа от 1 до 8

q по очереди принимает значения от 1 до n включительно, кроме таких значений которые уже есть в qs ( (\\) - проверка на пересечение по горизонтали)

Цитата

Сообщение от mariamiromortu

Посмотреть сообщение

(qi,i) <- qs `zip` [1..] - список пар?

да, функция zip из двух списков делает список пар.

функция f, вычисляет где могут быть ещё ферзи на следующей вертикали. В аргументе qs список вертикальных координат ферзей на предыдущих вертикалях. совпадение по горизонталям исключается в [1..n] \\ qs, по диагоналям в функции notDiag. Несовпадение по вертикалям само получается, т.к. перебираются варианты, где ставить одного ферзя на вертикали (это и означают числа в каждой строке результата).
and - означает что каждое условие в списке должно быть истинным. qs `zip` [1..] создаёт конечный список, его длина - минимальная из длин исходных списков. в qi и i, по очереди подставляются значения из qs и числа 1,2,....., соответственно (номера вертикалей). Условие abs (q - qi) /= i проверяет, нет ли пересечения на данной вертикали.

Не по теме:

p.s. недавно эту задачу решали на F#

3

Shamil1

Модератор

Эксперт функциональных языков программирования

3133 / 2280 / 469

Регистрация: 26.03.2015

Сообщений: 8,876

15.05.2016, 10:14

Я бы в функцию notDiag добавил ещё одно условие qi /= q и переименовал бы её в notAttack. Проверки имеют один и тот же смысл, и не ясно, почему одна проверка делается на одном уровне, а вторая на другом.

Я бы в функции f убрал второй неиспользуемый параметр. И вместо foldM я бы использовал iterate. Нам просто нужно вызывать функцию n раз.

Haskell
1
2
3
4
5
6
7
8
main :: IO ()
main = mapM_ print $ queens 4  --печатает все аргументы ф-ции queens
 
queens :: Int -> [[Int]] 
queens n = iterate (concat . map f) [[]] !! n
 where
      f qs = [q:qs | q <- [1..n], q `notAtack` qs] 
      q `notAtack` qs = and [q /= qi && abs (q - qi) /= i | (qi,i) <- qs `zip` [1..]]

Ссылки на модули становятся не нужными.

0

Надоела реклама? Зарегистрируйтесь и она исчезнет полностью.

BasicMan

Эксперт

29316 / 5623 / 2384

Регистрация: 17.02.2009

Сообщений: 30,364

15.05.2016, 10:14

Помогаю со студенческими работами здесь

Расстановка ферзей
Добрый День!!!:) Помогите Пожалуйста придумать код к следующей задаче: Найдите такую расстановку пяти ферзей на шахматной доске, при...

Расстановка 8 ферзей
Привет всем, слушайте, вот исходник на С++ задача <<о восьми ферзях>>: #include<iostream> #include<cmath> ...

Расстановка восьми ферзей
uses CRT; {очистка экрана} Const N = 8; {задаем константы} M = 8; Type Queen = record X,Y : Integer; ...

Расстановка ферзей на шахматной доске
Найти на кубической доске всевозможные расстановки 15 ферзей так, чтобы они не били друг друга

Расстановка восьми ферзей на шахматной доске так, чтобы ни один не угрожал другому
5. Расстановка восьми ферзей на шахматной доске так, чтобы ни один не угрожал другому.

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:

3

Ответ

Создать тему

Новые блоги и статьи Все статьи Все блоги /
WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .	Модель микоризы: классовый агентный подход 3 anaschu 06.01.2026 aa0a7f55b50dd51c5ec569d2d10c54f6/ O1rJuneU_ls https:/ / vkvideo. ru/ video-115721503_456239114
Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ФедосеевПавел 06.01.2026 Owen Logic: О недопустимости использования связки «аналоговый ПИД» + RegKZR ВВЕДЕНИЕ Введу сокращения: аналоговый ПИД — ПИД регулятор с управляющим выходом в виде числа в диапазоне от 0% до. . .	Модель микоризы: классовый агентный подход 2 anaschu 06.01.2026 репозиторий https:/ / github. com/ shumilovas/ fungi ветка по-частям. коммит Create переделка под биомассу. txt вход sc, но sm считается внутри мицелия. кстати, обьем тоже должен там считаться. . . .	Расчёт токов в цепи постоянного тока igorrr37 05.01.2026 / * Дана цепь постоянного тока с сопротивлениями и напряжениями. Надо найти токи в ветвях. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа и решает её. Последовательность действий:. . .	Новый CodeBlocs. Версия 25.03 palva 04.01.2026 Оказывается, недавно вышла новая версия CodeBlocks за номером 25. 03. Когда-то давно я возился с только что вышедшей тогда версией 20. 03. С тех пор я давно снёс всё с компьютера и забыл. Теперь. . .

Наверх