Фон

MQTT (Телевізійний транспорт у черзі повідомлень) - стандарт ISO-протоколу обміну повідомленнями на основі публікації та підписки ( Вікіпедія ).

Кожне повідомлення має тему, наприклад такі приклади:

• myhome/groundfloor/livingroom/temperature
• USA/California/San Francisco/Silicon Valley
• 5ff4a2ce-e485-40f4-826c-b1a5d81be9b6/status
• Germany/Bavaria/car/2382340923453/latitude

Клієнти MQTT можуть підписатися на теми повідомлень за допомогою підстановок:

• Одиничний рівень: +
• Всі рівні вперед: #

Наприклад, підписка myhome/groundfloor/+/temperatureпризведе до цих результатів (невідповідності жирним шрифтом ):

✅ MyHome / цокольний / вітальня / температура
✅ MyHome / цокольний / кухня / температура
❌ MyHome / цокольний / вітальня / яскравість
❌ MyHome / firstfloor / вітальня / температура
❌ гараж / цокольний / холодильник / температура

Тоді як підписка +/groundfloor/#призведе до таких результатів:

✅ MyHome / цокольний / вітальня / температура
✅ MyHome / цокольний / кухня / яскравість
✅ гараж / цокольний / холодильник / температури / більш / конкретних / полів
❌ MyHome / firstfloor / вітальня / температура
❌ MyHome / підвал / кут / температура

Більше інформації тут .

Завдання

Реалізуйте функцію / програму, яка приймає два рядки та повертає булеву форму. Перший рядок є темою теми, другий - темою критеріїв. У темі критеріїв використовується синтаксис підписки, детально описаний вище. Функція є правдоподібною, коли предмет відповідає критеріям.

Правила цього завдання:

• Теми - ASCII
• За межами #підстановки не існує полів критеріїв
• Замісні знаки не відображаються в темах
• Кількість предметних полів> = кількість полів критеріїв
• Немає полів з 0 символів, а також провідної чи хвостової косої лінії вперед

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

Критерії1 = "мій будинок / перший поверх / + / температура"
критерії2 = "+ / перший поверх / #"

("abc", "ab") => false
("abc", "abc") => true
("abc / de", "abc") => false
("мій будинок / перший поверх / вітальня / температура", критерії1 ) => true
("мій будинок / перший поверх / кухня / температура", критерії1) => true
("мій будинок / перший поверх / вітальня / яскравість", критерії1) => false
("мій будинок / перший поверх / вітальня / температура", критерії1) = > false
("гараж /
цокольний поверх / холодильник / температура", критерії1) => false ("мій будинок / цокольний поверх / вітальня / температура", критерії2) => вірно
("мій будинок / цокольний поверх / кухня / яскравість", критерії2) => вірно
("гараж / перший поверх / холодильник / температура / більше / конкретний / поля ", критерії2) => вірно
(" мій будинок / перший поверх / вітальня / температура ", критерії2) => помилково
("мій будинок / підвал / кут / температура", критерії2) => false
("музика / kei $ ha / остання", "+ / kei $ ha / +") => вірно

Желе , 20 байт

ṣ€”/ZṖF”#eƊ¿œiÐḟ”+ZE

Монадична посилання, що приймає список списків символів [topic, pattern], який повертається 1або 0відповідно до матчу, або не відповідає.

Спробуйте в Інтернеті! Або подивіться тестовий набір .

Як?

ṣ€”/ZṖF”#eƊ¿œiÐḟ”+ZE - Link: list of lists of characters, [topic, pattern]
 €                   - for each:
ṣ                    -   split at occurrences of:
  ”/                 -     '/' character
    Z                - transpose (any excess of topic is kept)
           ¿         - while...
          Ɗ          - ...condition: last three links as a monad:
       ”#            -   '#' character
         e           -   exists in:
      F              -     flatten
     Ṗ               - ...do: pop the tail off
              Ðḟ     - filter discard those for which:
            œi       -   first multi-dimensional index of: ([] if not found, which is falsey)
                ”+   -     '+' character
                  Z  - transpose
                   E - all equal?

Рубін , 65 байт

Розчин Регексу. Я додав Regex.escapeу випадку, якщо назва критерію просто так трапляється чимось на кшталт com.java/string[]/\nабо щось нерозумне, що матиме шматки регексу.

->s,c{s=~/^#{Regexp.escape(c).sub('\#','.*').gsub'\+','[^/]*'}$/}

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

Нерегексичний розчин, 77 байт

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

->s,c{s.split(?/).zip(c.split ?/).all?{|i,j|i==j||'+#'[j||9]||!j&&c[-1]==?#}}

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

Perl 5 -pl , 50 байт

$_="\Q$_";s|\\\+|[^/]+|g;s/\\\#/.*/;$_=<>=~m|^$_$|

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

Python 3 , 72 байти

lambda a,b:bool(re.match(b.translate({43:"[^/]+",35:".+"}),a))
import re

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

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

EDIT Я придумав 107-байтове рішення, не використовуючи регулярного вираження. Я не знаю, чи може це зробити коротше 72 або, можливо, я просто не бачу правильного підходу до цього. Просто здається, що структура розділеного zip занадто велика. Спробуйте в Інтернеті!

Python 2 , 85 84 80 92 89 байт

lambda s,c:all(x in('+','#',y)for x,y in zip(c.split('/')+[0]*-c.find('#'),s.split('/')))

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

Дякуємо Джонатану Аллану та Value Ink за виявлення помилок.

Haskell, 76 73 71 67 байт

(a:b)#(c:d)=a=='+'&&b#snd(span(/='/')d)||a=='#'||a==c&&b#d
a#b=a==b

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

Редагувати: -4 байти завдяки @cole.

Clojure , 107 91 76 65 102 байт

Анонімна функція повертає тему теми як truthy та nilфальси (дійсна у Clojure).

(defn ?[t c](every? #(#{"#""+"(% 0)}(% 1))(apply #(map vector % %2)(map #(re-seq #"[^/]+" %) [t c]))))

107 102 робочих
91 76 65 всі зазнали поразки

Котлін , 106 байт

fun f(s:List<String>)=s[1].split("/").filterIndexed{i,v->v!="+"&&v!="#"&&v!=s[0].split("/")[i]}.count()==0

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

Python 3, 99 88 байт

Без використання регулярного вираження. За деякої допомоги Джонатана Аллана та Часа Брауна.

f=lambda s,p:p in(s,'#')or p[:1]in(s[:1],'+')and f(s[1:],p['+'!=p[:1]or(s[:1]in'/')*2:])

Вугілля деревне , 36 байт

≔⪪Ｓ/θ≔⪪Ｓ/ηＦ∧№η#⊟η≔…θＬηθＦ⌕Ａη+§≔θι+⁼θη

Спробуйте в Інтернеті! Посилання на багатослівну версію коду. Вихідні дані -(неявний вихід деревного вугілля для true) на матч, нічого не відповідає. Пояснення:

≔⪪Ｓ/θ

Розділити тему на /s.

≔⪪Ｓ/η

Розбийте критерії на /s.

Ｆ∧№η#⊟η≔…θＬηθ

Якщо критерій містить (тобто закінчується), а #потім видаліть його та обріжте тему до нової довжини критеріїв.

Ｆ⌕Ａη+§≔θι+

Якщо критерії містять, +замініть цей елемент на предмет +.

⁼θη

Порівняйте тему з критеріями та неявно друкуйте результат.

Сітківка 0,8,2 , 42 байти

%`$
/
+`^([^/]+/)(.*¶)(\1|\+/)
$2
^¶$|¶#/$

Спробуйте в Інтернеті! Пояснення:

%`$
/

Суфікс a /до обох рядків.

+`^([^/]+/)(.*¶)(\1|\+/)
$2

Неодноразово видаляйте перший елемент як предмета, так і критеріїв, поки вони рівні, або елемент критеріїв (щасливий) +.

^¶$|¶#/$

Критерій відповідає, якщо це просто #(з тим, /що було додано раніше), інакше ця тема та критерії повинні бути порожніми до цього пункту.

Піт , 22 байти

:Q::E"[+]""[^/]+"\#".*

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

Желе , 22 19 байт

ḟ”+ṣ”/)ZẠƇṖœi”#$¿ZE

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

Монадійне посилання, яке береться за аргумент [topic], [criterion]і повертається 1за збіг, а 0не за збіг.

JavaScript, 69 66 байт

t=>s=>new RegExp(s.split`+`.join`[^/]+`.split`#`.join`.+`).test(t)

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

Пітон 3 , 149 148 байт

def f(t,c):t,c=t.split('/'),c.split('/');return all([c[i]=='+'or c[i]==t[i]or c[i]=='#'for i in range(len(c))])and not(len(c)!=len(t)and c[-1]!='#')

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

05AB1E , 21 байт

ε'/¡}ζʒ'+å≠}˜'#¡н2ôøË

Введіть як список у порядку [criteria, topic].

Спробуйте в Інтернеті або перевірте всі тестові випадки .

Пояснення:

ε                      # Map both strings in the implicit input-list to:
 '/¡                  '#  Split the string on "/"
                       #   i.e. ["+/+/A/B/#","z/y/A/B/x/w/v/u"]
                       #    → [["+","+","A","B","#"],["z","y","A","B","x","w","v","u"]]
    }ζ                 # After the map: zip/transpose the two string-lists,
                       # with space as (default) filler
                       #  → [["+","z"],["+","y"],["A","A"],["B","B"],["#","x"],[" ","w"],
                       #     [" ","v"],[" ","u"]]
      ʒ    }           # Filter each pair by:
       '+å≠           '#  Only keep those which do NOT contain a "+"
                       #   → [["A","A"],["B","B"],["#","x"],[" ","w"],[" ","v"],[" ","u"]]
            ˜          # Flatten the filtered list
                       #  → ["A","A","B","B","#","x"," ","w"," ","v"," ","u"]
             '#¡      '# Split the list by "#"
                       #  → [["A","A","B","B"],["x"," ","w"," ","v"," ","u"]]
                н      # Only keep the first part
                       #  → ["A","A","B","B"]
                 2ô    # Split this back into pairs of two
                       #  → [["A","A"],["B","B"]]
                   ø   # Zip/transpose them back
                       #  → [["A","B"],["A","B"]]
                    Ë  # And check if both inner lists are equal
                       #  → 1 (truthy)
                       # (after which the result is output implicitly)