Network Formation with Myopic and Farsighted Players

We adopt the notion of myopic-farsighted stable set to study the stability of networks when myopic and farsighted individuals decide with whom they want to form a link, according to some utility function that weighs the costs and benefits of each connection. A myopic-farsighted stable set is the set of networks satisfying internal and external stability with respect to the notion of myopic-farsighted improving path. We first provide conditions on the utility function that guarantee the existence of a myopic-farsighted stable set and we show that, when the population becomes mixed, the myopic-farsighted stable set refines the set of pairwise stable networks by eliminating some Pareto-dominated networks. In the end, when all players are farsighted, the myopic-farsighted stable set only consists of all strongly efficient networks. We next show that, in the case of a distance-based utility function, a tension between stability and efficiency is likely to arise when the population is homogeneous (either all myopic or all farsighted). But, once the population is mixed, the tension vanishes if there are enough farsighted individuals. In the case of a degree-based utility function, myopic and farsighted individuals may end up segregated with myopic individuals being overconnected and farsighted ones getting the socially optimal payoff.


Introduction
The organization of individuals into networks plays an important role in the determination of the outcome of many social and economic interactions. For instance, a communication or friendship network in which individuals have very few acquaintances with whom they share information will result in di¤erent employment patterns than one in which individuals have many such acquaintances. A central question is predicting the networks that individuals will form. Up to now, it has been assumed that all individuals are either myopic or farsighted when they decide with whom they want to link. Jackson and Wolinsky (1996) propose the notion of pairwise stability to predict the networks that one might expect to emerge in the long run. A network is pairwise stable if no individual bene…ts from deleting a link and no two individuals bene…t from adding a link between them. Pairwise stability presumes that individuals are myopic: they do not anticipate that other individuals may react to their changes. Farsighted individuals may not add a link that appears valuable to them as this can induce the formation of other links, ultimately lowering their payo¤s. 1 However, recent experiments provide evidence in favor of a mixed population consisting of both myopic and farsighted individuals. Kirchsteiger, Mantovani, Mauleon and Vannetelbosch (2016) test the myopic and the farsighted models of network formation, and compare the stability notions that are based on them. They …nd that most subjects are best classi…ed as myopic but many others are limitedly farsighted. 2 So, the outcomes of real-life network formation problems are likely to be a¤ected by the degree of farsightedness of the individuals. Consider the situation where the worth of link creation turns nonnegative after some threshold in the connectedness of the network is reached, both for the individuals and on aggregate, but the individual bene…ts are negative below this threshold. If network externalities take this form, myopic individuals can be stuck in insu¢ ciently dense networks. Farsightedness may take care of this problem and achieve e¢ ciency. In the presence of both myopic and farsighted individuals, their ability to pass the threshold will depend on the number of farsighted individuals. Only if there are enough farsighted individuals that, by linking among them, could pass the threshold, the myopic individuals would also start forming links achieving the e¢ cient network.
Moreover, it is important to understand what happens when myopic players interact with farsighted players since, in general, some networks that are nor stable when all players are myopic nor stable when all players are farsighted could now emerge in the long run. Is turning myopic players into farsighted players bene…cial for the society? Could it be that a heterogeneous society does better than a homogeneous society in terms of e¢ ciency? 1 Mauleon and Vannetelbosch (2016) provide a comprehensive overview of the (myopic and farsighted) solution concepts for solving network formation games. 2 Teteryatnikova and Tremewan (2020) compare the predictive power of myopic and farsighted stability concepts in a network formation experiment with a stream of payo¤s. Their results show that there exist environments where farsighted stability concepts identify empirically stable networks that are not identi…ed by myopic stability concepts.
And if yes, when? To address those questions we adopt the notion of myopic-farsighted stable set. This concept will help us to determine the networks that emerge when myopic and farsighted individuals decide with whom they want to form a link, according to some utility function that weighs the costs and bene…ts of each connection. 3 A myopic-farsighted stable set is the set of networks satisfying internal and external stability with respect to the notion of myopic-farsighted improving path. When all individuals are farsighted, the de…nition of a myopic-farsighted stable set boils down to the farsighted stable set. 4 We …rst provide general results that are useful for characterizing the myopic-farsighted stable set in applications. If a network is optimal for the farsighted players and pairwise stable for the myopic players, then it belongs to any myopic-farsighted stable set. A set of networks is the unique myopic-farsighted stable set if there is no myopic-farsighted improving path from any network within the set, and from any network outside the set there is a myopic-farsighted improving path leading to some network within the set. We next provide conditions on the utility function that guarantee the existence and uniqueness of a myopic-farsighted stable set. We …nd that, under the egalitarian utility function or in the presence of positive convex externalities or in the case of no externality, the unique myopic-farsighted stable set consists of all pairwise stable networks when all players are myopic. When the population is composed of myopic and farsighted players, the myopic-farsighted stable set re…nes the set of pairwise stable networks by eliminating some Pareto-dominated networks. In the end, when all players are farsighted, the unique myopic-farsighted stable set only consists of all strongly e¢ cient networks. Hence, under the egalitarian utility function or in the presence of positive convex externalities or in the case of no externality, turning myopic players into farsighted players alleviates the tension between stability and e¢ ciency. In addition, myopic players can only be better o¤ by becoming farsighted since the least preferred pairwise stable networks are progressively discarded.
We then analyze two speci…c utility functions: distance-based utility function (where the formation of a link exerts positive externalities) and degree-based utility function (where the formation of a link exerts negative externalities).
First, we reconsider Bloch and Jackson (2007) model of network formation where individuals decide with whom they want to form a link, according to a distance-based utility function that weighs the costs and bene…ts of each connection. Bene…ts of a connection decrease with distance in the network, while the cost of a link represents 3 Herings, Mauleon and Vannetelbosch (2017b) de…ne …rst the myopic-farsighted stable set for twosided matching problems, and Mauleon, Sempere-Monerris and Vannetelbosch (2018) extend it to R&D network formation with pairwise deviations. 4  the time an individual must spend with another individual for maintaining a direct link. Adding a link requires the consent of both individuals, while deleting a link can be done unilaterally. We now allow the population of individuals to include not only myopic individuals but also farsighted ones. Farsighted individuals are able to anticipate that once they add or delete some links, other individuals could add or delete links afterwards. We focus on the range of costs and bene…ts such that a star network is the unique strongly e¢ cient network. 5 When all individuals are myopic, Jackson (2008) shows that a con ‡ict between stability and e¢ ciency is likely to occur. In addition, starting from the empty network, a random process where pairs of players meet to add or to delete links becomes unlikely to reach a star network as the number of players increases (see Watts, 2001;Jackson, 2008). When the population consists of both myopic and farsighted individuals, we show that the con ‡ict between stability and e¢ ciency vanishes if there are enough farsighted individuals. Indeed, the set consisting of all star networks where the center of the star is a myopic individual is the unique myopic-farsighted stable set. However, once all individuals become farsighted, every set consisting of a star network encompassing all players is a myopic-farsighted stable set, but there may be other myopicfarsighted stable sets. For instance, the set of circles among four farsighted players can be a myopic-farsighted stable set.
One can then conclude that diversity guarantees the emergence in the long run of the e¢ cient outcomes. When all individuals are myopic or all individuals are farsighted, a tension between stability and e¢ ciency can occur. However, if the population is mixed, then this tension disappears. Farsighted individuals try to avoid ending up in the central position of the star, and so, if all of them are farsighted, this can lead to a worse inef-…cient outcome. But, if some individuals are myopic, farsighted individuals are able to place myopic individuals in positions where they have myopic incentives to move towards some star network where one of the myopic individuals ends up being the center of the star. However, if there are too many myopic individuals with respect to farsighted ones, farsighted individuals may fail to engage a path from some ine¢ cient network towards a star network. 6 Second, we reconsider Morrill (2011) model of network formation where the individual's utility from a link is a decreasing function of the number of links the other individuals maintain. Bene…ts of a link now decrease with the degree of the neighbors while costs 5 In cases of intermediate link costs relative to bene…ts, individuals obtain their highest possible payo¤ when they are the peripherals in a star network. The center of the star is worse o¤ compared to the peripherals. 6 Another strand of the literature that was initiated by Bala and Goyal (2000)  of a link still represent the time an individual must spend with another individual for maintaining a link. Degree-based utility functions exhibit negative externalities. In general, there is a con ‡ict between stability and e¢ ciency. Morrill (2011) shows that when individuals are all myopic and are able to make transfers to their neighbors, then stable networks coincide with strongly e¢ cient ones. When the population is mixed (and without transfers), we show that myopic and farsighted individuals may end up segregated with myopic individuals being overconnected and farsighted ones getting the socially optimal payo¤. The more farsighted individuals in the population are, the less likely ine¢ cient networks will emerge. In the limit, when all individuals are farsighted, the set of all strongly e¢ cient networks is stable without the use of any transfers. Finally, we study how networks evolve when myopic players may become farsighted over time. Players are initially unconnected to each other. Over time, pairs of players decide whether or not to form or cut links with each other. A link can be cut unilaterally but agreement by both players is needed to form a link. All players are initially myopic, and thus decide to form or cut links if doing so increases their current payo¤s. The length of a period is su¢ ciently long so that the process can converge to some stable network. At the beginning of each period after the initial period, some myopic players become farsighted. The likelihood of becoming farsighted may be related to some endogenous factors (e.g. number of farsighted players in the neighborhood, average payo¤ of the neighbors, ...) or some exogenous factors (e.g. a policy for improving individuals'cognitive ability, ...). Depending on their positions in the network, the process either stays at the same network or evolves to another stable network. For instance, in the distance-based utility model, the dynamic process …rst converges to some pairwise stable network. Once the number of myopic players who have become farsighted is large enough, the dynamic process evolves to a star network with some myopic player in the center. Such star network will be dismantled once the myopic player in the center of the star becomes farsighted. In this case, the process evolves next to another star network with one of the remaining myopic player in the center.
The paper is organized as follows. In Section 2 we introduce networks, myopicfarsighted improving paths, myopic-farsighted stable sets, and we provide general results for characterizing a myopic-farsighted stable set of networks. In Section 3 we consider distance-based utility functions and we characterize the myopic-farsighted stable sets when the population consists of a mixture of myopic and farsighted individuals. In Section 4 we consider degree-based utility functions. In Section 5 we study the evolution and the dynamics of networks and we discuss the robustness of our results with respect to deviations by groups and limited farsightedness. In Section 6 we conclude.

Network formation 2.1 Modelling networks
We study networks where players form links with each other in order to exchange information. The population consists of both myopic and farsighted players. The set of players is denoted by N = M [ F , where M is the set of myopic players and F is the set of farsighted players. Let n be the total number of players and m 0 (n m 0) be the number of myopic (farsighted) players. A network g is a list of pairs of players who are linked to each other and ij 2 g indicates that i and j are linked under g. The complete network on the set of players S N is denoted by g S and is equal to the set of all subsets of S of size 2. 7 It follows in particular that the empty network is denoted by g ; . The set of all possible networks on N is denoted by G and consists of all subsets of g N . The network obtained by adding link ij to an existing network g is denoted g + ij and the network that results from deleting link ij from an existing network g is denoted g ij. Let N (g) = fi jthere is j such that ij 2 gg be the set of players who have at least one link in the network g. Let N i (g) = fj 2 N j ij 2 gg be the set of neighbors of player i in g. The degree of player i in network g, denoted d i (g), is the cardinality of i's set of neighbors, d i (g) = #N i (g). A star network is a network such that there exists some player i (the center) who is linked to every other player j 6 = i (the peripherals) and that contains no other links (i.e. g is such that A d-regular network is a network where all players have the same degree d. A path in a network g between i and j is a sequence of players i 1 ; : : : ; i K such that i k i k+1 2 g for each k 2 f1; : : : ; K 1g with i 1 = i and i K = j. A network g is connected if for all i 2 N and j 2 N n fig, there exists a path in g connecting i and j. A nonempty subnetwork h g is a component of g, if for all i 2 N (h) and j 2 N (h) n fig; there exists a path in h connecting i and j, and for any i 2 N (h) and j 2 N (g), ij 2 g implies ij 2 h. The set of components of g is denoted by H(g).
A network utility function (or payo¤ function) is a mapping U i : G ! R that assigns to each network g a utility U i (g) for each player i 2 N . A network g 2 G is strongly Let E be the set of strongly e¢ cient networks. Jackson and Wolinsky (1996) propose the notion of pairwise stability to analyze the networks that one might expect to emerge in the long run when all players are myopic.
. Let P be the set of pairwise stable networks. 7 Throughout the paper we use the notation for weak inclusion and for strict inclusion. Finally, # will refer to the notion of cardinality.

Myopic-farsighted improving paths and stable sets
We adopt the notion of myopic-farsighted stable set to determine the networks that are stable when some players are myopic while others are farsighted. 8 A set of networks G is said to be a myopic-farsighted stable set if it satis…es the following two types of stability. Internal stability: No network in G is dominated by any other network in G. External stability: Every network not in G is dominated by some network in G. A network g 0 is said to be dominated by a network g if there is a myopic-farsighted improving path from g 0 to g. Hence, a set of networks is a myopic-farsighted stable set if (internal stability) there is no myopic-farsighted improving path between networks within the set and (external stability) there is a myopic-farsighted improving path from any network outside the set to some network within the set.
A myopic-farsighted improving path is a sequence of distinct networks that can emerge when farsighted players form or delete links based on the improvement the end network o¤ers relative to the current network while myopic players form or delete links based on the improvement the resulting network o¤ers relative to the current network. Since we only allow for pairwise deviations, each network in the sequence di¤ers from the previous one in that either a new link is formed between two players or an existing link is deleted. If a link is deleted, then it must be that either a myopic player prefers the resulting network to the current network or a farsighted player prefers the end network to the current network. If a link is added between some myopic player i and some farsighted player j, then the myopic player i must prefer the resulting network to the current network and the farsighted player j must prefer the end network to the current network.
Along a myopic-farsighted improving path, myopic players do not care whether other players are myopic or farsighted. They behave as if all players are myopic and they compare their resulting network's payo¤ to their current network's payo¤ for taking a decision. However, farsighted players know exactly who is farsighted and who is myopic and they compare their end network's payo¤ to their current network's payo¤ for taking a decision. 9 De…nition 1. A myopic-farsighted improving path from a network g to a network g 0 is a …nite sequence of distinct networks g 1 ; : : : ; g K with g 1 = g and g K = g 0 such that for any k 2 f1; : : : ; K 1g either 8 Stability concepts have their roots in cooperative game theory. They predict which network will emerge independently of the network formation process, but they are silent on how a network architecture is expected to emerge through the strategic decisions of the players. As such, myopia and farsightedness are not models of individual strategic behavior, because strategic behavior is cached in the stability approach. 9 The distinction between myopic players and farsighted players can be linked to their cognitive ability or their patience. For instance, Dutta, Ghosal and Ray (2005) propose a dynamic approach with payo¤s accruing in real time along with the network formation process. Players get a discounted stream of payo¤s, and the discount factor becomes a natural proxy for the degree of farsightedness (discount factor close to 0 for myopic players and discount factor close to one for farsighted players).
(i) g k+1 = g k ij for some ij such that U i (g k+1 ) > U i (g k ) and i 2 M or U j (g K ) > U j (g k ) and j 2 F ; or If there exists a myopic-farsighted improving path from a network g to a network g 0 , then we write g ! g 0 . The set of all networks that can be reached from a network g 2 G by a myopic-farsighted improving path is denoted by (g), (g) = fg 0 2 G j g ! g 0 g. When all players are myopic, our notion of myopic-farsighted improving path reverts to Jackson and Watts (2002) notion of improving path. 10 When all players are farsighted, our notion of myopic-farsighted improving path reverts to Herings, Mauleon and Vannetelbosch (2009) notion of farsighted improving path.
A set of networks G is a myopic-farsighted stable set if the following two conditions hold. Internal stability: for any two networks g and g 0 in the myopic-farsighted stable set G there is no myopic-farsighted improving path from g to g 0 (and vice versa). External stability: for every network g outside the myopic-farsighted stable set G there is a myopicfarsighted improving path leading to some network g 0 in the myopic-farsighted stable set G (i.e. there is g 0 2 G such that g ! g 0 ).

De…nition 2.
A set of networks G G is a myopic-farsighted stable set if: (IS) for every g; g 0 2 G (g 6 = g 0 ), it holds that g 0 = 2 (g); and (ES) for every g 2 G n G, it holds that (g) \ G 6 = ;.
When all players are farsighted, the myopic-farsighted stable set is simply the farsighted stable set as de…ned in Herings, Mauleon and Vannetelbosch (2009) or Ray and Vohra (2015). When all players are myopic, the myopic-farsighted stable set boils down to the pairwise CP vNM set as de…ned in Herings, Mauleon, and Vannetelbosch (2017a) for two-sided matching problems. 11 Example 1. Consider a situation where four players can form links. The utilities they obtained from the di¤erent network con…gurations are as follows. For the empty network g ; , U i (g ; ) = 8 for all i 2 N . For the complete network g N , U i (g N ) = 9 for all i 2 N . For a line network g L4 with four players, U i (g L4 ) = 2 + 3d i (g L4 ) for all i 2 N . For a line network g L3 with three players, U i (g L3 ) = 14=d i (g L3 ) (d i (g L3 )+1) 2 for all i 2 N (g L3 ) and U j (g L3 ) = 0 for j 2 N n N (g L3 ). For all other networks g, U i (g) = d i (g). Figure 1 gives some of the network con…gurations. Both the empty network and the complete network are pairwise stable networks. The complete network is also the Pareto-dominant network. 10 Mauleon, Roehl and Vannetelbosch (2018, 2019) extend Jackson and Watts notion of improving path to overlapping group structures. 11 The pairwise CP vNM set follows the approach by Page  When all players are farsighted, fg N g is the unique myopic farsighted stable set since g N 2 (g) for all g 6 = g N and (g N ) = ;. When all players are myopic, fg N ; g ; g is the unique myopic farsighted stable set since g ; 2 (g) for all g 6 = g N ; g ; , (g ; ) = ; and (g N ) = ;. Suppose now that players 1 and 3 are farsighted while players 2 and 4 are myopic. That is, M = f2; 4g and F = f1; 3g. We still have (g ; ) = ; and (g N ) = ;. But now, there are no myopic-farsighted improving paths from the line networks f12; 13; 34g and f14; 13; 23g to the empty network since myopic players are worse o¤ at the adjacent networks to f12; 13; 34g and f14; 13; 23g and farsighted players prefer f12; 13; 34g and f14; 13; 23g to the empty network. Obviously, there are no myopic-farsighted improving paths from the line networks f12; 13; 34g and f14; 13; 23g to the complete network since along any path towards the complete network utilities are decreasing before reaching the complete network. The external stability condition implies that both g ; and g N have to belong to any myopic-farsighted stable set. One can easily check that (g) \ fg ; ; g N g 6 = ; for all g 6 = f12; 13; 34g; f14; 13; 23g; g ; ; g N , while (f12; 13; 34g) = ff12; 13g; f13; 34gg and (f14; 13; 23g) = ff14; 13g; f13; 23gg. So, if f12; 13; 34g would not belong to a myopicfarsighted stable set, then either f12; 13g or f13; 34g has to be included in it. But, then the internal stability condition would be violated since (f12; 13g) g ; and (f13; 34g) g ; . Hence, fg ; ; g N ; f12; 13; 34g; f14; 13; 23gg is the unique myopic farsighted stable set when M = f2; 4g and F = f1; 3g. Thus, a mixed population can stabilize networks that are not stable when the population is homogeneous (i.e. where players are either all farsighted or all myopic).
In the external stability condition it is implicitly assumed some optimism on behalf of the players. A network g 0 is said to be dominated by a network g if there exists a myopicfarsighted improving path from g 0 to g. But along the path from g 0 to g both farsighted and myopic players who are moving on the path may have a better alternative than the one prescribed by the path when they are called on to move. This is true not only for myopic players but also for farsighted players. However, Ray and Vohra (2019) show that every (farsighted) stable set satisfying some reasonable and easily veri…able properties is una¤ected by the imposition of stringent maximality constraints. These constraints are satis…ed by all (farsighted) stable sets consisting of networks with a single payo¤.
In the de…nition of myopic-farsighted stable sets it is implicitly assumed that myopic players stay myopic and cannot become farsighted. However, one could argue that, a myopic player could learn and become less myopic overtime when interacting in an environment composed mainly of farsighted players. To address this issue we look in Section 5 at the evolution and dynamics of networks when at the beginning of each period, some myopic player become farsighted. The likelihood of becoming farsighted may be random or may depend on the network (number of farsighted players in the neighborhood, average payo¤ of neighbors, ...).

Existence and uniqueness
Let 2 (g) = ( (g)) = fg 00 2 G j 9g 0 2 (g) such that g 00 2 (g 0 )g be the set of networks that can be reached by a composition of two myopic-farsighted improving paths from g. We extend this de…nition and, for r 2 N, we de…ne r (g) as those networks that can be reached from g by means of r compositions of myopic-farsighted improving paths. The transitive closure of is denoted by 1 and de…ned as 1 (g) = S r2N r (g). Since the set G is …nite, it holds that, for some r 0 2 N, for every g 2 G, 1 (g) = S r 0 r=1 r (g). We now extend Jackson and Watts (2002) notions of cycle and closed cycle to myopic and farsighted players. A set of networks C, forms a cycle if for any g 2 C and g 0 2 C there exists a sequence of myopic-farsighted improving paths connecting g to g 0 , i.e. g 0 2 1 (g).
A cycle C is a closed cycle if no network in C lies on a myopic-farsighted improving path leading to a network that is not in C, i.e. 1 (C) = C.
Proposition 1. Let G G be a myopic-farsighted stable set. If (g) = ; then g 2 G.
Proof. Take any g such that (g) = ;. Then, g should belong to the myopic-farsighted stable set G. Otherwise, G would violate the external stability condition (ES).
Suppose that G G is a myopic-farsighted stable set. Proposition 1 tells us that, if there is a network such that there is no myopic-farsighted improving path leaving it, then this network belongs to any myopic-farsighted stable set. In addition, each myopicfarsighted stable set and each closed cycle have a non-empty intersection. That is, if C 1 ; :::; C R are the closed cycles, then C k \ G 6 = ; for k = 1; :::; R. Indeed, if C k \ G = ;, then G would violate (ES) since for every g 2 C k we have (g) C k . The following result follows as a corollary of Proposition 1. If a network is optimal for the farsighted players and pairwise stable for the myopic players, then it belongs to any myopic-farsighted stable set.
Proposition 2 tells us when a set of networks is the unique myopic-farsighted stable set. A set G G is the unique myopic-farsighted stable set if (i) there is no myopic-farsighted improving path from any network within the set, and (ii) from any network outside the set there is a myopic-farsighted improving path leading to some network within the set.
and (ii) for every g 2 G, it holds that (g) = ;, then G is the unique myopic-farsighted stable set.
Proof. From (i) the set G satis…es (ES) and from (ii) the set G satis…es (IS). Hence, G is a myopic-farsighted stable set. We now show that it is the unique one. Suppose that G 0 6 = G is a myopic-farsighted stable set. Since for every g 2 G, it holds that (g) = ;, then G G 0 . Otherwise, G 0 violates (ES). But, if G G 0 then G 0 violates (IS). Hence, G is the unique myopic-farsighted stable set.

Characterization when all players are myopic
Suppose now that all players are myopic, i.e. F = ;. Lemma 1 in Jackson and Watts (2002) shows that there always exists at least one pairwise stable network or closed cycle of networks. Starting from any network, either it is pairwise stable (and no improving path leaves it) or it lies on an improving path to another network. Either the network reached is pairwise stable or the improving path can be continued forever and ends up running into a closed cycle. Using Lemma 1 of Jackson and Watts (2002) we provide a characterization of the (myopic-farsighted) stable set when all players are myopic. A set of networks is a (myopic-farsighted) stable set if and only if it consists of all pairwise stable networks and one network from each closed cycle. 12 Proposition 3. Suppose that all players are myopic, F = ;. Let C 1 ; :::; C R be the set of closed cycles. A set of networks G G is a myopic-farsighted stable set if and only if G = P [ g 1 ; :::; g R with g k 2 C k for k = 1; :::; R.
Proof. We …rst show that any G = P [ g 1 ; :::; g R with g k 2 C k for k = 1; :::; R satis…es (IS) and (ES). Since all players are myopic, the set G satis…es (IS) by de…nition of a pairwise stable network and of a closed cycle; i.e. for every g; g 0 2 G we have that g = 2 (g 0 ). From Lemma 1 in Jackson and Watts (2002) we have that, for every g = 2 G, (g) \ G 6 = ;, and so G satis…es (ES).
Suppose now that G is a (myopic-farsighted) stable set. First, P G, otherwise, G would violate (ES). Second, C k \ G 6 = ; for k = 1; :::; R, otherwise, G would violate (ES). Third, take any G; G 0 such that G ! G 0 = P [ g 1 ; :::; g R with g k 2 C k for k = 1; :::; R. Then, from Lemma 1 in Jackson and Watts (2002) we have that there is g; g 0 2 G such that g 2 (g 0 ) and G violates (IS).
Since there always exists at least one pairwise stable network or closed cycle of networks (Jackson and Watts, 2002), the existence of a myopic-farsighted stable set is guaranteed when all players are myopic. 13 When all players are myopic (i.e. N = M ), if (g; :::; g 0 ) and (g 0 ; :::; g 00 ) are myopic-farsighted improving paths, then (g; ::; g 0 ; ::; g 00 ) is also a myopic-farsighted improving path. However, when some players are farsighted (F 6 = ;), if (g; :::; g 0 ) and (g 0 ; :::; g 00 ) are myopic-farsighted improving paths, then (g; ::; g 0 ; ::; g 00 ) may not be a myopic-farsighted improving path since some farsighted players who move along the …rst myopic-farsighted improving path (g; :::; g 0 ) may now decide not to move once they look forward towards the end network g 00 of the second myopic-farsighted improving path. This is why it is much harder to analyze situations involving farsighted players.

Existence and characterization under the egalitarian utility function
Suppose that the utility function U is such that, for any given network, all players get the same payo¤: U i (g) = U j (g) for all i; j 2 N . With the egalitarian utility function U , each player's payo¤ depends on the network but not on the speci…c role she plays within the network. Proposition 4 shows that there is a unique myopic-farsighted stable set under the egalitarian utility function. Let G ; = fg 2 G j (g) = ;g be the set of networks such that there are no myopic-farsighted improving paths emanating from them.
(2009) for generic network problems. Theorem 1 of Herings, Mauleon, and Vannetelbosch (2009) shows that the pairwise myopically stable set is the union of all pairwise stable networks and closed cycles. 13 van Deemen (1991) introduces the generalized stable set for abstract systems and shows its existence.
Page and Wooders (2009) de…ne it for abstract network formation game with the path dominance relation. It is not hard to see that the generalized stable set for abstract systems due to van Deemen (1991) coincides with the myopic-farsighted stable set for generic network problems when all players are myopic. For such network problems with myopic players, Theorem 2 in van Deemen (1991) and Theorem 3 in Page and Wooders (2009) are therefore equivalent to Proposition 3 that characterizes the myopic-farsighted stable sets as all pairwise stable networks and one network from each closed cycle.

Proposition 4.
Take any U such that U i (g) = U j (g) for all i; j 2 N . The set G ; = fg 2 G j (g) = ;g is the unique myopic-farsighted stable set.
Proof. First, we show that for every g 2 G n G ; , it holds that (g) \ G 6 = ;. Given the egalitarian utility function U , we have that, for 0 m n, there are no closed cycles: for all g 2 G we have g = 2 1 (g). Thus, all sequences of myopic-farsighted improving paths starting from any g such that (g) 6 = ; will reach after a …nite number of myopicfarsighted improving paths some network g 0 such that (g 0 ) = ;. In addition, given the egalitarian utility function U , we have that U i (g k ) < U i (g K ) for all i 2 N , k = 1; :::; K 1, along any myopic-farsighted improving path (g 1 ; :::; g K ). It follows that if g 0 2 (g) and g 00 2 (g 0 ) then g 00 2 (g). Hence, (g) = 1 (g). Thus, for any g such that (g) 6 = ; we have g \ G ; 6 = ;, and the set G ; satis…es (ES). Second, since (g) = ; for all g 2 G ; , the set G ; satis…es (IS). Third, uniqueness follows from Proposition 2.
jM;F and G ; jM 0 ;F 0 denote the set G ; when N = M [ F and N = M 0 [ F 0 , respectively. Proposition 5 characterizes the unique myopic-farsighted stable set under the egalitarian utility function. When all players are myopic, the unique myopic-farsighted stable set consists of all pairwise stable networks. When all players are farsighted, the unique myopic-farsighted stable set consists of all strongly e¢ cient networks. When the population is mixed, the unique myopic-farsighted stable set is a subset of the set of pairwise stable networks. In fact, under the egalitarian utility function, turning myopic players into farsighted players improves e¢ ciency by removing Pareto-dominated pairwise stable networks, and in the end fully eliminates the tension between stability and e¢ ciency.
Proposition 5. Take any U such that U i (g) = U j (g) for all i; j 2 N . The unique myopic-farsighted stable set is such that . Given the egalitarian utility function U , we have that there are no closed cycles. Hence, it follows from Proposition 3 that the set of pairwise stable networks P is the unique myopic-farsighted stable set and is equal to fg 2 G j (g) = ;g.
(ii) Second, take the unique myopic-farsighted stable set G ; for M 0 M . Given the egalitarian utility function U , we have that along any myopicfarsighted improving path (g 1 ; :::; g K ), U i (g k ) < U i (g K ) for all i 2 N , k = 1; :::; K 1. In particular, if (g 1 ; :::; g K ) is a myopic-farsighted improving path when all players are myopic (F = ;) then we have U i (g 1 ) < U i (g 2 ) < ::: < U i (g K ) for all i 2 N . Hence, if (g 1 ; :::; g K ) is a myopic-farsighted improving path for N = M [F , then (g 1 ; :::; g K ) remains a myopic-farsighted improving path for N = M 0 [ F 0 ; M 0 M . Let (g) jM;F be the set of all networks that can be reached from g by a myopic-farsighted improving path given the set of players N = M [F . It follows that (g) jM;F (g) jM 0 M;F 0 , and so G ; Third, given the egalitarian utility function U , any strongly e¢ cient network Hence, once all players are farsighted (N = F; M = ;), we have that (g) = ; for all g 2 E and (g 0 ) \ E 6 = ; for all g 0 2 G n E.

No externality
Suppose that the utility function U exhibits no externality and is given by For d = n 1, each player wants to be linked to all players. For d = 0, each player does not want to form any link. Thus, d is the maximum number of links a player would like to form. If she has more than d links she will cut some of them. To guarantee the existence of d-regular networks (1 d n 1) we restrict the analysis to an even number of players. Let G d = fg 2 G j d i = d for all i 2 N g be the set of d -regular networks. Obviously, E = G d when U exhibits no externality and is single peaked.
Proposition 6 tells us that, when all players are myopic, the unique myopic-farsighted stable set consists of all pairwise stable networks. Notice that d -regular networks are pairwise stable. In fact, in a pairwise stable network, each player has either d links or less than d links and those players who have less than d links are fully linked among themselves. When all players are farsighted, the unique myopic-farsighted stable set consists of all strongly e¢ cient networks E = G d . When the population is mixed, a myopic-farsighted stable set consists not only of all d -regular networks, but also of all networks where farsighted players have d links and are not linked to myopic players, each myopic player has either d links or less than d links and those myopic players who have less than d links are fully linked among themselves. Hence, turning myopic players into farsighted players improves again e¢ ciency by removing Pareto-dominated pairwise stable networks, and in the end fully eliminates the tension between stability and e¢ ciency.
Suppose that the number of players n is even.
(i) If all players are farsighted (M = ;), then the set G d is the unique myopic-farsighted stable set.
(ii) If all players are myopic (F = ;), then the set (iii) If the population is mixed (M 6 = ;; F 6 = ;) with n m > d and n m even, then . First, players who have more than d links successively cut their links to reach a network g 0 where all players have at most d links. If g 0 2 G d we are done. Otherwise, players who have less than d links successively cut all their links looking forward some d -regular network g 2 G d . We reach a network g 00 where players have either no links (they are isolated) or d links (they are part of a d -regular subnetwork). (*) From g 00 , looking forward to g , one isolated player, say i, build a link to some player j who has d links and belongs to some component h g 00 . Player j is indi¤erent between the current network g 00 and the end network g while player i strictly prefers the end network. From g 00 + ij, player j cuts a link with another player k who has d links. At g 00 + ij jk, player k has d 1 links and has now incentives to cut all her links looking forward to g . Player k is now isolated. Next, players who were linked to player k have now less than d links and so have incentives to cut all their links looking forward to g . They become isolated. Next, we repeat the process where all players who have less than d links cut all their links until we reach a network g 000 g 0 where all players of the component h have now become isolated (player i is again isolated). Next, we repeat the process (*) with another component where all players have d links, until we reach the empty network g ; where all players are isolated. From the empty network g ; , players add successively links to form g 2 G d . Hence, G d = fg 2 G j d i = d for all i 2 N g satis…es (ES). Obviously, (g 0 ) = ; for all g 0 2 G d , and thus, this set satis…es (IS). Uniqueness follows from Proposition 2.
(ii) Take N = M (F = ;). Take any g = 2 fg 2 G j d i = d for all i 2 N n S, d j < d for all j 2 S, #S d , g S gg. We will show that (g) \ fg 2 G j d i = d for all i 2 N n S; d j < d for all j 2 S; #S d ; g S gg 6 = ;. First, players who have more than d links successively cut their links to reach a network g 0 where all players have at most d links. If g 0 2 fg 2 G j d i = d for all i 2 N n S, d j < d for all j 2 S, #S d , g S gg we are done. (*) Otherwise, two players i and j who have less than d links build the link ij. We repeat this process (*) until we reach a network g 00 2 fg 2 G j d i = d for all i 2 N n S, d j < d for all j 2 S, #S d , g S gg where players have either d links or less than d links with players who have less than d links being all linked to each other. Hence, fg 2 G j d i = d for all i 2 N n S, d j < d for all j 2 S, #S d , g S gg satis…es (ES). Obviously, (g 0 ) = ; for all g 0 2 fg 2 G j d i = d for all i 2 N n S, d j < d for all j 2 S, #S d , g S gg = P , and thus, this set satis…es (IS). Uniqueness follows from Proposition 2.
(iii) Take M 6 = ;; F 6 = ; with n m > d and n m even. Take any g = First, players who have more than d links successively cut their links to reach a network g 0 where all players have at most d links. If g 0 2 G d [ G M;F we are done. (*) Otherwise, two players i and j who have less than d links build the link ij. We repeat this process (*) until we reach a network g 00 2 fg 2 G j d i = d for all i 2 N n S, d j < d for all j 2 S, #S d , g S gg where players have either d links or less than d links, with players who have less than d links being all linked to each other. If g 00 2 G d [ G M;F we are done. Otherwise, looking forward to some g 2 G d [ G M;F , one farsighted player, say i, forms a link with some player j who has less than d links (player j may be farsighted or not but strictly improves, while player i is indi¤erent). Now, player i has more than d links. Next, looking forward to some g 2 G d [G M;F , player i has now strict incentives to build successively the missing links with the other farsighted players who are at g either strictly better o¤ or equally o¤. (**) Next another farsighted player who has now d + 1 links after having linked to j (if any) forms successively the missing links with the other farsighted players who are at g either strictly better o¤ or equally o¤. We repeat this process (**) until we reach a network where each farsighted player is linked to all other farsighted players. Next, farsighted players successively cut all their links with myopic players. We reach a network g 00 where N j (g) \ F = ; if j 2 M and g F g 000 . From g 000 , farsighted players successively delete links to form a d -regular subnetwork. Next, myopic players form links between myopic players until they reach a pairwise stable subnetwork. We reach a network b we are done and g = b g. If (b g) \ G d 6 = ;, from b g to some g 2 G d , there is a myopic-farsighted improving path that involves only farsighted players and myopic players who have less than d in b g. Notice that farsighted players are indi¤erent between b g and g 2 G d while myopic players who have less than d links strictly prefers g to b g. Thus, the myopic-farsighted improving path from g to b g followed by the myopic-farsighted improving path from b g to some g 2 G d constitutes a myopic-farsighted improving path from g to g 2 G d .

Positive convex externalities
Suppose now that the utility function U is given by U i (g) = P ij2g (d j ) for all i 2 N where the function (d j ) exhibits positive convex externalities: (i) there exists an integer Once some player j has at least d 1 links then each player who is not yet linked to j has incentives to form a link with j. Under positive convex externalities, we have that E = fg N g. Proposition 7 tells us that, under positive convex externalities, there is a threshold with respect to the number of farsighted players such that if the number of farsighted players is above the threshold then the set E is the unique myopic-farsighted stable set while if the number of farsighted players is below the threshold then the unique myopic-farsighted stable set consists of the empty network g ; and the complete networks g S on the set of players S for all S large enough. Thus, under positive convex externalities, we do not need all the population to be farsighted to guarantee the emergence of the strongly e¢ cient network.
Proposition 7. Take any U such that U i (g) = P ij2g (d j ) for all i 2 N where (d j ) exhibits positive convex externalities.
(i) Take d = 1. The set fg N g is the unique myopic-farsighted stable set.
(ii) Take n 1 d > 1. If d n m, then fg N g is the unique myopic-farsighted stable set. If d > n m, then fg S j #S d + 1g [ fg ; g is the unique myopic-farsighted stable set.
Proof. (i) Take d = 1. From any g 6 = g N both myopic and farsighted players have incentives to add links to all other players. Thus, (g) \ fg N g 6 = ; . Obviously, (g N ) = ;. Hence, the set fg N g satis…es (ES) and (IS) and is the unique myopic-farsighted stable set from Proposition 2.
(ii) Take n 1 d > 1. (ii.a) Suppose d n m. Take any g 6 = g N we will show that (g) \ fg N g 6 = ; . First, looking forward to g N farsighted players successively build links among themselves to reach a network g 0 g F . In g 0 farsighted players have at least d 1 links. Hence, myopic players have now incentives to link to all farsighted players. At the end of this process we reach a network g 00 where all myopic players have at least d 1 links, and so now each myopic player has incentives to link to all other myopic players to …nally reach the complete network g N . From g N we have (g N ) = ; since g N Pareto dominates all other networks. Hence, the set fg N g satis…es (ES) and (IS) and is the unique myopic-farsighted stable set from Proposition 2.
Step 1. Myopic players successively cut the links they have to myopic and farsighted players who have less than d links (If there is no myopic or farsighted player who has at least one link but less than d links we go directly to Step 3). We repeat this process until we reach a network where myopic players have either at least d links or no link. Now, farsighted players who have less than d links can only be linked to farsighted players. Since the number of farsighted players is too small, d > n m, myopic players with no link and farsighted players with less than d links will never reach the threshold of d 1 links so that other players (myopic or farsighted) would have incentives to link to them. Hence, all farsighted players will delete their links with those farsighted players who have less than d links and they become isolated.
Step 2. If some other farsighted players now have less than d links, we repeat Step 1; otherwise we go to Step 3.
Step 3. We have reached a network where n #S players have no links and #S players belong to a component where each player has at least d links. If #S = 0, we end up at g ; . Otherwise, the players belonging to S have now incentives to link to each other until they form the network g S , and we end up at g S . Obviously, (g ; ) = ; and (g S ) = ;. Hence, the set fg S j #S d + 1g [ fg ; g satis…es (ES) and (IS) and is the unique myopic-farsighted stable set from Proposition 2.

Distance-based utility
Distance-based utility functions exhibit positive externalities as any player weakly bene…ts from any new link between any two other players. As in Bloch and Jackson (2007) or Jackson (2008), if player i is connected to player j by a path of t links, then player i receives a bene…t of b(t) from her indirect connection with player j. It is assumed that b(t) b(t + 1) > 0 for any t. 14 Each direct link ij 2 g results in a bene…t b(1) and a cost c to both i and j. This cost can be interpreted as the time a player must spend with another player in order to maintain a direct link. Player i's distance-based utility or payo¤ from a network g is given by where t(ij) is the number of links in the shortest path between i and j (setting t(ij) = 1 if there is no path between i and j), c 0 is a cost per link, and b is a nonincreasing function. The symmetric connections model (b(t) = t ) and the truncated connections model of Jackson and Wolinsky (1996) are special cases of distance-based payo¤s. 15 Proposition 4 in Bloch and Jackson (2007) tells us that the unique strongly e¢ cient network is (i) the complete network g N if c < b(1) b(2), (ii) a star encompassing everyone if b(1) b(2) < c < b(1) + ((n 2)=2)b(2), and (iii) the empty network g ; if b(1) + ((n 2)=2)b(2) < c. Are the strongly e¢ cient networks likely to arise when all players are myopic? Jackson (2008) characterizes the pairwise stable networks. He shows that a con ‡ict between pairwise stability and e¢ ciency is likely to occur except if link costs are small. For c < b(1) b(2), the unique pairwise stable network is the complete network g N . For b(1) b(2) < c < b(1), a star encompassing all players is pairwise stable, but not necessarily the unique pairwise stable network. For b(1) < c, any pairwise stable network 14 In communication networks, players directly communicate with the players to whom they are linked.
They bene…t not only from direct communication but also from indirect communication from the players to whom their neighbors are linked. But, the bene…t obtained from indirect communication decreases with the distance. 15 Johnson and Gilles (2000) extend the connection model by introducing a cost of creating a link that is proportional to the geographical distance between two individuals. In Jackson and Rogers (2005) or de Marti and Zenou (2017), individuals belong to two di¤erent communities, and the cost for creating links depends whether it is an intracommunity link or an intercommunity link.
which is nonempty is such that each player has at least two links and thus is ine¢ cient. Only for c < b(1) b (2), there is no con ‡ict between e¢ ciency and pairwise stability. When b(1) b(2) < c < b(1), the e¢ cient network is pairwise stable, but there are other pairwise stable networks that are not e¢ cient. For b(1) < c < b(1) + ((n 2)=2)b(2), the e¢ cient network is never pairwise stable. And, …nally, for b(1) + ((n 2)=2)b(2) < c, the e¢ cient network is pairwise stable, but there could be other pairwise stable networks that are not e¢ cient. Hence, from Proposition 3, the concept of myopic-farsighted stable set con…rms that, for a large range of parameter values, a con ‡ict between stability and e¢ ciency is likely to occur when all players are myopic.
We denote by g i the star network where player i is the center of the star. For intermediate linking costs, b(1) b(2) < c < b(1), we next show that, if there are enough farsighted players, the set consisting of all star networks where the center of the star is a myopic player is the unique myopic-farsighted stable set. (3)) then the set G = fg i j i 2 M g is the unique myopic-farsighted stable set.

Proposition 8. Consider the distance-based utility model in the case
Proof. We …rst show that G = fg i j i 2 M g satis…es both internal stability (i.e. condition (IS) in De…nition 2) and external stability (i.e. condition (ES) in De…nition 2).
IS. Farsighted players are peripherals in all networks in G so that they always obtain the same payo¤: U i (g) = b(1) + (n 2)b(2) c for all i 2 F , g 2 G . Myopic players who are peripherals have no incentive to delete their single link (b(1) + (n 2)b(2) c > 0) or to add a new link (2b(1) + (n 3)b(2) 2c < b(1) + (n 2)b(2) c since b(1) b(2) < c). The center who is myopic has no incentive to delete one link since c < b(1). Hence, for every g; g 0 2 G , it holds that g 0 = 2 (g).
ES. Take any network g = 2 G . We build in steps a myopic-farsighted improving path from g to some g i 2 G .
Step 1: Starting in g, farsighted players delete all their links successively looking forward to some g i 2 G , where they obtain their highest possible payo¤ given b(1) b(2) < c. Notice that if g is a star network where the center is a farsighted player, then the center starts by deleting all her links since only the center is better o¤ in g i compared to g (and we go directly to Step 8). We reach a network g 1 where all farsighted players have no link and myopic players only keep the links to myopic players they had in g.
Step 2: From g 1 , looking forward to g i 2 G , farsighted players build a star network g jF restricted to farsighted players with player j being the center (i.e. g jF is such that j 2 F , N j (g jF ) = F n fjg and N k (g jF ) = fjg for all k 2 F n fjg), and we obtain g 2 = g 1 [ g jF where all farsighted players are still disconnected from the myopic ones.
Step 3: From g 2 , looking forward to g i 2 G , the farsighted player j who is the center of g jF adds a link to some myopic player, say player 1. Player j is better o¤ in g i compared to g 2 , b(1) + (n 2)b(2) c > (n m 1)(b(1) c), while player 1 is better in g 2 + j1 since b(1) > c.
Step 4: From g 2 + j1, looking forward to g i 2 G , the farsighted player j adds a link successively to the myopic players who are neighbors of player 1 (if any), say player 2. Player 2 who is myopic and linked to player 1 has an incentive to add the link j2 if and only if b(2) + (n m 1)b(3) < b(1) c + (n m 1)b (2). Thus, the necessary and su¢ cient condition for adding the link is Since c < b(1), a su¢ cient condition is where n m is the number of farsighted players (#F ). In g 2 +j1+fjl j l 2 N 1 (g 2 + j1) \ M g, player j is (directly) linked to all other farsighted players, player 1 and all neighbors of player 1.
Step 5: From g 2 + j1 + fjl j l 2 N 1 (g 2 + j1) \ M g, the myopic players who are neighbors of player 1 and have just added a link to the farsighted player j delete their link successively with player 1. They have incentives to do so since b(1) b(2) < c < b(1) and we reach g 2 + j1 + fjl j l 2 N 1 (g 2 + j1) \ M g f1l j l 2 N 1 (g 2 + j1) \ M g.
Step 6: Next, looking forward to g i 2 G , the farsighted player j adds a link successively to the myopic players who are neighbors of some l 2 N 1 (g 2 + j1) \ M and we proceed as in Step 4 and Step 5. We repeat this process until we reach a network g 3 where there is no myopic player linked directly to the myopic neighbors of player j (i.e. N k (g 3 ) \ M = ; for all k 2 N j (g 3 ) \ M ).
Step 7: From g 3 , player j adds a link to some myopic player belonging to another component (if any) as in Step 3 and we proceed as in Step 4 to Step 6. We repeat this process until we end up with a star network g j with player j (who is farsighted) in the center (i.e. N j (g j ) = N n fjg and N k (g j ) = fjg for all k 2 N n fjg).
Step 8: From g j , looking forward to g i 2 G , the farsighted player j deletes all her links successively to reach the empty network g ; . From g ; , myopic and farsighted players have both incentives (since b(1) > c) to add links successively to build the star network g i 2 G where some myopic player i 2 M is the center.
Uniqueness. We now show that G is the unique myopic-farsighted stable set. Farsighted players who are peripherals in all networks in G obtain their highest possible payo¤. Myopic players who are peripherals have no incentive to delete their single link or to add a new link. The center who is myopic has no incentive to delete one link. Hence, (g) = ; for every g 2 G . Suppose that G 6 = G is another myopic-farsighted stable set. (1) G does not include G : G + G . External stability would be violated since (g) = ; for every g 2 G . (2) G includes G : G ! G . Internal stability would be violated since for every g 2 G n G , it holds that (g) \ G 6 = ;.
In fact, the set G satis…es a stronger external stability requirement: for every g 2 G n G , it holds that (g) G . The internal stability condition is satis…ed for G even when #F < 1 + b(2)=(b(2) b(3)). 16 If b(1) b(2) < c < b(1) b(3) then the su¢ cient condition for having external stability becomes (3)) or 2 n m. Thus, once linking costs are intermediate but not so high, it su¢ ces to have two farsighted players to guarantee that only e¢ cient networks are going to emerge in the long run.  Notice that in a society with only three players, a star network is the unique pairwise stable network. Hence, if the population is mixed but the number of myopic players is less or equal than 3, then our main result holds without any condition on the number of farsighted players: the set consisting of all star networks where the center of the star is a myopic player is the unique myopic-farsighted stable set. But, what happens if the population consists of only farsighted players? Proposition 9. Consider the distance-based utility model in the case b(1) b(2) < c < b (1). Suppose that all players are farsighted, N = F . If g is a star network then fgg is a myopic-farsighted stable set.
Proof. Since each set is a singleton set, internal stability (IS) is satis…ed. (ES) Take any network g 6 = g i , we need to show that (g) 3 g i . (i) Suppose g 6 = g j (j 6 = i). From g, looking forward to g i (where they obtain their highest possible payo¤), farsighted players (6 = i) delete all their links successively to reach the empty network. From g ; , farsighted players have incentives (since b(1) > c) to add links successively to build the star network g i with player i in the center. (ii) Suppose g = g j (j 6 = i). From g, looking forward to g i , the farsighted player j deletes all her links successively to reach the empty network. From g ; , farsighted players have incentives (since b(1) > c) to add links successively to build the star network g i with player i in the center. 16 In the symmetric connections model where b(t) = t , the lower bound on the number of farsighted players, 1 + b(2)=(b(2) b(3)), becomes 1 + 1= (1 ). Hence, the number of farsighted players needed for guaranteeing the emergence of the e¢ cient networks increases with .
Once all players become farsighted (i.e. N = F ), for b(1) b(2) < c < b(1), every set consisting of a star network encompassing all players is a myopic-farsighted stable set, but they are not necessarily the unique myopic-farsighted stable sets. For instance, when n = 4, the set of circles among the four farsighted players can be a myopic-farsighted stable set. 17 Example 2. Take N = F = f1; 2; 3; 4g and b(1) b(2) < c < b(1) b(3) < b(1) in the distance-based utility model. Let G c;4 = ff12; 23; 34; 14g; f13; 12; 34; 24g; f13; 14; 23; 24gg be the set of circles among the four farsighted players. The set G c;4 is a myopic-farsighted stable set. It satis…es (IS) since the four players obtain the same payo¤s in all circle networks. We now show that (ES) is satis…ed: for every g = 2 G c;4 , it holds that (g)\G c;4 6 = ;. (i) Take any g such that there is g 0 2 G c;4 and g g 0 . In g, looking forward to g 0 , players have incentives to add links successively to form g 0 since c < b(1) b(3), and so g 0 2 (g). (ii) Take any g S such that #S = 3. Players belonging to S have two links and are better o¤ in any circle network g 0 2 G c;4 than in g S : 2b(1) 2c < 2b(1) 2c + b(2). Hence, from g S , looking forward to some circle network g 0 , some player deletes one of her links and we reach a network belonging to case (i) from which players have incentives to add links successively to form some circle network g 0 , and so g 0 2 (g S ). (iii) Take any g such that at least one player has three links. Any star network g i is one of such network. Players who have three links are better o¤ in any circle network g 0 than in g: 3b(1) 3c < 2b(1) 2c + b(2) or b(1) b(2) < c. Hence, from g, looking forward to some circle network g 0 , players who have three links successively delete one of their links and we reach either a circle network or a network belonging to case (i) or case (ii) from which players have incentives to add links successively to form some circle network g 0 , and so g 0 2 (g).
We have focused on the range of costs and bene…ts such that a star network is the unique strongly e¢ cient network. In the case of small (very large) link costs relative to bene…ts, there is no con ‡ict between stability and e¢ ciency. The set consisting of the complete (empty) network is the unique myopic-farsighted stable set whatever the mixture of myopic and farsighted individuals. 18 17 Dutta and Vohra (2017) propose two related solution concepts: the rational expectations farsighted stable set (REFS) and the strong rational expectations farsighted stable set (SREFS) where they restrict coalitions (or pairs in our case) to hold common, history independent expectations that incorporate maximality regarding the continuation path. REFS and SREFS coincide with a farsighted stable set when the latter consists of networks with a single payo¤ (Theorem 1 of Dutta and Vohra, 2017). Since every set consisting of a star network encompassing all players is a myopic-farsighted stable set, it is also a REFS and SREFS. When n = 4, the same holds for the set of circles among the four farsighted player. 18 Let c(n) = maxfc 2 R j 9g 2 G such that g 6 = g ; and U i (g) 0 8i 2 N g be the highest cost such that the utility of all players is nonnegative in at least one network other than the empty network. For n > 3, it follows from the proof of Proposition 2 in Grandjean, Mauleon and Vannetelbosch (2011) that if b(1) < c(n) < c < b(1) + ((n 2)=2)b(2) then fg ; g is the unique myopic-farsighted stable set when all players are farsighted.
Remark 1. Consider the distance-based utility model in the case c < b(1) b(2). The set g N is the unique myopic-farsighted stable set.
Suppose now that player i's distance-based utility from a network g is given by (3)) for all i 2 M , then the set G = fg i j i 2 M g is the unique myopic-farsighted stable set, and Proposition 8 still holds. However, such asymmetries in bene…ts and costs would imply that a con ‡ict between stability and e¢ ciency could again arise. For instance, the e¢ cient network might even lie outside the set G if it is a star network with some farsighted player in the center. Transfers might then be a solution for avoiding any con ‡ict. 19 4 Degree-based utility Another common utility function in network formation is one where a player's payo¤ from a link is a decreasing function of the number of links the other players maintain. 20 Degree-based utility functions exhibit negative externalities. If player i is linked to player j, then player i receives a bene…t of (d j ) from her link with player j. It is assumed that Each direct link ij 2 g results in a cost c to both i and j for maintaining this direct link. As in Morrill (2011), player i's degree-based utility or payo¤ from a network g is given by where d i is player i's degree, d j is player j's degree, c 0 is a cost per link, and is a decreasing function. A special case of degree-based utility function is Morrill's co-author model where (d j ) = d j with 0 < < 1. 21 We assume as in Morrill (2011) that c 6 = (d) for any d 2 N and we let d be such that (d + 1) < c < (d).
To simplify the analysis we focus on the case where the population consists of an even number of myopic players (m 0 is even) and an even number of farsighted players (n m 0 is even). Morrill (2011) shows that a network g is strongly e¢ cient if and only if for every player i, d i 2 arg max x( (x) c). It follows that, for any d 2 arg max x( (x) c), all d-regular networks are strongly e¢ cient. When all players are myopic, there is often a con ‡ict between e¢ ciency and stability for degree-based utility functions. For instance, 19 When all players are myopic, Bloch and Jackson (2007) show that peripheral players can subsidize the center of the star to keep their links formed. Any (e¢ cient) star network is supportable as a pairwise equilibrium of the direct transfer game when b(1) b(2) < c < b(1) + b(2)(n 2)=2. 20 Möhlmeier, Rusinowska and Tanimura (2016) consider a utility function that incorporates both the e¤ects of distance and of neighbors'degree. 21 It is an alternative functional form to Jackson and Wolinsky (1996) original coauthor model. In the coauthor model a researcher bene…ts from having a coauthor as it increases her research output. But, if her coauthor works on a new project with someone else, she has less time to devote to their project and the bene…t of the collaboration decreases.
take (d j ) = (1=2) d j , n = 10, 0 < c < (1=2) 9 . Then, d 9 and arg max x( (x) c) = 1. Hence, the strongly e¢ cient networks are regular ones where every player has exactly one link. However, myopic players may have a tendency to form overconnected networks: the complete network is pairwise stable. Morrill (2011) shows that, although the strongly e¢ cient and stable networks diverge in general, they coincide when players are able to make transfers to their partners. What happens when myopic players coexist with farsighted ones? Could we stabilize the strongly e¢ cient networks without transfers when the population is mixed?
Proof. We show that each fg s g such that g s 2 G s satis…es both internal stability (i.e. condition (IS) in De…nition 2) and external stability (i.e. condition (ES) in De…nition 2). Since d = arg max x( (x) c), a network g e is strongly e¢ cient if and only if it is a d -regular network. We have

IS.
Since each set fg s g, g s 2 G s , is a singleton set, internal stability (IS) is satis…ed.
ES. Take any network g s 2 G s . Take any g 6 = g s . We build in steps a myopic-farsighted improving path from g to g s . Let I(g) = fi 2 N j d i (g) = d and d j (g) = d for all j 2 N i (g)g be the set of players who have d links in g and their neighbors have d links too. 1. Since d n 1, we have that (x) c is positive for all x n 1. Hence, myopic players have always incentives to form additional links. Starting from g, myopic players form successively the missing links between them to reach a network g 0 where g M g 0 (remember that g M is the complete network on the set of myopic players M ). Notice that d j m 1 > d for all j 2 M . 2.
Step (2.1) Take any farsighted player i 2 F such that N i (g 0 ) M . That is, player i has only links with myopic players.
player i who looks forward towards g s has incentives to cut successively her links with the myopic players. Player i becomes an isolated player. We proceed similarly with all other farsighted players who are only linked to myopic players. We end up with g 00 .
Step (2.2) Take any i 2 F such that d i (g 00 ) = 1 and i = 2 I(g 00 ). We do have U i (g 00 ) < U i (g s ) = U i (g e ). Player i (looking forward towards g s ) cuts her link to her neighbor j and we move back to step 2.1 with g 00 ij replacing g 0 . If there is no i 2 F such that d i (g 00 ) = 1 and i = 2 I(g 00 ), we move to step 2.3.
Step (2.3) Take any i 2 F such that d i (g 00 ) = 2 and i = 2 I(g 00 ). Player i gets at most ( (m) c) from her link with a myopic player and at most d i ( (d i ) c) from her links with the farsighted players since all farsighted players Player i (looking forward towards g s ) cuts successively her links to j and k to obtain g 00 ij ik and we move back to step 2.1 with g 00 ij ik replacing g 0 . Her payo¤ along the sequence decreases. Hence, we do have U i (g 00 ) < U i (g s ) = U i (g e ), U i (g 00 ij) < U i (g s ) = U i (g e ) and U i (g 00 ij ik) < U i (g s ) = U i (g e ). If there is no i 2 F such that d i (g 00 ) = 2 and i = 2 I(g 00 ), we move to step 2.4.
Step (2.4) Take any i 2 F such that d i (g 00 ) = 3 and i = 2 I(g 00 ). Player i gets at most 2( (m) c) from her links with myopic players and at most d i ( (d i ) c) from her links with the farsighted players since all players for x = m+1; :::; n 1, 23 guarantees that U i (g 00 ) < d ( (d ) c) = U i (g e ). Player i (looking forward towards g s ) cuts successively her links to j, k and l to obtain g 00 ij ik il and we move back to step 2.1 with g 00 ij ik il replacing g 0 . Her payo¤ along the sequence decreases. If there is no i 2 F such that d i (g 00 ) = 3 and i = 2 I(g 00 ), we move to step 2.5. ... If there is no i 2 F such that d i (g 00 ) = q 1 and i = 2 I(g 00 ), we move to step 2.q.
Step (2.q) Take any i 2 F such that d i (g 00 ) = q 1 and i = 2 I(g 00 ). Player i gets at most (q 2)( (m) c) from her links with myopic players and at most d i ( (d i ) c) from her links with the farsighted players since all players since all players j 2 N i (g 00 ) have d j d i . If d i m+1 then the condition, m (m)+(x m) (x) xc < d ( (d ) c) for x = m+1; :::; n 1, guarantees that U i (g 00 ) < d ( (d ) c) = U i (g e ). Player i (looking forward towards g s ) cuts successively her links to her neighbors to obtain g 00 n fij j j 2 N i (g 00 )g and we move back to step 2.1 with g 00 n fij j j 2 N i (g 00 )g replacing g 0 . Her payo¤ along the sequence decreases. If there is no i 2 F such that d i (g 00 ) = q 1 and i = 2 I(g 00 ), we move to step 2.q + 1. ... If there is no i 2 F such that d i (g 00 ) = n 2 and i = 2 I(g 00 ), we move to step 2.n.
Step (2.n) Take any i 2 F such that d i (g 00 ) = n 1 and i = 2 I(g 00 ). Player i gets (n 1)( (n 1) c) from her links. Since d < n 1, we have that U i (g 00 ) = (n 1)( (n 1) c) < d ( (d ) c) = U i (g e ). Player i (looking forward towards g s ) cuts successively her links to her neighbors to obtain g 00 n fij j j 2 N i (g 00 )g and we move back to step 2.1 with g 00 n fij j j 2 N i (g 00 )g replacing g 0 . If there is no i 2 F such that d i (g 00 ) = n 1 and i = 2 I(g 00 ), then the process ends. Since n is …nite this process stops after a …nite number of steps. At the end of the process we reach a network g 000 where 23 When the number of farsighted players is large, it might happen that the farsighted player with the smallest number of links has more links than the myopic players she is linked to. Remember that all myopic players are linked to each other. Hence, m (m) is the maximal gain she can obtain from her links to myopic players and (x m) (x) is the gain she obtains from being linked to other farsighted players who have at least the same number of links than her. The condition m (m)+(x m) (x) xc < d ( (d ) c) guarantees that this farsighted player prefers being in the strongly e¢ cient network. Hence, she is ready to cut her links looking forward to some network where she gets the socially optimal payo¤. every farsighted player i 2 F is either isolated (i.e. d i = 0) or she has exactly d links and her neighbors are farsighted and have d links too (i.e. d j = d for all j 2 N i (g 000 ) F and U i (g e ) = U i (g 000 ) = U i (g s )) and every myopic player has exactly m 1 links. 3. Start with g 000 . Take any farsighted player i such that d i = d (if there is no such player, then go directly to 5). Player i looking forward to g s (i is indi¤erent between her current payo¤ and the end payo¤ at g s ) builds a link with some myopic player j to form g 000 + ij. In g 000 + ij, we have U k (g s ) = U k (g 000 ) > U k (g 000 + ij) for all k 2 N i (g 000 ). Next one farsighted player k 2 N i (g 000 ) cuts her link with player i to form g 000 + ij ik looking forward to g s . Next player i who is farsighted cuts successively all her links, with her link ij being the last one to be deleted. We reach the network g 000 n fij j j 2 N i (g 000 )g where player i is isolated. Notice that U i (g 000 + ij) > U i (g s ) = d ( (d ) c) > U i (g 000 + ij ik) since d j (g 000 +ij ik) m > d = d i (g 000 +ij ik), d l (g 000 +ij ik) = d for all l 2 N i (g 000 +ij ik), l 6 = k, and d k (g 000 + ij ik) = d 1.

4.
We repeat the process from 2 with g 000 n fij j j 2 N i (g 000 )g replacing g 0 until we reach the network g M where all farsighted players are isolated (d i = 0 for all i 2 F ) and all myopic players have m 1 links. 5. From the network g M , we build a sequence of networks g 1 ; g 2 ; :::; g K such that g 1 = g M , g K = g s and j#N i (g k ) #N j (g k )j 1, k = 1; :::K, for all i; j 2 N (h), h 2 H(g s ) and h is d -regular. It guarantees that along such a sequence, farsighted players who look forward towards g s do have incentives to build those links to form such g s . Hence, fg s g satis…es (ES).
Proposition 10 tells us that once we have enough farsighted players in the population, myopic and farsighted players may end up segregated with overconnected myopic players and farsighted players who obtain the socially optimal payo¤. The next example illustrates Proposition 10.
Example 3. Take the degree-based utility model with (d j ) = (1=2) d j , 0 < c < (1=2) 9 , M = f1; 2; 3; 4; 5; 6g and F = f7; 8; 9; 10g. Thus, m = 6, n m = 4, and we have d = 1 and d 9. Notice that the condition m (m)+(x m) (x) xc = 6(1=2) 6 +(x 6)(1=2) x xc < d ( (d ) c) = (1=2) c is clearly satis…ed for x = 7; 8; 9. From Proposition 10 the singleton set fgg is a myopic-farsighted stable set if the network g is such that (i) there are no links between farsighted and myopic players, (ii) every myopic player is linked to all other myopic players, and (iii) farsighted players form regular components where each farsighted player has exactly d links. Figure 2 illustrates such a network where the six myopic players and the four farsighted players are fully segregated with myopic players being overconnected (all of them have …ve links) and farsighted players having exactly one link.
When the cost for maintaining links increases, myopic players may stop having incentives to build links to all other players, i.e. d becomes lower than n 1. As a result, the path from some ine¢ cient network g = 2 G s to some network g 0 2 G s becomes more tedious. For 4 @ @ @ @ P P P P P P P P P P P P P P P P P P P P P P P P  Figure 3. Player 1 who is myopic has no incentives to link to one of the other myopic players since they have exactly three links. Player 6 who is farsighted obtains more than the socially optimal payo¤: (3=5) + 2(3=5) 3 3c > (3=5) c = U 6 (g s ).
However, the other farsighted player, who has also three links, is worse o¤ than at g s : Player 5 then cuts successively all her links and becomes isolated. Next player 1 has now incentives to link successively with players 3 and 4. We reach the network f16; 13; 14; 23; 24; 26; 34g. Now player 6's current payo¤ is equal to 2(3=5) 3 2c < 3=5 c. Hence, player 6 cuts successively all her links and becomes isolated. Next player 1 adds a link to player 2. Finally, player 5 builds a link to player 6 and we reach the network f12; 13; 14; 23; 24; 34; 56g 2 G s . s @ @ @ @ s 3 P P P P P P P P P P P P s 2 Remember that, when n is even, the set of d -regular networks G d = fg 2 G j d i (g) = d for all i 2 N g is the set of strongly e¢ cient networks E, and g e denotes some strongly e¢ cient network. Once all players are farsighted, the set G d consisting of all strongly e¢ cient networks is a myopic-farsighted stable set.
The next example shows that, once all players become farsighted (i.e. N = F ), the set consisting of all strongly e¢ cient networks is a myopic-farsighted stable set, but it is not necessarily the unique myopic-farsighted stable set.

Evolution and dynamics
To study how networks evolve when myopic players may become farsighted over time, we start with a group of players who are initially unconnected to each other. Over time, pairs of players decide whether or not to form or cut links with each other. A link can be cut unilaterally but agreement by both players is needed to form a link. All players are initially myopic, and thus decide to form or cut links if doing so increases their current payo¤s. The length of a period is su¢ ciently long so that the process can converge to some stable network. At the beginning of each period after the initial period, some myopic players become farsighted. 24 Depending on their positions in the network, the process either stays at the same network or evolves to another stable network.
Time is divided into periods and is modeled as a countable and in…nite set, T = f1; 2; :::; t; :::g. We denote by g(t) the network that exists at the end of period t 2 T and by g(0) the initial network. The process of forming links starts from the empty network. Hence, g(0) = g ; . We denote by M (t) (F (t)) the set of myopic (farsighted) players at the beginning of period t 2 T . The population dynamics of players is described by the following sequence fM (t); t < t and M (t) = ; for t t. A myopic-farsighted improving path in period t 2 T from a network g(t 1) to a network g(t) 6 = g(t 1) is a …nite sequence of graphs g 1 ; : : : ; g K with g 1 = g(t 1) and g K = g(t) such that for any k 2 f1; : : : ; K 1g either (i) g k+1 = g k ij for some ij such that U i (g k+1 ) > U i (g k ) and i 2 M (t) or U j (g K ) > U j (g k ) and j 2 F (t); or (ii) g k+1 = g k + ij for some ij such that U i (g k+1 ) > U i (g k ) and U j (g k+1 ) U j (g k ) if i; j 2 M (t), or U i (g K ) > U i (g k ) and U j (g K ) U j (g k ) 24 For instance, a myopic player may become faster farsighted when interacting in an environment composed mainly of farsighted players (e.g. when it belongs to a component with a majority of farsighted players).
if i; j 2 F (t), or U i (g k+1 ) U i (g k ) and U j (g K ) U j (g k ) (with one inequality holding strictly) if i 2 M (t); j 2 F (t). We denote by t (g) the set of all networks that can be reached from g by a myopic-farsighted improving path in period t. We denote by G the set of networks that belong to some myopic-farsighted stable set, G = fg 2 G j G G is a myopic-farsighted stable setg, and we suppose that G 6 = ; for all M; F such that Starting in period 1 from g(0) with M (1) = N and F (1) = ;, the dynamic process will evolve to some g(1) such that (i) there is a myopic-farsighted improving path from g(0) to g(1) and (ii) g(1) belongs to some myopic-farsighted stable set, i.e. g(1) 2 G(M (1); F (1)). At the very beginning of period 2 some myopic players become farsighted, M (2) N and F (2) 6 = ;. If g(1) is no more stable (i.e. g(1) = 2 G(M (2); F (2))) then the dynamic process will evolve to some g(2) 6 = g(1) such that (i) g(2) 2 2 (g(1)) and (ii) g(2) 2 G(M (2); F (2)). Otherwise, it remains where it was, i.e. g(2) = g (1). Given the population dynamics fM (t); F (t)g 1 t=1 , we say that fg(t)g 1 t=1 is an evolution of stable networks if and only if (i) g(t) 2 G(M (t); F (t)) and (ii) if g(t) 6 = g(t 1) then g(t) 2 t (g(t 1)).
Consider again the network formation with utility function U such that U i (g) = P ij2g (d j ) for all i 2 N where (d j ) exhibits positive convex externalities. Take n 1 d > 1. Starting from the empty network g ; with a population consisting of only myopic players (M (1) = N ), the dynamic process …rst remains at the empty network g ; . In fact, the empty network will persist until some period t where #M (t ) d > #M (t + 1). At period t + 1, there are now enough farsighted players within the population to dismantle g ; and move the process towards the complete network g N that Pareto dominates all other networks and will persist forever.
Since players do not interact in the empty network, it is not excluded that more time would be needed for a myopic player to become farsighted. Hence, if d is large, the empty network can persist many periods until the dynamic process moves away to the complete network. On the contrary, in the distance-based utility model with b(1) b(2) < c < b(1), it is likely that the dynamic process will evolve faster from one star network to another star network since myopic players in the center interact closely with all farsighted players. Starting from the empty network, the dynamic process …rst converges to some pairwise stable network. Once the number of myopic players who have become farsighted is large enough, the dynamic process evolves to a star network with some myopic player in the center. Such star network will be dismantled once the myopic player in the center of the star becomes farsighted. In this case, the process evolves next to another star network with one of the remaining myopic player in the center.
Finally, consider the network formation under the egalitarian utility function. Starting from the empty network g ; with a population consisting of only myopic players (M (1) = N ), the dynamic process …rst converges to some pairwise stable network g 2 G ; = P . If this pairwise stable network is strongly e¢ cient (i.e. if g 2 E), this network will persist forever. Otherwise, some myopic players become farsighted (M (2) M (1) = N ) and the dynamic process either remains where it was (if g 2 G ; jM (2);F (2) G ; jM (1);F (1) ) or evolves to some network g 0 2 G ; jM (2);F (2) that Pareto dominates g (if g 2 G ; jM (1);F (1) n G ; jM (2);F (2) ). If this network is strongly e¢ cient (i.e. if g 0 2 E), it will persist forever. Otherwise, some remaining myopic players become now farsighted. In the end, the dynamic process always reaches some strongly e¢ cient network that will persist forever.

Coalitions
In the notion of myopic-farsighted stable set we only consider deviations by at most a pair of players at a time. It might be that some coalition of players could all be made better o¤ by some complicated reorganization of their links, which is not accounted for under myopic-farsighted stable sets with pairwise deviations. Groupwise deviations make sense in situations where players have substantial information about the overall structure and potential payo¤s and can coordinate their actions. Our de…nition of myopic-farsighted stable set can be extended to groupwise deviations.
A network g 0 is obtainable from g via deviations by group S N if (i) ij 2 g 0 and ij = 2 g implies fi; jg S, and (ii) ij 2 g and ij = 2 g 0 implies fi; jg \ S 6 = ;. A groupwise myopic-farsighted improving path from a network g to a network g 0 6 = g is a …nite sequence of networks g 1 ; : : : ; g K with g 1 = g and g K = g 0 such that for any k 2 f1; : : : ; K 1g, for all j 2 S k \ F (with one inequality holding strictly). For a given network g, let (g) be the set of networks that can be reached by a groupwise myopic-farsighted improving path from g. A set of networks G G is a myopic-farsighted stable set with groupwise deviations if: (IS) for every g; g 0 2 G (g 6 = g 0 ), it holds that g 0 = 2 (g); and (ES) for every g 2 G n G, it holds that (g) \ G 6 = ;. For any given network g, we have (g) (g). Hence, if (g)\G 6 = ; for all g 2 G nG, then (g) \ G 6 = ; for all g = 2 G n G. Thus, if fgg is a myopic-farsighted stable set, then it is a myopic-farsighted stable set with groupwise deviations. 25 However, if G is a myopicfarsighted stable set, then G may become unstable with groupwise deviations since G might now violate (IS).
In the case of network formation under the egalitarian utility function, groupwise deviations imply that the set of strongly e¢ cient networks E is the unique myopic-farsighted stable whatever the number of farsighted and myopic players. Remember that all networks g 2 E Pareto dominates all networks g 0 2 G n E. Hence, (g 0 ) \ E 6 = ; for all g 0 2 G n E and (g) = ; for all g 2 E. Similarly, in the case of positive convex externalities, we have that G = fg N g is the unique myopic-farsighted stable with groupwise deviations. When there is no externality and the number of players is even, the set of d -regular networks is the unique myopic-farsighted stable with groupwise deviations. Indeed, in a d -regular network compared to any other network, players are at least as well o¤ with at least one of them being strictly better o¤.
In the distance-based utility model, for b(1) b(2) < c < b(1), the set consisting of all star networks where the center of the star is a myopic player, fg i j i 2 M g, is still the unique myopic-farsighted stable set with groupwise deviations. However, we now only need that there is at least one farsighted player and one myopic player in the population to sustain this result. From any g 0 = 2 fg i j i 2 M g, we can build a groupwise myopicfarsighted improving path leading to some g 2 fg i j i 2 M g. First, S = N deviates from g 0 to form in one step a star network g j with some farsighted player j in the center. Next, player j cuts all her links leading to the empty network g ; . Finally, S = N deviates from g ; to form in one step a star network g i with some myopic player i in the center. Obviously, (g) = ; for all g 2 fg i j i 2 M g.

Limited farsightedness
Pairwise stability requires that networks are immune to immediate deviations. On top of this requirement, one may look for networks that are also immune to deviations by myopic and farsighted players. A network g 2 G is myopic-farsightedly pairwise stable if (g) = ;. The set of myopic-farsightedly pairwise stable networks is denoted by P M F . When N = F it reverts to Jackson (2008) set of farsightedly pairwise stable networks. Similar to pairwise stability, there is no guarantee that the set P M F is non-empty. From the proofs of Proposition 5 and Proposition 7, we have that, under the egalitarian utility function or in the presence of positive convex externalities, each network belonging to the unique myopic-farsighted stable set is myopic-farsightedly pairwise stable. Consider now the distance-based utility model with b(1) b(2) < c < b (1). From the proof of Proposition 8 we have that, if n > #F 1 + b(2)=(b(2) b(3)) then, each network g 2 G = fg i j i 2 M g is myopic-farsightedly pairwise stable, i.e. P M F = G . So, there are no myopic-farsighted deviations from networks in G . In addition, myopic-farsighted deviations from networks outside G to networks inside G are credible since networks in G are stable.
The notion of myopic-farsighted stable set assumes that each player is either myopic or farsighted. But, it could be that each player is nor fully myopic nor fully farsighted. Herings, Mauleon and Vannetelbosch (2019) propose the concept of a horizon-K farsighted set to analyze which networks are going to emerge in the long run when players have an arbitrary homogeneous degree of farsightedness. A set of networks is a horizon-K farsighted set if three conditions are satis…ed: (i) deviations to networks outside the set are horizon-K deterred, (ii) from any network outside the set there is a sequence of farsighted improving paths of length smaller than or equal to K leading to some network in the set, and (iii) there is no proper subset satisfying the conditions (i) and (ii). There is no general relationship between the myopic-farsighted stable set and the horizon-K farsighted set, except when all players are myopic. There is a unique horizon-1 farsighted set that consists of all pairwise networks and all networks belonging to the closed cycles. Hence, the horizon-1 farsighted set is equal to the union of all myopic-farsighted stable sets when all players are myopic.

Conclusion
We have adopted the notion of myopic-farsighted stable set to determine the networks that emerge when myopic and farsighted individuals decide with whom they want to form a link, according to some utility function that weighs the costs and bene…ts of each connection. We have provided conditions on the utility function that guarantee the existence and uniqueness of a myopic-farsighted stable set. We have shown that, under the egalitarian utility function or in the presence of positive convex externalities or in the case of no externality, the unique myopic-farsighted stable set consists of all pairwise stable networks when all players are myopic. When the population becomes mixed, the myopic-farsighted stable set re…nes the set of pairwise stable networks by eliminating some Pareto-dominated networks. In the end, when all players are farsighted, the unique myopic-farsighted stable set only consists of all strongly e¢ cient networks. Hence, under the egalitarian utility function or in the presence of positive convex externalities or in the case of no externality, turning myopic players into farsighted players alleviates the tension between stability and e¢ ciency. In addition, myopic players can only improve by becoming farsighted since the worst pairwise stable networks are progressively discarded.
It is important to understand what happens when myopic players interact with farsighted players since, in general, some networks that are nor stable when all players are myopic nor stable when all players are farsighted could emerge in the long run. In addition, turning myopic players into farsighted players might be costly for the society. Hence, a social planner would face a trade-o¤ between the costs for increasing the number of farsighted players and the gains in terms of e¢ ciency.
In the context of network formation with distance-based utilities (where links have positive externalities but diminishing with the distance), we have shown that, once the population of myopic and farsighted players is mixed, there is no tension between stability and e¢ ciency. On the contrary, when all players are farsighted (or all players are myopic), a con ‡ict is likely to arise. Hence, with distance-based utilities, once there are enough farsighted players in the population, there is no need for turning more myopic players into farsighted ones.
In the context of network formation with degree-based utilities (where links have negative externalities), we have shown that, in the case of a mixed population, segregation is likely to occur where myopic players tend to build too many links, while farsighted players coordinate for building the socially optimal number of links. Hence, with degree-based utilities, turning myopic players into farsighted ones improves continuously e¢ ciency.
Finally, notice that farsighted players do better than myopic players under the di¤erent models we have studied (egalitarian utility function, distance-based utility, degree-based utility, positive convex externalities, no externality). But this is not always the case. For instance, in R&D networks, some myopic …rms may obtain a higher pro…t than some farsighted …rms in a myopic-farsighted stable set (see Mauleon, Sempere-Monerris and Vannetelbosch, 2018).