A Polynomial-Time Algorithm for Deciding True Concurrency Equivalences of Basic Parallel Processes

2003 ◽  
pp. 521-530 ◽  
Author(s):  
Sławomir Lasota
Keyword(s):  
Polynomial Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
True Concurrency ◽  
Parallel Processes

A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes

1996 ◽  
Vol 6 (3) ◽  
pp. 251-259 ◽  
Author(s):  
Yoram Hirshfeld ◽  
Mark Jerrum ◽  
Faron Moller
Keyword(s):  
Polynomial Time ◽  
Composition Operator ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Parallel Composition ◽  
Elementary Processes ◽  
Parallel Processes ◽  
Bisimulation Equivalence

A polynomial-time algorithm is presented for deciding bisimulation equivalence of so-called Basic Parallel Processes: multisets of elementary processes combined by a commutative parallel-composition operator.

Learning Importance of Preferences

10.29007/v68w ◽  
2018 ◽  
Author(s):  
Ying Zhu ◽  
Mirek Truszczynski
Keyword(s):  
Polynomial Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Scoring Rules ◽  
Np Hard ◽  
Individual Preferences

We study the problem of learning the importance of preferences in preference profiles in two important cases: when individual preferences are aggregated by the ranked Pareto rule, and when they are aggregated by positional scoring rules. For the ranked Pareto rule, we provide a polynomial-time algorithm that finds a ranking of preferences such that the ranked profile correctly decides all the examples, whenever such a ranking exists. We also show that the problem to learn a ranking maximizing the number of correctly decided examples (also under the ranked Pareto rule) is NP-hard. We obtain similar results for the case of weighted profiles when positional scoring rules are used for aggregation.

A polynomial-time algorithm for designing FIR filters with power-of-two coefficients

2002 ◽  
Vol 50 (8) ◽  
pp. 1935-1941 ◽  
Author(s):  
Dongning Li ◽  
Yong Ching Lim ◽  
Yong Lian ◽  
Jianjian Song
Keyword(s):  
Polynomial Time ◽  
Polynomial Time Algorithm ◽  
Time Algorithm ◽  
Fir Filters
Sign in / Sign up

Export Citation Format

Share Document