Relating semantic and proof-theoretic concepts for polynomial time decidability of uniform word problems

Author(s):  
H. Ganzinger
1995 ◽  
Vol 41 (2) ◽  
pp. 173-182 ◽  
Author(s):  
Stanley Burris

2000 ◽  
Vol 10 (03) ◽  
pp. 285-307 ◽  
Author(s):  
F. OTTO ◽  
A. SATTLER-KLEIN

By exploiting a new technique for proving undecidability results developed by A. Sattler-Klein in her doctoral dissertation (1996) it is shown that it is undecidable in general whether or not a finitely presented monoid with a polynomial-time decidable word problem has finite derivation type (FDT). This improves upon the undecidability result of R. Cremanns and F. Otto (1996), which was based on the undecidability of the word problem for the finitely presented monoids considered.


2018 ◽  
Vol 60 (2) ◽  
pp. 360-375
Author(s):  
A. V. Vasil'ev ◽  
D. V. Churikov

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.


2019 ◽  
Author(s):  
Corey Peltier ◽  
Mindy E Lingo ◽  
Faye Autry-Schreffler ◽  
Malarie Deardorff ◽  
Leslie Mathews ◽  
...  

Students identified with a specific learning disability (SLD) experience difficulty with mathematical problem solving. One specific intervention identified as a promising practice for students with a SLD is schema-based instruction (SBI). The current projects aimed to tests the efficacy of SBI under routine conditions. This extends prior literature by (a) using a teacher as the implementer, (b) allowing flexibility in the intervention protocol, (c) condensing the duration of intervention sessions, and (d) providing instruction in small group settings. In addition, we examined student problem solving performance on word problems requiring two-steps and combined schema structures. We used a multiple-probe design across three groups of fifth-grade participants (n = 7) receiving supplemental instruction in a resource room setting. Results indicated a functional relation between SBI and problem-solving performance for all students on simple structure word problems, with the magnitude of effects varying across cases. The NAP, Tau, and BC-SMD effect sizes were used to quantify effects. Implications were discussed in regard to systematic replication and conditions that may impact fidelity.


Sign in / Sign up

Export Citation Format

Share Document