基于图论的高校排考算法

提出了一种基于图论的考场安排算法及一系列优化策略.考场安排足考务管理活动的重要环节,考场安排结果的优劣直接决定了考务活动能否正常顺利的进行.对高校的考场安排问题进行了分析、抽象,通过建立静态冲突图将时间安排转化为图论的图着色问题来解决排考时间的冲突问题并在此基础上提出了多种对结果的优化策略以保证排考结果的合理性.通过在...     

课程表问题的一种模拟退火超启发式算法

课程表问题是经典的组合优化问题,属于NP-hard问题.长期以来人们一直都在寻求快速高效的近似算法,以便在合理的计算时间内准确解决大规模课程安排问题,并提出许多有效且实用的启发式和元启发式算法.在此基础上提出了一种基于多个图染色启发式规则的模拟退火超启发式算法.在超启发式算法的框架中,用模拟退火算法作为高层搜索算法,多个图染色启发式规则为底层的构造算法.与现有的方法相比,该算法具有很好的通用性,可以很容易推广到考试时间表、会议安排.旅行商问题、背包问题等应用领域.实验表明,该算法是可行有效的,且无一例时间、空间冲突.     

混合启发式算法在排课问题上的应用

对排课问题做出了形式化描述,提出了一种用于排课的混合启发式算法,该算法合并使用了模拟退火和迭代局部搜索两种算法。先依据图着色算法产生初始可行解,然后应用模拟退火算法寻找最优解,为使算法更好地跳出局部最优,实现全局搜索,在模拟退火算法应用过程中,迭代使用两个邻域,标准邻域和双Kempe链邻域。实验结果表明,此算法能够很好地提高解的质量。     

高校学分制环境下排考问题的改进图算法

本文利用图论模型的转化,改进传统贪心算法,设计了一种新的求解高校排考问题的图算法.改进后的算法可以更好应对在现实学分制环境下,跨年级、跨专业、主辅修等复杂的选课因素.为了解决传统算法中仅靠人工优化来实现的软约束目标,改进后的图算法首先将排考图着色模型,转化为无向赋权图的分团覆盖模型,通过深度优先策略和赋权机制,求解同时满足排考硬约束条件和软约束条件的排考方案.经过数据验证,改进算法的排考效果,在排考效果上优于传统贪心算法,在时间效率上优于人工排考方式.改进后的新算法在近年我校的期末考务工作中发挥了一定作用.     

A graph coloring constructive hyper-heuristic for examination timetabling problems

In this work we investigate a new graph coloring constructive hyper-heuristic for solving examination timetabling problems. We utilize the hierarchical hybridizations of four low level graph coloring heuristics, these being largest degree, saturation degree, largest colored degree and largest enrollment. These are hybridized to produce four ordered lists. For each list, the difficulty index of scheduling the first exam is calculated by considering its order in all lists to obtain a combined evaluation of its difficulty. The most difficult exam to be scheduled is scheduled first (i.e. the one with the minimum difficulty index). To improve the effectiveness of timeslot selection, a?roulette wheel selection mechanism is included in the algorithm to probabilistically select an appropriate timeslot for the chosen exam. We test our proposed approach on the most widely used un-capacitated Carter benchmarks and also on the recently introduced examination timetable dataset from the 2007 International Timetabling Competition. Compared against other methodologies, our results demonstrate that the graph coloring constructive hyper-heuristic produces good results and outperforms other approaches on some of the benchmark instances.     

k轨道任务分配问题的可解性条件: 图论方法

将图论及一种新的数学分析工具–—矩阵的半张量积(semi-tensor product of matrices, STP), 作为研究工具,通过研究图的k内稳定集的充分必要条件, 研究了k轨道任务分配问题的可解性条件. 定义了图的顶点子集的特征向量, 利用STP方法得到图的k内稳定集新的若干充分必要条件. 基于这些新的充分必要条件, 建立了能够搜索出图的所有k内稳定集的两种算法. 进而将上述结果应用到k轨道任务分配问题, 得到了该问题可解性的两个充分必要条件. 此外, 通过这些充分必要条件, 也发现了一些有趣的现象. 例如, 完全最优方案(completely optimal schedules)的存在.     

Two kinds of optimal controls for probabilistic mix-valued logical dynamic networks

This paper addresses two kinds of optimal control problems of probabilistic mix-valued logical control networks by using the semi-tensor product of matrices, and presents a number of new results on the optimal finite-horizon control and the first-passage model based control problems, respectively. Firstly, the probabilistic mix-valued logical control network is expressed in an algebraic form by the semi-tensor product method, based on which the optimal finite-horizon control problem is studied and a new algorithm for choosing a sequence of control actions is established to minimize a given cost functional over finite steps. Secondly, the first-passage model of probabilistic mix-valued logical networks is given and a new algorithm for designing the optimal control scheme is proposed to maximize the corresponding probability criterion. FinMly, an illustrative example is studied to support our new results/algorithms.     

Full-parameter vision navigation based on scene matching for aircrafts

Vision navigation based on scene matching between real-time images and a reference image has many advantages over the commonly used inertial navigation system （INS）, such as no cumulative measurement errors for long-endurance flight. Recent developments in vision navigation are mainly used for partial navigation parameters measurements, such as the position and the relative velocity, which cannot meet the requirements of completely autonomous navigation. We present the concept, principle and method of full-parameter vision navigation （FPVN） based on scene matching. The proposed method can obtain the three-dimensional （3D） position and attitude angles of an aircraft by the scene matching for multiple feature points instead of a single point in existing vision navigations. Thus, FPVN can achieve the geodetic position coordinates and attitude angles of the aircraft and then the velocity vector, attitude angular velocity and acceleration can be derived by the time differentials, which provide a full set of navigation parameters for aircrafts and unmanned aerial vehicles （UAVs）. The method can be combined with the INS and the cumulative errors of the INS can be corrected using the measurements of FPVN rather than satellite navigation systems. The approach provides a completely autonomous and accurate navigation method for long-endurance flight without the help of satellites.     

An Iterative local-search framework for solving constraint satisfaction problem

In this article, we introduce a new solving framework based on using alternatively two local-search algorithms to solve constraint satisfaction and optimization problems. The technique presented is based on the integration of local-search algorithm as a mechanism to diversify the search instead of using a build on diversification mechanisms. Thus, we avoid tuning the multiple parameters to escape from a local optimum. This technique improves the existing methods: it is generic especially when the given problem can be expressed as a constraint satisfaction problem. We present the way the local-search algorithm can be used to diversify the search in order to solve real examination timetabling problems. We describe how the local-search algorithm can be used to assist any other specific local-search algorithm to escape from local optimality. We showed that such framework is efficient on real benchmarks for timetabling problems.     

Hybrid genetic algorithms for timetabling

Hybrid genetic algorithms are presented that use optimization heuristics and genetic techniques to outperform all existing programs for the timetabling problem. The timetabling problem is very hard (NP-complete) and a general polynomial time deterministic algorithm is not known. An artificial intelligence approach, in a logic programming environment, may be useful for such a problem. The decomposition and classification of constraints and the constraint ordering to obtain the minimization of the backtracking and the maximization of the parallelism are illustrated. The school timetabling problem is discussed in detail as a case study. The genetic algorithm approach is particularly well suited for this kind of problem, since there exists an easy way to assess a good timetable but not a well-structured automatic technique for constructing it. So, a population of timetables is created that evolves toward the best solutions. The evaluation function and the genetic operators are well separated from the domain-specific parts, such as the problem knowledge and the heuristics, i.e., from the timetable builder. A fundamental issue and a general problem in the decision process and automated reasoning is how to efficiently obtain logic decisions under disjunctive constraints. Logic constraint satisfaction problems are in general NP-hard and a general deterministic polynomial time algorithm is not known. The present article illustrates an approach based on the hybridization of constrained heuristic search with novel genetic algorithm techniques. It compares favorably with the best-known programs to solve decisions problems under logic constraints. Complexity of the new algorithms and results of significant experiments are reported. © 1996 John Wiley & Sons, Inc.     

基于神经网络图着色的阅读器防冲突算法

阅读器冲突问题严重影响了RFID系统的性能,降低了识别率。使用图着色方法将频率或时隙等资源合理分配,可以防止阅读器冲突的发生。但是图着色问题是一个NP难题,利用神经网络良好的非线性逼近能力,提出基于神经网络图着色的阅读器防冲突算法。分析了阅读器冲突类型及解决方法,给出了算法的详细步骤、公式推导和能量函数,并通过计算机仿真验证了算法的有效性。     

Measuring instance difficulty for combinatorial optimization problems

Discovering the conditions under which an optimization algorithm or search heuristic will succeed or fail is critical for understanding the strengths and weaknesses of different algorithms, and for automated algorithm selection. Large scale experimental studies - studying the performance of a variety of optimization algorithms across a large collection of diverse problem instances - provide the resources to derive these conditions. Data mining techniques can be used to learn the relationships between the critical features of the instances and the performance of algorithms. This paper discusses how we can adequately characterize the features of a problem instance that have impact on difficulty in terms of algorithmic performance, and how such features can be defined and measured for various optimization problems. We provide a comprehensive survey of the research field with a focus on six combinatorial optimization problems: assignment, traveling salesman, and knapsack problems, bin-packing, graph coloring, and timetabling. For these problems - which are important abstractions of many real-world problems - we review hardness-revealing features as developed over decades of research, and we discuss the suitability of more problem-independent landscape metrics. We discuss how the features developed for one problem may be transferred to study related problems exhibiting similar structures.     

Energy efficient transmission scheduling for infrastructure sensor nodes in location systems

This paper considers a location system where a number of deployed sensor nodes collaborate with objects that need to be localized. Unlike existing works, we focus on reducing the energy consumption of the sensor nodes, which are assumed to be static and run on limited battery power. To minimize the total wake-up time of the sensor nodes, we control the transmission schedule of each object. Because it is difficult to find an optimal solution to the considered optimization problem, we consider an approach to this problem that consists of two steps: (1) create an equivalent modified graph coloring subproblem, and (2) permute the coloring result to obtain a best possible solution. We adopt some existing graph coloring algorithms for step 1 and find two properties of optimal schedules that can be used to confine the search space for step 2. Additionally, we propose a heuristic algorithm that aims at significantly reducing the complexity for the case where the confined search space is still too large. The performance of our heuristic algorithm is evaluated through extensive simulations. It is shown that its performance is comparable to that of the simulated annealing algorithm, which gives a near-optimal solution.     

基于粘贴模型的图顶点着色问题的DNA算法

为了用生化实验的方法解决图的顶点着色问题,基于粘贴模型的巨大并行性,将着色问题转化为可满足性问题,提出一个基于粘贴模型的DNA算法。通过一个实例给出了操作步骤,并对生化反应过程进行了模拟,得出具体的着色方案,证明了该算法的可行性。     

A NEW APPROACH TO THE VERTEX COLORING PROBLEM

The vertex coloring problem is a well-known classical optimization problem in graph theory in which a color is assigned to each vertex of the graph in such a way that no two adjacent vertices have the same color. The minimum vertex coloring problem is known to be an NP-hard problem in an arbitrary graph, and a host of approximation solutions are available. In this article, a learning automata–based approximation algorithm is proposed to solve the minimum vertex coloring problem. The proposed algorithm iteratively finds the different possible colorings of the graph and compares it at each stage with the best coloring found so far. If the number of distinct colors in the chosen coloring is less than that of the best coloring, the chosen coloring is rewarded; otherwise, it is penalized. Convergence of the proposed algorithm to the optimal solution is proven. The proposed vertex coloring algorithm is compared with the well-known coloring techniques and the results show the superiority of the proposed algorithm over the others both in terms of the color set size and running time of algorithm.     

A multi-objective evolutionary algorithm for examination timetabling

This paper considers the scheduling of exams for a set of university courses. The solution to this exam timetabling problem involves the optimization of complete timetables such that there are as few occurrences of students having to take exams in consecutive periods as possible but at the same time minimizing the timetable length and satisfying hard constraints such as seating capacity and no overlapping exams. To solve such a multi-objective combinatorial optimization problem, this paper presents a multi-objective evolutionary algorithm that uses a variable-length chromosome representation and incorporates a micro-genetic algorithm and a hill-climber for local exploitation and a goal-based Pareto ranking scheme for assigning the relative strength of solutions. It also imports several features from the research on the graph coloring problem. The proposed algorithm is shown to be a more general exam timetabling problem solver in that it does not require any prior information of the timetable length to be effective. It is also tested against a few influential and recent optimization techniques and is found to be superior on four out of seven publicly available datasets.     

Non-regular feedback linearization of nonlinear systems via a normal form algorithm

In this paper, the problem of non-regular static state feedback linearization of affine nonlinear systems is considered. First of all, a new canonical form for non-regular feedback linear systems is proposed. Using this form, a recursive algorithm is presented, which yields a condition for single input linearization. Then the left semi-tensor product of matrices is introduced and several new properties are developed. Using the recursive framework and new matrix product, a formula is presented for normal form algorithm. Based on it, a set of conditions for single-input (approximate) linearizability is presented.     

A genetic algorithm for multiprocessor scheduling

The problem of multiprocessor scheduling can be stated as finding a schedule for a general task graph to be executed on a multiprocessor system so that the schedule length can be minimized. This scheduling problem is known to be NP-hard, and methods based on heuristic search have been proposed to obtain optimal and suboptimal solutions. Genetic algorithms have recently received much attention as a class of robust stochastic search algorithms for various optimization problems. In this paper, an efficient method based on genetic algorithms is developed to solve the multiprocessor scheduling problem. The representation of the search node is based on the order of the tasks being executed in each individual processor. The genetic operator proposed is based on the precedence relations between the tasks in the task graph. Simulation results comparing the proposed genetic algorithm, the list scheduling algorithm, and the optimal schedule using random task graphs, and a robot inverse dynamics computational task graph are presented     

Timetabling through Constrained Heuristic Search and Genetic Algorithms

Hybrid genetic algorithms are presented that use constrained heuristic search and genetic techniques for the timetabling problem (TP). The TP is an NP-hard problem for which a general polynomial time deterministic algorithm is not known. The paper describes the classification of constraints and the constraint ordering to obtain the minimization of backtracking and the maximization of parallelism. The school timetabling problem is discussed in detail as a case study. The genetic algorithm approach is particularly well suited to this kind of problem, since there exists an easy way to assess a good timetable, but not a well structured automatic technique for constructing it. So, a population of timetables is created that evolves toward the best solution. The evaluation function and the genetic operators are well separated from the domain-specific parts, such as the knowledge of the problem and the heuristics, i.e. from the timetable builder. The present paper illustrates an approach based on the hybridization of constrained heuristic search with novel genetic algorithm techniques. It compares favourably with known programs to solve decision problems under logic constraints. The cost of the new algorithm and the quality of the solutions obtained in significant experiments are reported.