Коллега прислал.

Кто первый?
Только решение сразу не пишите, пусть народ подумает.

В некотoрых москoвских элитных детских садах дают такие задачки при пoступлении в подгoтовительную группу...

8809 = 6
7111 = 0
2172 = 0
6666 = 4
1111 = 0
3213 = 0
7662 = 2
9312 = 1
0000 = 4
2222 = 0
3333 = 0
5555 = 0
8193 = 3
8096 = 5
7777 = 0
9999 = 4
7756 = 1
6855 = 3
9881 = 5
5531 = 0

2581 = ?

6>2581 = ?

2

Здравствуйте, 6750km, Вы писали:

6>Кто первый?
Я первый!
6>Только решение сразу не пишите, пусть народ подумает.
Ответ не пишу — пусть народ подумает

Здравствуйте, 6750km, Вы писали:

6>Коллега прислал.

6>Кто первый?
6>Только решение сразу не пишите, пусть народ подумает.

6>В некотoрых москoвских элитных детских садах дают такие задачки при пoступлении в подгoтовительную группу...

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

>В некотoрых москoвских элитных детских садах дают такие задачки при пoступлении в подгoтовительную группу...
да не иссякнут бояны на земле русской
здесь

Автор: DanDi
Дата: 29.03.07

Здравствуйте, Вумудщзук, Вы писали:

В>да не иссякнут бояны на земле русской
Миль пардон) вроде поискала даж)

Здравствуйте, Kana, Вы писали:

6>>2581 = ?
K>2

Yes.

6750 = 2581 ?

Здравствуйте, Sinus, Вы писали:

S>6750 = 2581 ?

Да, научно выражаясь они принадлежат одному классу эквивалентности

Здравствуйте, deniok, Вы писали:

D>Да, научно выражаясь они принадлежат одному классу эквивалентности

К сожалению, нет: была введена некоммутативная операция "=", левый операнд — классифицируемый объект, правый — классификатор.
Это не очень честно, но поскольку формальные типы совпадают (и то, и другое суть числа), даже Хаскелл не мяукнет. Не говоря уже о С++, где вообще можно всё.

Здравствуйте, Кодт, Вы писали:

К>Здравствуйте, deniok, Вы писали:

D>>Да, научно выражаясь они принадлежат одному классу эквивалентности

К>К сожалению, нет: была введена некоммутативная операция "=", левый операнд — классифицируемый объект, правый — классификатор.
К>Это не очень честно, но поскольку формальные типы совпадают (и то, и другое суть числа), даже Хаскелл не мяукнет. Не говоря уже о С++, где вообще можно всё.

В терминах постановки задачи равенство имеет место

Здравствуйте, 6750km, Вы писали:

6>Коллега прислал.

6>Кто первый?
6>Только решение сразу не пишите, пусть народ подумает.

6>В некотoрых москoвских элитных детских садах дают такие задачки при пoступлении в подгoтовительную группу...

6>8809 = 6
6>7111 = 0
6>2172 = 0
6>6666 = 4
6>1111 = 0
6>3213 = 0
6>7662 = 2
6>9312 = 1
6>0000 = 4
6>2222 = 0
6>3333 = 0
6>5555 = 0
6>8193 = 3
6>8096 = 5
6>7777 = 0
6>9999 = 4
6>7756 = 1
6>6855 = 3
6>9881 = 5
6>5531 = 0

6>2581 = ?
2

Здравствуйте, Кодт, Вы писали:

К>Здравствуйте, deniok, Вы писали:

D>>Да, научно выражаясь они принадлежат одному классу эквивалентности

К>К сожалению, нет: была введена некоммутативная операция "=", левый операнд — классифицируемый объект, правый — классификатор.
К>Это не очень честно, но поскольку формальные типы совпадают (и то, и другое суть числа), даже Хаскелл не мяукнет. Не говоря уже о С++, где вообще можно всё.

Здесь я вижу две разные операции обозначаемые значком =
(1) исчисление характеристики в исходном сообщении — тут, да, отношение над парой (классифицируемый объект, классификатор), но речь же у синуса вроде не о нем, а о
(2) сравнение классифицируемых объектов "по модулю" классификатора; и тут как раз и лезут классы эквивалентности

data Obj = Obj Int

-- сравнение (1)
(=.) :: Obj -> Int -> Bool
(=.) x m  = classify x == m

-- считаем классификатор-характеристику
classify :: Obj -> Int
classify (Obj n) = ... -- просили не разглашать :)

-- сравнение (2)
instance Eq Obj where
 x == y = classify x == classify y

Проверка в GHCi:

*Tst1> Obj 6750 =. 2
True
*Tst1> Obj 2581 =. 2
True
*Tst1> Obj 6750 == Obj 2581 
True

Здравствуйте, Sinus, Вы писали:

S>В терминах постановки задачи равенство имеет место
Нет, так как 2581 = 2, но 2 != 2. 2 = 0!!!

Здравствуйте, Erop, Вы писали:

S>>В терминах постановки задачи равенство имеет место

Равенство-то имеет место, да обозначаться оно будет не = а чем-нибудь другим.
Вот в том же хаскелле пришлось ввести =. и перегрузить ==

E>Нет, так как 2581 = 2, но 2 != 2. 2 = 0!!!
Идём дальше: 2=0, 0=1, 1=0, ура, круг замкнулся!

Здравствуйте, 6750km, Вы писали:

6>Коллега прислал.

6>Кто первый?
6>Только решение сразу не пишите, пусть народ подумает.

6>В некотoрых москoвских элитных детских садах дают такие задачки при пoступлении в подгoтовительную группу...

6>8809 = 6
6>7111 = 0
6>2172 = 0
6>6666 = 4
6>1111 = 0
6>3213 = 0
6>7662 = 2
6>9312 = 1
6>0000 = 4
6>2222 = 0
6>3333 = 0
6>5555 = 0
6>8193 = 3
6>8096 = 5
6>7777 = 0
6>9999 = 4
6>7756 = 1
6>6855 = 3
6>9881 = 5
6>5531 = 0

6>2581 = ?

У меня 7 получилось...