У цьому виклику щодо коду префікса ми дізналися, що коди префіксу однозначно поєднуються.

Це означає, що їх можна з'єднати без роздільника і без неоднозначності.

Наприклад, оскільки [1,2,45] є кодом префікса, я можу з'єднати їх разом без роздільника як такого: 1245245112145, і двозначності не буде.

Однак зворотне не завжди відповідає дійсності.

Наприклад, [3,34] не є кодом префікса. Однак я можу зробити те ж саме: 3333434334333, і двозначності не буде. Вам просто знадобиться розумніший аналізатор.

Однак [1,11] не є однозначно сполучуваним, оскільки 1111 можна інтерпретувати 5 способами.

Мета

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

Деталі

Дублікат вважається помилковим.

Оцінка балів

Це код-гольф . Найкоротше рішення в байтах виграє.

Тестові шафи

Правда:

[12,21,112]
[12,112,1112]
[3,4,35]
[2,3,352]

Помилковий:

[1,1]
[1,2,112]
[1,23,4,12,34]
[1,2,35,4,123,58,8]

05AB1E , 15 байт

По телефону, тому пояснення доведеться піти пізніше. Код:

gF¹N>ã})€`€JDÚQ

Використовує кодування CP-1252 . Спробуйте в Інтернеті! .

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

CJam (54 байти)

q_N/:A\,{_Am*:${~1$,<=},{~\,>}%La:L-}*A,A_&,-A*](\M*&!

Вводить вхід на stdin як список, розділений за новими рядками.

Демонстрація в Інтернеті

Якщо б нам не довелося обробляти дублюючі кодові слова, це може бути скорочено до 44:

q_N/\,{_W$m*:${~1$,<=},{~\,>}%La:L-}*](\M*&!

Або якщо CJam мав віднімання масиву, який видаляв лише один елемент із першого списку для кожного елемента у другому, це може бути 48 ...

Розсічення

Це алгоритм Сардінас-Паттерсона, але не оптимізований. Оскільки кожен звисаючий суфікс з’являється лише максимум одного разу, виконання основного циклу стільки разів, скільки є символів на вході (включаючи роздільники), гарантує достатню кількість.

Зауважте, що мені довелося обійти те, що, можливо, помилка в інтерпретаторі CJam:

"abc" "a" #   e# gives 0 as the index at which "a" is found
"abc" "d" #   e# gives -1 as the index at which "d" is found
"abc" ""  #   e# gives an error

Тож перевірка префікса є складною 1$,<=замість\#!

e# Take input, split, loop once per char
q_N/\,{
  e# Build the suffixes corresponding to top-of-stack and bottom-of-stack
  _W$m*
  e# Map each pair of Cartesian product to the suffix if one is the prefix of the other;
  e# otherwise remove from the array
  :${~1$,<=},{~\,>}%
  e# Filter out empty suffixes iff it's the first time round the loop
  La:L-
}*
e# If we generated an empty suffix then we've also looped enough times to generate all
e# of the keywords as suffixes corresponding to the empty fix, so do a set intersection
e# to test this condition.
](\M*&!