scholarly journals A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs

2006 ◽  
Vol 41 (7) ◽  
pp. 739-762 ◽  
Author(s):  
Ruyong Feng ◽  
Xiao-Shan Gao
2020 ◽  
Vol 54 ◽  
pp. 7
Author(s):  
Bruno Courcelle

We construct a monadic second-order sentence that characterizes the ternary relations that are the betweenness relations of finite or infinite partial orders. We prove that no first-order sentence can do that. We characterize the partial orders that can be reconstructed from their betweenness relations. We propose a polynomial time algorithm that tests if a finite relation is the betweenness of a partial order.


10.29007/v68w ◽  
2018 ◽  
Author(s):  
Ying Zhu ◽  
Mirek Truszczynski

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.


2002 ◽  
Vol 50 (8) ◽  
pp. 1935-1941 ◽  
Author(s):  
Dongning Li ◽  
Yong Ching Lim ◽  
Yong Lian ◽  
Jianjian Song

Sign in / Sign up

Export Citation Format

Share Document