Cut Elimination and the Decision Problem

Author(s):  
Francesco Paoli
1951 ◽  
Vol 49 (22) ◽  
pp. 203-221 ◽  
Author(s):  
Alonzo Church

Mathematics ◽  
2021 ◽  
Vol 9 (4) ◽  
pp. 303
Author(s):  
Nikolai Krivulin

We consider a decision-making problem to evaluate absolute ratings of alternatives from the results of their pairwise comparisons according to two criteria, subject to constraints on the ratings. We formulate the problem as a bi-objective optimization problem of constrained matrix approximation in the Chebyshev sense in logarithmic scale. The problem is to approximate the pairwise comparison matrices for each criterion simultaneously by a common consistent matrix of unit rank, which determines the vector of ratings. We represent and solve the optimization problem in the framework of tropical (idempotent) algebra, which deals with the theory and applications of idempotent semirings and semifields. The solution involves the introduction of two parameters that represent the minimum values of approximation error for each matrix and thereby describe the Pareto frontier for the bi-objective problem. The optimization problem then reduces to a parametrized vector inequality. The necessary and sufficient conditions for solutions of the inequality serve to derive the Pareto frontier for the problem. All solutions of the inequality, which correspond to the Pareto frontier, are taken as a complete Pareto-optimal solution to the problem. We apply these results to the decision problem of interest and present illustrative examples.


1987 ◽  
Vol 10 (1) ◽  
pp. 1-33
Author(s):  
Egon Börger ◽  
Ulrich Löwen

We survey and give new results on logical characterizations of complexity classes in terms of the computational complexity of decision problems of various classes of logical formulas. There are two main approaches to obtain such results: The first approach yields logical descriptions of complexity classes by semantic restrictions (to e.g. finite structures) together with syntactic enrichment of logic by new expressive means (like e.g. fixed point operators). The second approach characterizes complexity classes by (the decision problem of) classes of formulas determined by purely syntactic restrictions on the formation of formulas.


Author(s):  
Roy Cerqueti ◽  
Eleonora Cutrini

AbstractThis paper deals with the theoretical analysis of the spatial concentration and localization of firms and employees over a set of regions. In particular, it provides a simple site-selection theoretical model to describe the probabilistic framework of the location patterns. The adopted quantitative tool is the stochastic theory of urns. The model moves from the empirical evidence of the deviation of the spatial location of companies from the uniform distribution and of employees from the distribution of firms. Factors leading to such deviations are taken into consideration. Specifically, we formalize a decision problem grounded on the economic attributes of the regions and also on the distribution of the existing firms and employees in the territory. To our purpose, the site-selection model is presented as a stepwise process.


Author(s):  
Klaus D. Goepel

The analytic hierarchy process (AHP) remains a popular multi-criteria decision method. One topic under discussion of AHP is the use of different scales to translate judgments into ratios. The author makes a new approach to compare different scale functions and to derive a recommendation for the application of scales. The approach is based on simple analytic functions and takes into consideration the number of criteria of the decision problem. A generalization of the so-called balanced scale is proposed, and a new adaptive-balanced scale is introduced. Scales are then categorized and compared based on weight boundaries and weight ratios, weight uncertainties, weight dispersion and number of decision criteria. Finally, a practical example of a decision hierarchy is presented applying the different scales. The results show that the generalized balanced scale improves weight dispersion and weight uncertainty in comparison to the fundamental AHP scale. The proposed adaptive-balanced scale overcomes the problem of a change of the maximum weight depending on the number of decision criteria.


2008 ◽  
Vol 45 (02) ◽  
pp. 580-586 ◽  
Author(s):  
Ehud Lehrer ◽  
Eran Shmaya

In a decision problem with uncertainty a decision maker receives partial information about the actual state via an information structure. After receiving a signal, he is allowed to withdraw and gets zero profit. We say that one structure is better than another when a withdrawal option exists if it may never happen that one structure guarantees a positive profit while the other structure guarantees only zero profit. This order between information structures is characterized in terms that are different from those used by Blackwell's comparison of experiments. We also treat the case of a malevolent nature that chooses a state in an adverse manner. It turns out that Blackwell's classical characterization also holds in this case.


2017 ◽  
Vol 41 (S1) ◽  
pp. S104-S104
Author(s):  
D. Piacentino ◽  
M. Grözinger ◽  
A. Saria ◽  
F. Scolati ◽  
D. Arcangeli ◽  
...  

IntroductionBehavioral disorders, such as conduct disorder, influence choice of treatment and its outcome. Less is known about other variables that may have an influence.Objectives/AimsWe aimed to measure the parent drug and metabolite plasma levels in risperidone-treated children and adolescents with behavioral disorders and investigate the role of drug dose and patients’ gender and age.MethodsWe recruited 115 children/adolescents with DSM-5 behavioral disorders (females = 24; age range: 5–18 years) at the Departments of Psychiatry of the Hospitals of Bolzano, Italy, and Innsbruck, Austria. We measured risperidone and its metabolite 9-hydroxyrisperidone plasma levels and the parent drug-to-metabolite ratio in the plasma of all patients by using LC-MS/MS. A subsample of 15 patients had their risperidone doses measured daily. We compared risperidone and 9-hydroxyrisperidone plasma levels, as well as risperidone/9-hydroxyrisperidone ratio, in males vs. females and in younger (≤ 14 years) vs. older (15–18 years) patients by using Mann-Whitney U test. We fitted linear models for the variables “age” and “daily risperidone dose” by using log-transformation, regression analysis and applying the R2 statistic.ResultsFemales had significantly higher median 9-hydroxyrisperidone plasma levels (P = 0.000). Younger patients had a slightly lower median risperidone/9-hydroxyrisperidone ratio (P = 0.052). At the regression analysis, daily risperidone doses and metabolite, rather than parent drug–plasma levels were correlated (R2 = 0.35).ConclusionsGender is significantly associated with plasma levels, with females being slower metabolizers than males. Concerning age, younger patients seem to be rapid metabolizers, possibly due to a higher activity of CYP2D6. R2 suggests a clear-cut elimination of the metabolite.Disclosure of interestThe authors have not supplied their declaration of competing interest.


2008 ◽  
Vol 45 (04) ◽  
pp. 1039-1059 ◽  
Author(s):  
Marius Costeniuc ◽  
Michaela Schnetzer ◽  
Luca Taschini

We study investment and disinvestment decisions in situations where there is a time lagd> 0 from the timetwhen the decision is taken to the timet+dwhen the decision is implemented. In this paper we apply the probabilistic approach to the combined entry and exit decisions under the Parisian implementation delay. In particular, we prove the independence between Parisian stopping times and a general Brownian motion with drift stopped at the stopping time. Relying on this result, we solve the constrained maximization problem, obtaining an analytic solution to the optimal ‘starting’ and ‘stopping’ levels. We compare our results with the instantaneous entry and exit situation, and show that an increase in the uncertainty of the underlying process hastens the decision to invest or disinvest, extending a result of Bar-Ilan and Strange (1996).


Econometrica ◽  
1987 ◽  
Vol 55 (1) ◽  
pp. 69 ◽  
Author(s):  
Jerry R. Green ◽  
Jean-Jacques Laffont
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document