?

Log in

No account? Create an account

Алло, мы ищем логических дизайнеров! - Ваши рубидии уже у кобальта во ртути

Oct. 12th, 2015

07:13 pm - Алло, мы ищем логических дизайнеров!

Previous Entry Share Next Entry

Comments:

[User Picture]
From:spamsink
Date:October 21st, 2015 02:09 am (UTC)
(Link)
Сообщив о том, что он сделал 6 функций, ftdf меня подбодрил, и я тоже сделал, причем у нас оказались разные методы.
(Reply) (Parent) (Thread)
[User Picture]
From:mtve
Date:October 26th, 2015 04:13 pm (UTC)
(Link)
осилил 6. неделю играл с SAT формулами, наконец дожал.
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:October 26th, 2015 04:23 pm (UTC)
(Link)
В смысле, что решение получилось (полу)автоматически?
(Reply) (Parent) (Thread)
[User Picture]
From:mtve
Date:October 26th, 2015 08:01 pm (UTC)
(Link)
да, силовой метод, если можно так сказать) верификация отдельных гипотез и перебор. cryptominisat рулит!
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:October 26th, 2015 08:07 pm (UTC)
(Link)
Интересно будет через неделю, когда официальный ответ будет уже объявлен, посмотреть на Ваш. У нас с ftdf получилось вручную, разными способами. Что забавно, его путь решения я ошибочно отверг практически сразу, когда еще решал в уме, поэтому в ту сторону больше не думал. Если бы решал сразу на бумажке или компьютере, скорее всего, окончательный результат получился бы гораздо быстрее.
(Reply) (Parent) (Thread)
[User Picture]
From:mtve
Date:October 27th, 2015 11:59 am (UTC)
(Link)
я помогал решателю с топологией (фиксировал часть соединений), т.к. полный перебор за пределами ресурсов. получив решение, я его проверил, но не разбирался как оно работает, сам повторить его не могу.

md5 моего решения 24e4e0de0c60050887396d545dd4e17d

хочу втиснуть слово "mtve", но пока одна буква не влезает.
(Reply) (Parent) (Thread)
[User Picture]
From:mtve
Date:November 1st, 2015 08:28 am (UTC)
(Link)
моё решение по схеме 5,+1,5,...

abcde01321221122123101221231023103003
mndef33111111323221212222222221213210
ghijk13312113211302202113022002203002
qrjkp12010101231212122312120112232312
nqtfl13300221300221133013210202301321
ostfv22311111121222221212222220200000
24 23 22 21


возможно у меня перепутаны msb/lsb, в понедельник всё проверю
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:November 2nd, 2015 07:15 am (UTC)
(Link)
Интересно, что результат получается по 2 бита зараз в двух последних функциях, надо будет разобраться, как это.

Я опубликовал описание ручного решения.
(Reply) (Parent) (Thread)
[User Picture]
From:mtve
Date:November 3rd, 2015 02:50 pm (UTC)
(Link)
кстати, получается интересная последовательность "число входов для суммирования"->"число 5:2 функций"

1->0
2->1
3->1
4->2
5->2
6->3
7->3
8->4
9->4
10->5
11->5? -- сейчас считаю
12->6
(Reply) (Parent) (Thread)
[User Picture]
From:mtve
Date:November 9th, 2015 10:53 am (UTC)
(Link)
ничего интересного пока не нашёл, кроме вот такой задачи: просуммировать 6 входов при помощи функций 5->1 (вариант: 7 входов и 6->1)

ответ получается очень неожиданный на мой взгляд.
(Reply) (Parent) (Thread)
[User Picture]
From:mtve
Date:November 12th, 2015 08:55 am (UTC)
(Link)
размочил 11->5
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:November 15th, 2015 08:06 pm (UTC)
(Link)
Вручную у меня не получилось. Я хочу это видеть!
(Reply) (Parent) (Thread)
[User Picture]
From:mtve
Date:November 16th, 2015 09:37 am (UTC)
(Link)
оно опять "машинное":

abcde13303002300202213002022102212113
fghil23313110311010023110100210020223
jkmno20133102123003211230032131022013
deilo00101011221032112210321122323233
mnqrs22222222212102022211002202210221
21 20 17 16


нужны спойлеры для "6 через 5:1" и "7 через 6:1"?
(Reply) (Parent) (Thread)
[User Picture]
From:spamsink
Date:November 16th, 2015 06:39 pm (UTC)
(Link)
Спасибо; не знаю, найду ли время разбираться, как оно работает.
Для "6 через 5:1" и "7 через 6:1" синтезатор мне дает по 5 функций.
(Reply) (Parent) (Thread)
[User Picture]
From:mtve
Date:November 17th, 2015 11:38 am (UTC)
(Link)
по 4! :)
(Reply) (Parent) (Thread) (Expand)