1. Куча / Говнокод #15738

    +125

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    11. 11
    12. 12
    13. 13
    14. 14
    15. 15
    16. 16
    17. 17
    18. 18
    19. 19
    20. 20
    21. 21
    22. 22
    23. 23
    24. 24
    25. 25
    26. 26
    27. 27
    28. 28
    29. 29
    30. 30
    31. 31
    32. 32
    33. 33
    34. 34
    35. 35
    36. 36
    37. 37
    38. 38
    39. 39
    40. 40
    % -*- mode: Prolog -*-

:- module e9.
:- interface.
:- import_module io.
:- pred main(io::di, io::uo) is cc_multi.

:- implementation.
:- import_module int, float, list, string, math.

:- func root(int) = int.
root(Number) = floor_to_int(sqrt(float(Number))).

:- func squares_under(int, int) = list(int).
squares_under(From, To) = Result:-
    (Square = From * From,
     (if Square =< To
     then Result = [Square | squares_under(From + 1, To)]
     else Result = [])).

:- pred list_to_disjunction(list(int)::in, int::out) is nondet.
list_to_disjunction([Head | Tail], Result):-
    (Result = Head; list_to_disjunction(Tail, Result)).

:- pred summands_of(list(int)::in, int::in, { int, int, int }::out) is cc_nondet.
summands_of(Squares, Sum, { A, B, C }):-
    list_to_disjunction(Squares, As),
    list_to_disjunction(Squares, Bs),
    list_to_disjunction(Squares, Cs),
    As < Bs, Bs < Cs,
    As + Bs = Cs,
    root(As) + root(Bs) + root(Cs) = Sum,
    A = As, B = Bs, C = Cs.

main(!IO):-
    Sum = 1000,
    Squares = squares_under(1, Sum * Sum),
    (if summands_of(Squares, Sum, { A, B, C })
    then io.format("Answer: A = %d, B = %d, C = %d\n", [i(A), i(B), i(C)], !IO)
    else io.format("No solutions\n", [], !IO)).

    Давно как-то мы не вспоминали Прожект Ойлер.
    Язык: Меркури,
    Эффективность решения: наверное, полный пиздец.

    Для тех, кому нечем заняться: http://joyreactor.com/post/954661

    Запостил: wvxvw, 12 Апреля 2014

    Комментарии (6) RSS

    • ava kipar 12.04.2014 15:27 # 0

      Без комментов никогда бы не догадался в чем шутка.
      Ответить

    • ava bormand 12.04.2014 15:34 # 0

      Язык походу совсем не подходит для таких задач :)
      Ответить

      • ava wvxvw 12.04.2014 15:37 # 0

        Это увы, да. Надо искать другой источник вдохновления. Но сразу что-то сложное делать не хочется. (И вообще ничего сложного делать не хочется)
        Ответить

        • ava guest 12.04.2014 15:44 # +1

          Что тут с эффективностью то?
          Ответить

          • ava wvxvw 12.04.2014 17:11 # 0

            Я, если честно, не уверен, в том, как именно оно работает, но предположительно было бы проще сначала найти все пифагоровы тройки в нужном диапазоне, а потом их проверить. Чтобы понять на сколько хуже полученый код, нужно смотреть что там за Си код получился в промежутке. Я даже, если честно, то не знаю как.
            Ответить

          • ava wvxvw 12.04.2014 18:14 # +1

            ПС. Имелось в виду что-то такое: http://en.wikipedia.org/wiki/Formulas_for_generating_Pythagorean_trip les
            Ответить

    Добавить комментарий