По заданным строкам X и Y определите, является ли X подпоследовательностью Y. Пустая строка рассматривается как подпоследовательность каждой строки. (Например, ''и 'anna'являются подпоследовательности 'banana'.)

вход

• X, возможно пустая чувствительная к регистру буквенно-цифровая строка
• Y, возможно пустая буквенно-цифровая строка с учетом регистра

Выход

• True или False (или эквиваленты), правильно указывающие, является ли X подпоследовательностью Y.

Примеры ввода / вывода

X      Y        output

''     'z00'    True
'z00'  'z00'    True 
'z00'  '00z0'   False
'aa'   'anna'   True
'anna' 'banana' True
'Anna' 'banana' False

критерии

• Самая короткая программа выигрывает, что определяется количеством байтов исходного кода.

Примеры программ

• Несколько программ, которые могут быть адаптированы, находятся в этой публикации .

Perl 5 , 17 байт (+1?), Полная программа

s//.*/g;$_=<>=~$_

Попробуйте онлайн!

Вызвать с pфлагом для интерпретатора Perl, как в perl -pe 's//.*/g;$_=<>=~$_'. В соответствии с установленными правилами оценки, когда этот вызов был первоначально опубликован , этот флаг стоит один дополнительный байт. По более новым правилам , AFAICT, это может быть бесплатно.

В любом случае, входные строки должны предоставляться в отдельных строках с новой строкой в ​​stdin. Вывод (в stdout) будет, 1если первая входная строка является подстрокой второй, или вообще ничего, если это не так.

Обратите внимание, что обе строки ввода должны иметь новую строку в конце, иначе программа не будет работать правильно. В качестве альтернативы, вы можете добавить lфлаг командной строки к вызову, чтобы Perl удалял символы новой строки; в зависимости от действующих правил оценки это может стоить или не стоить одного дополнительного байта. Обратите внимание, что использование этого флага также добавит новую строку к выводу.

Оригинальная версия (фрагмент, 18 байт / символов)

$x=~s//.*/g,$y=~$x

Входные данные даны в переменных $xи $y, результатом является значение выражения (в скалярном контексте). Обратите внимание, что $xизменяется в процессе. (Да, я знаю, что использование $_вместо $xпозволит мне сохранить четыре символа, но делает это в фрагменте кода, который кажется мне слишком глупым.)

Как это работает?

Первая часть, $x=~s//.*/gвставляет строку .*между каждым символом в $x. Вторая часть, $y=~$xрассматривается $xкак регулярное выражение и сопоставляется $yс ним. В регулярных выражениях Perl .*совпадает ноль или более произвольных символов, в то время как все буквенно-цифровые символы удобно совпадают.

Рубин, 32 символа

s=->x,y{y=~/#{[*x.chars]*".*"}/}

Это решение возвращает, nilесли xне является подпоследовательностью yи числом в противном случае (т. Е. Рубиновые эквиваленты falseи true). Примеры:

p s['','z00']        # => 0   (i.e. true)
p s['z00','z00']     # => 0   (i.e. true)
p s['z00','00z0']    # => nil (i.e. false)
p s['anna','banana'] # => 1   (i.e. true)
p s['Anna','banana'] # => nil (i.e. false)

Haskell, 51 37

h@(f:l)%(g:m)=f==g&&l%m||h%m;x%y=x<=y

Спасибо Хаммару за существенное улучшение. Теперь это инфиксная функция, но, похоже, нет причин, по которым она не должна этого делать.

Демонстрация:

GHCi> :{
GHCi| zipWith (%) [""   , "z00", "z00" , "anna"  , "Anna"]
GHCi|             ["z00", "z00", "00z0", "banana", "banana"]
GHCi| :}
[True,True,False,True,False]

Python (48 символов)

import re;s=lambda x,y:re.search('.*'.join(x),y)

Тот же подход, что и у Рубарда. Жаль, что в Python нет необходимости импортировать пакет регулярных выражений и его «подробный» lambda. :-)

Python, 59 символов

def s(x,y):
 for c in y:
  if x:x=x[c==x[0]:]
 return x==""

Я подумал, что мой ответ будет лучше выражен в Python.

Изменить: Добавлены предложения Res.

GolfScript (22 символа)

X[0]+Y{1$(@={\}*;}/0=!

Предполагается, что ввод берется как две предопределенные переменные Xи Y, хотя это довольно необычно в GolfScript. Оставляет в стеке значение 1true или 0false.

С (52 символа)

s(char*x,char*y){return!*x||*y&&s(*x-*y?x:x+1,y+1);}

Контрольные примеры

Бурлеск (6 символов)

6 символов в бурлеск: R@\/~[ (при условии, что x и y находятся в стеке. Смотрите здесь в действии.)

С, 23:

while(*y)*x-*y++?0:x++;

результат в * х

http://ideone.com/BpITZ

PHP, 90 символов

<?function s($x,$y){while($a<strlen($y))if($y[$a++]==$x[0])$x=substr($x,1);return $x=="";}

Scala 106:

def m(a:String,b:String):Boolean=(a.size==0)||((b.size!=0)&&((a(0)==b(0)&&m(a.tail,b.tail))||m(a,b.tail)))

CoffeeScript 112 100 95 89

Моя первая попытка в гольф-коде ... надеюсь, я не позорю свою семью!

z=(x,y)->a=x.length;return 1if!a;b=y.indexOf x[0];return 0if!++b;z x[1..a],y[b..y.length]

редактировать : оказывается, Coffeescript более прощающий, чем я думал с пробелами.

Спасибо res и Peter Taylor за несколько советов, как сделать его немного изящнее

C #, 70 113 107 90 символов

static bool S(string x,string y){return y.Any(c=>x==""||(x=x.Remove(0,c==x[0]?1:0))=="");}

Mathematica 19 17 27

LongestCommonSequenceвозвращает самую длинную несмежную подпоследовательность из двух строк. (Не путать с LongestCommonSubsequence, который возвращает самую длинную непрерывную подпоследовательность.

Далее проверяется, является ли самая длинная непрерывная подпоследовательность первой из двух строк. (Таким образом, вы должны ввести более короткую строку, за которой следует более крупная строка.)

LongestCommonSequence@##==#& 

Примеры

LongestCommonSequence@## == # &["", "z00"]
LongestCommonSequence@## == # &["z00", "z00"]
LongestCommonSequence@## == # &["anna", "banana"]
LongestCommonSequence@## == # &["Anna", "banana"]

Истинно верно верно ложно

Критическое испытание - третье, потому что «анна» содержится не непрерывно в «банане».

Python 3.8 (предварительная версия) , 42 байта

lambda a,b:''in[a:=a[a[:1]==c:]for c in b]

Попробуйте онлайн!

Python 3.8 (предварительная версия) , 48 байт

lambda a,b,j=0:all((j:=1+b.find(c,j))for c in a)

Попробуйте онлайн!

Python 2 , 48 байт

lambda a,b:re.search('.*'.join(a),b)>0
import re

Попробуйте онлайн!

Скопировано из этого ответа Линн . Значение >0может быть опущено, если вывод truey / falsey в порядке.

Python 2 , 50 байт

f=lambda a,b:b and f(a[a[:1]==b[0]:],b[1:])or''==a

Попробуйте онлайн!

Python 2 , 50 байт

lambda a,b:reduce(lambda s,c:s[c==s[:1]:],b,a)==''

Попробуйте онлайн!

C - 74 71 64

Это не побеждает решение Питера Тейлора, но я думаю, что это довольно весело (плюс, это полноценная рабочая программа, а не просто функция)

main(int c,char**v){for(;*v[1]!=0;++v[1])v[2]+=*v[1]==*v[2];return*v[2];}

main(int c,char**v){for(;*v[1];++v[1])v[2]+=*v[1]==*v[2];return*v[2];}

main(c,v)char**v;{while(*v[1])v[2]+=*v[1]++==*v[2];return*v[2];}

И безглым

main(int argc, char** argv){
   char * input = argv[1];
   char * test  = argv[2];

   // advance through the input string. Each time the current input
   // character is equal to the current test character, increment
   // the position in the test string.

   for(; *input!='\0'; ++input) test += *input == *test;

   // return the character that we got to in the test string.
   // if it is '\0' then we got to the end of the test string which
   // means that it is a subsequence, and the 0 (EXIT_SUCCESS) value is returned
   // otherwise something non-zero is returned, indicating failure.
   return *test;
}

Чтобы проверить это, вы можете сделать что-то вроде:

./is_subsequence banana anna && echo "yes" || echo "nope"    
# yes
./is_subsequence banana foobar && echo "yes" || echo "nope"    
# nope

Python, 66 62 59 58 символов

Вид забавного решения, определенно аккуратная проблема.

def f(n,h,r=0):
 for c in h:r+=n[r:r+1]==c
 return r==len(n)

Руби 32 30 28

f=->a,b{b.match a.tr'','.*'}

Это вернет MatchDataэкземпляр, если aявляется подпоследовательностью bили nilиным образом.

Старая версия, которая находит подстроку вместо подпоследовательности

Рубин 15

f=->a,b{!!b[a]}

Используя String#[](str)метод, который возвращает strif strявляется подстрокой selfи !!возвращает, Booleanесли возвращаемое значение может быть использовано как логическое (и не должно быть trueили false), тогда это может быть только 13 символов:

f=->a,b{b[a]}

Он вернется, nilесли aне является подстрокой b.

SWI-Пролог, SICStus

Встроенный предикат sublist / 2 SICStus проверяет, все ли элементы первого списка также отображаются во втором списке. Этот предикат также доступен в SWI-Prolog через библиотеку совместимости, которая может быть загружена запросом [library(dialect/sicstus/lists)]..

Образец прогона:

25 ?- sublist("","z00").
true.

26 ?- sublist("z00","z00").
true .

27 ?- sublist("z00","00z0").
false.

28 ?- sublist("aa","anna").
true .

29 ?- sublist("anna","banana").
true .

30 ?- sublist("Anna","banana").
false.

Число байтов технически может быть 0, поскольку все, что мы здесь делаем, это запросы, очень похожие на то, как мы запускаем программу и вводим в нее входные данные.

PHP, 41 байт

печатает 1 за правду и ничего за ложь

<?=!levenshtein($argv[1],$argv[2],0,1,1);

Если сделаны только вставки из слова 1 в слово 2, то счетчик равен нулю для истинных случаев

Левенштейн

Попробуйте онлайн!

PHP, 57 байт

печатает 1 для истинного и 0 для ложного

Создает регулярное выражение

<?=preg_match(_.chunk_split($argv[1],1,".*")._,$argv[2]);

Попробуйте онлайн!

Брахилог , 2 байта

⊆ᵈ

Попробуйте онлайн!

Как и с этим ответом, ⊆ это встроенный предикат, который объявляет отношения между входными и выходными переменными, и ᵈявляется мета-предикатом, который изменяет его, чтобы вместо этого объявить те же отношения между первым и вторым элементами входной переменной (и унифицировать выходная переменная со вторым элементом, но так как это проблема решения, которая здесь не имеет значения). X⊆Yутверждение о том, что X является подпоследовательностью Y, поэтому так и есть [X,Y]⊆ᵈ.

Этот предикат (который, конечно, выводит через успех или неудачу, который печатает true. или false.когда он запускается как программа) принимает входные данные как список из двух строк. Если ввод немного более гибкий ...

Брахилог , 1 байт

⊆

Попробуйте онлайн!

Принимает строку X в качестве входной переменной и строку Y в качестве выходной переменной. Выходит через успех или неудачу, как и раньше.При запуске в качестве полной программы X вводится как ввод, а Y - как первый аргумент командной строки.

CoffeeScript 73

Вот альтернативный ответ CoffeeScript, использующий регулярные выражения вместо рекурсии:

z=(x,y)->a='.*';a+=c+'.*'for c in x;b=eval('/'+a+'/');(y.replace b,'')<y

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

Возвращает ложь, когда xиy оба являются пустыми строками. Думаю, нам нужен философ, чтобы сказать нам, является ли пустая строка подпоследовательностью самого себя!

(Опубликовано в качестве отдельного ответа от моего предыдущего, потому что это чувствует себя достаточно по-другому, чтобы оправдать это).

PowerShell, 38

$args[1]-clike($args[0]-replace'','*')

Конечно, любое такое решение на основе регулярных выражений или сопоставления с образцом имеет серьезные проблемы с производительностью с более длинными строками. Но поскольку краткость является критерием ...

Своего рода анти-решение, генерирующее все подпоследовательности Y:

Python 93

l=len(y)
print x in[''.join(c for i,c in zip(bin(n)[2:].rjust(l,'0'),y)if i=='1')for n in range(2**l)]

APL (31)

В APL немного не хватает обработки строк.

{(⊂'')∊N←⍵↓⍨¨1,⍨=/⊃¨⍵:~×⍴⊃N⋄∇N}

использование:

      {(⊂ '') ∊N ← ⍵ ↓ ⍨¨1, ⍨ = / ⊃¨⍵: ~ × ⍴⊃N⋄∇N} 'анна' 'банан'
1
      {(⊂ '') ∊N ← ⍵ ↓ ⍨¨1, ⍨ = / ⊃¨⍵: ~ × ⍴⊃N⋄∇N} 'Анна' 'банан'
0
      {(⊂ '') ∊N ← ⍵ ↓ ⍨¨1, ⍨ = / ⊃¨⍵: ~ × ⍴⊃N⋄∇N} '' 'банан'
1

Python 132

Похож на Даниеро. Не самое простое решение, но попробовать было весело. Я новичок в Python, поэтому я уверен, что я мог бы сделать его короче, если бы я знал немного больше.

def f(i):
    s=x;j=0
    while j<len(s):t=~i%2;s=[s[:j]+s[j+1:],s][t];j+=t;i>>=1
    return s==y
print True in map(f,range(1,2**len(x)))

Python - 72

def f(a,b):
 c=len(a)
 for i in b:a=a.replace(i,"",1)
 print len(a+b)==c

Питон ( 75 52)

s=lambda a,b:a==''or b>''and s(a[a[0]==b[0]:],b[1:])

Простое рекурсивное решение. В первый раз игра в гольф, так что любые советы о том, как свести это на нет, очень ценятся :)

Проверено со следующим:

assert s('anna', 'banana') == True
assert s('oo0', 'oFopp0') == True
assert s 'this', 'this is a string') == True
assert s('that', 'this hat is large') == True
assert s('cba', 'abcdefg') == False

Спасибо @lirtosiast за некоторые хитрые логические трюки.

PHP, 75 65 64 байт

for(;$p=@strpos(_.$argv[2],$c=$argv[1][$i++],$p+1););echo""==$c;

принимает входные данные из аргументов командной строки; печатает 1для true, пустая строка для false. Беги с -r.

объяснение:

• strposвозвращается, falseесли игла $cне находится в стоге сена $argv[2](после положения $p),
  вызывая разрыв цикла.
• strposтакже возвращается falseза пустой иглой, разрывая петлю в конце $argv[1].
• Если $argv[1]это подпоследовательность $argv[2],$c будет пустым, когда цикл прерывается.
• strposНеобходимо @подавить Empty needleпредупреждение.

Свифт, 27

print(Y.range(of:X) != nil)