Muller automaton: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Erwinrcat
 
en>Addbot
m Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q1436514
 
Line 1: Line 1:
Nestor is the title my mothers and fathers gave me but I don't like when people use my complete name. Interviewing is what I do in my day occupation. Years ago we moved to Kansas. To keep birds is one of the things he enjoys most.<br><br>Feel free to visit my web page - [http://racespace.org/groups/auto-repair-tips-make-your-car-running-smooth/ auto warranty]
{{More footnotes|date=October 2011}}
 
A '''geometric program''' ('''GP''') is an [[optimization (mathematics)|optimization]] problem of the form
: Minimize <math>\ f_0(x)\ </math> subject to
:: <math>f_i(x) \leq 1, \quad i = 1,\dots,m</math>
:: <math>h_i(x) = 1,\quad i = 1,\dots,p</math>
:where <math>f_0,\dots,f_m</math> are [[posynomials]] and <math>h_1,\dots,h_p</math> are monomials.
 
In the context of geometric programming (unlike all other disciplines), a monomial is defined as a function <math>f:\mathbb{R}^n \to \mathbb{R}</math> with <math> \mathrm{dom} \ f = \mathbb{R}_{++}^n </math> defined as
 
:<math>f(x) = c x_1^{a_1} x_2^{a_2} \cdots x_n^{a_n} </math>
 
where <math> c > 0 \ </math> and <math>a_i \in \mathbb{R} </math>.
 
GPs have numerous application, such as components sizing in [[Integrated circuit|IC]] design<ref>http://www.stanford.edu/~boyd/papers/opamp.html</ref> and parameter estimation via logistic regression in statistics. The [[maximum likelihood]] estimator in [[logistic regression]] is a GP.
 
==Convex form==
Geometric programs are not (in general) convex optimization problems, but they can be transformed to convex problems by a change of variables and a transformation of the objective and constraint functions.  In particular, defining <math>y_i = \log(x_i)</math>, the monomial <math>f(x) = c x_1^{a_1} \cdots x_n^{a_n} \mapsto e^{a^T y +b}</math>, where <math>b = \log(c)</math>.
Similarly, if <math>f</math> is the [[posynomial]]
 
<math> f(x) = \sum_{k=1}^K c_k x_1^{a_{1k}} \cdots x_n^{a_{nk}} </math>
 
then <math>f(x) = \sum_{k=1}^K e^{a_k^T y + b_k}</math>, where <math>a_k = (a_{1k},\dots,a_{nk} )</math> and <math>b_k = \log(c_k) </math>.  After the change of variables, a posynomial becomes a sum of exponentials of affine functions.
 
==See also==
*[[Signomial]]
 
==Footnotes==
{{reflist}}
 
==References==
*{{cite book
| author    = Richard J. Duffin
| coauthors  = Elmor L. Peterson, Clarence Zener
| title      = Geometric Programming
| publisher  = John Wiley and Sons
| year      = 1967
| pages      = 278
| isbn      = 0-471-22370-0
}}
 
==External links==
* S. Boyd, S. J. Kim, L. Vandenberghe, and A. Hassibi, [http://www.stanford.edu/~boyd/gp_tutorial.html A Tutorial on Geometric Programming]
* S. Boyd, S. J. Kim, D. Patil, and M. Horowitz [http://www.stanford.edu/~boyd/gp_digital_ckt.html Digital Circuit Optimization via Geometric Programming]
 
[[Category:Mathematical optimization]]

Latest revision as of 20:05, 16 March 2013

Template:More footnotes

A geometric program (GP) is an optimization problem of the form

Minimize subject to
where are posynomials and are monomials.

In the context of geometric programming (unlike all other disciplines), a monomial is defined as a function with defined as

where and .

GPs have numerous application, such as components sizing in IC design[1] and parameter estimation via logistic regression in statistics. The maximum likelihood estimator in logistic regression is a GP.

Convex form

Geometric programs are not (in general) convex optimization problems, but they can be transformed to convex problems by a change of variables and a transformation of the objective and constraint functions. In particular, defining , the monomial , where . Similarly, if is the posynomial

then , where and . After the change of variables, a posynomial becomes a sum of exponentials of affine functions.

See also

Footnotes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

References

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534

External links