In the game theoretical approach of the basic problem in combinatorial search an adversary thinks of a defective element d of an n-element pool X, and the questioner needs to find x by asking questions of type is d is...
详细信息
In the game theoretical approach of the basic problem in combinatorial search an adversary thinks of a defective element d of an n-element pool X, and the questioner needs to find x by asking questions of type is d is an element of Q ? \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$d\in Q?$$\end{document} for certain subsets Q of X. We study cooperative versions of this problem, where there are multiple questioners, but not all of them learn the answer to the queries. We consider various models that differ in how it is decided who gets to ask the next query, who obtains the answer to the query, and who needs to know the defective element by the end of the process.
The computation of generalized median graphs (the graph with the smallest average edit distance to all graphs in a given set of graphs) is highly computationally complex. As a matter of fact, it is exponential in the ...
详细信息
The computation of generalized median graphs (the graph with the smallest average edit distance to all graphs in a given set of graphs) is highly computationally complex. As a matter of fact, it is exponential in the number of nodes of the union of all graphs under consideration. Thus, the generalized median graph computation problem seems to be a suitable and challenging testbed for a comparison of combinatorial search and genetic algorithms. Two solutions are described in this paper. The first is an exact algorithm based on combinatorial search, while the second is a genetic algorithm. Both approaches are compared to each other in a series of experiments. (C) 1999 Elsevier Science B.V. All rights reserved.
In a combinatorial search problem we wish to identify an unknown element by binary tests, where the edges of a hypergraph specify the available tests. We show that, for rather general cases of this problem, the worst-...
详细信息
In a combinatorial search problem we wish to identify an unknown element by binary tests, where the edges of a hypergraph specify the available tests. We show that, for rather general cases of this problem, the worst-case minimum number of tests, even if adaptive testing is permitted, can already be achieved in a small number of rounds of parallel tests. In particular, the maximum number of necessary rounds grows only as the square root of the number of elements, and two rounds are enough if, e.g., the test number is close to the number of elements, or the hypergraph is a graph. We also provide polynomial-time, hardness, and parameterized results on the computational complexity of finding optimal strategies for some cases, including graphs and tree hypergraphs. (C) 2019 Elsevier B.V. All rights reserved.
In liquid composite molding processes, the resin is injected into a mold cavity containing preplaced reinforcement fabrics through openings known as gates, and the air leaves the mold through openings called as vents....
详细信息
In liquid composite molding processes, the resin is injected into a mold cavity containing preplaced reinforcement fabrics through openings known as gates, and the air leaves the mold through openings called as vents. Under nominal conditions, the last points to fill are chosen as vent locations. However, due to imperfect preform placement, gaps and channels may form along the edges and at curvatures in a mold, offering a path with less resistance for resin flow. The faster advance of resin through these gaps and channels, a common disturbance, known as racetracking, will cause the last filled regions to vary, which complicates the vent selection process. We introduce a methodology that uses set and probability theories to forecast racetracking conditions in a mold and have developed a combinatorial search algorithm to locate corresponding optimal vent locations. The accuracy, efficiency and usefulness of the approach is illustrated with three case studies.
combinatorial search is one of the useful methods that could search for optimal composition of alloy materials or novel alloy materials. combinatorial sputtering provides sample group (library) having different compos...
详细信息
combinatorial search is one of the useful methods that could search for optimal composition of alloy materials or novel alloy materials. combinatorial sputtering provides sample group (library) having different compositions in a limited place. Then, the properties of the samples can be scanned in an efficient way. In this research, magnetostrictive material with high magnetostriction, relative permeability, and resistivity was studied. Desired value of magnetostriction is more than 20 x 10(-6), relative permeability is more than 4000, and resistivity is more than 100 mu ***. As a result, composition that Cr content is less than 14 at.% fill the desired value of relative permeability, and more than 10 at.% fill the desired value of resistivity. There is possibility to fill the desired value of magnetostriction. (C) 2014 Wiley Periodicals, Inc. Published online in Wiley Online Library (***).
We consider the following combinatorial search problem: there are some unknown elements of [n], called excellent, and we should find at least one, asking questions of the following type: "Is there an excellent el...
详细信息
We consider the following combinatorial search problem: there are some unknown elements of [n], called excellent, and we should find at least one, asking questions of the following type: "Is there an excellent element in A subset of [n]?". Katona in 2011 proved sharp results for the number of questions needed to ask in the adaptive, non-adaptive and two-round versions of this problem. We verify a conjecture of Katona by proving that in the r-round version we need to ask rn(1/r) + O-r(1) questions for fixed r and this is sharp. We also prove bounds for the questions needed to ask if we want to find at least d excellent elements. (C) 2019 Elsevier B.V. All rights reserved.
Exact combinatorial search is essential to a wide range of important applications, and there are many large problems that need to be solved quickly. searches are extremely challenging to parallelise due to a combinati...
详细信息
Exact combinatorial search is essential to a wide range of important applications, and there are many large problems that need to be solved quickly. searches are extremely challenging to parallelise due to a combination of factors, e.g. searches are non-deterministic, dynamic pruning changes the workload, and search tasks have very different runtimes. YewPar is a C++/HPX framework that generalises parallel search by providing a range of sophisticated search *** paper demonstrates generic high performance combinatorial search, i.e. that a variety of exact combinatorial searches can be easily parallelised for HPC using YewPar. We present a new mechanism for profiling key aspects of YewPar parallel combinatorial search, and demonstrate its value. We exhibit, for the first time, generic exact combinatorial searches at HPC scale. We baseline YewPar against state-of-the-art sequential C++ and C++/OpenMP implementations. We demonstrate that deploying YewPar on an HPC system can dramatically reduce the runtime of large problems, e.g. from days to just 100s. The maximum relative speedups we achieve for an enumeration search are near-linear up to 195(6825) compute-nodes(workers), super-linear for an optimisation search on up to 128(4480) (pruning reduces the workload), and sub-linear for decision searches on up to 64(2240) compute-nodes(workers).
The 13th Symposium on combinatorial search (SoCS) was held May 26 to 28, 2020. Originally scheduled to take place in Vienna, Austria, the symposium pivoted toward a fully online technical program in early March. As an...
详细信息
The 13th Symposium on combinatorial search (SoCS) was held May 26 to 28, 2020. Originally scheduled to take place in Vienna, Austria, the symposium pivoted toward a fully online technical program in early March. As an in- person event, SoCS offers participants a diverse array of scholarly activities including technical talks (long and short), poster sessions, plenary sessions, a community meeting and, new for 2020, a Master Class tutorial program. This article describes challenges, approaches, and opportunities associated with adapting these many different activities to the online setting. We consider issues such as scheduling, dissemination, attendee interaction, and community engagement before, during, and after the event. In each case, we report on the approaches taken by SoCS, then give a post hoc analysis of their effectiveness and discuss how these decisions continue to impact the SoCS community in the days after SoCS 2020. This work will be of interest to organizers of similar conferences who may be considering the switch to an online format.
In this paper, we provide an overview of the SAT+CAS method that combines satisfiability checkers (SAT solvers) and computer algebra systems (CAS) to resolve combinatorial conjectures, and present new results vis-a-vi...
详细信息
In this paper, we provide an overview of the SAT+CAS method that combines satisfiability checkers (SAT solvers) and computer algebra systems (CAS) to resolve combinatorial conjectures, and present new results vis-a-vis best matrices. The SAT+CAS method is a variant of the Davis-Putnam-Logemann-Loveland DPLL(T) architecture, where the T solver is replaced by a CAS. We describe how the SAT+CAS method has been previously used to resolve many open problems from graph theory, combinatorial design theory, and number theory, showing that the method has broad applications across a variety of fields. Additionally, we apply the method to construct the largest best matrices yet known and present new skew Hadamard matrices constructed from best matrices. We show the best matrix conjecture (that best matrices exist in all orders of the form r(2) + r + 1) which was previously known to hold for r <= 6 also holds for r = 7. We also confirmed the results of the exhaustive searches that have been previously completed for r <= 6.
Index-tracking is a low-cost alternative to active portfolio management. The implementation of a quantitative approach, however, is a major challenge from an optimization perspective. The optimal selection of a group ...
详细信息
Index-tracking is a low-cost alternative to active portfolio management. The implementation of a quantitative approach, however, is a major challenge from an optimization perspective. The optimal selection of a group of assets that can replicate the index of a much larger portfolio requires both to find the optimal subset of assets and to fine-tune their weights. The former is a combinatorial, the latter a continuous numerical problem. Both problems need to be addressed simultaneously, because whether or not a selection of assets is promising depends on the allocation weights and vice versa. Moreover, the problem is usually of high dimension. Typically, an optimal Subset of 30-150 positions out of 100-600 need to be selected and their weights determined. search heuristics can be a valuable alternative to traditional methods, which often cannot deal with the problem. In this paper, we propose a new optimization method, which is partly based on Differential Evolution (DE) and on combinatorial search. The main advantage of our method is that it can tackle the index-tracking problem as complex as it is, generating accurate and robust results.
暂无评论