149:
36:
234:-hard. Another variant is to make no assumption on the distribution but require that each realization with non-zero probability be explicitly stated (such as “Probability 0.1 of edge set { {3,4},{1,2} }, probability 0.2 of...”). This is called the Distribution Stochastic Shortest Path Problem (d-SSPPR or R-SSPPR) and is
245:
An additional parameter is how new knowledge is being discovered on the realization. In traditional variants of CTP, the agent uncovers the exact weight (or status) of an edge upon reaching an adjacent vertex. A new variant was recently suggested where an agent also has the ability to perform remote
241:
The fourth and final parameter is how the graph changes over time. In CTP and SSPPR, the realization is fixed but not known. In the
Stochastic Shortest Path Problem with Recourse and Resets or the Expected Shortest Path problem, a new realization is chosen from the distribution after each step taken
206:
There are primarily five parameters distinguishing the number of variants of the
Canadian Traveller Problem. The first parameter is how to value the walk produced by a policy for a given instance and realization. In the Stochastic Shortest Path Problem with Recourse, the goal is simply to minimize
229:
The third parameter is restricted to the stochastic versions and is about what assumptions we can make about the distribution of the realizations and how the distribution is represented in the input. In the
Stochastic Canadian Traveller Problem and in the Edge-independent Stochastic Shortest Path
230:
Problem (i-SSPPR), each uncertain edge (or cost) has an associated probability of being in the realization and the event that an edge is in the graph is independent of which other edges are in the realization. Even though this is a considerable simplification, the problem is still
242:
by the policy. This problem can be solved in polynomial time by reducing it to a Markov decision process with polynomial horizon. The Markov generalization, where the realization of the graph may influence the next realization, is known to be much harder.
372:
1422:
1577:. If the goal is never reached, we say that we have an infinite cost. If the goal is reached, we define the cost of the walk as the sum of the costs of all of the edges traversed, with cardinality.
722:
214:
The second parameter is how to evaluate a policy with respect to different realizations consistent with the instance under consideration. In the
Canadian Traveller Problem, one wishes to study the
1279:
207:
the cost of the walk (defined as the sum over all edges of the cost of the edge times the number of times that edge was taken). For the
Canadian Traveller Problem, the task is to minimize the
1101:
1721:
254:
We define the variant studied in the paper from 1989. That is, the goal is to minimize the competitive ratio in the worst case. It is necessary that we begin by introducing certain terms.
1184:
585:
431:
1463:
775:
932:
54:
1638:
1018:
1863:
Despite the age of the problem and its many potential applications, many natural questions still remain open. Is there a constant-factor approximation or is the problem
1802:
627:
526:
1756:
818:
1321:
965:
876:
124:
in 1989 and a number of variants of the problem have been studied since. The name supposedly originates from conversations of the authors who learned of a difficulty
465:
2084:
1575:
1548:
1521:
1494:
1658:
838:
658:
238:. The first variant is harder than the second because the former can represent in logarithmic space some distributions that the latter represents in linear space.
1824:. It was also shown that finding an optimal path in the case where each edge has an associated probability of being in the graph (i-SSPPR) is a PSPACE-easy but
742:
190:
Given an instance and policy for the instance, every realization produces its own (deterministic) walk in the graph. Note that the walk is not necessarily a
109:. In other words, a "traveller" on a given point on the graph cannot see the full graph, rather only adjacent nodes or a certain "realization restriction."
260:
187:. The CTP task is to compute the expected cost of the optimal policies. To compute an actual description of an optimal policy may be a harder problem.
1828:-hard problem. It was an open problem to bridge this gap, but since then both the directed and undirected versions were shown to be PSPACE-hard.
1855:, communication networks, and routing. A variant of the problem has been studied for robot navigation with probabilistic landmark recognition.
1523:). When we take a step in the graph, the edges incident to our new location become known to us. Those edges that are in the graph are added to
257:
Consider a given graph and the family of undirected graphs that can be constructed by adding one or more edges from a given set. Formally, let
2045:
246:
sensing from any location on the realization. In this variant, the task is to minimize the travel cost plus the cost of sensing operations.
2079:
132:
version, where each edge is associated with a probability of independently being in the graph, has been given considerable attention in
2074:
72:
1326:
183:, of how the hidden graph may look. Given an instance, a description of how to follow the instance in the best way is called a
1928:
Briggs, Amy J.; Detweiler, Carrick; Scharstein, Daniel (2004). "Expected shortest paths for landmark-based robot navigation".
1812:, where the players compete over the cost of their respective paths and the edge set is chosen by the second player (nature).
663:
637:. This is called the off-line problem because an algorithm for such a problem would have complete information of the graph.
2089:
1867:-hard? Is it i-SSPPR #P-complete? An even more fundamental question has been left unanswered: is there a polynomial-size
1191:
211:
of the walk; i.e., to minimize the number of times longer the produced walk is to the shortest path in the realization.
1025:
194:
since the best strategy may be to, e.g., visit every vertex of a cycle and return to the start. This differs from the
106:
1663:
1108:
223:
539:
385:
1550:, and regardless of whether the edges are in the graph or not, they are removed from the set of unknown edges,
191:
1848:
1937:
117:
1890:
195:
102:
1427:
747:
885:
198:(with strictly positive weights), where repetitions in a walk implies that a better solution exists.
113:
1942:
1844:
1832:
1587:
133:
2032:
2012:
1955:
973:
121:
1871:
of an optimal policy, setting aside for a moment the time necessary to compute the description?
1765:
590:
489:
1726:
788:
1469:
In other words, we evaluate the policy based on the edges we currently know are in the graph (
208:
1293:
937:
843:
2022:
1947:
1852:
440:
86:
1553:
1526:
1499:
1472:
1991:
1880:
1821:
1643:
823:
643:
17:
727:
148:
128:
drivers had: traveling a network of cities with snowfall randomly blocking roads. The
2068:
2036:
1959:
1885:
367:{\displaystyle {\mathcal {G}}(V,E,F)=\{(V,E+F')|F'\subseteq F\},E\cap F=\emptyset }
219:
90:
1820:
The original paper analysed the complexity of the problem and reported it to be
1809:
235:
2027:
2000:
215:
129:
1951:
136:
under the name "the
Stochastic Shortest Path Problem with Recourse" (SSPPR).
125:
437:
of the graph family. Furthermore, let W be an associated cost matrix where
1986:
C.H. Papadimitriou; M. Yannakakis (1989). "Shortest paths without a map".
778:
1999:
Dror Fried; Solomon Eyal
Shimony; Amit Benbassat; Cenny Wenner (2013).
1825:
231:
2046:
Exact
Algorithms for the Canadian Traveller Problem on Paths and Trees
2060:. International Joint Conference On Artificial Intelligence (IJCAI).
2017:
1864:
179:
For a given instance, there are a number of possibilities, or
143:
29:
222:. For average case analysis, one must furthermore specify an
1687:
1417:{\displaystyle c(\pi ,B)=\sum _{i=0}^{T-1}w_{v_{i},v_{i+1}}}
753:
691:
672:
551:
397:
266:
1831:
The directed version of the stochastic problem is known in
2056:
Zahy Bnaya; Ariel Felner; Solomon Eyal
Shimony (2009).
1835:
as the
Stochastic Shortest Path Problem with Recourse.
1808:
Papadimitriou and Yannakakis noted that this defines a
717:{\displaystyle ({\mathcal {P}}(E),{\mathcal {P}}(F),V)}
160:
50:
1768:
1729:
1666:
1646:
1590:
1556:
1529:
1502:
1475:
1430:
1329:
1296:
1194:
1111:
1028:
976:
940:
888:
846:
826:
791:
750:
730:
666:
646:
593:
542:
492:
443:
388:
263:
2044:David Karger; Evdokia Nikolova (January 28, 2008).
1580:Finally, we define the Canadian traveller problem.
1274:{\displaystyle v_{i+1}=\pi (E_{i+1},F_{i+1},v_{i})}
629:be the cost of the shortest path in the graph from
382:as the edges that may be in the graph. We say that
45:
may be too technical for most readers to understand
2001:"Complexity of Canadian traveler problem variants"
1796:
1750:
1715:
1652:
1632:
1569:
1542:
1515:
1488:
1457:
1416:
1315:
1273:
1178:
1095:
1012:
959:
926:
870:
832:
812:
769:
736:
716:
652:
621:
579:
520:
459:
425:
366:
475:, assuming that this edge is in the realization.
2051:(Report). Massachusetts Institute of Technology.
1096:{\displaystyle E_{i+1}=E_{i}\cup E_{B}(v_{i},V)}
528:its incident edges with respect to the edge set
1496:) and the edges we know might be in the graph (
2058:Canadian Traveller Problem with remote sensing
1716:{\displaystyle (V,B)\in {\mathcal {G}}(V,E,F)}
378:as the edges that must be in the graph and of
8:
1843:The problem is said to have applications in
1179:{\displaystyle F_{i+1}=F_{i}-E_{F}(v_{i},V)}
343:
295:
660:to navigate such a graph is a mapping from
1930:International Journal of Robotics Research
1918:Fried, Shimony, Benbassat, and Wenner 2013
1909:Papadimitriou and Yannakakis, 1989, p. 148
580:{\displaystyle G\in {\mathcal {G}}(V,E,F)}
426:{\displaystyle G\in {\mathcal {G}}(V,E,F)}
2026:
2016:
1941:
1773:
1767:
1728:
1686:
1685:
1665:
1645:
1589:
1561:
1555:
1534:
1528:
1507:
1501:
1480:
1474:
1429:
1400:
1387:
1382:
1366:
1355:
1328:
1301:
1295:
1262:
1243:
1224:
1199:
1193:
1161:
1148:
1135:
1116:
1110:
1078:
1065:
1052:
1033:
1027:
975:
945:
939:
912:
893:
887:
845:
840:with respect to a particular realization
825:
790:
752:
751:
749:
729:
690:
689:
671:
670:
665:
645:
598:
592:
550:
549:
541:
497:
491:
448:
442:
396:
395:
387:
324:
265:
264:
262:
73:Learn how and when to remove this message
57:, without removing the technical details.
1902:
1640:, decide whether there exists a policy
2085:Computational problems in graph theory
55:make it understandable to non-experts
7:
226:distribution over the realizations.
1990:. Proc. 16th ICALP. Vol. 372.
1452:
361:
25:
1988:Lecture Notes in Computer Science
1458:{\displaystyle c(\pi ,B)=\infty }
770:{\displaystyle {\mathcal {P}}(X)}
536:. Furthermore, for a realization
467:is the cost of going from vertex
1660:such that for every realization
147:
34:
1972:Karger and Nikolova, 2008, p. 1
927:{\displaystyle v_{0}=s,E_{0}=E}
1791:
1779:
1758:of the policy is no more than
1745:
1733:
1710:
1692:
1679:
1667:
1627:
1591:
1446:
1434:
1345:
1333:
1268:
1217:
1173:
1154:
1090:
1071:
865:
853:
807:
795:
764:
758:
711:
702:
696:
683:
677:
667:
616:
604:
574:
556:
515:
503:
420:
402:
325:
321:
298:
289:
271:
1:
1633:{\displaystyle (V,E,F,s,t,r)}
101:) is a generalization of the
2005:Theoretical Computer Science
1762:times the off-line optimal,
2080:Travelling salesman problem
1847:, transportation planning,
1013:{\displaystyle i=0,1,2,...}
27:Computational graph problem
2106:
1797:{\displaystyle d_{B}(s,t)}
622:{\displaystyle d_{B}(s,t)}
521:{\displaystyle E_{B}(v,V)}
95:Canadian traveller problem
18:Canadian Traveller Problem
2028:10.1016/j.tcs.2013.03.016
1751:{\displaystyle c(\pi ,B)}
813:{\displaystyle c(\pi ,B)}
2075:PSPACE-complete problems
1952:10.1177/0278364904045467
1849:artificial intelligence
1316:{\displaystyle v_{T}=t}
960:{\displaystyle F_{0}=F}
871:{\displaystyle G=(V,B)}
640:We say that a strategy
1798:
1752:
1717:
1654:
1634:
1571:
1544:
1517:
1490:
1459:
1418:
1377:
1317:
1275:
1180:
1097:
1014:
961:
928:
872:
834:
814:
771:
738:
718:
654:
623:
581:
522:
461:
460:{\displaystyle w_{ij}}
427:
368:
118:Christos Papadimitriou
1891:Shortest path problem
1799:
1753:
1718:
1655:
1635:
1584:Given a CTP instance
1572:
1570:{\displaystyle F_{i}}
1545:
1543:{\displaystyle E_{i}}
1518:
1516:{\displaystyle F_{i}}
1491:
1489:{\displaystyle E_{i}}
1460:
1419:
1351:
1318:
1276:
1181:
1098:
1015:
962:
929:
873:
835:
815:
785:. We define the cost
772:
739:
719:
655:
624:
582:
523:
462:
428:
369:
196:shortest path problem
103:shortest path problem
2090:NP-complete problems
1766:
1727:
1664:
1653:{\displaystyle \pi }
1644:
1588:
1554:
1527:
1500:
1473:
1428:
1327:
1294:
1192:
1109:
1026:
974:
938:
886:
844:
833:{\displaystyle \pi }
824:
789:
748:
728:
664:
653:{\displaystyle \pi }
644:
591:
540:
490:
441:
386:
261:
114:optimization problem
107:partially observable
1994:. pp. 610–620.
1845:operations research
1833:operations research
140:Problem description
134:operations research
105:to graphs that are
1794:
1748:
1713:
1650:
1630:
1567:
1540:
1513:
1486:
1455:
1414:
1313:
1286:If there exists a
1271:
1176:
1093:
1010:
957:
924:
868:
830:
810:
767:
734:
714:
650:
619:
577:
518:
457:
423:
374:where we think of
364:
218:and in SSPPR, the
159:. You can help by
122:Mihalis Yannakakis
116:was introduced by
737:{\displaystyle V}
250:Formal definition
209:competitive ratio
177:
176:
83:
82:
75:
16:(Redirected from
2097:
2061:
2052:
2050:
2040:
2030:
2020:
1995:
1973:
1970:
1964:
1963:
1945:
1936:(7–8): 717–718.
1925:
1919:
1916:
1910:
1907:
1853:machine learning
1803:
1801:
1800:
1795:
1778:
1777:
1757:
1755:
1754:
1749:
1722:
1720:
1719:
1714:
1691:
1690:
1659:
1657:
1656:
1651:
1639:
1637:
1636:
1631:
1576:
1574:
1573:
1568:
1566:
1565:
1549:
1547:
1546:
1541:
1539:
1538:
1522:
1520:
1519:
1514:
1512:
1511:
1495:
1493:
1492:
1487:
1485:
1484:
1464:
1462:
1461:
1456:
1424:; otherwise let
1423:
1421:
1420:
1415:
1413:
1412:
1411:
1410:
1392:
1391:
1376:
1365:
1322:
1320:
1319:
1314:
1306:
1305:
1280:
1278:
1277:
1272:
1267:
1266:
1254:
1253:
1235:
1234:
1210:
1209:
1185:
1183:
1182:
1177:
1166:
1165:
1153:
1152:
1140:
1139:
1127:
1126:
1102:
1100:
1099:
1094:
1083:
1082:
1070:
1069:
1057:
1056:
1044:
1043:
1019:
1017:
1016:
1011:
966:
964:
963:
958:
950:
949:
933:
931:
930:
925:
917:
916:
898:
897:
877:
875:
874:
869:
839:
837:
836:
831:
819:
817:
816:
811:
776:
774:
773:
768:
757:
756:
743:
741:
740:
735:
723:
721:
720:
715:
695:
694:
676:
675:
659:
657:
656:
651:
628:
626:
625:
620:
603:
602:
586:
584:
583:
578:
555:
554:
527:
525:
524:
519:
502:
501:
466:
464:
463:
458:
456:
455:
432:
430:
429:
424:
401:
400:
373:
371:
370:
365:
336:
328:
320:
270:
269:
172:
169:
151:
144:
87:computer science
78:
71:
67:
64:
58:
38:
37:
30:
21:
2105:
2104:
2100:
2099:
2098:
2096:
2095:
2094:
2065:
2064:
2055:
2048:
2043:
1998:
1992:Springer-Verlag
1985:
1982:
1977:
1976:
1971:
1967:
1943:10.1.1.648.3358
1927:
1926:
1922:
1917:
1913:
1908:
1904:
1899:
1881:Graph traversal
1877:
1861:
1841:
1822:PSPACE-complete
1818:
1810:two-player game
1769:
1764:
1763:
1725:
1724:
1662:
1661:
1642:
1641:
1586:
1585:
1557:
1552:
1551:
1530:
1525:
1524:
1503:
1498:
1497:
1476:
1471:
1470:
1426:
1425:
1396:
1383:
1378:
1325:
1324:
1297:
1292:
1291:
1258:
1239:
1220:
1195:
1190:
1189:
1157:
1144:
1131:
1112:
1107:
1106:
1074:
1061:
1048:
1029:
1024:
1023:
972:
971:
941:
936:
935:
908:
889:
884:
883:
842:
841:
822:
821:
787:
786:
746:
745:
726:
725:
662:
661:
642:
641:
594:
589:
588:
538:
537:
493:
488:
487:
478:For any vertex
444:
439:
438:
384:
383:
329:
313:
259:
258:
252:
204:
173:
167:
164:
157:needs expansion
142:
79:
68:
62:
59:
51:help improve it
48:
39:
35:
28:
23:
22:
15:
12:
11:
5:
2103:
2101:
2093:
2092:
2087:
2082:
2077:
2067:
2066:
2063:
2062:
2053:
2041:
1996:
1981:
1978:
1975:
1974:
1965:
1920:
1911:
1901:
1900:
1898:
1895:
1894:
1893:
1888:
1883:
1876:
1873:
1860:
1857:
1840:
1837:
1817:
1814:
1806:
1805:
1793:
1790:
1787:
1784:
1781:
1776:
1772:
1747:
1744:
1741:
1738:
1735:
1732:
1712:
1709:
1706:
1703:
1700:
1697:
1694:
1689:
1684:
1681:
1678:
1675:
1672:
1669:
1649:
1629:
1626:
1623:
1620:
1617:
1614:
1611:
1608:
1605:
1602:
1599:
1596:
1593:
1564:
1560:
1537:
1533:
1510:
1506:
1483:
1479:
1467:
1466:
1454:
1451:
1448:
1445:
1442:
1439:
1436:
1433:
1409:
1406:
1403:
1399:
1395:
1390:
1386:
1381:
1375:
1372:
1369:
1364:
1361:
1358:
1354:
1350:
1347:
1344:
1341:
1338:
1335:
1332:
1312:
1309:
1304:
1300:
1284:
1283:
1282:
1270:
1265:
1261:
1257:
1252:
1249:
1246:
1242:
1238:
1233:
1230:
1227:
1223:
1219:
1216:
1213:
1208:
1205:
1202:
1198:
1187:
1175:
1172:
1169:
1164:
1160:
1156:
1151:
1147:
1143:
1138:
1134:
1130:
1125:
1122:
1119:
1115:
1104:
1092:
1089:
1086:
1081:
1077:
1073:
1068:
1064:
1060:
1055:
1051:
1047:
1042:
1039:
1036:
1032:
1009:
1006:
1003:
1000:
997:
994:
991:
988:
985:
982:
979:
968:
956:
953:
948:
944:
923:
920:
915:
911:
907:
904:
901:
896:
892:
867:
864:
861:
858:
855:
852:
849:
829:
820:of a strategy
809:
806:
803:
800:
797:
794:
766:
763:
760:
755:
733:
713:
710:
707:
704:
701:
698:
693:
688:
685:
682:
679:
674:
669:
649:
618:
615:
612:
609:
606:
601:
597:
576:
573:
570:
567:
564:
561:
558:
553:
548:
545:
517:
514:
511:
508:
505:
500:
496:
454:
451:
447:
422:
419:
416:
413:
410:
407:
404:
399:
394:
391:
363:
360:
357:
354:
351:
348:
345:
342:
339:
335:
332:
327:
323:
319:
316:
312:
309:
306:
303:
300:
297:
294:
291:
288:
285:
282:
279:
276:
273:
268:
251:
248:
203:
200:
175:
174:
154:
152:
141:
138:
81:
80:
42:
40:
33:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
2102:
2091:
2088:
2086:
2083:
2081:
2078:
2076:
2073:
2072:
2070:
2059:
2054:
2047:
2042:
2038:
2034:
2029:
2024:
2019:
2014:
2010:
2006:
2002:
1997:
1993:
1989:
1984:
1983:
1979:
1969:
1966:
1961:
1957:
1953:
1949:
1944:
1939:
1935:
1931:
1924:
1921:
1915:
1912:
1906:
1903:
1896:
1892:
1889:
1887:
1884:
1882:
1879:
1878:
1874:
1872:
1870:
1866:
1859:Open problems
1858:
1856:
1854:
1850:
1846:
1838:
1836:
1834:
1829:
1827:
1823:
1815:
1813:
1811:
1788:
1785:
1782:
1774:
1770:
1761:
1742:
1739:
1736:
1730:
1707:
1704:
1701:
1698:
1695:
1682:
1676:
1673:
1670:
1647:
1624:
1621:
1618:
1615:
1612:
1609:
1606:
1603:
1600:
1597:
1594:
1583:
1582:
1581:
1578:
1562:
1558:
1535:
1531:
1508:
1504:
1481:
1477:
1449:
1443:
1440:
1437:
1431:
1407:
1404:
1401:
1397:
1393:
1388:
1384:
1379:
1373:
1370:
1367:
1362:
1359:
1356:
1352:
1348:
1342:
1339:
1336:
1330:
1310:
1307:
1302:
1298:
1289:
1285:
1263:
1259:
1255:
1250:
1247:
1244:
1240:
1236:
1231:
1228:
1225:
1221:
1214:
1211:
1206:
1203:
1200:
1196:
1188:
1170:
1167:
1162:
1158:
1149:
1145:
1141:
1136:
1132:
1128:
1123:
1120:
1117:
1113:
1105:
1087:
1084:
1079:
1075:
1066:
1062:
1058:
1053:
1049:
1045:
1040:
1037:
1034:
1030:
1022:
1021:
1007:
1004:
1001:
998:
995:
992:
989:
986:
983:
980:
977:
969:
954:
951:
946:
942:
921:
918:
913:
909:
905:
902:
899:
894:
890:
881:
880:
879:
862:
859:
856:
850:
847:
827:
804:
801:
798:
792:
784:
780:
761:
731:
708:
705:
699:
686:
680:
647:
638:
636:
632:
613:
610:
607:
599:
595:
571:
568:
565:
562:
559:
546:
543:
535:
531:
512:
509:
506:
498:
494:
485:
481:
476:
474:
470:
452:
449:
445:
436:
417:
414:
411:
408:
405:
392:
389:
381:
377:
358:
355:
352:
349:
346:
340:
337:
333:
330:
317:
314:
310:
307:
304:
301:
292:
286:
283:
280:
277:
274:
255:
249:
247:
243:
239:
237:
233:
227:
225:
221:
217:
212:
210:
201:
199:
197:
193:
188:
186:
182:
171:
168:February 2017
162:
158:
155:This section
153:
150:
146:
145:
139:
137:
135:
131:
127:
123:
119:
115:
110:
108:
104:
100:
96:
92:
88:
77:
74:
66:
56:
52:
46:
43:This article
41:
32:
31:
19:
2057:
2008:
2004:
1987:
1968:
1933:
1929:
1923:
1914:
1905:
1886:Hitting time
1868:
1862:
1842:
1839:Applications
1830:
1819:
1807:
1759:
1579:
1468:
1287:
878:as follows.
782:
777:denotes the
639:
634:
630:
533:
529:
483:
479:
477:
472:
468:
434:
379:
375:
256:
253:
244:
240:
228:
220:average case
213:
205:
189:
184:
181:realizations
180:
178:
165:
161:adding to it
156:
111:
98:
94:
91:graph theory
84:
69:
60:
44:
1869:description
1723:, the cost
435:realization
236:NP-complete
2069:Categories
1980:References
1816:Complexity
1290:such that
486:, we call
471:to vertex
216:worst case
130:stochastic
2018:1207.4710
1938:CiteSeerX
1737:π
1683:∈
1648:π
1453:∞
1438:π
1371:−
1353:∑
1337:π
1215:π
1142:−
1059:∪
1020:, define
828:π
799:π
648:π
547:∈
393:∈
362:∅
353:∩
338:⊆
63:June 2021
2037:17810202
2011:: 1–16.
1960:15681481
1875:See also
779:powerset
744:, where
334:′
318:′
224:a priori
202:Variants
126:Canadian
1323:, then
49:Please
2035:
1958:
1940:
587:, let
185:policy
93:, the
2049:(PDF)
2033:S2CID
2013:arXiv
1956:S2CID
1897:Notes
1186:, and
433:is a
112:This
970:For
934:and
882:Let
192:path
120:and
89:and
2023:doi
2009:487
1948:doi
1865:APX
781:of
724:to
633:to
532:on
482:in
163:.
99:CTP
85:In
53:to
2071::
2031:.
2021:.
2007:.
2003:.
1954:.
1946:.
1934:23
1932:.
1851:,
1826:♯P
232:#P
2039:.
2025::
2015::
1962:.
1950::
1804:.
1792:)
1789:t
1786:,
1783:s
1780:(
1775:B
1771:d
1760:r
1746:)
1743:B
1740:,
1734:(
1731:c
1711:)
1708:F
1705:,
1702:E
1699:,
1696:V
1693:(
1688:G
1680:)
1677:B
1674:,
1671:V
1668:(
1628:)
1625:r
1622:,
1619:t
1616:,
1613:s
1610:,
1607:F
1604:,
1601:E
1598:,
1595:V
1592:(
1563:i
1559:F
1536:i
1532:E
1509:i
1505:F
1482:i
1478:E
1465:.
1450:=
1447:)
1444:B
1441:,
1435:(
1432:c
1408:1
1405:+
1402:i
1398:v
1394:,
1389:i
1385:v
1380:w
1374:1
1368:T
1363:0
1360:=
1357:i
1349:=
1346:)
1343:B
1340:,
1334:(
1331:c
1311:t
1308:=
1303:T
1299:v
1288:T
1281:.
1269:)
1264:i
1260:v
1256:,
1251:1
1248:+
1245:i
1241:F
1237:,
1232:1
1229:+
1226:i
1222:E
1218:(
1212:=
1207:1
1204:+
1201:i
1197:v
1174:)
1171:V
1168:,
1163:i
1159:v
1155:(
1150:F
1146:E
1137:i
1133:F
1129:=
1124:1
1121:+
1118:i
1114:F
1103:,
1091:)
1088:V
1085:,
1080:i
1076:v
1072:(
1067:B
1063:E
1054:i
1050:E
1046:=
1041:1
1038:+
1035:i
1031:E
1008:.
1005:.
1002:.
999:,
996:2
993:,
990:1
987:,
984:0
981:=
978:i
967:.
955:F
952:=
947:0
943:F
922:E
919:=
914:0
910:E
906:,
903:s
900:=
895:0
891:v
866:)
863:B
860:,
857:V
854:(
851:=
848:G
808:)
805:B
802:,
796:(
793:c
783:X
765:)
762:X
759:(
754:P
732:V
712:)
709:V
706:,
703:)
700:F
697:(
692:P
687:,
684:)
681:E
678:(
673:P
668:(
635:t
631:s
617:)
614:t
611:,
608:s
605:(
600:B
596:d
575:)
572:F
569:,
566:E
563:,
560:V
557:(
552:G
544:G
534:V
530:B
516:)
513:V
510:,
507:v
504:(
499:B
495:E
484:V
480:v
473:j
469:i
453:j
450:i
446:w
421:)
418:F
415:,
412:E
409:,
406:V
403:(
398:G
390:G
380:F
376:E
359:=
356:F
350:E
347:,
344:}
341:F
331:F
326:|
322:)
315:F
311:+
308:E
305:,
302:V
299:(
296:{
293:=
290:)
287:F
284:,
281:E
278:,
275:V
272:(
267:G
170:)
166:(
97:(
76:)
70:(
65:)
61:(
47:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.