Фон

Існує загальна загадка, яка йде приблизно так:

Равлик знаходиться на дні 30-футового колодязя. Щодня равлик здатний підніматися на 3 фути. Вночі, коли вони сплять, вони ковзають назад на 2 фути. Скільки днів потрібно, щоб равлик вийшов із криниці?

Інтуїтивно зрозуміла відповідь

30 днів, оскільки равлик піднімається 1 футом на день протягом 30 днів, щоб досягти вершини,

але насправді відповідь така

28 днів, оскільки колись равлик на 27 футів у повітрі (через 27 днів), вони просто піднімуться на 3 дні на вершину 3 фути на вершину.

Виклик

Цей виклик узагальнює цю загадку. Враховуючи три цілі натуральні числа, що представляють загальну висоту, висоту підйому та висоту падіння, поверніть кількість днів, які знадобляться, щоб піднятися зі свердловини.

Якщо равлик не може вилізти з криниці, ви можете повернути 0, повернути помилкове значення або викинути виняток. Ви також можете написати код, який зупиниться, якщо і лише тоді, коли існує рішення.

За бажанням ви можете взяти висоту падіння як від’ємне ціле число.

Випробування

(30, 3, 2) -> 28
(84, 17, 15) -> 35
(79, 15, 9) -> 12
(29, 17, 4) -> 2
(13, 18, 8) -> 1
(5, 5, 10) -> 1
(7, 7, 7) -> 1
(69, 3, 8) -> Немає
(81, 14, 14) -> Немає

Оцінка балів

Це код-гольф , тому найкоротша відповідь на кожній мові виграє.

Сірий равлик , 1206 байт для числового вводу / виводу, 149 байт для одинарного вводу / виводу

Задля розваги. Склад першої програми:

• 451 байт, перетворюючи число в крапки
• 121 байт, основна функція (окрема версія написана нижче)
• 634 байти, перетворюючи крапки в число

Візьміть числовий вхід і вихід. Вхід A, B, Cвідповідно. Порівняно з іншими (близькими) O(1)відповідями, код має складність O(n). Але для великої кількості це може спочатку з'їсти вашу пам’ять.

Повісьте, якщо не знайдено рішення.

INPUT p
POP Z r .!
f
POP Z o .
q
POP Z p [p]
GOTO [Z]
0
POP Z n .
GOTO w
1
POP Z n ..
GOTO w
2
POP Z n ...
GOTO w
3
POP Z n ....
GOTO w
4
POP Z n .....
GOTO w
5
POP Z n ......
GOTO w
6
POP Z n .......
GOTO w
7
POP Z n ........
GOTO w
8
POP Z n .........
GOTO w
9
POP Z n ..........
GOTO w
w
POP Z o .[o][o][o][o][o][o][o][o][o][o][n]
GOTO [r] [p] 
GOTO q
!
POP Z A .[o]
INPUT p
POP Z r .@
GOTO f
@
POP Z B .[o]
INPUT p
POP Z r .#
GOTO f
#
POP Z C .[o]
POP H N .[B]
U
POP Z A [A]
POP Z B [B]
GOTO D [A] 
GOTO $ [B] 
GOTO U
$
POP Z A .[A][C]
POP Z H ..[H]
POP Z B .[N]
GOTO U
D
POP Z r .
POP Z M .
POP Z N ...........
POP Z z .[N]
POP Z V .[H]
+
GOTO l[V] [H] 
POP Z H [H]
POP Z z [z]
GOTO ( [z] 
GOTO +
(
GOTO ) [H] 
POP Z z .[N]
POP Z M ..[M]
POP Z V .[H]
GOTO +
)
POP Z r .0[r]
POP Z M ..[M]
POP Z H .[M]
POP Z M .
POP Z V .[H]
POP Z z .[N]
GOTO +
l
POP Z r .0[r]
GOTO -
l.
POP Z r .1[r]
GOTO -
l..
POP Z r .2[r]
GOTO -
l...
POP Z r .3[r]
GOTO -
l....
POP Z r .4[r]
GOTO -
l.....
POP Z r .5[r]
GOTO -
l......
POP Z r .6[r]
GOTO -
l.......
POP Z r .7[r]
GOTO -
l........
POP Z r .8[r]
GOTO -
l.........
POP Z r .9[r]
GOTO -
-
GOTO / [M] 
POP Z H .[M]
POP Z M .
POP Z V .[H]
POP Z z .[N]
GOTO +
/
OUTPUT [r]

f- це (можливо) рекурсивна функція для перетворення цілих чисел у крапки. Аргумент зберігається [p]і виводиться в [o].

Uце тестування функцій S1>=S2, зберігаючи параметр у B, A, зберігаючи A-Bв A.

Код, починаючи з D- це заглушка, що перетворює крапки в цифри.

Принцип, що лежить в основі, збігається з моєю відповіддю С (зірвавши помилковий вихід за неможливі рішення).

Автономна версія, 149 156 157 167 170 230 байти, підтримуються лише одинарні введення / виведення

Введення має бути крапками, наприклад ..........для 10.

INPUT A
INPUT B
INPUT C
POP N H .
GOTO U
$
POP N A .[A][C]
POP Z H ..[H]
U
POP Z A [A]
POP Z N ..[N]
GOTO D [A] 
GOTO $ .[B] [N]
GOTO U
D
OUTPUT .[H]

Uобчислює A=A-Bі стрибає до того, Dколи A<=0. В іншому випадку $призначається A+Cдля Aі виклику U.

Повісьте, якщо не знайдено рішення.

Прийоми: зловживати здатністю "компілятора" інтерпретувати порожній рядок. Ви можете зірвати умови в GOTOоператорі, щоб зробити безумовні стрибки, і для того ж працює трюк POP.

Зауваження: я можу переграти його більше на 3 байти, але, роблячи це, моя відповідь і відповідь WheatWizard матимуть таку ж логіку. Результат, мабуть, є найкоротшим рішенням GraySnail, і я намагаюся це довести.

Зауважте: підрахунок байтів ставить під сумнів Мартін Ендер у коментарях. Здається, немає чіткого консенсусу щодо того, що робити з названими рекурсивними лямбда-виразами у відповідях на C #. Тому я поставив питання в Meta про це.

C # (.NET Core) , 32 31 байт

f=(a,b,c)=>a>b?1+f(a-b+c,b,c):1

Спробуйте в Інтернеті!

Рекурсивний підхід. Якщо равлик не може втекти, це закінчується таким повідомленням:Process is terminating due to StackOverflowException.

• 1 байт збережено завдяки LiefdeWen!

GREY SNAIL, 219 206 169 167 159 156 146 байт (одинарний IO)

INPUT a
INPUT u
INPUT d
POP U c 
GOTO 1
3
POP f a [a][d]
POP U c ..[c]
1
GOTO 2 [a] 
GOTO 3 [U] [u]
POP f U ..[U]
POP f a [a]
GOTO 1
2
OUTPUT [c].

Я думаю, що я можу трохи пограти в гольф.

JavaScript (ES6), 31 28 27 байт

Збережено кілька байт завдяки @Arnauld

Я не розумів, що ми можемо зазнати невдачі за винятком. Досить впевнений, що це оптимально:

u=>d=>g=h=>h>u?1+g(h-u+d):1

Призначте змінну з, наприклад f=, тоді дзвоніть як f(climb)(fall)(height). Кидає, InternalError: too much recursionякщо піднятися неможливо.

JavaScript (ES6), 38 байт

f=(h,u,d=0)=>h>u?u>0?1+f(h-u,u-d):+f:1

Рекурсивна функція, яка повертає кількість днів, або NaNніколи.

Тестові справи

let f=(h,u,d=0)=>h>u?u>0?1+f(h-u,u-d):+f:1;

[
  [30,  3,  2],
  [84, 17, 15],
  [79, 15,  9],
  [29, 17,  4],
  [13, 18,  8],
  [ 5,  5, 10],
  [ 7,  7,  7],
  [69,  3,  8],
  [81, 14, 14]
].map(x => console.log(x + '', '->', f.apply(null, x)))

Excel, 51 46 байт

-1 байт завдяки @ Scarabee .

-4, тому що INT (x) = ПОЛЬ (x, 1)

=IF(B1<A1,IF(C1<B1,-INT((B1-A1)/(B1-C1)-1)),1)

Введення взято з клітин А1, В1 і С1 відповідно. Повернення FALSEдля недійсних сценаріїв.

C (gcc), 39 43 44 46 47 58 60 байт

Тільки на 32-розрядному GCC і всі оптимізайтони відключені.

f(a,b,c){a=a>b?b>c?1+f(a-b+c,b,c):0:1;}

Повертайте 0, коли рішення неможливо. Модифікована версія оригінального рекурсивного рішення.

Натхненний рішеннями @Jonah J та рішенням @CarlosAlejo C #.

Я оновлю розширену версію пізніше (після того, як закінчу відповідь "Сірий равлик").

Java (OpenJDK 8) , 35 байт

(a,b,c)->b<a?c<b?(a+~c)/(b-c)+1:0:1

Спробуйте в Інтернеті!

Математика перемагає!

Кредити

• -1 байт завдяки Kevin Cruijssen

Python 2 , 37 байт

f=lambda x,y,z:x-y<1or 1+f(x-y+z,y,z)

Спробуйте в Інтернеті!

Нарешті я отримав мою рекурсивну версію нижче мого стандартного розрахунку (я передавав підрахунок до своєї функції замість того, щоб додати її, перш ніж викликати її).

Пітон 2 , 4346 байт

#43 bytes
lambda x,y,z:y/x>0 or[1-(x-y)/(z-y),0][z/y]
#46 bytes
lambda x,y,z:y/x and 1or[1-(x-y)/(z-y),0][z/y]

Спробуйте в Інтернеті!

Поголив 3 байти, торгуючи "__ та 1" за "__> 0".

Використовуючи булеву хитрість, по суті виконує:

if floor(y/x) > 0:
    return True # == 1
elif floor(z/y) == 1:
    return 0
elif floor(z/y) == 0:
    return 1-floor((x-y)/(z-y))
    # Python 2 implicitly treats integer division as floor division
    # equivalent: 1 + math.ceil((y-x)/(z-y))
    # because: -floor(-x) == ceil(x)

R, 43 байти

Запозичення з інших відповідей:

g=function(a,b,c)`if`(b<a,1+g(a-b+c,b,c),1)

Помилка, якщо немає рішення.

J, 25 байт

По-перше, приємне рішення, яке є обманом, оскільки передбачає, що "нічого, крім позитивного цілого результату", дорівнює "Немає":

>.>:%/2-/\

пояснення

• 2-/\використовуйте вікна довжиною 2 на вході 3 пункту, розміщуючи знак мінус між кожним, який для введення 30 3 2, наприклад, повертає27 1
• %/ помістіть символ поділу між кожним елементом списку, у нашому випадку у списку є лише два пункти, тому це означає "розділити 27 на 1"
• >: приріст на 1
• >. візьміть стелю

офіційне рішення

Ось офіційне рішення, яке перетворює негативи та нескінченність у 0, частина яких я не змогла знайти задовільно коротке рішення для:

0:`[@.(>&0*<&_)>.>:%/2-/\

ТІО

Perl 5 , 37 байт

35 байт код +2 для -pa.

$i-=$F[2]while++$\,($i+=$F[1])<$_}{

Спробуйте в Інтернеті!

PHP> = 7,1, 60 байт

друкує 0 без жодного втечі

[,$h,$u,$d]=$argv;echo$h>$u?$u>$d?ceil(($h-$d)/($u-$d)):0:1;

PHP Пісочниця Інтернет

PHP> = 7,1, 67 байт

нічого не друкує без втечі

for([,$h,$u,$d]=$argv;($u>$d?:$h<=$u)&&0<$h+$t*$d-$u*++$t;);echo$t;

PHP Пісочниця Інтернет

Математика, 47 40 39 байт

If[#==#2,1,⌈(#-#3)/(#2-#3)⌉~Max~0]&

-7 байт від @KeyuGan

Рубі , 49 47 байт

->h,a,b{h-a<1?1:(1.0*(h-a)/[a-b,0].max+1).ceil}

Викидає виняток, якщо равлик не може вилізти

Спробуйте в Інтернеті!

Пакет, 66 байт

@set/an=%4+1,a=%1-%2+%3
@if %1 gtr %2 %0 %a% %2 %3 %n%
@echo %n%

Другий тестовий випадок нічого не надрукував, а останній тестовий випадок справді розбився CMD.EXE...

05AB1E , 19 байт

0[¼²+D¹<›i¾q}³-D1‹#

Пояснення:

0                   Initialise stack with 0
 [                  while(true)
  ¼                   increment the counter variable
   ²+                 add the second input to the top of the stack
     D¹<›i            if it is greater than or equal to the first input
          ¾             push the counter variable
           q            terminate the program
             }        end if
              ³-      subtract the third input from the top of the stack
                D     duplicate top of stack
                 1‹   if it is less than 1
                   #  break the loop

Для недійсних значень це може повернути будь-яке значення менше 1. Однак у 05AB1E лише 1 є правдоподібним, тому це відповідає вимозі, що вихідне значення для недійсного значення має бути хибним.

Спробуйте в Інтернеті!

PHP, 60 байт

[,$h,$v,$d]=$argv;echo$h>$v?$v>$d?ceil(($h-$d)/($v-$d)):N:1;

відбитки Nдля None. Бігайте з -r.

05AB1E , 12 байт

.×ηO<²›1k2÷>

Спробуйте в Інтернеті!

Друкує, 0якщо неможливо.

Формат введення:

[climb, -fall]
height

Japt , 12 байт

@UµV-W §W}aÄ

Перевірте це в Інтернеті!

Виходи undefinedніколи, після можливого заморожування браузера на деякий час, тому будь ласка, будьте обережні.

Я не впевнений, що це оптимально. oWV-W lпрацює над усіма, крім останніх трьох випадків ...

Haskell , 30 29 байт

(b!c)a=1+sum[(b!c)$a+c-b|a>b]

Спробуйте в Інтернеті!

Коротше, ніж існуюча відповідь Haskell. Можливо, хтось інший може побити мене.

Для цього використовується рекурсивний підхід до вирішення проблеми. Кожна рекурсія - це по суті день руху для равлики. Якщо відстань, що залишилася до кінця, менша за необхідну відстань, ми припиняємо свою рекурсію.

QBIC , 31 23 байт

Щойно помітили, що вимоги змінилися. Ця версія не перевіряє, чи равлик коли-небудь досягне вершини криниці.

≈:-:>0|q=q+1┘a=a-b+:]?q

Пояснення, наведене нижче, для оригінальної версії, яка перевіряє наявність рішення, охоплює і всі відповідні частини цього коду.

Оригінал, 31 байт відповідь:

~:>:|≈:-a>0|q=q+1┘c=c-a+b]?q\?0

Пояснення

~           IF
 :          cmd line arg 'a'  (the increment of our snail)
  >         is greater than
   :        cmd line arg 'b'  (the decrement, or daily drop)
    |       THEN
≈           WHILE
 :          cmd line arg 'c'  (the height of the well)
  -a        minus the increment (we count down the hieght-to-go)
    >0|     is greater than 0 (ie while we haven't reached the top yet)
q=q+1       Add a day to q (day counter, starts at 1)
┘           (syntactic linebreak)
c=c-a+b     Do the raise-and-drop on the height-to-go
]           WEND
?q          PRINT q (the number of days)
\?0         ELSE (incrementer <= decrementer) print 0 (no solution)

Спробуйте в Інтернеті! (Гаразд, не дуже: це переклад QBIC на код QBasic, запущений у repl.it (дещо бракує) оточення QBasic)

Excel VBA, 47 байт

Анонімна функція негайного вікна VBE, яка приймає вхід з діапазону [A1:C1]від ActiveSheetоб'єктних виходів до безпосереднього вікна VBE

Це, насамперед, рішення на основі формули Excel, здається, менше, ніж будь-яке суто рішення VBA, яке я можу придумати :(

?[If(B1>C1,-Int((B1-A1)/(B1-C1)-1),Int(A1=B1))]

Haskell, 47 55 байт (48, якщо потрібен кортеж)

f d c s|d<=c=1|c<s= -1|d>c||c<s=1+(f(d-c+s)c s)

варіація кортежу

f(d,c,s)|d<=c=1|c<s= -1|d>c||c<s=1+(f(d-c+s)c s)

Пояснення

f d c s       function that does all the heavy lifting =)
              d - depth
              c - climb per day
              s - slide per night

 |d<=c=1             recursion terminator. 1 day of climbing 
 |c<s= -1            possibility check. top can't be reached
 |otherwise=1+(f(d-c+s)c s)  1 day plus the rest of the distance

Пітон 3, 41 байт

f=lambda a,b,c:int(b>=a)or 1+f(a-b+c,b,c)

Помилка ніколи

Outgolf @veganaiZe

APL (Dyalog) , 13 байт

(⌈+÷⊢)/0⌈2-/⊢

Спробуйте в Інтернеті!

Помилки при поділі на нуль, якщо равлик не може вилізти з криниці.

C # (.NET Core) , 37 байт

(h,c,f)=>h>c?f<c?1+(h-f-1)/(c-f):0:1;

Нерекурсивна лямбда. Тут знайдено формулу використання . Можна скоротити на 6 байт, якщо "будь-який негативний результат" є дійсним способом повернення відмови; наразі повертає 0 замість цього.

Python v2 & v3, 44 байт

f=lambda x,y,z:1+f(x-(y-z),y,z)if x>y else 1

^ Нескінченна рекурсія (помилка) для жодного випадку.

Програмований калькулятор HP-15C, 26 байт

Три числа завантажуються в стек для того, щоб запустити програму. Висота падіння вводиться як від’ємне число. Якщо равлик не може вилізти зі свердловини, результатом є або негативне число, або помилка № 0 (нульова помилка поділу).

Коди Op у шістнадцятковій формі:

C5 C1 B4 C5 FB 74 1A C4 FA B4 C5 FD C1 C1 A3 70 C6 F0 B4 FA EB F1 FA B2 0A F1

Значення інструкцій:

x↔y 
ENTER
g R⬆
x↔y 
− 
g TEST x≤0 
GTO A
R⬇
+ 
g R⬆
x↔y 
÷ 
ENTER
ENTER
f FRAC
TEST x≠0 
EEX 
0 
g R⬆
+ 
g INT 
1 
+ 
g RTN 
f LBL A
1

Ви можете спробувати програму за допомогою цього симулятора HP-15C .

Лист звичайний, 49 байт

(defun f(a b c)(if(> a b)(1+(f(+(- a b)c)b c))1))

Спробуйте в Інтернеті!

Рекурсивна функція, переповнення стека, якщо не знайдено рішення.

PowerShell , 95 94 байт

$g=$args[0]
$c=$args[1]
$f=$args[2]
$p=0
$d=0
1..$g|%{$d+=1;$p+=$c;if($p-ge$g){$d;exit}$p-=$f}

Спробуйте в Інтернеті!