Xenon is a chemical element with the symbol Xe and atomic number 54. It is a dense, colorless, odorless noble gas found in Earth's atmosphere in trace amounts. Although generally unreactive, it can undergo a few chemical reactions such as the formation of xenon hexafluoroplatinate, the first noble gas compound to be synthesized. Xenon is used in flash lamps and arc lamps, and as a general anesthetic. The first excimer laser design used a xenon dimer molecule (Xe2) as the lasing medium, and the earliest laser designs used xenon flash lamps as pumps.
Xenon difluoride is a powerful fluorinating agent with the chemical formula XeF2, and one of the most stable xenon compounds. Like most covalent inorganic fluorides it is moisture-sensitive. It decomposes on contact with water vapor, but is otherwise stable in storage. Xenon difluoride is a dense, colourless crystalline solid. It has a nauseating odour and low vapor pressure. Xenon difluoride is a linear molecule with an Xe–F bond length of 197.73pm in the vapor stage, and 200 pm in the solid phase.
In chemistry, perxenates are salts of the yellow xenon-containing anion XeO64-. This anion has octahedral molecular geometry, as determined by Raman spectroscopy, having O–Xe–O bond angles varying between 87° and 93°. The Xe–O bond length was determined by X-ray crystallography to be 1.875 Å. Perxenates are synthesized by the disproportionation of xenon trioxide when dissolved in strong alkali: 2 XeO3 ( ()) + 4 OH− ( ()) → Xe ( ()) + XeO64- ( ()) + O2 ( ()) + 2 H2O ( ()) When Ba(OH)2 is used as the alkali, barium perxenate can be crystallized from the resulting solution.
In discrete mathematics, and more specifically in graph theory, a vertex (plural vertices) or node is the fundamental unit of which graphs are formed: an undirected graph consists of a set of vertices and a set of edges (unordered pairs of vertices), while a directed graph consists of a set of vertices and a set of arcs (ordered pairs of vertices). In a diagram of a graph, a vertex is usually represented by a circle with a label, and an edge is represented by a line or arrow extending from one vertex to another.
Logic optimization is a process of finding an equivalent representation of the specified logic circuit under one or more specified constraints. This process is a part of a logic synthesis applied in digital electronics and integrated circuit design. Generally, the circuit is constrained to a minimum chip area meeting a predefined response delay. The goal of logic optimization of a given circuit is to obtain the smallest logic circuit that evaluates to the same values as the original one.