Randomized greedy algorithms for finding small k‐dominating sets of regular graphs

A k‐dominating set of a graph G is a subset ?? of the vertices of G such that every vertex of G is either in ?? or at distance at most k from a vertex in ??. It is of interest to find k‐dominating sets of small cardinality. In this paper we consider simple randomized greedy algorithms for finding small k‐dominating sets of regular graphs. We analyze the average‐case performance of the most efficient of these simple heuristics showing that it performs surprisingly well on average. The analysis is performed on random regular graphs using differential equations. This, in turn, proves upper bounds on the size of a minimum k‐dominating set of random regular graphs. © 2005 Wiley Periodicals, Inc. Random Struct. Alg., 22, 2005     

Sequent calculi for propositional star-free likelihood logic

We consider classical, multisuccedent intuitionistic, and intuitionistic sequent calculi for propositional likelihood logic. We prove the admissibility of structural rules and cut rule, invertibility of rules, correctness of the calculi, and completeness of the classical calculus with respect to given semantics.__________Published in Lietuvos Matematikos Rinkinys, Vol. 45, No. 1, pp. 3–21, January–March, 2005.     

Hydrogen indium vacancy complex VInH4 in n-type InP studied by positron-lifetime

Positron-lifetime experiments have been carried out on two undoped n-type liquid encapsulated Czochralski (LEC)-grown InP samples with different stoichiometric compositions in the temperature range 10-300 K. For temperatures below 120 K for P-rich InP and 100 K for In-rich InP, the positron average lifetime began to increase rapidly and then leveled off, which was associated with the charge state change of hydrogen indium vacancy complexes from (V_InH₄)⁺ to (V_InH₄)⁰. This phenomenon was more obvious in P-rich samples that have a higher concentration of V_InH₄. The transformation temperature of approximately 120 K suggests that the complex V_InH₄ is a donor defect and that the ionization energy is about 0.01 eV. The ionization of neutral V_InH₄ accounted for the decrease of the positron average lifetime when the sample was illuminated with a photon energy of 1.32 eV at 70 K. These results provide evidence for hydrogen complex defects in undoped LEC InP.     

Relaxor behavior of (Ba,Sr)(Zr,Ti)O3 ferroelectric ceramics

We examine the ferroelectric-relaxor behavior of (Ba_0.65Sr_0.35)(Zr_0.35Ti_0.65)O₃ (BSZT) ceramics in the temperature range from 80 to 380 K. A broad dielectric maximum, which shifts to higher temperature with increasing frequency, signifies the relaxor-type behavior of these ceramics. The value of the relaxation parameter γ∼2 estimated from the linear fit of the modified Curie-Weiss law, indicates the relaxor nature of the BSZT ceramics. The dielectric relaxation rate follows the Vogel-Fulcher relation with T_VF=107 K, E_a=0.121 eV, and ν₀=6.83×10¹⁴ Hz, further supports such relaxor nature. The slim P-E hysteresis loop and ‘butterfly’ shape dc bias field dependence of permittivity at T>T_m (T_m, the temperature of permittivity maximum) clearly signifies the occurrence of nanopolar clusters, which is the typical characteristic of ferroelectric relaxor. At 300 K and 10 kHz, the dielectric constant and loss tan δ are ∼1100 and 0.0015, respectively. The high tunability (∼25%) and figure of merit (∼130) at room temperature show that the BSZT ceramics could be a promising candidate for tunable capacitor applications.     

直径不超过4的树的割宽

§ 1　IntroductionThe cutwidth problem for graphs,as well as a class of optimal labeling and embed-ding problems,have significant applications in VLSI designs,network communicationsand other areas (see [2 ] ) .We shall follow the graph-theoretic terminology and notation of [1 ] .Let G=(V,E)be a simple graph with vertex set V,| V| =n,and edge set E.A labeling of G is a bijec-tion f:V→ { 1 ,2 ,...,n} ,which can by regarded as an embedding of G into a path Pn.Fora given labeling f of G,th…     

A Generally Covariant Wave Equation for Grand Unified Field Theory

A generally covariant wave equation is derived geometrically for grand unified field theory. The equation states most generally that the covariant d'Alembertian acting on the vielbein vanishes for the four fields which are thought to exist in nature: gravitation, electromagnetism, weak field and strong field. The various known field equations are derived from the wave equation when the vielbein is the eigenfunction. When the wave equation is applied to gravitation the wave equation is the eigenequation of wave mechanics corresponding to Einstein's field equation in classical mechanics, the vielbein eigenfunction playing the role of the quantized gravitational field. The three Newton laws, Newton's law of universal gravitation, and the Poisson equation are recovered in the classical and nonrelativistic, weak-field limits of the quantized gravitational field. The single particle wave-equation and Klein-Gordon equations are recovered in the relativistic, weak-field limit of the wave equation when scalar components are considered of the vielbein eigenfunction of the quantized gravitational field. The Schrödinger equation is recovered in the non-relativistec, weak-field limit of the Klein-Gordon equation). The Dirac equation is recovered in this weak-field limit of the quantized gravitational field (the nonrelativistic limit of the relativistic, quantezed gravitational field when the vielbein plays the role of the spinor. The wave and field equations of O(3) electrodynamics are recovered when the vielbein becomes the relativistic dreibein (triad) eigenfunction whose three orthonormal space indices become identified with the three complex circular indices (1), (2), (3), and whose four spacetime indices are the indices of non-Euclidean spacetime (the base manifold). This dreibein is the potential dreibein of the O(3) electromagnetic field (an electromagnetic potential four-vector for each index (1), (2), (3)). The wave equation of the parity violating weak field is recovered when the orthonormal space indices of the relativistic dreibein eigenfunction are identified with the indices of the three massive weak field bosons. The wave equation of the strong field is recovered when the orthonormal space indices of the relativistic vielbein eigenfunction become the eight indices defined by the group generators of the SU (3) group.     

Energy spectrum of <Emphasis Type="Italic">p</Emphasis> electrons in a plane crystal lattice and in a strong magnetic field

Harper equations are derived for a _px, _py electronic system. Analysis is carried out for extreme points of the quasi-continuous spectrum in the cases when the number of magnetic flux quanta through a unit cell is a rational number and calculations are made for square and triangular lattices as well as for a honeycomb lattice with two nonequivalent atoms. The possibility of application of the results for explaining the fractional Hall effect is considered.     

Longwave Marangoni convection in an inhomogeneously heated liquid

The supercritical Marangoni convection has been studied in a plane-parallel liquid layer, bounded by a free deformable gas-liquid interface from above and by a low-heat-conductivity wall from below, occurring under conditions of inhomogeneous heating in the horizontal plane. In a longwave approximation with a small inhomogeneity of heat flux, the process is described by a system of two-dimensional nonlinear equations for the temperature perturbations, vorticity, and free surface deformation. The concept of quasiequilibrium, implying stability of long-range flows, is introduced, which allows the inhomogeneous heat flux to be modeled by a step function. The linear stability is analyzed in the cases of planar and axisymmetric heat fluxes. The boundaries of stability of the convection regimes are determined on the plane of parameters characterizing the degree of supercriticity inside a heated spot and the depth of damping outside the spot. For an axisymmetric spot, the domains of stability with respect to perturbations for various azimuthal numbers are established.     

The photochemistry of 3,4,5-trideuteriopyridine

Irradiation of 3,4,5-trideuteriopyridine at 254 nm in the vapor phase results in the formation of a mixture of 2,3,4-trideuteriopyridine and 2,3,6-trideuteriopyridine. The formation of these products is consistent with a photoisomerization mechanism involving equilibrating azaprefulvene intermediates. This is the first direct evidence that pyridine vapor undergoes photoisomerization resulting in transposition of the pyridine ring atoms.