Wyrażenie pasujące do trzech kolejnych liczb całkowitych w trzeciej liczbie całkowitej jest sumą pierwszych dwóch

27

Napisz wyrażenie regularne, które pasuje do danego ciągu składającego się z trzech nieujemnych liczb całkowitych oddzielonych spacją, jeśli i tylko wtedy, gdy ostatnia liczba całkowita jest sumą dwóch poprzednich. Odpowiedzi mogą dotyczyć liczb całkowitych dowolnego systemu liczbowego o podstawach od 2 do 10.

Przypadki testowe

Powinny one zawieść:

0 1 2
10 20 1000

Powinny one pasować:

10 20 30
28657 46368 75025
0 0 0

Zasady

Twoja odpowiedź powinna składać się z jednego wyrażenia regularnego, bez dodatkowego kodu (z wyjątkiem, opcjonalnie, listy modyfikatorów wyrażeń regularnych wymaganych do działania rozwiązania). Nie wolno używać funkcji smaku regularnego swojego języka, które pozwalają na wywołanie kodu w języku hostingowym (np. Modyfikator e Perla).

Podaj swój smak wyrażenia regularnego w swojej odpowiedzi.

To jest wyrażenie regularne, więc wygrywa najkrótszy wyrażenie regularne w bajtach. Jeśli twój język wymaga ograniczników (zwykle /.../) do oznaczania wyrażeń regularnych, nie licz samych ograniczników. Jeśli Twoje rozwiązanie wymaga modyfikatorów, dodaj jeden bajt na modyfikator.

Podziękowania dla Martina Endera i Jaytei za reguły gry w golfa.


Mam powód, by sądzić, że jest to możliwe w oparciu o rozwiązanie Martina Endera dotyczące wyszukiwania i zwiększania liczb całkowitych za pomocą wyrażenia regularnego .

Josh Withee
źródło
1
Możesz użyć dowolnego smaku wyrażenia regularnego, który istniał przed tym wyzwaniem, ta reguła nie odzwierciedla obecnego konsensusu, który mówi, że języki (a zatem smaki wyrażeń regularnych) utworzone lub zaktualizowane po opublikowaniu wyzwania mogą nadal konkurować.
Erik the Outgolfer,
1
Związane z. (Podejrzewam, że odpowiedzi na to będą wyglądać nieco podobnie do odpowiedzi Jimmy'ego .NET.)
Martin Ender
@EriktheOutgolfer naprawdę istnieje konsensus co do tego, że języki stworzone po wyzwaniu mogą konkurować? To kompletny nonsens
edc65,
3
@ edc65 Od pół roku temu.
Martin Ender,
/eModyfikator Perla 5 dotyczy tylko podstawień i nie jest jedynym sposobem uruchamiania zewnętrznego kodu. Również to całkowicie dyskwalifikuje Perl 6, ponieważ wyrażenie regularne jest tylko metodą z dodatkową składnią. (Powodem jest to, że sprawia, że ​​wyrażenia regularne są łatwiejsze do odczytu i zapisu). W rezultacie wszystkie funkcje potrzebne w archaicznych wyrażeniach regularnych nie są potrzebne (lub włączone), jak właśnie wstawiłeś kod Perla 6. (co oznacza, że prawdopodobnie nie jest to możliwe, aby zrobić to wyzwanie, jeśli tylko ograniczać się do konkretnego kodu regex) /^(\d+)**3%' '$ <?{$0[2]==[+] $0[0,1]}>/lub /^(\d+)' '(\d+)' '(\d+)$ <?{$2==$0+$1}>/lub/^(\d+)' '(\d+){}" {$0+$1}"$/
Brad Gilbert b2gills

Odpowiedzi:

15

Perl / PCRE: 2685 bajtów

^ (?! (?! 0 * + (? = (\ D *?)) ((?: (? = \ D + 0 * + (\ d *?) (\ D (? (4) \ 4)) 0 * (\ d *?) (\ d \ 6? +) $) \ d) +)) (? = (? (?! \ 1 (?: (? = \ d + 0 * \ 3 ((\ 7?) +) \ d)) (? = \ d (\ d * 0 * \ 3 \ 8)) (? = 0 \ 9 [9] | 1 \ 9 [8] | 2 \ 9 [7] | 3 \ 9 [6] | 4 \ 9 [5] | 5 \ 9 [4] | 6 \ 9 [3] | 7 \ 9 [2] | 8 \ 9 [1] | 9 \ 9 [0]) \ d) * + (? = \ d (\ d * 0 * \ 3 \ 8? +)) (? = [5-9] \ 10 [5-9] | 1 \ 10 [9] | 2 \ 10 [89] | 3 \ 10 [7-9] | 4 \ 10 [6-9] | 6 \ 10 [4] | 7 \ 10 [34] | 8 \ 10 [2-4] | 9 \ 10 [1-4]) ) (? = \ d + \ d + 0 * \ 1 \ 3 \ 6 $) | (? (?!. * + \ 3) \ d +) (? = \ d * (\ 2 | \ 4) (. *? 0 * +) \ d + $) (? (? = 9 * \ 11) (?: 9 (? = \ D * \ 12 [1] (\ 13? +0))) *? (? = \ 11) \ 11 \ 12 [1] \ 13? + \ 6 $ | (?: (\ D) (? = \ D * \ 12 (\ 15? + \ 14))) * (? = \ D (\ d * \ 12 \ 15? +)) (? = 0 \ 16 [1] | 1 \ 16 [2] | 2 \ 16 [3] | 3 \ 16 [4] | 4 \ 16 [5] | 5 \ 16 [ 6] | 6 \ 16 [7] | 7 \ 16 [8] | 8 \ 16 [9]) \ d (?: 9 (? = \ D * \ 12 \ 15? + \ D (\ 17? +0 ))) *? \ 11 \ 12 \ 15? + \ D \ 17? + \ 6 $))) 1 (?: (? = (\ D) \ d * 0 * + \ 3 ((\ 19? +) \ d) \ d * 0 * + \ 5 ((\ 21? +) \ d)) (? = \ d (\ d * 0 * + \ 3 \ 20) \ d (\ d * 0 * + \ 5 \ 22)) (? (?! \ 18 (?:(? = \ d + 0 * + \ 3 \ 19 ((\ 25? +) \ d)) (? = \ d (\ d * 0 * + \ 3 \ 19 \ 26)) (? = 0 \ 27 [ 9] | 1 \ 27 [8] | 2 \ 27 [7] | 3 \ 27 [6] | 4 \ 27 [5] | 5 \ 27 [4] | 6 \ 27 [3] | 7 \ 27 [2 ] | 8 \ 27 [1] | 9 \ 27 [0]) \ d) * + (? = \ D (\ d * 0 * + \ 3 \ 19 \ 26? +)) (? = [5-9 ] \ 28 [5-9] | 1 \ 28 [9] | 2 \ 28 [89] | 3 \ 28 [7-9] | 4 \ 28 [6-9] | 6 \ 28 [4] | 7 \ 28 [34] | 8 \ 28 [2-4] | 9 \ 28 [1-4])) (? = 1 \ 23 (?: 1 \ 24 [2] | 2 \ 24 [3] | 3 \ 24 [4] | 4 \ 24 [5] | 5 \ 24 [6] | 6 \ 24 [7] | 7 \ 24 [8] | 8 \ 24 [9] | 9 \ 24 [0]) | 2 \ 23 (?: 1 \ 24 [3] | 2 \ 24 [4] | 3 \ 24 [5] | 4 \ 24 [6] | 5 \ 24 [7] | 6 \ 24 [8] | 7 \ 24 [9] ] | 8 \ 24 [0] | 9 \ 24 [1]) | 3 \ 23 (?: 1 \ 24 [4] | 2 \ 24 [5] | 3 \ 24 [6] | 4 \ 24 [7] | 5 \ 24 [8] | 6 \ 24 [9] | 7 \ 24 [0] | 8 \ 24 [1] | 9 \ 24 [2]) | 4 \ 23 (?: 1 \ 24 [5] | 2 \ 24 [6] | 3 \ 24 [7] | 4 \ 24 [8] | 5 \ 24 [9] | 6 \ 24 [0] | 7 \ 24 [1] | 8 \ 24 [2] | 9 \ 24 [3]) | 5 \ 23 (?: 1 \ 24 [6] | 2 \ 24 [7] | 3 \ 24 [8] | 4 \ 24 [9] | 5 \ 24 [0] | 6 \ 24 [1] | 7 \ 24 [2] | 8 \ 24 [3] | 9 \ 24 [4]) | 6 \ 23 (?: 1 \ 24 [7] | 2 \ 24 [8] | 3 \ 24 [9] | 4 \ 24 [0] | 5 \ 24 [1] | 6 \ 24 [2] | 7 \ 24 [3] | 8 \ 24 [4] | 9 \ 24 [5]) | 7 \ 23 (?: 1 \ 24 [8] | 2 \ 24 [9] | 3 \ 24 [0] | 4 \ 24 [1] | 5 \ 24 [2] | 6 \ 24 [3] | 7 \ 24 [4 ] | 8 \ 24 [5] | 9 \ 24 [6]) | 8 \ 23 (?:1 \ 24 [9] | 2 \ 24 [0] | 3 \ 24 [1] | 4 \ 24 [2] | 5 \ 24 [3] | 6 \ 24 [4] | 7 \ 24 [5] | 8 \ 24 [6] | 9 \ 24 [7]) | 9 \ 23 (?: 1 \ 24 [0] | 2 \ 24 [1] | 3 \ 24 [2] | 4 \ 24 [3] | 5 \ 24 [4] | 6 \ 24 [5] | 7 \ 24 [6] | 8 \ 24 [7] | 9 \ 24 [8]) | 0 \ 23 (\ d) \ 24 \ 29 | (\ d) \ 23 [0] \ 24 \ 30) | (? = 1 \ 23 (?: 0 \ 24 [2] | 1 \ 24 [3] | 2 \ 24 [4] | 3 \ 24 [5] | 4 \ 24 [6] | 5 \ 24 [7] | 6 \ 24 [8] | 7 \ 24 [9] | 8 \ 24 [0] | 9 \ 24 [1]) | 2 \ 23 (?: 0 \ 24 [3] | 1 \ 24 [4] | 2 \ 24 [5] | 3 \ 24 [6] | 4 \ 24 [7] | 5 \ 24 [8] | 6 \ 24 [9] | 7 \ 24 [ 0] | 8 \ 24 [1] | 9 \ 24 [2]) | 3 \ 23 (?: 0 \ 24 [4] | 1 \ 24 [5] | 2 \ 24 [6] | 3 \ 24 [7] ] | 4 \ 24 [8] | 5 \ 24 [9] | 6 \ 24 [0] | 7 \ 24 [1] | 8 \ 24 [2] | 9 \ 24 [3]) | 4 \ 23 (? : 0 \ 24 [5] | 1 \ 24 [6] | 2 \ 24 [7] | 3 \ 24 [8] | 4 \ 24 [9] | 5 \ 24 [0] | 6 \ 24 [1] | 7 \ 24 [2] | 8 \ 24 [3] | 9 \ 24 [4]) | 5 \ 23 (?: 0 \ 24 [6] | 1 \ 24 [7] | 2 \ 24 [8] | 3 \ 24 [9] | 4 \ 24 [0] | 5 \ 24 [1] | 6 \ 24 [2] | 7 \ 24 [3] | 8 \ 24 [4] | 9 \ 24 [5]) | 6 \ 23 (?: 0 \ 24 [7] | 1 \ 24 [8] | 2 \ 24 [9] | 3 \ 24 [0] | 4 \ 24 [1] | 5 \ 24 [2] | 6 \ 24 [3] | 7 \ 24 [4] | 8 \ 24 [5] | 9 \ 24 [6]) | 7 \ 23 (?: 0 \ 24 [8] | 1 \ 24 [9] | 2 \ 24 [ 0] | 3 \ 24 [1] | 4 \ 24 [2] | 5 \ 24 [3] | 6 \ 24 [4] | 7 \ 24 [5] | 8 \ 24 [6] | 9 \ 24 [7 ]) | 8 \ 23 (?:0 \ 24 [9] | 1 \ 24 [0] | 2 \ 24 [1] | 3 \ 24 [2] | 4 \ 24 [3] | 5 \ 24 [4] | 6 \ 24 [5] | 7 \ 24 [6] | 8 \ 24 [7] | 9 \ 24 [8]) | 9 \ 23 (?: 0 \ 24 [0] | 1 \ 24 [1] | 2 \ 24 [2] | 3 \ 24 [3] | 4 \ 24 [4] | 5 \ 24 [5] | 6 \ 24 [6] | 7 \ 24 [7] | 8 \ 24 [8] | 9 \ 24 [9]) | 0 \ 23 (?: 0 \ 24 [1] | 1 \ 24 [2] | 2 \ 24 [3] | 3 \ 24 [4] | 4 \ 24 [5] | 5 \ 24 [6] | 6 \ 24 [ 7] | 7 \ 24 [8] | 8 \ 24 [9] | 9 \ 24 [0]))) \ d) + \ | ^ 0 + \ 0 * (\ d +) \ 0 * \ g {-1 } $ | ^ 0 * (\ d +) \ 0+ \ 0 * \ g {-1} $)). +

Wypróbuj online!

Czekałem na trudne wyzwania po przerwie od regexu i po prostu natknąłem się na tego doozy. Weryfikacja dodania (za pomocą Perla / PCRE) to coś, o czym myślałem wcześniej, ale natychmiast odrzucono ją jako niemożliwą lub przekraczającą moje możliwości. Jednak wziąłem teraz kolejny crack i jestem bardzo podekscytowany, że tak naprawdę to zrobiłem!

Tak naprawdę nie grałem w golfa, oprócz pisania krótkich algorytmów i ogólnej techniki dopasowywania. Jestem bardzo szczęśliwy, że to zrobiłem: D

Jeśli ludzie są zainteresowani, mogę dodać komentarze i wyjaśnić, jak to działa.

Edycja: Napisałem na swoim blogu szczegółowy post z wyjaśnieniami i komentarzami :). Ciesz się: http://www.drregex.com/2018/09/a-regex-i-submitted-to-reddit-climbed.html

jaytea
źródło
4
Zdecydowanie zainteresowany kilkoma wyjaśnieniami!
eten
2
@etene Zredagowałem post z linkiem do dokładnego napisania: D
jaytea
1
Dziękuję, to będzie ciekawa lektura!
eten,
6

Aromat .NET, 139 111 106 + 1 = 107 bajtów

Potrzebuje RightToLeftmodyfikatora r. Wprowadź dane binarne.

(?(2)!)^\5 \7 ((?(2)()(?(2)!)(?<-2>){2})(0|(?<-2>1))(?<=(((0|(?<2>1)|\b)(?=.*(?<=(\5).*))?\7?) \d*){2}))+$

Wypróbuj online! (Korzystanie z siatkówki .)

Tak dla grup bilansujących. Wyjaśnię to później ...

Wersja dziesiętna, 340 243 + 1 = 244 bajty

(?(2)!)^\5 \7 ((?(2)()(?(2)!)(?<-2>){10})(0|(?<-2>1|(?<-2>2|(?<-2>3|(?<-2>4|(?<-2>5|(?<-2>6|(?<-2>7|(?<-2>8|(?<-2>9))))))))))(?<=(((0|(?<2>1|(?<2>2|(?<2>3|(?<2>4|(?<2>5|(?<2>6|(?<2>7|(?<2>8|(?<2>9)))))))))|\b)(?=.*(?<=(\5).*))?\7?) \d*){2}))+$

Wypróbuj online!

Martin Ender
źródło
3
„Wyjaśnię to później” Ile później?
Οurous
3
@ Οurous znacznie później, jak się okazuje.
Martin Ender
1

.NET, 96 bajtów

^\4 \6((?(2)()(?(2)^)(?<-2>){2}| ?)(0|(?<-2>1))(?<=((0|(?<2>1)|)\4?) .*((0|(?<2>1)|)\6?) .*))+$

Flaga: r

Wypróbuj online!

Wersja dziesiętna, 238 bajtów

^\5 \6(?<-6>)((?(2)()(?(2)^)(?<-2>){10}| ?)((?<-2>[1469]|(?<-2>[27]))|[0358])(?([5-9])(?<-2>){5})(?([3489])(?<-2>){3})(?<=(((((?=[5-9](?<2>){5}|)(?=[3489](?<2>){3}|)((?<2>[1469]|(?<2>[27]))|.))?(?( .*)\6?(?<-6>)?|\5?(?<-5>)))) .*){2}))+$

Flaga: r

Wypróbuj online!

Podobna do odpowiedzi Martina.

jimmy23013
źródło