A new method of proving theorems on chromatic index
نویسندگان
چکیده
منابع مشابه
solution of security constrained unit commitment problem by a new multi-objective optimization method
چکیده-پخش بار بهینه به عنوان یکی از ابزار زیر بنایی برای تحلیل سیستم های قدرت پیچیده ،برای مدت طولانی مورد بررسی قرار گرفته است.پخش بار بهینه توابع هدف یک سیستم قدرت از جمله تابع هزینه سوخت ،آلودگی ،تلفات را بهینه می کند،و هم زمان قیود سیستم قدرت را نیز برآورده می کند.در کلی ترین حالتopf یک مساله بهینه سازی غیر خطی ،غیر محدب،مقیاس بزرگ،و ایستا می باشد که می تواند شامل متغیرهای کنترلی پیوسته و گ...
A new approach to compute acyclic chromatic index of certain chemical structures
An acyclic edge coloring of a graph is a proper edge coloring such that there are no bichromatic cycles. The acyclic chromatic index of a graph $G$ denoted by $chi_a '(G)$ is the minimum number $k$ such that there is an acyclic edge coloring using $k$ colors. The maximum degree in $G$ denoted by $Delta(G)$, is the lower bound for $chi_a '(G)$. $P$-cuts introduced in this paper acts as a powerfu...
متن کاملOn Wu's Method for Proving Constructive Geometric Theorems
In 1977 Wu Wen-tsi in discovered an efficient method for mechanical theorem proving. This method has been applied to prove and discover theorems in various kinds of geometries. Based on an extension of one of Wu's algor i thmic procedures, the author implemented a prover CPS for proving so-called constructive geometric theorems, as well as a general theorem prover PS. Using this prover we prove...
متن کاملA Method for Proving Theorems in Differebtial Geometry and Mechanics
A zero decomposition algorithm is presented and used to devise a method for proving theorems automatically in di erential geometry and mechanics. The method has been implemented and its practical e ciency is demonstrated by several non-trivial examples including Bertrand's theorem, Schell's theorem and Kepler-Newton's laws.
متن کاملA method for proving multiterminal source coding theorems
The optimal coding problem in two-user white Gaussianchannels with feedback is discussed. The messages are taken as Gauss-Markov processes. The optimal decoder pair and the optimal linear encoderpair are developed. A nonlinear class (additive feedback type) of encoderpairs in which the optimal linear encoder pair is optimal is presented.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1984
ISSN: 0012-365X
DOI: 10.1016/0012-365x(84)90078-5