Proper and Consistent Production Tradeoffs in Models of Data Envelopment Analysis

Published Online:https://doi.org/10.1287/opre.2025.1995

Abstract

In data envelopment analysis, value judgements expressed as weight restrictions in multiplier models correspond to production tradeoffs in the dual envelopment models. Such tradeoffs are interpretable as simultaneous changes to the inputs and outputs that are assumed to be technologically possible for all decision-making units (DMUs) in the technology. The specification of production tradeoffs leads to the creation of additional DMUs, expansion of technology, and improved discriminating power of the model. A known requirement to production tradeoffs is that they should be consistent with the set of observed DMUs; that is, they should not generate free and unlimited production of a nonzero vector of outputs. In this paper, we define a new principle of proper production tradeoffs and weight restrictions that should be verified in their assessment. No combination of proper tradeoffs can lead to an improvement of some inputs and outputs without simultaneously making at least some of the other inputs and outputs worse. It is possible that the tradeoffs are consistent but not proper and that they are proper but inconsistent. If the tradeoffs are not proper or are inconsistent, or both, they cannot be used in applications and should be reassessed. In this paper, we develop analytical and computational tests of proper tradeoffs, which are significantly simpler than the known tests of their consistency. We prove that, for a very large class of tradeoffs, the fact that they are proper implies that they are also consistent, which further simplifies the testing. The notion of proper tradeoffs and approaches to its testing are also applicable in decision analysis with imprecise information about the preferences of the decision-maker, stated as a set of linear inequalities in terms of criterion weights. We illustrate the new theoretical results and their use by examples and an application in the context of higher education.

1. Introduction

Most models of data envelopment analysis (DEA) are used to assess the efficiency of decision-making units (DMUs) on a selected set of inputs and outputs without taking into account the relative value of individual inputs for the production process and the complexity of producing individual outputs. This leads to a common situation in which DMUs that excel on some relatively insignificant measures (inputs and outputs) may be shown as technically efficient, even if they do not perform well on the remaining technologically more important measures.

1.1. Production Tradeoffs and Weight Restrictions

For the conventional constant and variable returns-to-scale (CRS and VRS) models, introduced to DEA by Charnes et al. (1978) and Banker et al. (1984), information about the relative value of inputs and outputs in the production process can be specified in two mutually dual ways. In the multiplier CRS and VRS models, this takes on the form of restrictions on the input and output weights, or weight restrictions—see, for example, Allen et al. (1997). In the envelopment CRS and VRS models, the weight restrictions are restated in the dual forms as production tradeoffs, which are interpretable as simultaneous changes to the inputs and outputs that are technologically possible at any DMU in the technology (Podinovski 2004).

The specification of technologically realistic production tradeoffs or weight restrictions leads to a meaningful (explainable by the assumptions made) expansion of the CRS or VRS production technology and improved discrimination on efficiency of the models based on them. The use of such tradeoffs and weight restrictions in different models has been reported in various application contexts, including primary healthcare provision (Amado and Santos 2009, Capeletti et al. 2024), school education (Khalili et al. 2010, Podinovski et al. 2024), courts of justice (Santos and Amado 2014), agricultural farms (Atici and Podinovski 2015), labor inspectorates (Santos et al. 2020), railway traffic control centers (Roets et al. 2018), industrial robots (Ravanos and Karagiannis 2023), bank branches (Razipoor-GhalehJough et al. 2020), and electricity distributors (Santos et al. 2011).

As earlier applications of DEA showed, the incorporation of weight restrictions in multiplier DEA models may lead to their infeasibility (Allen et al. 1997, Thanassoulis et al. 2008), in which case the weight restrictions are unusable and need to be reassessed. Podinovski and Bouzdine-Chameeva (2013) proved that the infeasibility of multiplier VRS and CRS models with weight restrictions corresponds to the case in which the dual production tradeoffs expand the technology in such a way that it includes either free (with a zero input) or unlimited production of some nonzero output vector. Furthermore, free or unlimited production does not necessarily manifest itself in an infeasible multiplier model and may remain undetected in the evaluation of efficiency of DMUs.

Free and unlimited production is disallowed by production theory (Färe et al. 1985). Podinovski and Bouzdine-Chameeva (2013) introduced the notion of consistent weight restrictions and tradeoffs as those that do not generate free and unlimited production in the VRS and CRS technologies and develop computational and analytical tests of their consistency. If the tradeoffs are inconsistent, then they should not be used because the expanded VRS or CRS technology and its production frontier are theoretically unsubstantiated. In this case, we need to reconsider the tradeoffs or weight restrictions.

1.2. Motivation and Contribution

In this paper, we show that the requirement of consistency may fail to detect another potential problem with production tradeoffs, which would require correction in any practical application. (The main definitions, models, and tests developed in this paper are naturally introduced in the language of tradeoffs, but they can equivalently be restated in terms of dual weight restrictions.) Namely, we call the specified set of production tradeoffs proper if none of their combinations can lead to an improvement in some inputs and outputs (i.e., a reduction of inputs and increase in outputs) without simultaneously worsening some other inputs and outputs. Otherwise, the tradeoffs are not proper.

It is clear why the tradeoffs should be proper. If they are not, then every DMU in the technology (at least those with strictly positive inputs and outputs) can be improved on some inputs and outputs “for free” without having to become worse on the other measures. This implies that no DMU in the technology can be efficient, which is unrealistic and means that we made an error in the specification of tradeoffs.

We show that production tradeoffs (and weight restrictions) can be consistent but not proper and, similarly, proper but inconsistent. Because both are problematic and require reassessing, in addition to the known tests of consistency, in this paper we develop analytical and computational tests for proper tradeoffs and weight restrictions. We prove that the multiplier VRS or CRS program with not proper weight restrictions either is infeasible or, if it is feasible, assigns a zero weight to all inputs and outputs that, according to the specified tradeoffs, can be improved “for free” in all its feasible (and, therefore, in all optimal) solutions.

We further identify a large and practically important class of production tradeoffs (and weight restrictions), for which it is sufficient to test only if the tradeoffs are proper because this would imply that they are also consistent. (It is worth noting that the tests developed in this paper for proper tradeoffs are also conceptually and computationally simpler than similar tests for consistent tradeoffs, which offers further theoretical and practical advantages.) However, if the specified tradeoffs are not in this class, we generally need to perform both tests.

1.3. Proper Tradeoffs in Decision Analysis

The notion of proper tradeoffs introduced in this paper in the framework of DEA and related mathematical results allow a straightforward interpretation in the terminology of multicriteria decision analysis (MCDA). In this interpretation, the input and output measures in DEA correspond to criteria in MCDA that the decision-maker wishes to minimize and maximize, respectively.

There is significant literature in the field of MCDA devoted to the assessment of tradeoffs between different criteria—see, for example, Keeney and Raiffa (1976). A tradeoff represents a judgement that balances out an improvement on some criteria at the expense of detriment to some other criteria. Often, such information is incomplete and imprecise and is stated in the dual form as a set of linear inequalities in terms of criterion weights (Hazen 1986, Weber 1987, Harju et al. 2019).

Several tradeoffs can be applied collectively, creating complex substitutions involving multiple criteria. If there is some inconsistency, then it is possible that a “collective” tradeoff may represent improvements to only some criteria, without any detriment to the other criteria. In this paper, we call sets of judgements that can create such tradeoffs not proper and develop analytical and computational tests for their identification.

As follows from our main results obtained in Section 4 (stated in terminology of DEA but equally applicable to MCDA), any criterion whose improvement in at least one “collective” tradeoff appears without a detriment to at least some of the other criteria would necessarily have a zero weight in any weighting scheme based on the given set of tradeoffs. This means that any such criterion is effectively excluded from the ranking of decision alternatives, which should be highlighted as possibly based on erroneous judgements that need reassessing.

1.4. Organization of This Paper

The structure of this paper is as follows. In Sections 2 and 3, we briefly outline the known definitions and results concerning production tradeoffs and their consistency. In Section 4, we define proper production tradeoffs, give their dual characterization in terms of weight restrictions, and develop computational and analytical tests for proper tradeoffs. In Section 5, we establish a relationship between proper and consistent tradeoffs for different types of tradeoffs. In Section 6, we give examples that illustrate theoretical results and tests developed in our paper. In Section 7, we consider an illustrative application in the context of research-intensive universities in the United Kingdom. Section 8 contains concluding discussion. The proofs of all mathematical statements are given in Appendix A. In Appendix B, we present detailed statements of several linear programs discussed in the main sections.

2. Production Tradeoffs

Consider technology TR+m×R+s characterized by m1 inputs and s1 outputs. Decision making units are elements of T stated as pairs (x,y), where xR+m and yR+s are the vectors of inputs and outputs, respectively.

Let Ω be the set of observed DMUs (the data set) (xj,yj), j{1,,n}=J. We assume that xj0 and yj0 for all jJ, that is, that each observed DMU has at least one strictly positive input and output.

The VRS technology TVRS of Banker et al. (1984) generated by the set of observed DMUs Ω is stated as the set of all DMUs (x,y) defined by the following conditions:

TVRS={(x,y)R+m×R+s|λRn:jJλjxjx,jJλjyjy,1λ=1,λ0}.(1)

Removing the normalizing equality 1λ=1 from the conditions (1), we obtain a statement of the CRS technology TCRS of Charnes et al. (1978).

For both CRS and VRS technologies, Podinovski (2004) defines a production tradeoff as a pair of vectors of sign-free components

(p,q)Rm×Rs
that represents simultaneous changes to the inputs and outputs assumed technologically possible for any DMU in the technology, provided that all inputs and outputs of the resulting DMU remain nonnegative. Components of vectors p and q represent changes to individual inputs and outputs and can be positive, negative, or equal to zero.

Example 1.

Let DMUs be similar academic departments of different universities, for example, business schools. Let the vector of inputs be x=(x1,x2), where x1 is the number of academic staff who teach and do research and x2 is research staff who do research only. Let the vector of outputs be y=(y1,y2,y3), where y1 and y2 are, respectively, the numbers of undergraduate (UG) and postgraduate (PG) students and y3 is the number of published papers.

In the described setting, we may identify several production tradeoffs. For example, we may assume that the teaching of one UG student does not require more resources than the teaching of one PG student. Therefore, no department should claim extra resources (namely, academic and research staff) if they are required to teach one UG student instead of one PG student. This is expressed by the tradeoff (p1,q1), where

p1=(0,0),q1=(1,1,0).(2)

In this statement, the components of vector q1 specify a reduction of the number of PG students by 1 and a simultaneous increase in the UG numbers by 1, whereas the zero vector p1 means that such change is possible without any change to the academic and research staff.

We may also judge that one additionally employed academic member of staff should be able to teach, for example, at least 10 UG students and publish one paper per year. We state this by the tradeoff (p2,q2), where

p2=(1,0),q2=(10,0,1).(3)

Finally, suppose that the reduction of one research staff should in most cases not lead to the reduction of more than five papers per year. This is expressed by the tradeoff (p3,q3), where

p3=(0,1),q3=(0,0,5).(4)

Suppose that we have specified K1 production tradeoffs, which we state as follows:

(pk,qk),kK={1,,K}.(5)

Because, as assumed, changing the inputs and outputs of any DMU (x,y) by any of the tradeoffs (5) leads to another DMU that is technologically possible, we can subsequently modify the resulting DMU by the same or another tradeoff, and so on. Allowing for fractional proportions πk0, kK, in which the tradeoffs in (5) are used, we finally obtain the following DMU:

(x,y)=(x,y)+kKπk(pk,qk).

If all components of vectors x and y are nonnegative, then the DMU (x,y) is technologically feasible and should be included in the model of technology.

Podinovski (2004) defines the VRS technology expanded by production tradeoffs (5) as the smallest technology (in the sense of the minimum extrapolation principle of Banker et al. 1984) that is freely (strongly) disposable, convex and incorporates the stated tradeoffs. An operational statement of this technology is given by the following conditions:

TVRS-TO={(x,y)R+m×R+s|λRn,πRK:jJλjxj+kKπkpkx,jJλjyj+kKπkqky,1λ=1,λ,π0}.(6)

Similarly, an extension of the CRS technology TCRS by production tradeoffs (5) is defined by the axioms of technology TVRS-TO and the additional axiom of scalability, referred to as “ray unboundedness” by Banker et al. (1984). Such extended CRS technology TCRS-TO is obtained from the statement (6) by removing the equality 1λ=1.

Example 2.

Consider the VRS technology with a single input x and single output y defined by three observed DMUs A, B, and C in Figure 1. This technology is shown as the darker shaded area below and to the right of the line KABL. Further consider the two production tradeoffs:

(p1,q1)=(1,1),(p2,q2)=(2,0.5).(7)
Figure 1. The VRS Technology Expanded by Production Tradeoffs in Example 2

The specification of these two tradeoffs adds the lighter shaded areas UAK and LBV to the technology. For example, the new DMU C* is obtained if we apply the tradeoff (p1,q1)=(1,1) to the observed DMU A. Applying this tradeoff three times (with π1=3 in the above notation), we obtain DMU U. Similarly, the line BV is obtained by modifying DMU B by the tradeoff (p2,q2) taken in varying proportions π20.

The VRS model based on the expanded technology TVRS-TO exhibits a better discriminating power than the original VRS model based on technology TVRS. Indeed, in the latter, the input projection of the inefficient DMU C is DMU C, and the input radial efficiency of DMU C is equal to 4/6=2/3. In the expanded technology, the input projection of DMU C is DMU C*, and the input radial efficiency of DMU C is reduced to 3/6=1/2.

The statement of envelopment models for the assessment of efficiency of DMUs in technologies TVRS-TO and TCRS-TO, which may employ different measures of efficiency, is straightforward. Examples of such efficiency measures include the input and output radial measures of efficiency employed by Charnes et al. (1978) and Banker et al. (1984), measures based on directional distance functions of Chambers et al. (1998) and various nondirectional and slack-based measures, such as those developed by Tone (2001), Fukuyama and Weber (2009), and Färe and Grosskopf (2010).

Dual to the envelopment models are multiplier models stated in terms of vectors of input and output weights vR+m and uR+s and, in the case of VRS, the sign-free variable u0 that is dual to the normalizing equality 1λ=1.

Podinovski (2004) showed that the specification of tradeoffs (5) in envelopment models is equivalent (in the sense of duality) to the incorporation of the following weight restrictions in the multiplier models:

qkupkv0,kK.(8)

As an illustration, let (v1,v2) and (u1,u2,u3) be the vectors of input and output weights in the setting considered in Example 1. The specification of tradeoffs (2)–(4) in envelopment VRS and CRS models is equivalent to the incorporation of the following weight restrictions in their dual multiplier models: u1u20, 10u1+u3v10 and 5u3+v20.

Remark 1.

The duality of tradeoffs (5) and weight restrictions (8) allows us to give an interpretation of production tradeoffs in terms of marginal characteristics of production frontiers such as marginal productivity and rates of transformation and substitution between inputs and outputs. As a simple example, consider technology TVRS-TO in Example 2, which incorporates tradeoffs (7). According to (8), the latter can be restated in the dual form as the weight restrictions u1+v10 and 0.5u12v10 or as the two-sided inequality

0.25v1u11.(9)

For any optimal solution of the multiplier model based on technology TVRS-TO, the ratio of optimal weights v1*/u1* is equal to the marginal productivity on the supporting hyperplane to the technology whose equation (in the input and output dimensions x and y) is xv1*+yu1*+u0*=0. (For the standard VRS technology, this was shown by Banker et al. (1984). For arbitrary polyhedral technologies, including the VRS and CRS technologies with tradeoffs, this was proved by Podinovski and Bouzdine-Chameeva (2021). The formula for marginal productivity then follows from the implicit function theorem.)

The two-sided inequality (9) and the underlying tradeoffs (5) state that the production frontier enveloping the data must have the marginal productivity in the range between 0.25 and 1. This technology is depicted in Figure 1. The highest marginal productivity equal to 1 is observed on the supporting hyperplane that includes the segment UA. The lowest marginal productivity equal to 0.25 is observed on the supporting hyperplane that includes the line BV. Any other supporting hyperplane to the technology has the marginal productivity strictly in the range [0.25, 1]. For example, it is equal to 0.5 on the segment AB.

3. Consistent Production Tradeoffs

In this section, we briefly outline the notion of consistent tradeoffs and weight restrictions introduced by Podinovski and Bouzdine-Chameeva (2013, 2015). We use this outline to contrast consistent tradeoffs with the new notion of proper tradeoffs introduced in Section 4.

The specification of production tradeoffs (5) or weight restrictions equivalent to them (8) expands technologies TVRS and TCRS to the generally larger technologies TVRS-TO and TCRS-TO. In some cases, the expanded technology may become unrealistically large and no longer comply with the basic axioms of production theory (see, e.g., Färe et al. 1985). This means that the tradeoffs and the expanded technology based on them are theoretically unsubstantiated.

Podinovski and Bouzdine-Chameeva (2013, 2015) identified a case in which the expanded technologies TVRS-TO and TCRS-TO allowed either free or unlimited production of a nonzero output vector (we define this formally below), which is disallowed by production theory and indicates an error in the specification of production tradeoffs. This leads to the notion of consistent production tradeoffs (and weight restrictions dual to them) whose specification does not result in free and unlimited production.

Definition 1.

Let yo be a nonzero output vector, that is, yoR+s\{0}. Technology T allows free production of vector yo if (0,yo)T. Technology T allows unlimited production of yo if there exists an input vector xoR+m such that (xo,αyo)T for all α0.

It is clear that the standard VRS and CRS technologies based on a finite set of observed DMUs do not allow free and unlimited production. However, their extensions by tradeoffs may generate such production; see Example 3 below.

Definition 2.

Production tradeoffs (5) are consistent with technology TVRS (or with technology TCRS) generated by the data set of observed DMUs Ω if the expanded technology TVRS-TO (respectively, TCRS-TO) does not allow free and unlimited production. Otherwise, the tradeoffs (5) are inconsistent with technology TVRS (or, respectively, TCRS).

As shown by Podinovski and Bouzdine-Chameeva (2013), the consistency of production tradeoffs generally depends on the set of observed DMUs Ω. Namely, the tradeoffs (5) may be consistent with the VRS or CRS technology generated by one data set and inconsistent with these technologies generated by another data set.

Example 3.

Consider a modification of Example 2 in which we use the same tradeoffs (7) but employ a modified set of observed DMUs A, B, and C. Figure 2 shows the standard VRS technology as the darker shaded area below and to the right of the line KABL. Let us show that although we employ the same tradeoffs as in Example 2, these tradeoffs are no longer consistent with the technology (which is generated by a different data set).

Figure 2. Free Production Generated by Production Tradeoffs in Example 3

Indeed, if we modify DMU A by the tradeoff (p1,q1) taken in proportion π1=2, we obtain DMU W, which represents free production. (The input of DMU W is equal to zero, and its output is equal to one.) Note that free production caused by the specification of tradeoff (p1,q1) is not easily observed by the standard assessment of efficiency. Indeed, in Figure 2, DMU C is projected on DMU C*, and its input radial efficiency is equal to 1/4, which may not appear as problematic. Below, we discuss how the consistency of tradeoffs (5) can be rigorously tested.

As proven by Podinovski and Bouzdine-Chameeva (2013), production tradeoffs (5) are consistent with the VRS technology generated by a set of observed DMUs Ω if and only if they are consistent with the CRS technology generated by the same data set. Therefore, we can simply state that the tradeoffs (5) are consistent or inconsistent with the data set Ω without referring to the VRS or CRS technology. It further turns out that the inconsistency of tradeoffs manifests itself differently in the two technologies. In the CRS technology, inconsistent tradeoffs always generate both free and unlimited production. In the case of VRS, inconsistent production tradeoffs (5) may generate free production but not necessarily unlimited production (as, for example, in Figure 2), and vice versa.

Podinovski and Bouzdine-Chameeva (2013, 2015) developed several analytical and computational tests of the consistency of tradeoffs (5). The main computational test is based on the fact that the consistency of production tradeoffs with the data set Ω is equivalent to the absence of unlimited production in the expanded CRS technology TCRS-TO. The latter is tested by solving a single linear program. Below, we state this program in the form suggested by Mehdiloo et al. (2026).

Namely, the tradeoffs (5) are consistent with the data set Ω if and only if the optimal value y* of the following program is equal to zero (and inconsistent if the optimal value is unbounded):

y*=max  1ysubject to  jJλjxj+kKπkpk0,jJλjyj+kKπkqky,λ,π0,y0.(10)

Remark 2.

Podinovski and Bouzdine-Chameeva (2013) stated program (10) in a slightly different form, with the input vector 0Rm on the right-hand side of its first constraint replaced by the input vector xo of any observed DMU. The two approaches are equivalent. Indeed, in the terminology of convex analysis, the unlimited production of a nonzero output vector yoRs means that the combined input-output vector (0,yo)Rm×Rs is a direction of recession of the CRS technology, which is a closed convex set. As follows from theorem 8.3 in Rockafellar (1970), the production of vector yo is unlimited from the input vector xo of any observed DMU (xo,yo) if and only if it is unlimited from the input vector of any other (observed or unobserved) DMU in the CRS technology, including the origin (0,0). For the latter DMU, we have xo=0, which leads to program (10).

We also have the following simple result, which has not been noted previously.

Theorem 1.

Let the set of tradeoffs (5) be consistent with the data set Ω, and let K be any subset of K. Then, the subset of tradeoffs (5) indexed by K (i.e., the tradeoffs (pk,qk), kK) is also consistent with Ω.

4. Proper Production Tradeoffs

In this section, we define the new notion of proper production tradeoffs, which, as we show, is different from the notion of consistent tradeoffs considered in the previous section. Similar to inconsistent production tradeoffs, if the tradeoffs are found to be not proper, then this indicates that an error has been made in their assessment and that the tradeoffs need revisiting.

4.1. Definitions

We consider a single production tradeoff proper if it improves some of the inputs and outputs only at the expense of making some other inputs and outputs worse and not proper otherwise. Formally, a single tradeoff (p,q) is not proper if p0, q0, and at least one of the two vectors p and q is not a zero vector.

We consider the set of production tradeoffs (5) proper if, for any proportions πk0, kK, their nonnegative linear (conical) combination

(p,q)=kKπk(pk,qk)(11)
is a proper single tradeoff, as defined above. In other words, production tradeoffs (5) are proper if they cannot be used to construct a combined tradeoff (11) that improves some of the inputs and outputs without worsening some other inputs and outputs.

It is clear why the not proper tradeoffs (5) are problematic and indicate an error. Indeed, in this case, there exists a combined tradeoff (p,q) stated by (11) that makes it possible to improve some inputs and outputs, without worsening some other inputs and outputs, for any DMU in the technology. This implies that all DMUs in the technology (including all observed DMUs) can be improved (by such tradeoffs) and are inefficient, which is unrealistic. This conclusion means that we made an error in the specification of tradeoffs and that they need to be reconsidered.

To formalize the above definitions, we first introduce the cone consisting of all tradeoffs that can be obtained as a combination (11) of tradeoffs (5):

C={(p,q)=kKπk(pk,qk)πk0,kK}.(12)

Furthermore, define the set (which is also a cone as the intersection of two cones)

C0=C(Rm×R+s),(13)
where Rm and R+s are the nonpositive and nonnegative orthants in the m input and s output dimensions, respectively.

It is clear that the cone C0 contains the origin. Moreover, if it also contains any nonzero tradeoff (p,q)C0, then this tradeoff would represent only improvements to some inputs and outputs without making the other inputs and outputs worse. This leads to the following formal definition of proper tradeoffs.

Definition 3.

Production tradeoffs (5) are proper if the cone C0 is a singleton that includes only the origin, that is, C0={(0,0)}, and not proper otherwise.

The notion of proper tradeoffs is generally different from the notion of consistent tradeoffs; that is, proper tradeoffs are not necessarily consistent, and vice versa, consistent tradeoffs are not necessarily proper. As illustrated by Examples 2 and 3, the tradeoffs (5) may be consistent or inconsistent, depending on the data set Ω. In contrast, the notion of proper tradeoffs (5) is independent of the observed data set and is therefore their endogenous characteristic.

The following examples highlight the difference between the notions of proper and consistent tradeoffs.

Example 4.

The linked tradeoff (p1,q1)=(1,1) defined by (7) was shown to be consistent with the data set in Example 2 and inconsistent in Example 3. It is also clear that this tradeoff is proper; it improves (reduces) the input at the expense of worsening (reducing) the output. Therefore, it is possible that a tradeoff is proper but inconsistent.

Example 5.

Consider a technology with three inputs x=(x1,x2,x3). (The outputs in this example are unimportant.) Consider the following two tradeoffs (their output component vectors q1 and q2 are assumed to be zero vectors):

p1=(2,1,0),q1=0,p2=(1,2,0),q2=0.(14)

Consider the sum (11) of these two tradeoffs taken with π1=π2=1:

p=p1+p2=(1,1,0),q=0.

The tradeoff (p,q) improves (reduces) the first two inputs but does not make worse the remaining third input or any of the outputs. Therefore, the tradeoffs (14) are not proper. However, for most data sets these tradeoffs would be consistent. Indeed, note that the vectors p1 and p2 change only the first two inputs and do not affect the third input. If the third input of all observed DMUs is strictly positive, then the tradeoffs (14) would not be able to reduce it to zero and hence, create free (and therefore, unlimited) production in the expanded CRS technology. As highlighted in Section 3, this means that the tradeoffs (14) are consistent, although they are not proper.

The following is a useful result concerning proper tradeoffs.

Theorem 2.

Let the set of tradeoffs (5) be proper, and let K be any subset of K. Then, the subset of tradeoffs (5) indexed by K (i.e., the tradeoffs (pk,qk), kK) is also proper.

4.2. A Computational Test for Proper Tradeoffs

As follows from Definition 3, to test whether tradeoffs (5) are proper, we need to check whether the cone C0 defined by (13) contains a nonzero tradeoff (p,q). This can be achieved by solving the following linear program and verifying whether its optimal value z* is equal to zero:

z*=max  1q1psubject to  kKπkpk=p,kKπkqk=q,p0,q,π0.(15)

Theorem 3.

The tradeoffs (5) are proper if and only the optimal value z* of the program (15) is equal to zero and not proper if and only if program (15) has an unbounded optimal value.

In program (15), all components of vector p are nonpositive. In practical computations, this would require declaring p a sign-free vector and incorporating the constraint p0. An alternative is to make the substitution p=w, in which case program (15) is restated as

z*=max  1q+1wsubject to  kKπkpk=w,kKπkqk=q,q,w,π0.(16)

Remark 3.

Programs (15) or (16) require only the statement of tradeoffs (5) and do not depend on the data set of observed DMUs. In contrast, the test of consistency of tradeoffs accounts for the full data set of observed DMUs and requires solving a separate larger program (10) for each such data set. This reflects the fact that the notion of being proper is an endogenous characteristic of tradeoffs, whereas the notion of their consistency depends on the data set and is not endogenous.

4.3. Dual Characterization of Proper Tradeoffs

Let us now obtain the dual characterization of proper tradeoffs. Multiply the second (output) equality in the constraints of program (16) by 1. The dual to the resulting program can be stated in terms of vectors vRm and uRs dual to the input and output constraints as follows:

z*=min  0v+0usubject to  pkvqku0,kK,v1,u1.(17)

The constraints of the dual (17) are the weight restrictions (8), with the additional requirement that all components of vectors v and u are greater than or equal to one. This leads to the following analytical test of proper tradeoffs (5).

Theorem 4.

The tradeoffs (5) are proper if and only if there exist strictly positive vectors vRm and uRs that satisfy the weight restrictions (8).

In some applications, verifying the conditions of Theorem 4 may be a simpler alternative to performing a computational test based on solving program (15). We illustrate this by examples in Section 6.

Clearly, program (17) can itself be used as a computational test of proper tradeoffs instead of program (15). This may be useful in applications in which we prefer to specify weight restrictions (8) without a need to restate them as production tradeoffs.

Theorem 5.

The tradeoffs (5) are proper if program (17) is feasible (in which case its optimal value z*=0) and are not proper if program (17) is infeasible.

Note that the actual objective function of program (17) is unimportant and can be replaced by any other objective function, in which case z* may be any other finite value or be unbounded.

Let us obtain a more precise characterization of proper and not proper tradeoffs (5). Denote I as the set of all inputs i{1,,m} for which there exists a not proper tradeoff (p,q)C0 (generally different for each iI) such that pi<0. Similarly, denote O as the set of all outputs r{1,,s} for which there exists a not proper tradeoff (p,q)C0 (generally different for each rO) such that qr>0. Restating Definition 3, the tradeoffs (5) are proper if both sets I and O are empty sets and not proper otherwise.

Now consider the weight restrictions (8). Denote I{1,,m} and O{1,,s} as the subsets of inputs and outputs such that vi=0, for all iI, and ur=0, for all rO, in all nonnegative solutions (u,v)R+s×R+m of the set of inequalities (weight restrictions) (8).

Theorem 6.

We have I=I and O=O.

The meaning of Theorem 6 is clear. Suppose that the tradeoffs (5) are not proper. Then, by Definition 3, there exists a tradeoff (p,q)C0 that improves some inputs and outputs “for free,” that is, without worsening the remaining inputs and outputs. According to Theorem 6, all such inputs and outputs that can be improved “for free” (and only they) will have zero weights in any nonnegative solution to the set of inequalities (weight restrictions) (8) and in any feasible (including any optimal) solution of the multiplier VRS or CRS program that incorporates them. (The latter assumes that the multiplier model is feasible. This may not be the case if the not proper tradeoffs (5) are also inconsistent with the data set—see Podinovski and Bouzdine-Chameeva (2013).)

5. Proper and Consistent Production Tradeoffs

In Section 4, we showed that production tradeoffs (5) may be proper but inconsistent and vice versa, consistent but not proper. Therefore, generally, in order to verify that the tradeoffs are both proper and consistent, we would need to solve two linear programs, (10) and (15).

In this section, we identify a very large class of production tradeoffs for which it suffices to verify only that the tradeoffs are proper because this in turn is sufficient for their consistency. We further identify a class of tradeoffs for which the notions of consistency and being proper are equivalent.

The tradeoffs (5) can be assigned to one of the following three groups (we do not assume that all three groups are present):

(pk,qk)=(pk,0),kK1={1,,K1},(18a)
(pk,qk)=(0,qk),kK2={K1+1,,K2},(18b)
(pk,qk),kK3={K2+1,,K}.(18c)

The input tradeoffs (18a) and output tradeoffs (18b) are referred to as unlinked tradeoffs. For the tradeoffs (18c), we assume that pk0 and qk0, for all kK3. These tradeoffs identify simultaneous changes to both inputs and outputs and are referred to as linked tradeoffs.

Theorem 7.

Assume that the set of tradeoffs (18) either does not include linked tradeoffs (18c) or, if it does, then pk0 for all kK3. Then, if the tradeoffs (18) are proper, then they are also consistent for any data set Ω.

As noted, we generally need to check that the tradeoffs are both proper and consistent. The analytical conditions for proper tradeoffs stated by Theorem 4 in our paper are easier to verify than the more complex conditions required for consistent tradeoffs (Podinovski and Bouzdine-Chameeva 2013, 2015). Similarly, as noted in Remark 3, the computational testing that the tradeoffs are proper is significantly simpler than the testing of their consistency. If the tradeoffs (18) satisfy the assumptions of Theorem 7, then the overall testing task is simplified further because it suffices to perform only the simpler check that the tradeoffs are proper, which also implies their consistency.

Before we state the next result concerning the equivalence of the notions of proper and consistent tradeoffs, we first prove the following theorem concerning consistent tradeoffs.

Theorem 8.

Assume that the set of tradeoffs (18) does not include input tradeoffs (18a), and, if the linked tradeoffs (18c) are specified, then pk0 for all kK3. Then, the tradeoffs (18) are either consistent for all data sets Ω or they are inconsistent for all data sets Ω (i.e., the tradeoffs (18) cannot be consistent for some data sets Ω and inconsistent for the other).

The next result shows that, for the types of tradeoffs described by the conditions of Theorem 8, the notions of proper and consistent tradeoffs are equivalent.

Theorem 9.

Assume that the set of tradeoffs (18) does not include input tradeoffs (18a), and, if the linked tradeoffs (18c) are specified, then pk0 for all kK3. Then, the tradeoffs (18) are proper if and only if they are consistent for any, and therefore for all, data sets Ω.

As a special case of Theorem 9, we observe that if we have only the output tradeoffs (18b), then they are proper if and only if they are consistent for any, and therefore for all, data sets Ω.

The next result was proved by Podinovski and Bouzdine-Chameeva (2015) for consistent tradeoffs. We show that it also extends to the case of proper tradeoffs.

Theorem 10.

Let all tradeoffs be linked, that is, stated in the form (18c), where pk0 for all kK3. Then, the tradeoffs (18c) are proper (and, by Theorem 9, consistent for any data set Ω).

6. Examples

In this section, we consider examples that illustrate theoretical results obtained in the previous sections. The first example provides an illustration to Theorems 4 and 7.

Example 6.

Let there be two inputs and two outputs. Consider the following two tradeoffs:

p1=(0,0),q1=(2,1),p2=(1,0),q2=(1,0).(19)

The corresponding weight restrictions are stated as 2u1+u20 and u1v10. These inequalities are satisfied by u1=u2=v1=v2=1. By Theorem 4, the tradeoffs (19) are proper. Furthermore, by Theorem 7, they are also consistent for any data set Ω of observed DMUs.

The next example provides an illustration to Theorems 1, 4, and 9.

Example 7.

Assume that there are two inputs and two outputs. Consider the following three tradeoffs:

p1=(0,0),q1=(3,1),p2=(0,0),q2=(1,1),p3=(1,2),q3=(1,0).(20)

Restating these tradeoffs as weight restrictions, we have 3u1u20, u1+u20 and u1v12v20. It is straightforward to see that there do not exist strictly positive vectors v and u that satisfy these three inequalities. Indeed, adding the first two inequalities, we have 2u10, which implies that u10. According to Theorem 4, the tradeoffs (20) are not proper. Furthermore, by Theorem 9, they are also inconsistent for any data set Ω of observed DMUs.

Alternatively, we notice that the subset of the first two tradeoffs (20) is not proper. (As shown, the corresponding two weight restrictions imply that u10.) By Theorem 9, these two tradeoffs are also inconsistent for any data set Ω. By Theorem 1, the set of all three tradeoffs (20) is inconsistent for any Ω.

In the next final example, we use Theorem 4 to verify that the tradeoffs are proper but need to solve a linear program (10) to test whether they are consistent.

Example 8.

Let us have one input and two outputs. Consider the following two tradeoffs:

p1=(1),q1=(1,1),p2=(2),q2=(1,2).(21)

Restating these tradeoffs as weight restrictions, we have u1+u2v10 and u12u2+2v10. These inequalities are satisfied by strictly positive weights u1=1, u2=2 and v1=1. By Theorem 4, the tradeoffs (21) are proper.

Because the input component p2=(2) is negative, we cannot use any of the theorems proven in Section 5 to confirm whether the tradeoffs are consistent. In this case, given a specific set of observed DMUs, we need to solve program (10) to verify this. It is easy to see that the result will depend on the data set Ω. For example, suppose that the data set includes the DMU (4,10,5), where the first component is the input and the remaining two components are outputs. Applying the tradeoff (p2,q2) to this DMU in proportion π2=2, we obtain the modified DMU (0,12,1), which represents free production. Therefore, if the data set Ω includes the above DMU A, then the tradeoffs (21) are proper but inconsistent.

7. Illustrative Application

We illustrate the methodology developed in our paper in the context of higher education.

7.1. The Data and Preliminary Results

The data set consists of 24 research-intensive U.K. universities collectively referred to as the Russell group of universities. The model includes one input and seven outputs. The latter represent the teaching and research functions of academic staff. Table 1 shows summary statistics of this data set.

Table

Table 1. Descriptive Statistics for the Application

Table 1. Descriptive Statistics for the Application

MeasureMeanMedianMinimumMaximumStandard deviation
Input: Academic staff4,598.753,872.51,93510,4002,077.06
Output 1: UG medical students2,049.172,177.503,9151,002.86
Output 2: UG science students8,7259,28091514,0002,794.22
Output 3: UG nonscience students9,919.5810,44550014,8803,270.99
Output 4: PG medical students711.0454502,745662.75
Output 5: PG science students4,251.253,81063012,0102,254.54
Output 6: PG nonscience students5,264.584,922.52,26010,8552,338.15
Output 7: Papers7,614.966,1012,10517,7654,273.27


Note. UG, undergraduate students; PG, postgraduate (taught and research) students.

The single input is the total academic staff of the universities. Six of the seven outputs represent the numbers of undergraduate (UG) and postgraduate (PG) students (including both taught and research variants), split by the three groups of departments. The first group is referred to as medical departments, which also includes veterinary departments. The second group is referred to as science departments, which also includes mathematics, engineering, and computer science. The third group is referred to as nonscience departments and includes social sciences, business schools, and arts. This split accounts for different teaching and research cultures across different types of disciplines. The data for total academic staff and students in all six categories is obtained from the publicly available tables for the 2024–2025 academic year published by the Higher Education Statistics Agency (HESA) on www.hesa.ac.uk. The seventh output is the number of academic papers included in the Scopus database as published in 2025.

Table 2 shows additional summary statistics for the two useful ratio indicators: students per staff, also known as the student-to-staff ratio (the total number of UG and PG students divided by total academic staff), and papers per staff (the number of papers published in 2025 divided by total academic staff).

Table

Table 2. Students and Papers per Academic Staff

Table 2. Students and Papers per Academic Staff

Outputs per staffMeanMedianMinimumMaximumStandard deviation
Students per staff7.388.053.311.91.99
Papers per staff1.621.60.92.90.44

The first and third numerical rows of Table 3 show summary statistics of the output radial efficiency of all universities evaluated in the standard VRS and CRS models (without tradeoffs). As expected, because the number of inputs and outputs is relatively large for the given small data set, the VRS model does not show good discrimination on efficiency, with 20 universities shown as efficient and the average efficiency being more than 98%.

Table

Table 3. Output Radial Efficiency in Different Models

Table 3. Output Radial Efficiency in Different Models

ModelNumber of efficient DMUsAverage efficiencyMinimum efficiencyStandard deviation
VRS without tradeoffs200.98710.85720.0358
VRS with the tradeoffs80.92250.72820.0885
CRS without tradeoffs120.9330.58190.1033
CRS with the tradeoffs40.84170.53830.1227

7.2. Specifying and Using Production Tradeoffs

We now consider the incorporation of production tradeoffs in the VRS and CRS models. The first three tradeoffs are variants of the tradeoff (2) specified separately for the medical, science, and nonscience groups of departments:

p¯1=(0),q¯1=(1,0,0,1,0,0,0),p¯2=(0),q¯2=(0,1,0,0,1,0,0),p¯3=(0),q¯3=(0,0,1,0,0,1,0).(22)

(To avoid confusion with the previously discussed examples, we add a bar over the vectors p and q.)

The tradeoffs (22) state the assumption that the teaching of one PG student takes no less academic time than the teaching of one UG student. The rationale for this is that, in the United Kingdom, PG students are typically taught over almost the entire year and in smaller classes compared with the UG students in the same department who are taught only nine months, excluding the summer.

We now specify tradeoffs that relate the time used to teach students to the time required to write an academic paper. The underlying assumption is that a six-month period (spent, for example, on a study leave) should typically be sufficient to write two academic papers. According to Table 2, the mean “student-per-staff” ratio across all universities is 7.38. This suggests that the writing of two papers (e.g., six months on a study leave) should typically require the same academic time as the teaching of about four students (equal to 0.5 full-time academic staff equivalent). Because this is just a rough estimate, which is also likely to vary between the universities, the statements of the following tradeoffs use more relaxed assumptions.

Namely, the next group of tradeoffs assumes that the reduction of the number of UG students by five releases sufficient academic time to write just one paper (instead of the more demanding assumption of two papers, as estimated) at each of the three groups of departments:

p¯4=(0),q¯4=(5,0,0,0,0,0,1),p¯5=(0),q¯5=(0,5,0,0,0,0,1),p¯6=(0),q¯6=(0,0,5,0,0,0,1).(23)

The second group of tradeoffs states the opposite change. Namely, it assumes that, if required, the reduction of the number of papers by one releases sufficient time to teach at least three extra students:

p¯7=(0),q¯7=(3,0,0,0,0,0,1),p¯8=(0),q¯8=(0,3,0,0,0,0,1),p¯9=(0),q¯9=(0,0,3,0,0,0,1).(24)

Computations show that the optimal value of program (15) stated for tradeoffs (22)–(24) is equal to zero. Therefore, by Theorem 3, this set of tradeoffs is proper. Furthermore, because all these tradeoffs concern only the outputs, that is, they are of the type (18b), by either Theorem 7 or 9, the set of tradeoffs (22)–(24) is also consistent with the data set.

We now assess the output radial efficiency of all universities in the VRS technology expanded by the tradeoffs (22)–(24), according to its statement (6), and also in its CRS variant. The second and fourth numerical rows of Table 3 show summary statistics for the results.

It is clear that the incorporation of tradeoffs in the VRS and CRS models has a significant effect on the efficiency estimation. For example, whereas the standard VRS model shows 20 out of 24 universities as efficient, the VRS model with tradeoffs shows only eight universities as efficient, with the average efficiency reduced from more than 98% to almost 92%. A similar improvement is also observed in the case of CRS.

7.3. What If the Tradeoffs Are Not Proper?

Suppose that, instead of the tradeoff (p¯4,q¯4) in the group of tradeoffs (23), we have specified the more demanding tradeoff

p^4=(0),q^4=(2.5,0,0,0,0,0,1).

To justify this tradeoff, we may take into account that the teaching of one medical student requires more time than the teaching of students at other departments and that, therefore, the reduction of only 2.5 students should release sufficient time to write an academic paper.

Computations show that as a result of replacing tradeoff (p¯4,q¯4) with the tradeoff (p^4,q^4), the average efficiency across all universities drops to 0.8264 and 0.7578 in the VRS and CRS models, respectively. There is no indication that any of these results may be problematic.

Let us test whether the set of tradeoffs (22)–(24), where the tradeoff (p¯4,q¯4) is substituted by the tradeoff (p^4,q^4), is proper. Solving the appropriately specified program (15), we find out that its objective function is unbounded. By Theorem 3, the above set of tradeoffs is not proper.

It is easy to point out where the problem is. Indeed, if we combine the tradeoff (p^4,q^4) with the tradeoff (p¯7,q¯7) from the group (24), we obtain the combined tradeoff

p=p¯7+p^4=(0),q=q¯7+q^4=(0.5,0,0,0,0,0,0).

The tradeoff (p,q) states that at any university in the technology, it is possible to increase the number of UG medical students without any worsening of the other outputs or increasing the input. (Note that we cannot say that either individual tradeoff (p^4,q^4) or (p¯7,q¯7) is problematic. However, these two tradeoffs contradict each other and should not be specified simultaneously.)

We have shown that the set of tradeoffs (22)–(24), with the tradeoff (p¯4,q¯4) substituted by (p^4,q^4), is not proper. Such a set is theoretically unsubstantiated and cannot be used, even though the results of computations do not appear problematic.

8. Conclusion

The specification of production tradeoffs or, equivalently, weight restrictions leads to an enlargement of the model of technology and improved discrimination of efficiency analysis based on it. The notions of consistent tradeoffs, already known from the existing literature, and proper tradeoffs introduced in our paper are useful for the identification of possible errors made in their specification.

The tradeoffs are inconsistent if their specification generates free or unlimited production of a nonzero output vector. As noted, this also explains the possible infeasibility of the multiplier model based on them. Inconsistent tradeoffs contradict the established assumptions of production theory, which makes them unacceptable in efficiency analysis.

The new notion of proper tradeoffs is based on a different principle. The tradeoffs are not proper if their use may lead to an improvement of some inputs and outputs “for free” without worsening any other inputs and outputs. It is clear that, in this case, any DMU can be improved “for free.” This further means that no DMU can be considered as efficient, which is unrealistic.

As we show in this paper, the notions of consistent and proper tradeoffs are overlapping but nevertheless different. The tradeoffs can be consistent but not proper and, vice versa, proper but inconsistent. Both inconsistent and not proper tradeoffs are problematic and indicate that we have made an error in their specification that needs rectifying.

In this paper, we explore the notion of proper tradeoffs (and weight restrictions equivalent to them) in detail. It turns out that although, as known, the tradeoffs may be consistent for one set of observed DMUs and inconsistent for another set, the characterization of tradeoffs as proper or not proper is endogenous and independent of the data set. This means that, for example, if we change the data set (e.g., by including additional observed DMUs), the consistency of tradeoffs generally needs rechecking but the fact that they remain proper does not.

We develop a computational test for proper tradeoffs based on solving a single linear program and its equivalent dual variant stated in terms of weight restrictions. We also obtain an analytical condition for proper tradeoffs that does not require solving linear programs. Both the computational and analytical tests for proper tradeoffs are significantly simpler than the corresponding tests of their consistency.

We finally prove that for a large class of production tradeoffs that are considered in most applications, the fact that they are proper implies that they are also consistent, and we need only to verify the former. The only exception is the case in which the specified tradeoffs include a linked tradeoff (changing both inputs and outputs) that shows a reduction of one or more inputs. In this case, we need to perform two separate tests, one for proper and one for consistent tradeoffs.

We illustrate the notion of proper tradeoffs in an application to a sample of U.K. universities. We show that even if the results of efficiency evaluation with production tradeoffs (or weight restrictions) do not appear to be problematic, the tradeoffs may still be not proper and therefore theoretically unsubstantiated together with the efficiency scores obtained by using them. We show how the simple tests developed in our paper can be used to check whether the tradeoffs are proper or point out an error in their specification that needs correcting.

Appendix A. Proofs

Proof of Theorem 1.

Consider programs (10) stated for the full set of tradeoffs (5) and its subset, indexed by K and K, respectively. Let y* and y be their corresponding optimal values. The proof follows from the obvious inequality yy*. □

Proof of Theorem 2.

Denote C as the cone (12) defined for the set K. Then, CC, and the proof follows from Definition 3 of proper tradeoffs. □

Proof of Theorem 3.

Program (15) is always feasible (its constraints are satisfied by the zero vectors p, q, and π). Two cases arise. First, let z*=0. Then, p=0 and q=0 in any feasible solution of program (15). Therefore, C0={(0,0)}, and by Definition 3, the tradeoffs are proper. Second, let there exist a feasible solution (π,p,q) of program (15) for which z=1q1p>0. Then, (p,q) is not a zero vector, and (p,q)C0. By Definition 3, the tradeoffs (5) are not proper. Furthermore, in this case, for any n=1,2,, the solution (nπ,np,nq) is also feasible in program (15), and the corresponding value of the objective function is equal to nz, which is unbounded as n+. □

Proof of Theorem 4.

This theorem is a simple corollary of Theorem 6. We can also give its independent proof as follows. By Theorem 3, the tradeoffs (5) are proper if and only if program (15), restated as (16), has a finite optimal value (equal to zero). This is equivalent to the feasibility of the dual (17). Therefore, if the tradeoffs (5) are proper, there exist strictly positive vectors v and u (more precisely, v1 and u1) that satisfy (8). Conversely, if there exist strictly positive vectors v and u that satisfy (8), then there exists an α>0 such that v=αv1 and u=αu1. The vectors v and u also satisfy (8). Therefore, the dual (17) is feasible, which implies that program (16) has a finite optimal value. Therefore, the tradeoffs (5) are proper. □

Proof of Theorem 5.

The proof follows from the fact that program (17) is dual to (16). □

Proof of Theorem 6.

Assume that iIØ. Then, there exists a (p^,q^)C0 such that p^i<0. Note that (αp^,αq^)C0 for all α>0. Therefore, program (16) with the objective function changed to the maximization of the single component wi=pi is feasible and has an unbounded optimal value. Then its dual is infeasible, which is program (17) in which the constraints v1, u1 are replaced by vi>1 and v,u0. Therefore, the set of inequalities (8) does not have a nonnegative solution with vi>0 (as otherwise we could scale this solution by some factor α>0 to satisfy the inequality vi>1). Therefore, vi=0 in any nonnegative solution of (8), and iI.

Conversely, let iI. If the described dual is infeasible, the primal, which is always feasible, has an unbounded optimal value wi>0. Therefore, the set C0 contains a nonzero tradeoff (p,q) with pi<0, and the tradeoffs (5) are not proper. Therefore, iI.

The proof for the output sets O and O is similar and not given. □

Proof of Theorem 7.

Consider program (10), which is restated as follows:

y*=max  1y(A.1a)
subject to jJλjxj+kK1πkpk+kK3πkpk0,(A.1b)
jJλjyj+kK2πkqk+kK3πkqky,(A.1c)
y0,λ,π0.(A.1d)

We need to prove that y*=0. Consider any feasible solution (y,λ,π) of program (A.1). Let us first prove that λ=0. Two possible cases arise.

Case 1. Let K1=Ø. Then, the inequality (A.1b) implies that

jJλjxj+kK3πkpk0.(A.2)

The second term in (A.2) is either nonnegative (because pk0 for all kK3) or is missing (if K3=Ø). Therefore, jJλjxj0. Because xj0 and xj0, for all jJ, we have λ=0.

Case 2. Let K1Ø. Consider program (15) stated only for the subset of tradeoffs (18a),

z1*=max  1psubject to  kK1πkpk=p,π^0,p0,(A.3)
where π^=(π1,π2,πK1) is the subvector of the first K1 components of vector π. Because the tradeoffs (18) are proper, by Theorem 2, the subset of tradeoffs (18a) is also proper. By Theorem 3, we have z1*=0.

From (A.1b), because jJλjxj0 and, if K3Ø, kK3πkpk0, we have

p=kK1πkpk0.(A.4)

Denote π^=(π1,π2,πK1). From (A.4), the pair (π^,p) is feasible in program (A.3). Taking the scalar product of both sides of inequality (A.1b) and the vector 1 and rearranging, we have

1jJλjxj1(kK1πkpk+kK3πkpk)1kK1πkpkmaxπ^0(1kK1πkpk)=z1*=0.(A.5)

(Note that the last inequality in (A.5) is true because (π^,p) is a feasible solution of program (A.3).) Because jJλjxj0, the inequality (A.5) implies jJλjxj=0. As in Case 1, this further implies λ=0.

We have proved that λ=0 in both Cases 1 and 2. From (A.1b) and (A.1c), and because y0, we have

p=kK1πkpk+kK3πkpk0,(A.6a)
q=kK2πkqk+kK3πkqky0.(A.6b)

Therefore, (π,p,q) is a feasible solution of program (15). Taking the scalar product of both sides of inequality (A.6b) and the vector 1, and rearranging, we have

1y1(kK2πkqk+kK3πkqk)maxπ0(kK2πkqk+kK3πkqk)=z*=0.(A.7)

(Note that the second inequality in (A.7) is true because (π,p,q) is a feasible solution of program (15).) Because y0, the inequality (A.7) implies y=0. Because (y,λ,π) is an arbitrary feasible solution of program (A.1), its optimal value y*=0. Therefore, the tradeoffs (18) are consistent. □

Proof of Theorem 8.

Because K1=Ø, program (10) is restated as program (A.1) in which the summation term for the set K1 is removed from the constraint (A.1b). Because xj0, xj0, for all jJ and, as assumed, pk0, pk0, for all kK3 (or K3=Ø) ,the inequality (A.1b) (with the term for K1 removed) implies that in any feasible solution (y,λ,π) of program (A.1), we have λ=0 and πk=0 for all kK3. (We also replace the inequality in (A.1c) by an equality, which we need in the proof of Theorem 9.) Program (A.1) is now restated as

y*=max  1ysubject to  kK2πkqk=y,y0,π0.(A.8)

The optimal value y* of this program does not depend on Ω. As proven by Podinovski and Bouzdine-Chameeva (2013) and noted in Section 3, if y* is equal to zero, then the tradeoffs (18) are consistent for any data set Ω. If y* is unbounded, then these tradeoffs are inconsistent for any Ω. □

Proof of Theorem 9.

As shown in the proof of Theorem 8, because the set K1=Ø, program (10) is stated as (A.8). Furthermore, program (15) is stated as

z*=max  1q1psubject to  kK3πkpk=p,kK2πkqk+kK3πkqk=q,p0,q,π0.(A.9)

Because pk0, pk0, for all kK3, the first constraint of program (A.9) implies that, in any of its feasible solutions (p,q,π), we have πk=0 for all kK3, and p=0. This transforms program (A.8) to program (A.8), with notation q replacing y. Therefore, z*=y*. The tradeoffs (18) are consistent (for any and therefore for all data sets Ω) if and only if y*=0, which is equivalent to z*=0. By Theorem 3, this is equivalent to tradeoffs (18) being proper. □

Proof of Theorem 10.

In the assumed case, program (15) is stated as

z*=max  1q1psubject to kK3πkpk=p,kK3πkqk=q,p0,q,π0.(A.10)

Because pk0, pk0, for all kK3, and, for any feasible vector p we must have p0, the first constraint of program (A.10) implies that, in any of its feasible solutions (p,q,π), we have π=0. Therefore, p=q=0, and for the optimal solution of program (A.10), we have z*=0. By Theorem 3, the tradeoffs (18) are proper. □

Appendix B. Examples of Linear Programs

Below, we show detailed statements of some linear programs discussed in this paper.

To check consistency of the two tradeoffs (7) used in Example 3 with its data set as in Figure 2, we solve program (10) stated as follows:

y*=max  ysubject to  2λA+4λB+4λC1π1+2π20,3λA+4λB+2λC1π1+0.5π2y,λA,λB,λC,π1,π2,y0.(B.1)

Calculations show that the optimal value of program (B.1) is unbounded, and therefore, the tradeoffs (7) are inconsistent with the data set shown in Figure 2.

As noted in Remark 2, we can change zero on the right-hand side of the first (input) constraint of program (B.1) to the input vector (in this case, scalar input) of any observed DMU. For example, if we change this zero to the input of DMU A equal to 2, the resulting program also has an unbounded value, confirming that the tradeoffs (7) are inconsistent with the data set.

Note that the optimal value of a similar program to (B.1) based on the data set used in Figure 1 is finite (equal to zero). Therefore, the tradeoffs (7) are consistent with the data set used in Figure 1. We can also use the input of any of the observed DMUs instead of the zero on the right-hand side of the first constraint. The optimal values of all such programs are (different) positive finite numbers, and any of these confirm that the tradeoffs are consistent with the data set in Figure 1.

Consider the three tradeoffs (20) in Example 7, which we already showed to be not proper. As an alternative way to verify the same result, we can solve program (17) stated as

z*=min  0v1+0v2+0u1+0u2subject to  0v1+0v23u1+u20,0v1+0v2+u1u20,v1+2v2u10u20,v1,v2,u1,u21.(B.2)

Computations show that program (B.2) is infeasible. Therefore, by Theorem 5, the tradeoffs (20) in Example 7 are not proper.

References

  • Allen R, Athanassopoulos A, Dyson RG, Thanassoulis E (1997) Weights restrictions and value judgements in data envelopment analysis: Evolution, development and future directions. Ann. Oper. Res. 73:13–34.CrossrefGoogle Scholar
  • Amado CAEF, Santos SP (2009) Challenges for performance assessment and improvement in primary health care: The case of the Portuguese health centres. Health Policy 91(1):43–56.CrossrefGoogle Scholar
  • Atici KB, Podinovski VV (2015) Using data envelopment analysis for the assessment of technical efficiency of units with different specialisations: An application to agriculture. Omega 54:72–83.CrossrefGoogle Scholar
  • Banker RD, Charnes A, Cooper WW (1984) Some models for estimating technical and scale inefficiencies in data envelopment analysis. Management Sci. 30(9):1078–1092.LinkGoogle Scholar
  • Capeletti NM, Amado CAF, Santos SP (2024) Performance assessment of primary health care services using data envelopment analysis and the quality-adjusted Malmquist index. J. Oper. Res. Soc. 75(2):361–377.CrossrefGoogle Scholar
  • Chambers RG, Chung Y, Färe R (1998) Profit, directional distance functions, and Nerlovian efficiency. J. Optim. Theory Appl. 98(2):351–364.CrossrefGoogle Scholar
  • Charnes A, Cooper WW, Rhodes E (1978) Measuring the efficiency of decision making units. Eur. J. Oper. Res. 2(6):429–444.CrossrefGoogle Scholar
  • Färe R, Grosskopf S (2010) Directional distance functions and slacks-based measures of efficiency. Eur. J. Oper. Res. 200(1):320–322.CrossrefGoogle Scholar
  • Färe R, Grosskopf S, Lovell CAK (1985) The Measurement of Efficiency of Production (Kluwer, Boston).CrossrefGoogle Scholar
  • Fukuyama H, Weber WL (2009) A directional slacks-based measure of technical inefficiency. Socio-Econom. Planning Sci. 43(4):274–287.CrossrefGoogle Scholar
  • Harju M, Liesiö J, Virtanen K (2019) Spatial multi-attribute decision analysis: Axiomatic foundations and incomplete preference information. Eur. J. Oper. Res. 275(1):167–181.CrossrefGoogle Scholar
  • Hazen GB (1986) Partial information, dominance, and potential optimality in multiattribute utility theory. Oper. Res. 34(2):296–310.LinkGoogle Scholar
  • Keeney R, Raiffa H (1976) Decisions with Multiple Objectives: Preferences and Value Tradeoffs (Wiley, New York).Google Scholar
  • Khalili M, Camanho AS, Portela MCAS, Alirezaee MR (2010) The measurement of relative efficiency using data envelopment analysis with assurance regions that link inputs and outputs. Eur. J. Oper. Res. 203(3):761–770.CrossrefGoogle Scholar
  • Mehdiloo M, Papaioannou G, Podinovski VV (2026) Production trade-offs in free disposal hull technologies. Eur. J. Oper. Res. 328(2):530–544.CrossrefGoogle Scholar
  • Podinovski VV (2004) Production trade-offs and weight restrictions in data envelopment analysis. J. Oper. Res. Soc. 55(12):1311–1322.CrossrefGoogle Scholar
  • Podinovski VV, Bouzdine-Chameeva T (2013) Weight restrictions and free production in data envelopment analysis. Oper. Res. 61(2):426–437.LinkGoogle Scholar
  • Podinovski VV, Bouzdine-Chameeva T (2015) Consistent weight restrictions in data envelopment analysis. Eur. J. Oper. Res. 244(1):201–209.CrossrefGoogle Scholar
  • Podinovski VV, Bouzdine-Chameeva T (2021) Optimal solutions of multiplier DEA models. J. Prod. Anal. 56(1):45–68.CrossrefGoogle Scholar
  • Podinovski VV, Wu J, Argyris N (2024) Production trade-offs in models of data envelopment analysis with ratio inputs and outputs: An application to schools in England. Eur. J. Oper. Res. 313(1):359–372.CrossrefGoogle Scholar
  • Ravanos P, Karagiannis G (2023) On VEA, production trade-offs and weights restrictions. J. Oper. Res. Soc. 74(10):2081–2093.CrossrefGoogle Scholar
  • Razipoor-GhalehJough S, Lofti FH, Jahanshahloo G, Rostami-Malkhalifeh M, Sharafi H (2020) Finding closest target for bank branches in the presence of weight restrictions using data envelopment analysis. Ann. Oper. Res. 288(2):755–787.CrossrefGoogle Scholar
  • Rockafellar RT (1970) Convex Analysis (Princeton University Press, Princeton, NJ).CrossrefGoogle Scholar
  • Roets B, Verschelde M, Christiaens J (2018) Multi-output efficiency and operational safety: An analysis of railway traffic control centre performance. Eur. J. Oper. Res. 271(1):224–237.CrossrefGoogle Scholar
  • Santos SP, Amado CAF (2014) On the need for reform of the Portuguese judicial system – Does data envelopment analysis assessment support it? Omega 47:1–16.CrossrefGoogle Scholar
  • Santos SP, Amado CAF, Rosado JR (2011) Formative evaluation of electricity distribution utilities using data envelopment analysis. J. Oper. Res. Soc. 62(7):1298–1319.CrossrefGoogle Scholar
  • Santos AJR, Santos SP, Amado CAF, Rebelo EL, Mendes JC (2020) Labor inspectorates’ efficiency and effectiveness assessment as a learning path to improve work-related accident prevention. Ann. Oper. Res. 288(2):609–651.CrossrefGoogle Scholar
  • Thanassoulis E, Portela MCS, Despić O (2008) Data envelopment analysis: The mathematical programming approach to efficiency analysis. Fried HO, Lovell CAK, Schmidt SS, eds. The Measurement of Productive Efficiency and Productivity Growth (Oxford University Press, New York), 251–420.CrossrefGoogle Scholar
  • Tone K (2001) A slacks-based measure of efficiency in data envelopment analysis. Eur. J. Oper. Res. 130(3):498–509.CrossrefGoogle Scholar
  • Weber M (1987) Decision making with incomplete information. Eur. J. Oper. Res. 28(1):44–57.CrossrefGoogle Scholar

Victor V. Podinovski is professor of operational research at Loughborough Business School of Loughborough University, United Kingdom. His research interests focus on optimization-based methodologies for the evaluation of efficiency and productivity of organizations.

Grammatoula Papaioannou is a reader (associate professor) in business analytics at Loughborough Business School, Loughborough University, United Kingdom. Her research spans the areas of optimization and efficiency analysis of organizations, operations, and supply chains.