A column generation approach for the timetabling problem of Greek high schools

A column generation (CG) approach for the solution of timetabling problems is presented. This methodology could be used for various instances of the timetabling problem, although in this paper the solution of the high-school situation in Greece is presented. The results obtained show clearly that the CG approach that has been extremely successful in recent years in the solution of airline crew scheduling problems could also be very efficient and robust for the solution of timetabling problems. Several large timetabling problems corresponding to real problems have been successfully solved, with the solutions obtained feasible and of very high quality in accordance with the problem definition. In addition, none of the solutions contained any idle hour for any of the teachers, which was one of the main goals of this optimization effort.     

20-relative neighborhood graphs are hamiltonian

For any two points p and q in the Euclidean plane, define LUN_pq = { v | v ∈ R², d_pv < d_pq and d_qv < d_pq}, where d_uv is the Euclidean distance between two points u and v . Given a set of points V in the plane, let LUN_pq(V) = V ∩ LUN_pq. Toussaint defined the relative neighborhood graph of V, denoted by RNG(V) or simply RNG, to be the undirected graph with vertices V such that for each pair p,q ∈ V, (p,q) is an edge of RNG(V) if and only if LUN_pq (V) = ?. The relative neighborhood graph has several applications in pattern recognition that have been studied by Toussaint. We shall generalize the idea of RNG to define the k-relative neighborhood graph of V, denoted by kRNG(V) or simply kRNG, to be the undirected graph with vertices V such that for each pair p,q ∈ V, (p,q) is an edge of kRNG(V) if and only if | LUN_pq(V) | < k, for some fixed positive number k. It can be shown that the number of edges of a kRNG is less than O(kn). Also, a kRNG can be constructed in O(kn₂) time. Let E_c = {e_pq| p ∈ V and q ∈ V}. Then G_c = (V,E_c) is a complete graph. For any subset F of E_c, define the maximum distance of F as max_epq∈Fd_pq. A Euclidean bottleneck Hamiltonian cycle is a Hamiltonian cycle in graph G_c whose maximum distance is the minimum among all Hamiltonian cycles in graph G_c. We shall prove that there exists a Euclidean bottleneck Hamiltonian cycle which is a subgraph of 20RNG(V). Hence, 20RNGs are Hamiltonian.     

Note on a conjecture of toft

A conjecture of Toft [17] asserts that any 4-critical graph (or equivalently, every 4-chromatic graph) contains a fully odd subdivision ofK ₄. We show that if a graphG has a degree three nodev such thatG-v is 3-colourable, then eitherG is 3-colourable or it contains a fully oddK ₄. This resolves Toft's conjecture in the special case where a 4-critical graph has a degree three node, which is in turn used to prove the conjecture for line-graphs. The proof is constructive and yields a polynomial algorithm which given a 3-degenerate graph either finds a 3-colouring or exhibits a subgraph that is a fully odd subdivision ofK ₄. (A graph is 3-degenerate if every subgraph has some node of degree at most three.)     

Instability of Bose-Einstein condensates moving in optical lattices

We investigate the Landau damping of Bogoliubov excitations in a dilute Bose gas moving in an optical lattice at a finite temperature. Using a 1D tight-binding model, we explicitly obtain the Landau damping rate, the sign of which determines the stability of the condensate. We find that the sign changes at a certain velocity, which is exactly the same as the critical velocity determined by the Landau criterion of superfluidity. This coincidence reveals the microscopic mechanism of the Landau instability.     

Identification of dislocations and their influence on the recombination of charge carriers in gallium nitride

The relation between the density of etch pits revealed in GaN by etching in a KOH/NaOH eutectic and the density of dislocations determined by transmission electron microscopy (TEM) is studied along with the relation between the density of dislocations and the density of dark spot defects observed in GaN by microcathodoluminescence (MCL) and electron-beam-induced current (EBIC). It is demonstrated that selective etching is a reliable rapid method for the determination of the type and density of dislocations in GaN in the range 10⁶–10⁸ cm^?2, while MCL and EBIC can be used for the rapid nondestructive determination of the density of dislocations in the range 10⁶–10⁸ cm^?2. It is also found that some deep electron and hole traps are related to dislocations.     

WZW–Poisson manifolds

We observe that a term of the WZW-type can be added to the Lagrangian of the Poisson σ-model in such a way that the algebra of the first class constraints remains closed. This leads to a natural generalization of the concept of Poisson geometry. The resulting “WZW–Poisson” manifold M is characterized by a bivector Π and by a closed three-form H such that 1/2[Π,Π]_Schouten=H,ΠΠΠ.     

Macrodefect-Free Materials: Modification of Interfaces in Cement Composites by Polymer Grafting

MDF materials are chemically bonded ceramic materials free of the macrodefects typical of hydraulic cement-based materials. MDF materials arising through reactions of sulfo-aluminate-ferrite belitic (SAFB) clinkers and/or Portland cements (PC) with two types of water-soluble polymer (hydroxy-propylmethyl cellulose {HPMC}, polyphosphate glass {poly-P}) are discussed. Mixes of low energy SAFB clinkers with Portland cement, HPMC and, especially poly-P comprise promising cross-linked compositions additional to the better known MDF materials formed from high alumina cement with polyvinylalcohol/acetate. The principles of co-ordination of P and C atoms (of the polymer) with Al and Fe atoms (originating from the cement) are highlighted from spectroscopic information on next-nearest-neighbour interactions, along with the effects of second co-ordination spheres. Polymers modify the interface through functional bonding/grafting of polymer chains onto the surfaces of cement grains. Both the cross-linked atomic structure and the interface coincide well with the model of functional polymers and represent a new type of atomic-level structure in polymer-modified cements. Interpretation is based on previous magnetic resonance and thermal analysis studies. The compactness of Al(Fe)-O-P cross-links reduces transport through the interfaces, increasing the interfacial interactions and resisting the unfavourable uptake of moisture and carbonation.