Задача о восьми ферзях

@hunakone · Регистрация: 02.11.2015

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

Ни у кого нет кода реализации задачи о восьми ферзях?(на f# офк)

@pycture · 18.04.2016, 06:01

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

Меня "напугало" что мутабельные переменные нельзя использовать в генераторах списков (массивов, ...), хотя ссылки можно.

нельзя т.к. потом начинаются вопросы "а почему у меня все значения в массиве одинаковые". с#перы этим постоянно страдают - их компилятор по рука не бьет. ссылки кстати тоже нельзя - будет тоже самое. а вот значения ссылок можно - если аккуратно.

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

KolodeznyDiver, в F#4.0 тоже нельзя?

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

@Curry · 18.04.2016, 08:57

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

KolodeznyDiver, в F#4.0 тоже нельзя?

Поскольку в приведённой мной ссылке говорится о Visual Studio 2015 (у меня до сих пор Visual Studio 2013 community), то, наверно да.

@Curry · 20.04.2016, 01:33

Поставил VS2015. Теперь оно разрешает использовать мутабельную переменную в генераторе списка.
Та же задача про 8 ферзей. Скорость низкая, но работает правильно.

Кликните здесь для просмотра всего текста

F#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
let solveBits2 () = 
    let rec gen brd cs n = 
        if n=8 then [brd] else
            let nn=n+1
            [ let mutable m = 1  
              for c= 0 to 7 do
                if (cs &&& m (* (1<<<c) *) )=0 then
                    let rec chk y l r = 
                        if y=0 then true else
                            let yn=y-1                            
                            let x=getX brd yn
                            let ln=l-1
                            if x=ln then false else
                                let rn=r+1
                                if x=rn then false else chk yn ln rn
                    if chk n c c then
                        yield! (gen (setX brd n c) (cs ||| m (* (1<<<c) *)) nn)
                m <- m <<< 1
            ]
    gen 0 0 0 |> List.map (fun b -> new ChessBoard(b))

@Ev_Hyper · 20.04.2016, 01:42

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

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

pycture, если код выше работает правильно, то можно увидеть пример "неожиданного" поведения с мутабельной переменной ?

@pycture · 20.04.2016, 05:52

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

если код выше работает правильно

какой именно код, их там много. и что значит "неожиданного"?

Добавлено через 3 минуты
а.. этот код... там нет мутабельного значения в генераторе там по факту ссылка. с F#4 мутабельное значение в генераторе или в замыкании в принципе нельзя получить. комипилятор их на автомате ссылками делает

@Ev_Hyper · 20.04.2016, 11:40

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

с F#4 мутабельное значение в генераторе или в замыкании в принципе нельзя получить. комипилятор их на автомате ссылками делает

pycture, ну вот об этом я и говорил

Значит неправильно понял ваш ответ из сообщения #21

@Curry · 20.04.2016, 13:49

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

а вот значения ссылок можно - если аккуратно

А как можно не аккуратно работать со значениями ссылок в генераторе?

@pycture · 20.04.2016, 14:18

на так к примеру

F#
1
2
3
4
5
6
7
8
9
10
> let r = ref 0;;
 
val r : int ref = {contents = 0;}
 
> [0..10] |> List.map (fun _ -> r := !r + 1; r);;
val it : int ref list =
  [{contents = 11;}; {contents = 11;}; {contents = 11;}; {contents = 11;};
   {contents = 11;}; {contents = 11;}; {contents = 11;}; {contents = 11;};
   {contents = 11;}; {contents = 11;}; {contents = 11;}]
>

Добавлено через 4 минуты
или так

F#
1
2
3
type X() = member val x = 0 with get, set
let r = ref (X(x = 0))
[0..10] |> List.map (fun _ -> (!r).x <-(!r).x + 1; !r)

Добавлено через 3 минуты
примеры конечно не вполне коррктные, но показывают, что заблудиться в принципе можно

Добавлено через 2 минуты
еще так можно

F#
1
2
3
4
let r = ref 0
[0..10] 
|> List.map (fun _ -> r := !r + 1; lazy !r)
|> List.map (fun o -> o.Value)

@Curry · 20.04.2016, 14:40

Тут всё очевидно. В первом примере пропущен !. Во втором нужно учитывать что сам объект передаётся по ссылке. Если (fun _ -> (!r).x <-(!r).x + 1; (!r).x), то всё ок. В третьем, лень тоже по ссылке.
Я думал, в генераторах какие то специфические ошибки.

@pycture · 20.04.2016, 15:44

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

Я думал, в генераторах какие то специфические ошибки.

ну нет конечно, ошибок в самих генераторах нет. это и есть примеры весьма неаккуратного обращения с ссылками.

@pycture · 25.04.2016, 11:57

Tomas Petricek and Phillip Trelford - F# Deep Dives - 2014

пролистал по диагонали. ересь. для изучения/обучения сей рекламный буклет непригоден

@Ev_Hyper · 27.04.2016, 15:58

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

пролистал по диагонали. ересь. для изучения/обучения сей рекламный буклет непригоден

pycture, соглашусь, хотя книгу в свое время очень ждал

Новые блоги и статьи Все статьи Все блоги /
сукцессия 29. Переход от одних деревьев на другие делать более или менее вероятностным? anaschu 12.07.2026 Насколько смена типов микоризы — исключительное событие в двухвековой сукцессии? Оценка вероятности в пространстве параметров В текущей версии модели успешно реализован ключевой механизм. . .	сукцессия 27. Думаю, как переделывать уже написанную статью с планами на сукцессию. anaschu 12.07.2026 Анализ соответствия модели требованиям Реализованные компоненты: Механизм закисления почвы через протонную помпу Конкуренция между типами микориз pH как триггер сукцессии C/ P соотношение. . .	Сукцессия 26. Мат модель создана. anaschu 12.07.2026 Модель смены растительных сукцессий посредством управления грибами работает внутри небольшой ячейки почвы, восстанавливающейся после пожара, где ненадолго бывшее царство хвойных снова захватили. . .	Решил проблему с ошибкой пагинации сообщений с сервера на алгоритме обхода дерева "Эстафета хвоста". Hrethgir 12.07.2026 Проблема была в том, что удалялась именно новая кнопка, а не старая. Ни один ИИ не обнаружил это, а сам я смог только когда с работой стало попроще и когда заставил работать будущее автономное. . .
сукцессия 25. Хронология ошибок anaschu 12.07.2026 # От 50-тонного гриба до устойчивого леса: хроника ошибок при построении модели вековой сукцессии микоризы ## О чём эта статья В процессе построения ОДУ-модели (система дифференциальных. . .	сукцессия 24. Промежуточное общее описание модели anaschu 12.07.2026 Хендофф: модель АМ→ЭКМ сукцессии микоризы (ризосфера, 50 лет) Содержание проекта Симуляция вековой (50 лет) экологической сукцессии в почве леса Основные участники: АМ-гриб, ЭКМ-гриб,. . .	сукцессия 23. Более физиологичная физиология, более экологичная экология, более диффурные диффуры. anaschu 12.07.2026 Что реально нашли и починили за эти 5 часов Правило Линдемана (КПД конверсии сахара в тело, kEff) — раньше 100% полученного углерода шло прямо в биомассу гриба; теперь только kEff=0. 5 (после. . .	сукцессия 22. От артефактов к физиологии: калибровка агентной модели грибной сукцессии для воспроизведения сезонной динамики и pH-плато anaschu 11.07.2026 Аннотация В данной работе представлена калибровка агентной модели динамики грибных сообществ (fungal-succession), направленная на устранение нефизичных артефактов (коллапс биомассы, мгновенное. . .

@hunakone 0 / 0 / 0 Регистрация: 02.11.2015 Сообщений: 6

	Задача о восьми ферзях 13.04.2016, 19:16. Показов 4633. Ответов 31 Метки нет (Все метки) Ни у кого нет кода реализации задачи о восьми ферзях?(на f# офк) 0

@Curry Модератор 5164 / 3519 / 536 Регистрация: 01.06.2013 Сообщений: 7,655 Записей в блоге: 9
	20.04.2016, 14:40
	Тут всё очевидно. В первом примере пропущен !. Во втором нужно учитывать что сам объект передаётся по ссылке. Если (fun _ -> (!r).x <-(!r).x + 1; (!r).x), то всё ок. В третьем, лень тоже по ссылке. Я думал, в генераторах какие то специфические ошибки. 0