首页> 外文OA文献 >The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard

【2h】

The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard

机译：具有至少一个不等式约束的树自动机的空性问题是NP-hard

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

The model of tree automata with equality and disequality constraints was introduced in 2007 by Filiot, Talbot and Tison. In this paper we show that if there is at least one disequality constraint, the emptiness problem is NP-hard.

机译：Filiot，Talbot和Tison于2007年引入了具有等式和不等式约束的树自动机模型。在本文中，我们表明，如果存在至少一个不等式约束，则空度问题是NP难的。

著录项

作者
Héam Pierre-Cyrille; Hugot Vincent; Kouchnarenko Olga;
展开▼
作者单位

展开▼
年度 2014
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. The emptiness problem for tree automata with at least one global disequality constraint is NP-hard [J] . Heam P. -C., Hugot V., Kouchnarenko O. Information Processing Letters . 2017,第feba期

机译：具有至少一个全局不等式约束的树自动机的空性问题是NP-hard
2. Emptiness and Finiteness for Tree Automata with Global Reflexive Disequality Constraints [J] . Carles Creus, Adria Gascon, Guillem Godoy Journal of Automated Reasoning . 2013,第4期

机译：具有全局反身不等式约束的树自动机的空性和有限性
3. Tree pattern mining with tree automata constraints [J] . Sandra de Amo, Nyara A. Silva, Ronaldo P. Silva, Information Systems . 2010,第5期

机译：具有树自动机约束的树模式挖掘
4. Automata on Infinite Trees with Equality and Disequality Constraints Between Siblings [C] . Arnaud Carayol, Christof Loding, Olivier Serre Annual ACM/IEEE Symposium on Logic in Computer Science . 2016

机译：兄弟姐妹之间具有等式和不等式约束的无限树上的自动机
5. Automata-based Model Counting String Constraint Solver for Vulnerability Analysis. [D] . Aydin, Abdulbaki. 2017

机译：基于自动机的模型计算字符串约束求解器，用于漏洞分析。
6. The effect of pirenzepine on gastric emptying and salivary flow rate: constraints on the use of saliva paracetamol concentrations for the determination of paracetamol pharmacokinetics. [O] . F Kamali, C Edwards, M D Rawlins 1992

机译：哌仑西平对胃排空和唾液流速的影响：唾液对乙酰氨基酚浓度用于确定对乙酰氨基酚药代动力学的限制。
7. The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard [O] . Héam Pierre-Cyrille, Hugot Vincent, Kouchnarenko Olga 2014

机译：具有至少一个不等式约束的树自动机的空洞问题是Np难的

The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅