On the expressive power of planar perfect matching and permanents of bounded treewidth matrices

Autor: Lyaudet, Laurent, Koiran, Pascal, Flarup, Uffe

Valiant introduced some 25 years ago an algebraic model of computation along with the complexity classes VP and VNP, which can be viewed as analogues of the classical classes P and NP. They are defined using non-uniform sequences of arithmetic circui

Externí odkaz: http://arxiv.org/abs/0705.3751

Two logical hierarchies of optimization problems over the real numbers.

Autor: Flarup, Uffe¹ flarup@imada.sdu.dk, Meer, Klaus¹ meer@imada.sdu.dk

Publikováno v: Mathematical Logic Quarterly. Jan2006, Vol. 52 Issue 1, p37-50. 14p.

Two logical hierarchies of optimization problems over the real numbers

Autor: Flarup, Uffe, Meer, Klaus

Publikováno v: Flarup, U & Meer, K 2005, Two logical hierarchies of optimization problems over the real numbers . in J Jedrzejowicz & A Szepietowski (eds), Proceeding of the 30th International Symposium on Mathematical Foundations of Computer Science . Lecture Notes in Computer Science, vol. 3618, pp. 459-470, The 30th International Symposium on Mathematical Foundations of Computer Science, Gdansk, Poland, 29/08/2005 .

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3062::cc256bc66291ffa89cd33b97e24acf8f
https://portal.findresearcher.sdu.dk/da/publications/b5984ec0-e107-11db-9628-000ea68e967b

On the Expressive Power of Planar Perfect Matching and Permanents of Bounded Treewidth Matrices.

Autor: Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Tokuyama, Takeshi, Flarup, Uffe, Koiran, Pascal, Lyaudet, Laurent

Publikováno v: Algorithms & Computation (978-3-540-77118-0); 2007, p124-136, 13p