Дерево рішень для читання раз визначається наступним чином:
- та F a l s e - це дерева, що приймаються одноразово.
- Якщо і B - дерева рішень одноразового зчитування, а x - змінна, що не зустрічається в A і B , то ( x ∧ A ) ∨ ( ˉ x ∧ B ) також є деревом рішення, яке читається один раз.
Яка складність проблеми еквівалентності для дерев рішень, що читаються одноразово?
- Вхідні дані: Два дерева рішень - B, прочитані один раз .
- Вихід: чи ?
Мотивація:
Ця проблема виникла, коли я розглядав проблему еквівалентності доказів (перестановка правил) фрагмента лінійної логіки.