Задачи от Исмаилова (все в одной теме)

[Elise]

Ну да, я это и имела ввиду. Имела ввиду по 10 конфет Жене и ШУхрату, остальное Надиру. А есть их он будет в два присеста. Один раз 65, другой раз 15. =)

[Evgeniy Sklyarevskiy]

24 минуты да?

Отличная задача! Спасибо!

[Shuhrat Ismailov]

Сообщение от Evgeniy Sklyarevskiy

24 минуты да?

Отличная задача! Спасибо!

Да.

[Evgeniy Sklyarevskiy]

О - я крут! :-)

[Shuhrat Ismailov]

Надир считает, что два арбуза тяжелее трех дынь, Женя считает, что три арбуза тяжелее четырех дынь. Известно, что один из них прав, а другой ошибается. Верно ли, что 12 арбузов тяжелее 18 дынь? Считается, что все арбузы весят одинаково и все дыни весят одинаково.

[Shuhrat Ismailov]

Сообщение от Evgeniy Sklyarevskiy

О - я крут! :-)

Ага.

[Elise]

1. Если Надир прав, то утверждение верно, т.е. 12 арбузов тяжлее 18 дынь.
2a>3d
a>1.5d
соответственно, 12a>18d

2. Если прав Женя, то утверждение не верно, верным будет утверждение, что 12 арбузов тяжелее 15 дынь.
3a>4d
a>1.25d
12a>15d

[Elise]

Если теоретически можно ломать шоколадку по одной дольке, то победит тот, кто начнет вторым ломать.

[Rooslan Khayrov]

Я ленивый, пусть его компьютер считает... тоже ленивым образом ;-)

import Data.List
import Data.Ratio
import Control.Monad

data Event t = Cooked t | Eaten t deriving Show

time (Cooked t) = t
time (Eaten t) = t

instance Eq t => Eq (Event t) where
    x == y = time x == time y

instance Ord t => Ord (Event t) where
    compare x y = (time x) `compare` (time y)

cook dt = map Cooked $ drop 1 $ iterate (+dt) 0

shuh = cook $ 30%100
jenya = cook $ 40%100

merge xs [] = xs
merge [] xs = xs
merge xs@(x:xs1) ys@(y:ys1)
    | x <= y    = x : merge xs1 ys
    | otherwise = y : merge xs ys1

pancakes = merge shuh jenya

eat dt tm (Cooked t : ts) = (Eaten next) : eat dt next ts where next = (max t tm) + dt

nodir = eat (60%100) 0

events = merge pancakes (nodir pancakes)

withStock = zip events (drop 1 $ scanl diff 0 events)
    where diff n (Cooked _) = n + 1
          diff n  (Eaten _) = n - 1

main = mapM_ print $ take 5 $ dropWhile ((<100).snd) withStock

(Cooked (237 % 10),100)
(Eaten (237 % 10),99)
(Cooked (24 % 1),100)
(Cooked (24 % 1),101)
(Cooked (243 % 10),102)

Действительно, 24 минуты :-)

[Evgeniy Sklyarevskiy]

Не согласен, частично...

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

2. Если прав Женя, то утверждение не верно, верным будет утверждение, что 12 арбузов тяжелее 15 дынь.
3a>4d
a>1.25d
12a>15d

3a > 4d
а > 4d/3
12a > 16d - хотя ответ тот же - то, что тяжелее 16 дынь вовсе не значит, что будет тяжелее 18