Error Analysis and Correction for Weighted A*'s Suboptimality (Extended Version)

Weighted A* (wA*) is a widely used algorithm for rapidly, but suboptimally, solving planning and search problems. The cost of the solution it produces is guaranteed to be at most W times the optimal solution cost, where W is the weight wA* uses in prioritizing open nodes. W is therefore a suboptimality bound for the solution produced by wA*. There is broad consensus that this bound is not very accurate, that the actual suboptimality of wA*'s solution is often much less than W times optimal. However, there is very little published evidence supporting that view, and no existing explanation of why W is a poor bound. This paper fills in these gaps in the literature. We begin with a large-scale experiment demonstrating that, across a wide variety of domains and heuristics for those domains, W is indeed very often far from the true suboptimality of wA*'s solution. We then analytically identify the potential sources of error. Finally, we present a practical method for correcting for two of these sources of error and experimentally show that the correction frequently eliminates much of the error.Comment: Published as a short paper in the 12th Annual Symposium on Combinatorial Search, SoCS 201

Front-to-End Bidirectional Heuristic Search with Near-Optimal Node Expansions

It is well-known that any admissible unidirectional heuristic search algorithm must expand all states whose $f$-value is smaller than the optimal solution cost when using a consistent heuristic. Such states are called "surely expanded" (s.e.). A recent study characterized s.e. pairs of states for bidirectional search with consistent heuristics: if a pair of states is s.e. then at least one of the two states must be expanded. This paper derives a lower bound, VC, on the minimum number of expansions required to cover all s.e. pairs, and present a new admissible front-to-end bidirectional heuristic search algorithm, Near-Optimal Bidirectional Search (NBS), that is guaranteed to do no more than 2VC expansions. We further prove that no admissible front-to-end algorithm has a worst case better than 2VC. Experimental results show that NBS competes with or outperforms existing bidirectional search algorithms, and often outperforms A* as well.Comment: Accepted to IJCAI 2017. Camera ready version with new timing result

Inferring what a user is not interested in

Almraet Th/.¢ paper dnscv/bes a sys'tfm we haw de~/optJd to bnpmw ~ sp~ed wtd sacce~ rote w/th wMch wws bmw~ aoJh,~//brav/~ The s3etem/, a/eambtg Learning Apprentice for Browsing "Browsing" is the searching of a computer hl~aty for an individmd ~ item. The bnnmn doing the search (the "user') ,i,,, to find an item (the "target') that best meets his/her nxluimn~ts. The user's mental model of the tazget is called the "sentr, h goal'. Our testbed browsing applic~ion is software rense. The h'bmx7 is a collection of object-oriented softwa~. An item in the library is a "class" containing locally defined "instance vaziables" and "methods'. A class also inherits the va6ables and methods of its superclass in the inhesitance hletat~y. A class's functionality is detetm/ned by its methods. The aim of browsing is to find the class whose functionality is closest to the requinKi functional/ty. In our browsing system the user is initially presented with a list of all the claues in the h'bnwy. As browsing proceeds additional class lists and method lists are created by the nsef's actions. To apply an operator to a class, the user selects the class from any available class list and then specifies the operator to be applied. An example of a clau-hased operator is "Defined Methods"; when applied to class C this creates a list of the methods C defines locally. To apply an operator to a method is a two step process. Hnt one must select the method in the method fist produced by "Defmed Methods'. ~ "opens" the method in a window that is used for inspecting a method's details. To apply an operate, the user must "magk" one of more methods in this window and then specLCy the operator-For example the operator "Used By" creates a list of classes oniesed by the degnm to which each uses ill the cun, ently marked methods. A cless's score is based on the si~ of the madmd methods' names to the nmnes of the methods that are called by the class's own methods

EACVI survey on investigations and imaging modalities in chronic coronary syndromes

AIMS The European Association of Cardiovascular Imaging (EACVI) Scientific Initiatives Committee performed a global survey to evaluate current practice for the assessment and management of patients with suspected and confirmed chronic coronary syndromes. METHODS AND RESULTS One-hundred and ten imaging centres from 37 countries across the world responded to the survey. Most non-invasive investigations for coronary artery disease were widely available, except cardiovascular magnetic resonance (available 40% centres). Coronary computed tomography angiography (CCTA) and nuclear scans were reported by a multi-disciplinary team in only a quarter of centres. In the initial assessment of patients presenting with chest pain, only 32% of respondents indicated that they rely on pre-test probability for selecting the optimal imaging test while 31% proceed directly to CCTA. In patients with established coronary artery disease and recurrent chest pain, respondents opted for stress echocardiography (27%) and nuclear stress perfusion scans (26%). In asymptomatic patients with coronary artery disease and an obstructive (>70%) right coronary artery stenosis, 58% of respondents were happy to pursue medical therapy without further testing or intervention. This proportion fell to 29% with left anterior descending artery stenosis and 1% with left main stem obstruction. In asymptomatic patients with evidence of moderate-to-severe myocardial ischaemia (15%), only 18% of respondents would continue medical therapy without further investigation. CONCLUSION Despite guidelines recommendations pre-test probability is used to assess patients with suspected coronary artery in a minority of centres, one-third of centres moving directly to CCTA. Clinicians remain reticent to pursue a strategy of optimal medical therapy without further investigation or intervention in patients with controlled symptoms but obstructive coronary artery stenoses or myocardial ischaemia

EACVI survey on investigations and imaging modalities in chronic coronary syndromes

Aims The European Association of Cardiovascular Imaging (EACVI) Scientific Initiatives Committee performed a global survey to evaluate current practice for the assessment and management of patients with suspected and confirmed chronic coronary syndromes.Methods and results One-hundred and ten imaging centres from 37 countries across the world responded to the survey. Most non-invasive investigations for coronary artery disease were widely available, except cardiovascular magnetic resonance (available 40% centres). Coronary computed tomography angiography (CCTA) and nuclear scans were reported by a multi-disciplinary team in only a quarter of centres. In the initial assessment of patients presenting with chest pain, only 32% of respondents indicated that they rely on pre-test probability for selecting the optimal imaging test while 31% proceed directly to CCTA. In patients with established coronary artery disease and recurrent chest pain, respondents opted for stress echocardiography (27%) and nuclear stress perfusion scans (26%). In asymptomatic patients with coronary artery disease and an obstructive (>70%) right coronary artery stenosis, 58% of respondents were happy to pursue medical therapy without further testing or intervention. This proportion fell to 29% with left anterior descending artery stenosis and 1% with left main stem obstruction. In asymptomatic patients with evidence of moderate-to-severe myocardial ischaemia (15%), only 18% of respondents would continue medical therapy without further investigation.Conclusion Despite guidelines recommendations pre-test probability is used to assess patients with suspected coronary artery in a minority of centres, one-third of centres moving directly to CCTA. Clinicians remain reticent to pursue a strategy of optimal medical therapy without further investigation or intervention in patients with controlled symptoms but obstructive coronary artery stenoses or myocardial ischaemia.</p

Global economic burden of unmet surgical need for appendicitis

Background: There is a substantial gap in provision of adequate surgical care in many low-and middle-income countries. This study aimed to identify the economic burden of unmet surgical need for the common condition of appendicitis. Methods: Data on the incidence of appendicitis from 170 countries and two different approaches were used to estimate numbers of patients who do not receive surgery: as a fixed proportion of the total unmet surgical need per country (approach 1); and based on country income status (approach 2). Indirect costs with current levels of access and local quality, and those if quality were at the standards of high-income countries, were estimated. A human capital approach was applied, focusing on the economic burden resulting from premature death and absenteeism. Results: Excess mortality was 4185 per 100 000 cases of appendicitis using approach 1 and 3448 per 100 000 using approach 2. The economic burden of continuing current levels of access and local quality was US $92 492 million using approach 1 and$73 141 million using approach 2. The economic burden of not providing surgical care to the standards of high-income countries was $95 004 million using approach 1 and$75 666 million using approach 2. The largest share of these costs resulted from premature death (97.7 per cent) and lack of access (97.0 per cent) in contrast to lack of quality. Conclusion: For a comparatively non-complex emergency condition such as appendicitis, increasing access to care should be prioritized. Although improving quality of care should not be neglected, increasing provision of care at current standards could reduce societal costs substantially