I wonder how a route suggesting app, that accounts for traffic, avoids the El Farol Bar (lets call it EFB) problem. EFB essentially is people in the town of El

I wonder how a route suggesting app, that accounts for traffic, avoids the El Farol Bar (lets call it EFB) problem. EFB essentially is people in the town of El Farol want to have a good time, and they the option of staying at home or going to the one bar the town has. If a lot of them end up at the bar, people would have had a better time staying at home. And if a lot of them stay at home, the bars are not crowded and they'd have had a better time in the bar. The catch is no one knows in advance who is going to go the bar. It can be shown that no pure strategy can work for EFB.