Контр-пример - работает ли быстрая генерация при обратных ссылках всегда

[Oleg Sychev]

Originally reported on Google Code with ID 223

Существующие тесты прошли, но проблема требует исследования...

Может ли Вилли-генерация справится со всеми случаями при обратных ссылках?

Reported by oasychev on 2013-09-12 08:51:00

[Valeriy Streltsov]

Простейший пример: (?:(a)|(b))\2

Reported by vostreltsov on 2013-10-07 22:53:51

[Oleg Sychev]

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

А могут ли повлиять на это квантификаторы, расположенные до подмаски, на которую есть
обратная ссылка? И возможны ли ситуации когда быстрая генерация не работает даже при
отсутствии проблем с обратными ссылками?

Reported by oasychev on 2013-10-15 21:10:24

[Valeriy Streltsov]

Нет, тут именно проблема в том, что оно всегда будет выбирать (a) вместо (b) - как подвыражение
с меньшим номером. 

Reported by vostreltsov on 2013-10-16 17:20:18

[Valeriy Streltsov]

Я так понимаю, что это issue можно закрыть? Критерии вызова полного перебора и откатов
уже определены

Reported by vostreltsov on 2014-04-17 14:49:37

[Valeriy Streltsov]

Reported by vostreltsov on 2014-12-04 18:30:01 - Status changed: Done

[Oleg Sychev]

Критерии откатов требуют уточнения например по простым ассертам. Там точки откатов возникают
- подключите код Лепилкиной и вы их увидите.

Reported by oasychev on 2014-12-04 19:16:07 - Status changed: InProgress

[Valeriy Streltsov]

Для откатов у нас другое исью. Могут быть точки откатов, но алгоритм будет всё равно
быстрой генерации. Это всё-таки done?

Reported by vostreltsov on 2014-12-04 20:15:59

[Oleg Sychev]

Иссью пока остается до внятного изложения (раздела диссера) с четким доказательством
границ применимости нашего метода генерации.

Reported by oasychev on 2014-12-04 22:12:39

[Oleg Sychev]

Reported by oasychev on 2015-07-03 19:18:48 - Status changed: Done