ReSQL.ru
     
powered by simpleCommunicator - 2.0.49     © 2025 Programmizd 02
Мобильная версия    Контакт    Правила    FAQ    Помощь
Доб. в избранное | Игнор. тему | Прикреп. тему | Пометить прочит. / непрочит. | Фильтр
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Четверговый НАМ и сложение двоичных чисел в строках
25 сообщений из 107, страница 4 из 5
  4  все
Четверговый НАМ и сложение двоичных чисел в строках
    #39964496
mini.weblab
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mini.weblab
Участник
Aleksandr Sharahov
м,
т.к. не соблюдены *все* необходимые требования.

1) и какие же требования не соблюдены?
а) строка есть
б) правила есть
в) все шаги алгоритма выполнены
г) конечный ответ получен
2) сложение в столбик может быть приведено к Марковскому алгоритму, нужно лишь записать строку нужным нам образом
...
Рейтинг: 0 / 0
30.05.2020, 20:47
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964519
mini.weblab
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mini.weblab
Участник
Aleksandr Sharahov,
я знаю, что решетки # это чит, но идея состоит в том, чтобы воспроизвести сложение в столбик
:-)

PS
а если число преобразовывать, и решетки убирать, то остаются 2 правила (как в твоем решении)
12->20
02->10

Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
111111 + 111
0111222

12->20: 0112022
02->10: 0112102
02->10: 0112110
12->20: 0120110
12->20: 0200110
02->10: 1000110

Res: 1000110
...
Рейтинг: 0 / 0
30.05.2020, 21:40
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964525
Aleksandr Sharahov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Aleksandr Sharahov
Участник
mini.weblab
Aleksandr Sharahov,
я знаю, что решетки # это чит, но идея состоит в том, чтобы воспроизвести сложение в столбик
:-)

PS
а если число преобразовывать, и решетки убирать, то остаются 2 правила (как в твоем решении)
12->20
02->10

Код: plaintext
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
111111 + 111
0111222

12->20: 0112022
02->10: 0112102
02->10: 0112110
12->20: 0120110
12->20: 0200110
02->10: 1000110


Res: 1000110


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

Причем записать все эти правила надо в определенном порядке,
который требуется незатейливому алгоритму Маркова.

Речь о том, что этого всего не хватает.
...
Рейтинг: 0 / 0
30.05.2020, 22:17
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964530
mini.weblab
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mini.weblab
Участник
Aleksandr Sharahov,

я знаю, что формально для решения задачи as is этого не хватает, но у меня были другие цели
...
Рейтинг: 0 / 0
30.05.2020, 22:40
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964550
Swa111
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Swa111
Гость
более шустрый алгоритм сложения и умножения в столбик

1000100111111000*1000110101111101 = 4049 замен
1000110101111101*1000100111111000 = 4386 замен

 
Код: vbnet
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.
60.
0t10 -> 100t
0t1 -> 10t
1g00 -> 001g
0g1 -> 10g
1g1 -> 11g
E1 -> 1E
E0 -> 0E
E -> e
s0t0t -> 00
s1t0t -> 10
1t0 -> 01t
s1t1t -> 11
1t1 -> 11t
c0 -> 0c
1g0 -> 01g
0g0000 -> 00000g
0gDe -> De0
00teS -> e0eS
00te -> e0
10teS -> e1eS
10te -> e1
11te -> ~e0
0t0000 -> 00000t
0t00 -> 000t
d0 -> 0d
0t0 -> 00t
0g00 -> 000g
0g0 -> 00g
c1 -> 1c
1gDe -> De1
0p -> p00g
1p -> p11g
d1 -> 1d
1~ -> ~0
m0 -> m
01te -> e1
0~ -> 1
s~ -> s1
D -> 0
p -> 
0ce -> p0De0eS
de -> 0e
1ce -> p1De1eS
1m -> mc
0m -> md
m1 -> m
se -> 
0s -> s0t
1s -> s1t
0eS -> s0t
me -> 
s1e -> 1
1* -> mcE
0+ -> s0tE
1+ -> s1tE
0* -> mdE
s1 -> 1
1eS -> s1t
e -> 
s0 -> s


В интерпретатор добавлен оптимизатор порядка правил. Для этого в командной строке запустите с ключам /o и /s или используйте DropAtMe(Opt).bat.
В файле все образцы должны быть с верными эталонными значениями. Образцы нужно подобрать таким образом что бы использовались все правила. Оптимизатор только переставляет правила местами для того что бы уменьшить число итераций (не замен). Если перестановка увеличила число шагов или какой либо из образцов перестал быть равным эталону то она отклоняется.
...
Рейтинг: 0 / 0
31.05.2020, 00:58
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964559
mini.weblab
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mini.weblab
Участник
а почему бы не сделать так:
алфавит 0,1,+
Правило:
a+b -> f(a,b)

разве это противоречило бы правилам алгоритма?
...
Рейтинг: 0 / 0
31.05.2020, 03:22
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964570
Aleksandr Sharahov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Aleksandr Sharahov
Участник
mini.weblab
а почему бы не сделать так:
алфавит 0,1,+
Правило:
a+b -> f(a,b)

разве это противоречило бы правилам алгоритма?


Это противоречит определению НАМ:

1. НАМ - это упорядоченный набор строковых замен (некоторые замены могут иметь флаг останова).

2. НАМ начинает работу с единственной входной строки, последовательно выполняя шаги.

3. На очередном шаге НАМ просматривает список замен с самого начала и выполняет первую подходящую замену.
При этом замена в текущей строке выполняется 1 раз для первого подходящего фрагмента строки.

4. НАМ останавливается, если на очередном шаге не найдена подходящая замена
или если выполненная замена имела флаг останова.

5. Результатом работы НАМ является текущая строка в момент прекращения его работы.
...
Рейтинг: 0 / 0
31.05.2020, 10:28
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964572
Aleksandr Sharahov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Aleksandr Sharahov
Участник
mini.weblab,

поэтому когда вас просят разработать НАМ для сложения чисел в двоичной записи,
это означает, что нужно просто указать список замен.
...
Рейтинг: 0 / 0
31.05.2020, 10:39
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964575
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
mini.weblab
а почему бы не сделать так:
алфавит 0,1,+
Правило:
a+b -> f(a,b)

разве это противоречило бы правилам алгоритма?

Давай мы этот вопрос адресуем новому топику который ты сама создашь.
...
Рейтинг: 0 / 0
31.05.2020, 11:21
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964634
Aleksandr Sharahov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Aleksandr Sharahov
Участник
Swa111,

правильно ли я понял, что последний более быстрый вариант реализации бинарного умножения
отличается от предыдущего перестановкой замен и добавлением ускорителей, например:
0g0000 -> 00000g
0g00 -> 000g
0g0 -> 00g


P.S.
НАМы и без оптимизаций довольно трудны для понимания,
а после перестановок и вовсе теряют читаемость,
поэтому, проявляя заботу о читателях,
хочется попросить наряду с оптимизированной версией
также публиковать неоптимизированную версию алгоритма.
...
Рейтинг: 0 / 0
31.05.2020, 13:12
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964668
mini.weblab
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mini.weblab
Участник
mayton,
нет, спасибо, думаю, не стоит
...
Рейтинг: 0 / 0
31.05.2020, 14:16
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964713
Swa111
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Swa111
Гость
Aleksandr Sharahov,

Да весь выигрыш как раз в ускорителях. При этом если считать именно число шагов по правилам то реальную помощь дает только
0t00 -> 000t.

Остальные хоть и уменьшают число замен, но увеличивают число итераций
...
Рейтинг: 0 / 0
31.05.2020, 16:21
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964719
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Беря во внимание сугубую ДОКАЗАТЕЛЬНУЮ теоретичность НАМ, я-бы предложил писать чисто-рафинированные
алгоритмы без оптимизаций. Оптимизации всегда можно предложить потом. Ценой какой-то потери читабельности.

Мне нравится вариант когда мы например "сложение" просто заменяем инкрементом с рекурсивным условием.
Это - в духе функциональщины.
...
Рейтинг: 0 / 0
31.05.2020, 16:41
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964732
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Следующий вопрос.

Можем-ли мы реализовать ПОЛИЗ.

Пример:

Input:
Код: sql
1.
sqrt(7 * (3 + 1))



Output
Код: sql
1.
7 3 1 + * sqrt




При этом понимаем что плюс и минус - бинарная функция а квадратный корень - унарная.
...
Рейтинг: 0 / 0
31.05.2020, 17:00
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964734
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Еще вопрос.

Можем-ли мы реализовать общий случай генерации перестановок (combinations) для любого числа символов?

Input:
Код: sql
1.
123



Output:
Код: sql
1.
2.
3.
4.
5.
6.
123
132
213
231
312
321
...
Рейтинг: 0 / 0
31.05.2020, 17:02
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964739
booby
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
booby
Участник
mayton,

это не просто "в духе", все эти папагиглеммы и есть существо функциональщины,
доказывающее, что все, что может быть вычислено, вычислимо иммутабельным образом,
если замену видеть как атомарную операцию.
Алгорифм бежит только вперед.
А то, что обычно алгоритмом называется, представлено списком замен, которые, в обычном понимании, просто "данные".
Попом на этом сидит вся функциональщина, одновременно с декларативными прологами и последователями.
Подставив еще одну замену ты внедряешь еще одну первоклассную функцию, по сути.
Я никогда не влезал в эту тему, а на беглый взгляд вот такой вопрос заинтересовал:
В классике алгорифмы статичны в отношении списка используемых правил.
Исследовал ли кто-нибудь, и как назвал, подобные конструкции с динамически изменяемым в процессе работы алгорифма списком правил.
Есть для такого случая формализьма...
...
Рейтинг: 0 / 0
31.05.2020, 17:11
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964746
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
booby

В классике алгорифмы статичны в отношении списка используемых правил.
Исследовал ли кто-нибудь, и как назвал, подобные конструкции с динамически изменяемым в процессе работы алгорифма списком правил.
Есть для такого случая формализьма...

Я на самом деле хотел еще сильнее усугубить вопрос формализма НАМ.

Лет 15 назад мне попала в руки Книга Душкина. И она (честно говоря) надолго отбила у меня желание
изучать ФП и Хаскель в том числе. Книга - изобиловала отсылкой к математике. Ну чтобы понять сравнение
это как полезность Дональда Кнута в изучении С++. Вроде и надо. И в тоже время старина Кнут затягивает
тебя как воронка в очень занудные исследования непонятных сущностей как то машина MIX, ленточные
сортировки, и прочие абстракции которые современному разработчику вобщем не нужны. Их просто негде
применить. А если кто-то ищет другой порог вхождения то он его 100% найдет. И это будет не Кнут.

Слава богу мой хороший наставник Саша Немиш и и коммитер в Хаскель сообщество Виталий Брагилевский
немного освежили во мне желание снова посмотреть на этот язык. Я вобщем не планирую особо на нем кодить.
Нет заказов вообще. Но его изучать полезно чтобы просто понять - а зачем собсно в Scala вводили ту или иную
метафору или зачем например Java нужны streams с искусственными ограничителям.

Так вот. В главе 5.1 Основы комбинаторной логики (КЛ) Душкин приводит комбинаторы тождества (I),
канцелятор (K), коннектор (S), композитор (B), пермутатор (С) и дубликатор (W). Меня это заинтересовало.
К сожелению Душкинские примеры с неподвижной точкой и играми с базисами были для меня непонятны
с практической стороны. Я искал за что зацепиться с практики. Не смог.

И данный топик является просто пред-течей или преамбулой для другого топика который я просто обдумываю.
Обычно такой вопрос у меня вызревает долгими годами. И когда я пишу его текст - он на 80 % уже
у меня в голове готов. Я просто дополняю его линками.

Так вот. Какая связь между НАМ и КЛ. Я посчитал что если момедитировать над Марковскими правилами
то возможно я увижу какую-то мысль или связь которая меня подтолкнет к логике комбинаторов.
...
Рейтинг: 0 / 0
31.05.2020, 17:28
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964748
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
booby

Попом на этом сидит вся функциональщина, одновременно с декларативными прологами и последователями.
Подставив еще одну замену ты внедряешь еще одну первоклассную функцию, по сути.

Тема пролога мне была интересна прошлой осенью. Я хотел ее применить для поиска фактов
в дата-аналитике крупного бизнеса. Но не вышло по техническим причинам. Я не смог затащить
в проект зависимость от SWI-Prolog.

И моё достижение - это формальное доказательство на Прологе того что Иисус Христос - сын божий.
Только для этого мне пришлось записать порядка несколько сотен библейских фактов о отцовстве
и наследовании.
...
Рейтинг: 0 / 0
31.05.2020, 17:34
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964749
Aleksandr Sharahov
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
Aleksandr Sharahov
Участник
mayton
Еще вопрос.

Можем-ли мы реализовать общий случай генерации перестановок (combinations) для любого числа символов?

Input:
Код: sql
1.
123



Output:
Код: sql
1.
2.
3.
4.
5.
6.
123
132
213
231
312
321



результат должен быть строкой с разделителем?
...
Рейтинг: 0 / 0
31.05.2020, 17:34
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964754
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Aleksandr Sharahov

результат должен быть строкой с разделителем?

Хм... хороший вопрос.

Если у нас будет автомат-преобразователь следующей перестановки - то это будет успех.

Код: sql
1.
2.
3.
4.
5.
Input:
231 

Output:
312



Или если надо будет ввести искусственно код состояния. Или код рекурсии - то давай введем.

Код: sql
1.
2.
3.
4.
5.
Input:
231(0)

Output:
312(1)
...
Рейтинг: 0 / 0
31.05.2020, 17:45
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964762
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
booby

В классике алгорифмы статичны в отношении списка используемых правил.
Исследовал ли кто-нибудь, и как назвал, подобные конструкции с динамически изменяемым в процессе работы алгорифма списком правил.

У меня не возникало желания изменять правила. Но очень хотелось разбить их на непересекающиеся
модули. Причем терминалка должна была бы просто переходить в другой модуль.

Пример.

Код: sql
1.
2.
3.
4.
5.
6.
7.
8.
9.
module 1 {
  rule1 -> repl1
  rule2 |-> :goto module_2
}

module 2 {
  rule1 -> repl3
  rule2 |-> :stop
}



Разумеется это не чистый НАМ. Но это моё определённое улучшение в духе Маркова.

Надеюсь госпожа mini.weblab меня здесь поймет и не будет настаивать на имеративных
языках.
...
Рейтинг: 0 / 0
31.05.2020, 17:58
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964778
booby
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
booby
Участник
mayton,

это выглядит как чистый сахар, удобство программиста, даже если
после стопа предполагается возврат.
В общем - вопрос реализации.

Изменяемый состав правил - это программа пишет сама себя по мере функционирования,
в целях всякого дип лёрнинга и построения прочих нейросетей.
То есть, кроме накопления состава фактов ( в терминах пролога) происходит докидывание/накопление,
а то и замена, правил вывода.
Вот что-то такое я думал, когда предыдущий пост писал.
...
Рейтинг: 0 / 0
31.05.2020, 18:22
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964781
booby
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
booby
Участник
booby,

мне кажется, японцы чего такого про пролог измышляли,
когда хавтались за него, как язык будущего искусственного интеллекта.
...
Рейтинг: 0 / 0
31.05.2020, 18:26
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964782
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
Я тебя понял. Нет о таком я не думал. Очень напоминает eval в транслируемых языках.
И вопрос доказательства останова (к примеру) для нас становится еще более неочевидным.

Хотя я не против эксперимента если ты предложишь своё улучшение. NMA-eval.
...
Рейтинг: 0 / 0
31.05.2020, 18:26
| Ответить | Цитировать | Написать  
Четверговый НАМ и сложение двоичных чисел в строках
    #39964788
Фотография mayton
Скрыть профиль Поместить в игнор-лист Сообщения автора в теме
mayton
Участник
booby
booby,

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

У меня был еще один мотиватор. Экспертные системы в роли telegram-чят ботов.

Почему я об этом задумался. Когда я посмотрел их исходники в e-commerce.
Я пришел в ужас. Интеллектом там и не пахнет. Все на if-else. И ребята
которые пишут диалоговых ботов даже слыхом не слыхали про Prolog.

Мне это показлось как минимум - обидным. Конечно я не собирался
писать своего чят бота в телеграм. Но я хотел реализовать некое теч-демо
взяв экспертную систему из 80х (ну какую-нибудь по диагностике неполадок
например автомобиля). Взять - я имею в виду "слямзить" готовую. И просто
интегрировать ее с Телеграм-Ботом и показать.

- Ребята! Вот как надо! Вот как родные!
...
Рейтинг: 0 / 0
31.05.2020, 18:32
| Ответить | Цитировать | Написать  
25 сообщений из 107, страница 4 из 5
  4  все
Форумы / Программирование [игнор отключен] [закрыт для гостей] / Четверговый НАМ и сложение двоичных чисел в строках
Целевая тема:
Создать новую тему:
Автор:
Закрыть
Цитировать
Найденые пользователи ...
Разблокировать пользователей ...
Читали тему (0):
Читали форум (0):
Пользователи онлайн (0):
Польз. соглашение
NoSQL.ru       Новости, Чат       Фотоальбом: Участники, Встречи
Закрыть
start [/forum/topic.php?fid=16&msg=39964519&tid=1339708]:
 0ms
get settings:
 7ms
get forum list:
 12ms
check forum access:
 4ms
check topic access:
 4ms
track hit:
 149ms
get topic data:
 7ms
get forum data:
 2ms
get page messages:
 53ms
get tp. blocked users:
 1ms
others: 12ms
total:  251ms
созд. / загр.: 251ms
x
x
Закрыть


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