The программирование

[amarao]

Один из нескольких разов, когда rust взрывает мозг и офигенен.

Задача:

Given a pattern and a string s, find if s follows the same pattern.

Here follow means a full match, such that there is a bijection between a letter in pattern and a non-empty word in s.

 

Example 1:

Input: pattern = "abba", s = "dog cat cat dog"
Output: true

Example 2:

Input: pattern = "abba", s = "dog cat cat fish"
Output: false

Example 3:

Input: pattern = "aaaa", s = "dog cat cat dog"
Output: false

Constraints:

• 1 <= pattern.length <= 300
• pattern contains only lower-case English letters.
• 1 <= s.length <= 3000
• s contains only lowercase English letters and spaces ' '.
• s does not contain any leading or trailing spaces.
• All the words in s are separated by a single space.

Решение:

impl Solution {

fn abstract_list<T, G>(input: T) -> Vec<usize>

where

T: Iterator<Item = G>,

G: std::hash::Hash + std::cmp::Eq,

{

let mut dict = HashMap::new();

let mut output = Vec::new();

for elem in input {

let id = dict.len();

output.push(*dict.entry(elem).or_insert(id));

}

output

}

pub fn word_pattern(pattern: String, s: String) -> bool {

Self::abstract_list(pattern.chars()) == Self::abstract_list(s.split_whitespace())

}

}

Я чертовски горжусь abstract_list. Это функция, которую я осмысленно написал
generic'ом, причём с generic'ом для Item.

Comments

[sab123]

Но не делает ли такой подход вдвое больше работы, чем нужно?

[amarao]

Я про это думал, но нет. В паттерне первая буква вовсе не обязана быть 'a', это может быть 'gggab', и этот паттерн будет эквивалентен 'aabc', то есть нам надо каким-то образом сначала научиться понимать экивалентность паттернов. Для меня самый разумный вариант - нумерация относительно нулевого элемента. Теоретически мы можем сделать "параллельный парсинг" и вываливаться в false по первому расхождению (это будет объективно значительная оптимизация), но lookup по таблице всё равно придётся делать для обоих итераторов (и строки символов, и строки слов).

Т.е. осмысленная оптимизация тут - только ранний выход на false.

[sab123]

Вместо нумерации брать букву из паттерна на соотвествующем индексе как имя элемента.

[amarao]

Да, так можно, но потом мне всё равно придётся сравнивать массив с строкой, что потребует конвертации строки в список символов (это же раст - символ не - str[0]), то есть существенной выгоды не будет.

Товарищи на reddit'е показали безумный трюк с функцией, которая возвращает impl IntoIterator, который потом можно zip, и map на сравнение - там будет quick false, но оно очень нечитаемое.

assert!(abstract_iterator([1,2,1])
    .zip_longest(abstract_iterator("aba"))
    .all(|cmp| if let Both(a, b) = cmp {
        a == b
    } else {
        false
    }));

[sab123]

А сразу же и сравнивать. Оно сразу и несоответствия найдет.

[tridecahedron.livejournal.com]

Написать type AbstractList = Vec<usize>; и какой-нибудь Set<AbstractList> сделать. Не для этой задачи, а вообще.

[juan_gandhi]

👍

Офигеть как красиво. Задача, конечно, специфическая, но решение гениальное; не очень понимаю, применимо ли оно еще куда-нибудь. Но вот этот уровень абстракции - никто, наверно, так не делал. Бац - и абстрагировались.

Это прекрасно.

[sab123]

Это красиво только в математическом смысле. Где красивым считается "выключить огонь, вылить воду, и задача свелась к предыдущей".

[juan_gandhi]

Я с такой "прагматической" точкой зрения не согласен. Абсолютно абстрактное, применимое почти всюду решение - большая ценность.

[fukanchik.livejournal.com]

Это lazy? Он вернёт output до того как заполнит? Ему не нужно строить весь вектор если вдруг в середине найдётся несоответствие?

[amarao]

Нет, это не lazy. У lazy проблема на выходе, когда их нужно сравнивать.

Вот lazy: https://www.reddit.com/r/rust/comments/xoojnt/comment/iq16hg7/?utm_source=share&utm_medium=web2x&context=3

а вот так их потом сравнивать. Некрасиво. https://www.reddit.com/r/rust/comments/xoojnt/comment/iq2zq6i/?utm_source=share&utm_medium=web2x&context=3

[spamsink]

По-хорошему, конечно, надо бы что-то типа is_consistent_mapping(pattern.chars(), s.split_whitespace()), что было бы вряд ли длиннее, но эато эффективнее.

[sassa_nf]

Interesting idea