Horn Renamability and Hypergraphs

Hvalica, Dušan
December 2009
Journal of Computing & Information Technology;Dec2009, Vol. 17 Issue 4, p307
Academic Journal
Satisfiability testing in the context of directed hypergraphs is discussed. A characterization of Hornrenamable formulae is given and a subclass of SAT that belongs to P is described. Two algorithms for Horn renaming with linear time complexity are presented.


Related Articles

  • AN EXTENDED METHOD FOR ORDER REDUCTION OF LARGE SCALE MULTI VARIABLE SYSTEMS. Saraswathi, G. // International Journal on Computer Science & Engineering;2011, Vol. 3 Issue 5, p2109 

    In this paper, an effective procedure to determine the reduced order model of higher order linear time invariant dynamic multivariable systems is discussed. Numerator and denominator polynomials of reduced order model are obtained by redefining the time moments of the original high order system...

  • AN IMPROVEMENT IN STABLE PADE APPROXIMATION USING CONSTRAINED MINIMIZATION. Bandyopadhyay, B.; Shingare, P. S. // Systems Science;2006, Vol. 32 Issue 2, p5 

    In this paper, an improvement in Pade approximation is proposed to reduce the order of a linear-time-invariant higher order stable system, using the Hermite-Biehler stability theorem. Two free parameters are introduced in the denominator polynomial of the reduced model. It will be shown that for...

  • Simultaneous stabilization: Universal controller synthesis. Korovin, S.; Fursov, A. // Automation & Remote Control;Sep2011, Vol. 72 Issue 9, p1852 

    We consider the simultaneous stabilization problem for linear time-invariant stationary objects of arbitrary order. For such objects, we formulate numerically verifiable necessary and sufficient simultaneous stabilization conditions and show a constructive algorithm for the construction of a...

  • Solving HPP and SAT by P Systems with Active Membranes and Separation Rules. Linqiang Pan; Alhazov, Artiom // Acta Informatica;Aug2006, Vol. 43 Issue 2, p131 

    The P systems (or membrane systems) are a class of distributed parallel computing devices of a biochemical type, where membrane division is the frequently investigated way for obtaining an exponential working space in a linear time, and on this basis solving hard problems, typically NP-complete...

  • Linear system design using Routh Column polynomials. Sivanandam, S. N.; Deepa, S. N. // Songklanakarin Journal of Science & Technology;2007, Vol. 29 Issue 6, p1651 

    In this paper, a novel approach for estimating the range of parameters, which exist as coefficients in the characteristic polynomial of a given Linear Time Invariant system, is presented. The approach involves the application of lower degree column polynomials obtained from the Routh table,...

  • Locating a Point on Minimum Variance on Triangular Graphs. Kincaid, Rex K.; Maimon, Oded Z. // Transportation Science;Aug89, Vol. 23 Issue 3, p216 

    In this note the convexity of the variance measure for triangular graphs is established, and an expression for the point that minimizes the variance on an edge is given. A transformation of triangular graphs into trees provides an efficient means to implement these properties via a postorder...

  • DECENTRALIZED H∞ CONTROLLER DESIGN FOR DESCRIPTOR SYSTEMS. Zhai, G.; Koyama, N.; Yoshida, M.; Murao, S. // Control & Intelligent Systems;2005, Vol. 33 Issue 3, p158 

    The authors consider a decentralized H∞ control problem for multichannel linear time-invariant (LTI) descriptor systems. The aim is to design a low-order dynamic output feedback controller. The control problem is reduced to a feasibility problem of a bilinear matrix inequality (BMI) with...

  • Mathematical approach to the relaxation phenomena. Ciancio, Vincenzo; Farsaci, Francesco; Rogolino, Patrizia // Applied Sciences;2009, Vol. 11, p48 

    The aim of this work is to describe a general method for correlate phenomenological and state coefficients to quantities experimentally measurable both for mechanical and dielectric relaxation phenomena.

  • Control and Optimization of Network in Networked Control System. Wang Zhiwen; Sun Hongtao // Mathematical Problems in Engineering;2014, p1 

    In order to avoid quality of performance (QoP) degradation resulting from quality of service (QoS), the solution to network congestion from the point of control theory, which marks departure of our results from the existing methods, is proposed in this paper. The congestion and bandwidth are...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics